Episode 47: Combinatory Logic!
From 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++ ...
You May Also Like

Engadget News + Next
Engadget

Jack Hopkins
Jack Hopkins

Elon Musk Podcast
Stage Zero

Daily Tech News Show
Tom Merritt

radiofreeredoubt

The Honest Money Show
Anja Dragovic

The Daily AI Show
The Daily AI Show Crew - Brian, Beth, Jyunmi, Andy and Karl

Mark Tilbury
Mark Tilbury Fan

Theo - t3․gg
Theo - t3․gg

Bitcoin Magazine Podcast
BTC Media
Community discussion
No posts yet
Be the first to start the conversation about Episode 47: Combinatory Logic!