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