Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] [Q]: Co(ntra)variance and subtyping?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Markus Mottl <markus@o...>
Subject: Re: [Caml-list] Re: variance, subtyping and monads... oh, my!
Andreas Rossberg schrieb am Montag, den 19. November 2001:
> Maybe. I don't often use monads myself, so I am by no means an expert,
> but there are quite some useful applications, even outside the realm of
> lazy evaluation and purely functional languages. Examples are
> encapsulating state, failure, non-determinism, etc. I think Markus Mottl
> posted an OCaml example of a simple monadic evaluator some time ago.

Yes, you can get it here (called "IMP"):

It compares interpretation of a simple imperative language in monadic
style to explicit state passing. As was already mentioned, the lack of
overloading doesn't make monads as convenient as in Haskell.

Markus Mottl

Markus Mottl                                   
Austrian Research Institute
for Artificial Intelligence        
Bug reports:  FAQ:
To unsubscribe, mail  Archives: