In this episode, Conor waxes rhapsodic about how beautiful combinatory logic is!
Date Recorded: 2021-10-03Date 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/sarahjansenmusicCreative Commons — Attribution 3.0 Unported — CC BY 3.0Free Download / Stream: http://bit.ly/l-miss-youMusic promoted by Audio Library https://youtu.be/iYYxnasvfx8