Hacker News new | ask | show | jobs
by pzone 3820 days ago
It should be able to use a Hindley-Milner algorithm.
1 comments
dllthomas 3820 days ago
As I understand it, type inference breaks down on dependent types.
link