The goal of the this project is to implement a language with similar syntax to JavaScript and Hindley-Milner style type inference.
- 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