News for hackers. Stuff that matters.

A comment on An Introduction to Type Level Programming in Haskell. Parent comment

Re:An Introduction to Type Level Programming in Haskell by scns on Friday September 10, 2021 @03:18AM (#28478650)
Lazyness as the motivation for creating machines/typecheckers to do the boring work.
[ Parent | on HN ]
Re:An Introduction to Type Level Programming in Haskell by domnomnom on Friday September 10, 2021 @11:22AM (#28482825)
Lazyness is actually a great feature of Haskell.
[ Parent | on HN ]
Re:An Introduction to Type Level Programming in Haskell by scns on Saturday September 11, 2021 @06:57AM (#28490919)
SPJ begs to differ, he thinks it was a mistake.
[ Parent | on HN ]