Hacker News new | ask | show | jobs
by ufo 197 days ago
Indeed. Unification-based type inference doesn't work great when the type constraints are inequalities.