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

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