4 ms·

So, he does know some, but chooses to ignore them because why exactly? My initial guess as to why was that a lot of type systems research seems to be more focu

by kd0amg 14y ago

So, he does know some, but chooses to ignore them because why exactly? My initial guess as to why was that a lot of type systems research seems to be more focused on systems that are only really accessible to other researchers (i.e. not usable by rank-and-file programmers).

papsosouid 14y ago
>My initial guess as to why was that a lot of type systems research seems to be more focused on systems that are only really accessible to other researchers Except that quite a bit has gone on in haskell, and is in practical real world use right now.