11 Mar
2014
11 Mar
'14
6:26 a.m.
Hi Ömer Sounds good, good luck with the project. One thing I struggled with was re-implementing the type checker as the Caml implementation uses ref cells. Fortunately there are a lot of tutorials on the web covering type checking with a good few using Haskell and greater or lesser degree of assignment. On 9 March 2014 22:07, Ömer Sinan Ağacan <omeragacan@gmail.com> wrote:
Hi Stephen,
Are you rewriting Eijiro Sumii's MinCaml in Haskell?
Yes!
[Snip]