[leshow]

I took it to mean the age old type checkers that had zero inference and were more of an annoyance than anything. I'm a bit jaded though.

"Modern" type checking is mostly about not writing types and strong inference