Episode 47: Combinatory Logic!
Algorithms + Data Structures = Programs - En podcast av Conor Hoekstra & Bryce Adelstein Lelbach - Fredagar
Kategorier:
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++ ...
