What Functional Programmers Get Wrong About Systems - Ian Duncan

Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.