Re:Ask HN: What are some of the best technical talks you've ...
by pmiri on Monday October 15, 2018 @09:09AM
(#18219338)
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.
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