Implementing functional languages: a tutorial Download page: http://research.microsoft.com/en-us/um/people/simonpj/papers/pj-lester-book/ I was using Haskell for Mk1-3 but soon found that RPython's fast-prototyping yet static-typing feature suits me better.