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 friendzis on Friday September 10, 2021 @02:19AM (#28478368)
Types are tests. On top of being unit tests that are forcibly run, they are formal and apply everywhere a datum is used.
[ Parent | on HN ]

There are no comments on this comment yet.