>>71355304

Math, motherfucker, have you studied it?

Functional programming is the principles of mathematical proofs applied to (generalized for) arbitrary computations.

Haskell is an actual implementation of pure applied logic. It has literally nothing but strongly typed lambda expressions an a set of reduction rules under the hood.