add: [FP] The philosophy and history of functional programming