Functional ProgrammingPure functions, immutability, and composition for correctness, concurrency, and testability.