from
Hacker News
Top
New
Show HN: Hindley–Milner type inferencing in C
by
nmhancoc
on 6/13/22, 6:01 PM with 0 comments
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.