Hacker News new | ask | show | jobs
by eru 5969 days ago
Indeed. But Hindley-Milner [1] type systems have trouble expressing commutative stuff in general.

[1] I hope I got the names correct.