New

The latest blog posts to take off on Hacker News. 14,543 posts.

Software Engineering
Any year
6655

Names are not type safety

Haskell programmers spend a lot of time talking about type safety . The Haskell school of program construction advocates “capturing invariants in the type system” and “making illegal states unrepresentable,” both of which sound like compelling goals, but are rather vague on the techniques used to achieve them. Almost…