Func Prog Podcast

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 ecosystem. How did Gleam become Stack Overflow's 2nd most admired language in such a short time? Listen to the episode and find out!

Topics Covered
Gleam's design philosophy of simplicity and the "one way of doing things" approach
Statically typed functional programming with the Hindley-Milner type system
How Gleam targets the BEAM VM and JavaScript for full-stack development
The history of BEAM and OTP
Who uses Gleam in production
The Lustre framework for building web applications in Gleam
Integrating Gleam with OTP
How Gleam made it to 2nd Most Admired Language in the Stack Overflow 2025 Survey
How to speak at conferences
Why Gleam deliberately excludes type classes and traits
The future of Gleam
Links
Gleam.run
Gleam Language Tour
Gleam Roadmap
Gleam Case Studies
Giacomo Cavalieri's Website
Giacomo's Func Prog Conference Talk
Giacomo's GitHub
Giacomo's BlueSky
Giacomo's Twitch
Lustre Web Framework
Gleam OTP Library
Stack Overflow Developer Survey 2025
Func Prog Conference
Code BEAM Europe
GOTO Copenhagen
Lambda Days Conference
Strand Case Study
Uncover
The Zen of Python (PEP 20)
Paul Graham's Blub Paradox

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 way into their code base.

Topics covered:
How Channable got started
How pivoting from their initial idea made Channable a success
Using Haskell in production
What are the pros and cons of using Haskell?
Haskell VS Rust
Hiring for Haskell

Links:
Channable
Channable jobs
The origin story of Haskell at Channable
Effectful
David Christensen - Coding for Types
Robert Kreuzer on LinkedIn

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, deadlifts!
Topics covered:
Haskell
Typed holes
Using AI for code generation
Lift weights, not just monads

Links:
Starting Strength
Pumping Iron
You come to me at runtime, to tell me the code you are executing does not compile
The Lambda Cube
Ghost in the Haskell
Matthias website
CSI: Haskell
Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach
The Spectacular paper
PropR: Property-Based Automatic Program Repair

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# company
How thinking in functions helps you improve your code
Domain-Driven Design
The “units of measure” feature in F#

Almir has also prepared a special promo code for his course F# Bite-sized!
Use the code FUNCPROG at checkout and you will get a 25% discount.
https://fsbitesized.com/

Links
F# Bite-sized—use the code "FUNCPROG" at checkout for a 25% discount!
Gabriella Gonzalez — “Thinking in Algebras” (Elucidations podcast, Episode 147)
Gary Bernhardt — “Boundaries”
Domain Modeling Made Functional — Scott Wlaschin
Scott Wlaschin — Dependency Injection post
Essential F# — Ian Russell
F# for Fun and Profit — Scott Wlaschin
Mark Seemann — blog

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 you!
We cover topics like:
Homotopy type theory
Proof assistants
Languages Rocq, Lean4, Agda, Idris
Proving theorems in Lean4
How to get started with dependent types and proof assistants

Links
Theorems for free 
Propositions as types
Elisabeth’s Func Prog presentation 
Formally verified C compiler 
Property-based testing in F#
Building Idris in Idris 
Elisabeth's PhD thesis