Menu
Sign In Search Podcasts Charts People & Topics Add Podcast API Pricing
Podcast Image

ADSP: Algorithms + Data Structures = Programs

Episode 47: Combinatory Logic!

15 Oct 2021

Description

In this episode, Conor waxes rhapsodic about how beautiful combinatory logic is!Date Recorded: 2021-10-03Date Released: 2021-10-15Functional 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 ConferenceIntro Song InfoMiss 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

Audio
Featured in this Episode

No persons identified in this episode.

Transcription

This episode hasn't been transcribed yet

Help us prioritize this episode for transcription by upvoting it.

0 upvotes
🗳️ Sign in to Upvote

Popular episodes get transcribed faster

Comments

There are no comments yet.

Please log in to write the first comment.