Here's a version in Haskell implemented using a monadic DSL: http://augustss.blogspot.in/2009/02/more-basic-not-that-anybody-should-care.html http://augustss.bl

Here's a version in Haskell implemented using a monadic DSL: http://augustss.blogspot.in/2009/02/more-basic-not-that-anybody-should-care.html http://augustss.blogspot.in/2009/02/more-basic-not-that-anyb... Also, here's ASM embedded in Haskell: http://wall.org/~lewis/2013/10/15/asm-monad.html http://wall.org/~lewis/2013/10/15/asm-monad.html