Interpreter using State Monad

From: Markus Mottl (
Date: Tue Oct 19 1999 - 23:15:21 MET DST

From: Markus Mottl <>
Message-Id: <>
Subject: Interpreter using State Monad
Date: Tue, 19 Oct 1999 22:15:21 +0100 (MET DST)


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.


The monadic style version will probably only please the purists among
you... ;-)

Markus Mottl

Markus Mottl,,

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:27 MET