Episode 47: Combinatory Logic!

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 Talk ArrayCast: Why Tacit? The Wolfram S Combinator Challenge On the building blocks of mathematical logic - 1924, Schönfinkel An Analysis of Logical Substitution, 1929, Curry Combinatory logic. Volume I, 1958, Curry and Feys SKI Combinator Calculus Higher-order function C++20 std::identity J language isPalindrome tweet C++ std::reverse C++ std::equal J |. (reverse) J -: (match) Haskell . (Bluebird) J Essays/Hook Conjunction? APL/J Trains Haskell intersect Haskell null Haskell Data.Composition Haskell .: (Blackbird) C++20 std::ranges::sort Haskell on C++ std::mismatch C++ std::accumulate C++ std::transform C++ std::min_element C++ std::max_element C++ std::minmax_element John Backus’s FP C++North Conference Intro Song Info Miss You by Sarah Jansen https://soundcloud.com/sarahjansenmusic Creative Commons — Attribution 3.0 Unported — CC BY 3.0 Free Download / Stream: http://bit.ly/l-miss-you Music promoted by Audio Library https://youtu.be/iYYxnasvfx8