* Interpreter using State Monad
@ 1999-10-19 21:15 Markus Mottl
0 siblings, 0 replies; only message in thread
From: Markus Mottl @ 1999-10-19 21:15 UTC (permalink / raw)
To: OCAML
Hello,
if you ever wanted to know, whether it is of any use (is it?) to implement
an interpreter of an imperative language in monadic style in OCaml, you
might want to take a look at the toy implementation of the semantics of
"IMP", which comes in two versions: monadic style and using explicit
passing of state.
-> http://miss.wu-wien.ac.at/~mottl/ocaml_sources/intro.html
The monadic style version will probably only please the purists among
you... ;-)
Regards,
Markus Mottl
--
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1999-10-19 21:47 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-10-19 21:15 Interpreter using State Monad Markus Mottl
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).