>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 Ex

>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.