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 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++ std::equalJ |. (reverse)J -: (match)Haskell . (Bluebird)J Essays/Hook Conjunction?APL/J TrainsHaskell intersectHaskell nullHaskell Data.CompositionHaskell .: (Blackbird)C++20 std::ranges::sortHaskell onC++ std::mismatchC++ std::accumulateC++ std::transformC++ std::min_elementC++ std::max_elementC++ std::minmax_elementJohn Backus’s FPC++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