Sign up to save your podcasts
Or
Share #50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra
Wouter Swierstra is a Math Bachelor’s from the University of Utrecht, has done his PhD with Thorsten Altenkirch at the University of Nottingham, did a post-doc at Chalmers, has experience in the industry working on facilitating the design of embedded system using FP and currently is a Professor at the University of Utrecht and co-host of the Haskell Interlude Podcast.
In this episode we talk about his trajectory into formal methods and functional programming. We talk about Datatypes a la Carte, the Expression Problem, Functional Pearls, Program Synthesis vs Program Calculation, and much more!
0:00 – Intro & Welcome
0:02:08 – Announcing the Type Theory Forall Merch Store!
1:12 – Early Influences: From Lenses to Logic
4:40 – Discovering Functional Programming in Utrecht
8:15 – On Monads, Papers, and Learning by Teaching
12:20 – What Makes a Paper ‘Beautiful’?
17:50 – PhD in Nottingham: Theory Meets Community
22:00 – Writing ‘Certified Programming with Dependent Types’
29:10 – Teaching Dependent Types: Challenges and Joys
34:00 – On Agda vs Coq: Philosophies and Use Cases
38:40 – Type-Driven Development in Practice
45:05 – The Power of Elegant Proofs
52:00 – Advice to Aspiring Researchers in Type Theory
1:03:00 – Beating C with Functional Programming
1:20:00 – Formal Verification and Loop Invariants
1:33:28 – Program Calculation vs Program Synthesis
1:39:00 – Formalizing Blockchain
2:01:38 – Final Thoughts
Links
Wouter Website
Haskell Interlude
Advanced FP Summer School
ttforall twitch
ttforall store
Discount code for 10% off: typetheory
View all episodes
By Pedro Abreu
4.8
1313 ratings
Wouter Swierstra is a Math Bachelor’s from the University of Utrecht, has done his PhD with Thorsten Altenkirch at the University of Nottingham, did a post-doc at Chalmers, has experience in the industry working on facilitating the design of embedded system using FP and currently is a Professor at the University of Utrecht and co-host of the Haskell Interlude Podcast.
In this episode we talk about his trajectory into formal methods and functional programming. We talk about Datatypes a la Carte, the Expression Problem, Functional Pearls, Program Synthesis vs Program Calculation, and much more!
0:00 – Intro & Welcome
0:02:08 – Announcing the Type Theory Forall Merch Store!
1:12 – Early Influences: From Lenses to Logic
4:40 – Discovering Functional Programming in Utrecht
8:15 – On Monads, Papers, and Learning by Teaching
12:20 – What Makes a Paper ‘Beautiful’?
17:50 – PhD in Nottingham: Theory Meets Community
22:00 – Writing ‘Certified Programming with Dependent Types’
29:10 – Teaching Dependent Types: Challenges and Joys
34:00 – On Agda vs Coq: Philosophies and Use Cases
38:40 – Type-Driven Development in Practice
45:05 – The Power of Elegant Proofs
52:00 – Advice to Aspiring Researchers in Type Theory
1:03:00 – Beating C with Functional Programming
1:20:00 – Formal Verification and Loop Invariants
1:33:28 – Program Calculation vs Program Synthesis
1:39:00 – Formalizing Blockchain
2:01:38 – Final Thoughts
Links
Wouter Website
Haskell Interlude
Advanced FP Summer School
ttforall twitch
ttforall store
Discount code for 10% off: typetheory
More shows like Type Theory Forall
View all
Marketplace
8,756 Listeners
The Knowledge Project
2,705 Listeners
The Changelog: Software Development, Open Source
288 Listeners
Conversations with Tyler
2,461 Listeners
The Quanta Podcast
540 Listeners
CoRecursive: Coding Stories
188 Listeners
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
4,170 Listeners
Machine Learning Street Talk (MLST)
97 Listeners
Dwarkesh Podcast
528 Listeners
The Rest Is History
15,609 Listeners
The Haskell Interlude
14 Listeners
Software Unscripted
29 Listeners
Oxide and Friends
66 Listeners
Past Present Future
342 Listeners
Sharp Tech with Ben Thompson
95 Listeners