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