Get the latest tech news
What functional programmers get wrong about systems
Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.
None
Or read this on Hacker News
