English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Interpreter using State Monad
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-10-19 (21:47)
From: Markus Mottl <mottl@m...>
Subject: Interpreter using State Monad
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