About this episode

This episode discusses Richard Bird's Algebraic Laws for Program Calculation and summarizes key programming papers.

In this episode, the "Richard Bird's Algebraic Laws for Program Calculation" which is a summary of the important papers that introduced the algebraic laws of programming (generated by Claude 4.6 Opus) is read by the Speechify text-to-speech app. Socials Tacit Talk YouTube PlaylistConor Hoekstra: LinkTree / BioShow Notes Date Released: 2026-03-14 Richard Bird's Algebraic Laws for Program CalculationAn Introduction to the Theory of Lists (1986)The Algebra of Programming (1996)Algegraic Identiti...

People in this episode

Host: Conor Hoekstra

Mentioned in this episode

Books & works: Richard Bird's Algebraic Laws for Program Calculation, An Introduction to the Theory of Lists, The Algebra of Programming

More episodes of Tacit Talk

• Episode 36: Representation-Driven Algorithm Dispatch 🟦 · April 15, 2026 · 37 min
• Episode 35: TinyAPL 0.13, Inverses & AP8L with Madeline Vergani · March 31, 2026 · 1h 16m
• Episode 34: Algebra as a Language (1972) 🟦 · March 28, 2026 · 28 min
• Episode 33: From List Calculus to Array Calculi (Bird's Laws, AoP, MoA & SaC) 🟦 · March 18, 2026 · 30 min
• Episode 31: Notation as a Tool of Thought (1979) 🟦 · March 2, 2026 · 1h 35m
• Episode 30: Dyalog 20.0 with Adám Brudzewsky · January 2, 2026 · 2h 7m

Explore listener stats, chart rankings, contacts and more on the Tacit Talk podcast page.