Episode 47: Combinatory Logic!

Algorithms + Data Structures = Programs - A podcast by Conor Hoekstra & Bryce Adelstein Lelbach - Fridays

Categories:

Technology

In this episode, Conor waxes rhapsodic about how beautiful combinatory logic is!Date Recorded: 2021-10-03Date Released: 2021-10-15Functional vs Array Programming TalkArrayCast: Why Tacit?The Wolfram S Combinator ChallengeOn the building blocks of mathematical logic - 1924, SchönfinkelAn Analysis of Logical Substitution, 1929, CurryCombinatory logic. Volume I, 1958, Curry and FeysSKI Combinator CalculusHigher-order functionC++20 std::identityJ language isPalindrome tweetC++ std::reverseC++ std...