Episode 47: Combinatory Logic!

番組 ADSP: Algorithms + Data Structures = Programs Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane

In this episode, Conor waxes rhapsodic about how beautiful combinatory logic is! Date Recorded: 2021-10-03 Date Released: 2021-10-15 Functional 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++ ...