There's always at least one type checker, the one running in your head. Some lan...

kbenson on Feb 8, 2016 | parent | context | favorite | on: The Evolution of a Haskell Programmer (2001)

There's always at least one type checker, the one running in your head. Some languages provide another type checker to help offload some of this cognitive load.