What Functional Programmers Get Wrong About Systems
Ian Duncan [Unofficial]
February 9, 2026
Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.
Discussion in the ATmosphere