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++ ...
你可能还喜欢
Jack Hopkins
Jack Hopkins
Elon Musk Podcast
Stage Zero
Daily Tech News Show
Tom Merritt
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
Semiconductor Insiders
SemiWiki
The Rollup
Where digital assets and finance converge. Hosted by Andy and Robbie.
Jack Hopkins
Jack Hopkins
Elon Musk Podcast
Stage Zero
Daily Tech News Show
Tom Merritt
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
Semiconductor Insiders
SemiWiki
The Rollup
Where digital assets and finance converge. Hosted by Andy and Robbie.
社区讨论
暂无帖子
来发起关于「Episode 47: Combinatory Logic!」的第一场讨论