Show HN: Hindley–Milner type inferencing in C

github.com/nmhancock

7 points

nmhancoc

4 years ago

This is a pretty straightforward port of Robert Smallshire's Python implementation to C. It type checks a factorial program correctly and is pretty fast. Mostly a learning exercise.