Hacker GitHub

← All repos

prakhar1989/type-inference

View on GitHub ↗ ★ 377 OCaml

The Hindley Milner Type Inference Algorithm

5 mentions on Hacker News by 1 person: 1 story, 4 comments · first 2016-04-26 · latest 2020-04-12

Mentions per year 5 mentions · busiest year 2016 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …implementation of the Hindley Milner Type Inference algorithm in OCaml that should be easy to grok: https://github.com/prakhar1989/type-inference
    comment by krat0sprakhar · 2020-04-12 · in So you want to be a compiler wizard (2016)
  2. …super hard to implement. Shameless plug: Wrote a minimal implementation in OCaml back in college https://github.com/prakhar1989/type-inference
    comment by krat0sprakhar · 2017-08-20 · in What is Hindley-Milner and why is it cool? (2008)
  3. …It's (hopefully) very well commented, so it should clarify a bunch of concepts for newcomers. [0] - https://github.com/prakhar1989/type-inference
    comment by krat0sprakhar · 2017-01-16 · in Show HN: Crafting Interpreters – A handbook for making programming languages
  4. …algorithm last week and I wish I had stumbled upon the chapter on unification[1] earlier. [0] - https://github.com/prakhar1989/type-inference [1] - http://www.scheme.com/tspl4/examples.html#./examples:h10
    comment by krat0sprakhar · 2016-04-26 · in Chez Scheme is now free