What Functional Programmers Get Wrong About Systems - Ian Duncan
www.iankduncan.com
Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.