Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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.
No comment yet
Show HN: Hindley–Milner type inferencing in C | Heykuki News