Strategies for code correctness inspired by functional programming

All about map, select, reduce, pure functions, composition, immutability, banishing null, algebraic data types, and limiting effects.