Hacker Timesnew | past | comments | ask | show | jobs | submitlogin

Indeed. But Hindley-Milner [1] type systems have trouble expressing commutative stuff in general.

[1] I hope I got the names correct.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: