|
|
|
|
|
|
by pmiri
2801 days ago
|
|
|
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 |
|
|