Func Prog Podcast
Episodes
#14 Robert Kreuzer
24 Nov 2025
Contributed by Lukas
In this episode, I sit down with Robert Kreuzer from Channable to hear what it's like using Haskell in production. You will hear the story of Chan...
#13 MatthÃas Páll Gissurarson
31 Oct 2025
Contributed by Lukas
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 optim...
#12 Almir Mesic
09 Oct 2025
Contributed by Lukas
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 ...
#11 Elisabeth Stenholm
25 Sep 2025
Contributed by Lukas
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 sa...
#10 Robert Smith
10 Sep 2025
Contributed by Lukas
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 th...
#9 Hécate
27 Aug 2025
Contributed by Lukas
Hécate is a Haskell engineer and prolific contributor to the Haskell ecosystem—in this episode we talk about using Haskell in production, effect sy...
#8 Aram Hăvărneanu
30 Jul 2025
Contributed by Lukas
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 ...
#7 Eric Torreborre
16 Jul 2025
Contributed by Lukas
In this episode I chat with Eric Torreborre about all things Unison! Topics covered include:What makes Unison different from other programming languag...
#6 Fernando Borretti
25 Jun 2025
Contributed by Lukas
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 A...
#5 Sashan Govender
11 Jun 2025
Contributed by Lukas
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 p...
#4 Gabriela Moreira
28 May 2025
Contributed by Lukas
Gabriela Moreira is the lead developer of Quint, a modern and executable specification language. We talk about formal methods, model checkers and how ...
#3 Peter (PEZ) Strömberg
13 May 2025
Contributed by Lukas
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 ...
#2 Lachezar Yankov
30 Apr 2025
Contributed by Lukas
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 ...
#1 Sergei Winitzki
16 Apr 2025
Contributed by Lukas
Sergei Winitzki is a functional programming aficinado with a background in theoretical physics. We get into a whole bunch of topics, including: What m...