Publishing Details
About This Podcast
Explore Statistics
Recent Episodes
S1E17 #17 Don Syme
I sit down with Don Syme, the creator of F#! We chat about language design, the "sweet spot" of type system expressivity, and how A.I. will affect the future of software development.Topics…
S1E16 #16 Adam Tornhill
In this episode I sit down with Adam Tornhill, founder of CodeScene, to talk about technical debt, Clojure, and why it's so hard to write good software.Topics coveredFrom electrical engineering to…
S1E15 #15 Giacomo Cavalieri
In this episode, I talk to Giacomo Cavalieri, a core Gleam team member. We cover what makes Gleam special and why developers love it, and how it brings modern type safety to the battle-tested Erlang…
S1E14 #14 Robert Kreuzer
In this episode, I sit down with Robert Kreuzer, co-founder and CTO at Channable, to hear what it's like using Haskell in production. You will hear the story of Channable, and how Haskell worked its…
S1E13 #13 Matthías Páll Gissurarson
What is the future of Haskell, program generation and AI? I sit down with Matthías Páll Gissurarson and try to figure this out, along with the optimal development setup... and of course,…
#12 Almir Mesic
In this episode I talk with Almir Mesic about all things F#! We cover topics like:The advantages of F#Introducing F# at an C# companyHow thinking in functions helps you improve your codeDomain-Driven…
#11 Elisabeth Stenholm
In this episode I talk to Elisabeth Stenholm about dependent types, proof assistans and homotopy type theory! If you're ready to take your type safety to the next level, then this episode is for…
S1E10 #10 Robert Smith
In this podcast I get down to business with Robert Smith, the creator of Coalton, a language-within-a-language for Common Lisp. We cover a bunch of things, including:LISP through the yearsREPL-driven…
S1E9 #9 Hécate
Hécate is a Haskell engineer and prolific contributor to the Haskell ecosystem—in this episode we talk about using Haskell in production, effect systems and how empathy can help you build better…
S1E8 #8 Aram Hăvărneanu
In this mind-bending episode I do a deep dive into the world of programming language design and type systems with Aram Hăvărneanu.We cover a lot of things, including:The difference between Curry- and…
S1E7 #7 Eric Torreborre
In this episode I chat with Eric Torreborre about all things Unison! Topics covered include:What makes Unison different from other programming languagesWhy putting your source code in a database…
S1E6 #6 Fernando Borretti
In this episode I chat with Fernando Borretti, creator of the Austral programming language. We cover a bunch of different topics, such as:What makes Austral different from other systems programming…
S1E5 #5 Sashan Govender
Sashan Govender is a senior developer with more than 20 years in the industry; in this episode we talk about F#, a language that combines functional programming with productivity, power and…
S1E4 #4 Gabriela Moreira
Gabriela Moreira is the lead developer of Quint, a modern and executable specification language. We talk about formal methods, model checkers and how learning functional programming is not so much…
S1E3 #3 Peter (PEZ) Strömberg
Peter Strömberg, aka "PEZ", is a Clojure programmer and creator of the popular Calva plug-in for VSCode. In this episode we do a deep-dive into Clojure and explore the power of Lisp and dynamically…
S1E2 #2 Lachezar Yankov
In this episode we do a deep-dive into Scala and Zio with Lachezar Yankov! We talk about how a strong type system can help productivity, what the Zio ecosystem has to offer, and much more...The…
S1E1 #1 Sergei Winitzki
Sergei Winitzki is a functional programming aficinado with a background in theoretical physics. We get into a whole bunch of topics, including: What makes a good programming language? Why the future…
Frequently Asked Questions
Func Prog Podcast has published 17 episodes since April 2025, covering topics in Technology.
Func Prog Podcast is currently moderate with new episodes monthly. Average episode length is 1h 38m.
