Hacker News Reader

Lazyness as the motivation for creating machines/typecheckers to do the boring work.

Lazyness is actually a great feature of Haskell.

SPJ begs to differ, he thinks it was a mistake.