Episode 33: From List Calculus to Array Calculi (Bird's Laws, AoP, MoA & SaC) 🟦
About this episode
This episode discusses the transition from list calculus to array calculi, exploring various programming theories and mathematical concepts.
In this episode, the "From List Calculus to Array Calculi" (generated by GPT 5.4) is read by the Speechify text-to-speech app. Socials Tacit Talk YouTube PlaylistConor Hoekstra: LinkTree / BioShow Notes Date Released: 2026-03-18 From List Calculus to Array CalculiAn Introduction to the Theory of Lists (1986)Mathematics of Arrays (MoA)The Algebra of Programming (1996)Algegraic Identities for Program Calculation (1989)Algorithm Design with Haskell (2020)Bird-Meertens Formalism (BMF)The School o...
People in this episode
Host: Conor Hoekstra
Mentioned in this episode
Books & works: From List Calculus to Array Calculi, An Introduction to the Theory of Lists, Mathematics of Arrays, The Algebra of Programming, Algegraic Identities for Program Calculation, Algorithm Design with Haskell, Bird-Meertens Formalism
More episodes of Tacit Talk
- Episode 36: Representation-Driven Algorithm Dispatch 🟦
- Episode 35: TinyAPL 0.13, Inverses & AP8L with Madeline Vergani
- Episode 34: Algebra as a Language (1972) 🟦
- Episode 32: Richard Bird's Algebraic Laws 🟦
- Episode 31: Notation as a Tool of Thought (1979) 🟦
- Episode 30: Dyalog 20.0 with Adám Brudzewsky
Explore listener stats, chart rankings, contacts and more on the Tacit Talk podcast page.