cover of episode Episode 47: Combinatory Logic!

Episode 47: Combinatory Logic!

2021/10/15
logo of podcast Algorithms + Data Structures = Programs

Algorithms + Data Structures = Programs

Frequently requested episodes will be transcribed first

Shownotes Transcript

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