Propositions as Types by Philip Wadler A really in depth look into why functional languages stand out as a programming paradigm. The short of it being that the

Propositions as Types by Philip Wadler A really in depth look into why functional languages stand out as a programming paradigm. The short of it being that they parallel perfectly (almost proof for proof!) with mathematical logic. https://www.youtube.com/watch?v=IOiZatlZtGU https://www.youtube.com/watch?v=IOiZatlZtGU