ADSP: Algorithms + Data Structures = Programs Episode 47: Combinatory Logic!
Oct 15, 2021
34:36
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