compiler

The goal of the this project is to implement a language with similar syntax to JavaScript and Hindley-Milner style type inference.

References

• https://github.com/prakhar1989/type-inference/blob/master/infer.ml#L273
• http://web.cs.ucla.edu/~palsberg/course/cs239/reading/wand87.pdf
• https://www.youtube.com/watch?v=H7x4THVU4BQ
• https://github.com/rob-smallshire/hindley-milner-python/blob/master/inference.py
• https://web.cecs.pdx.edu/~mpj/thih/thih.pdf
• https://github.com/sdiehl/write-you-a-haskell/blob/master/chapter7/poly_constraints/src/Env.hs