The Haskell Interlude Mon, 13 Apr 2026 05:07:22 +0000 https://haskell.foundation/podcast/ en-us © 2026 The Haskell Interlude yes 8fb597da-5142-5c2a-b097-9c8c657bd7c3 Haskell Podcast episodic false Buzzsprout (https://www.buzzsprout.com) Haskell Podcast https://storage.buzzsprout.com/tnk1ztokn5vmeiufqmr4kkp37mw2?.jpg The Haskell Interlude https://haskell.foundation/podcast/ 80: POPL 2026 - Part 1 80: POPL 2026 - Part 1 This is the first part of a miniseries on this year’s Symposium on Principles of Programming Languages, a.k.a. POPL 2026, hosted by Jessica Foster.

In this episode, we talk about: undergrad funding and participation, the behind the scenes of AV, choreographic programming, quantum languages, conference catering, and the joy of theory. And at one point, you’ll even hear us get kicked out the venue mid interview. Enjoy!

]]> This is the first part of a miniseries on this year’s Symposium on Principles of Programming Languages, a.k.a. POPL 2026, hosted by Jessica Foster.

In this episode, we talk about: undergrad funding and participation, the behind the scenes of AV, choreographic programming, quantum languages, conference catering, and the joy of theory. And at one point, you’ll even hear us get kicked out the venue mid interview. Enjoy!

]]> Haskell Podcast Buzzsprout-18995056 Mon, 13 Apr 2026 05:00:00 +0000 2576 1 80 full false 79: Peter Thiemann 79: Peter Thiemann Peter is a professor at the University of Freiburg, and he was doing functional programming right when Haskell got started. So naturally we asked him about the early days of Haskell, and how from the start Peter pushed the envelope on what you could do with the type system and specifically with the type classes, from early web programming to program generation to session types. Come with us on a trip down memory lane!


]]> Peter is a professor at the University of Freiburg, and he was doing functional programming right when Haskell got started. So naturally we asked him about the early days of Haskell, and how from the start Peter pushed the envelope on what you could do with the type system and specifically with the type classes, from early web programming to program generation to session types. Come with us on a trip down memory lane!


]]> Haskell Podcast Buzzsprout-18853260 Sun, 22 Mar 2026 12:00:00 +0000 3995 1 79 full false 78: Jamie Willis 78: Jamie Willis In this episode, we focus on a particular part of Haskell: teaching it. To help us, we are joined by Jamie Willis who is a Teaching Fellow at Imperial College London. The episode explores the benefits of live coding, and why Haskell is the best language for teaching programming.


]]> In this episode, we focus on a particular part of Haskell: teaching it. To help us, we are joined by Jamie Willis who is a Teaching Fellow at Imperial College London. The episode explores the benefits of live coding, and why Haskell is the best language for teaching programming.


]]> Haskell Podcast Buzzsprout-18809011 Sun, 08 Mar 2026 11:00:00 +0000 2605 1 78 full false 77: Franz Thoma 77: Franz Thoma Franz Thoma is Principal Consultant at TNG Technology Consulting, and an organizer of MuniHac. Franz sees functional programming and Haskell as a tool for thinking about software, even if the project is not written in Haskell. We had a far-reaching conversation about the differences between functional and object-oriented programming and their languages, software architecture, and Haskell adoption in industry. 

]]> Franz Thoma is Principal Consultant at TNG Technology Consulting, and an organizer of MuniHac. Franz sees functional programming and Haskell as a tool for thinking about software, even if the project is not written in Haskell. We had a far-reaching conversation about the differences between functional and object-oriented programming and their languages, software architecture, and Haskell adoption in industry. 

]]> Haskell Podcast Buzzsprout-18725311 Sun, 22 Feb 2026 12:00:00 +0000 3471 1 77 full false 76: Jeffrey Young 76: Jeffrey Young Welcome to the Haskell Interlude. Today, Matti and Mike talk to
Jeffrey Young. Jeff has had a long history of working with Haskell and
on ghc itself. We talk about what makes Haskell so compelling, the
good and bad of highly optimized code and the beauty of
well-modularized code, how to get into compiler development, and how
to benefit from Domain-Driven Design.

Jeff is currently on the job market - if you want to get in touch,
email him at mailto:jmy6342@gmail.com.

]]> Welcome to the Haskell Interlude. Today, Matti and Mike talk to
Jeffrey Young. Jeff has had a long history of working with Haskell and
on ghc itself. We talk about what makes Haskell so compelling, the
good and bad of highly optimized code and the beauty of
well-modularized code, how to get into compiler development, and how
to benefit from Domain-Driven Design.

Jeff is currently on the job market - if you want to get in touch,
email him at mailto:jmy6342@gmail.com.

]]> Haskell Podcast Buzzsprout-18565558 Sun, 25 Jan 2026 14:00:00 +0000 3852 1 76 full false 75: Kathrin Stark 75: Kathrin Stark We are joined by Kathrin Stark, a professor at Heriot-Watt University in Edinburgh. Kathrin works on program verification with proof assistants, so her focus is not exactly on Haskell, but on topics dear to Haskellers' hearts such as interactive theorem provers, writing correct programs, and the activities needed to produce them. We discuss many aspects of proofs and specifications, and the languages involved in the process, as well as verifying and producing provably correct neural networks.

]]> We are joined by Kathrin Stark, a professor at Heriot-Watt University in Edinburgh. Kathrin works on program verification with proof assistants, so her focus is not exactly on Haskell, but on topics dear to Haskellers' hearts such as interactive theorem provers, writing correct programs, and the activities needed to produce them. We discuss many aspects of proofs and specifications, and the languages involved in the process, as well as verifying and producing provably correct neural networks.

]]> Haskell Podcast Buzzsprout-18487464 Sun, 11 Jan 2026 13:00:00 +0000 3077 1 75 full false 74: Lennart Augustsson 74: Lennart Augustsson This episode is a deep dive into the evolution of Haskell and functional programming with one of its pioneers, Lennart Augustson. It  reflects on decades of work in language design and compiler implementation. Lennart speaks about his early involvement in the creation of Haskell, shares thoughts on type systems, performance, and the balance between purity and practicality. The conversation ranges from personal history to big-picture views on the evolution of programming languages, with plenty of insight into what makes Haskell both powerful and challenging. A rare opportunity to hear from one of the foundational voices in the functional programming world.

]]> This episode is a deep dive into the evolution of Haskell and functional programming with one of its pioneers, Lennart Augustson. It  reflects on decades of work in language design and compiler implementation. Lennart speaks about his early involvement in the creation of Haskell, shares thoughts on type systems, performance, and the balance between purity and practicality. The conversation ranges from personal history to big-picture views on the evolution of programming languages, with plenty of insight into what makes Haskell both powerful and challenging. A rare opportunity to hear from one of the foundational voices in the functional programming world.

]]> Haskell Podcast Buzzsprout-18385473 Fri, 19 Dec 2025 14:00:00 +0000 4853 1 74 full false 73: Jean-Philippe Bernardy 73: Jean-Philippe Bernardy In this Interlude, we’re joined by Jean-Philipe Bernardy, a Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs.


]]> In this Interlude, we’re joined by Jean-Philipe Bernardy, a Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs.


]]> Haskell Podcast Buzzsprout-18185602 Thu, 13 Nov 2025 17:00:00 +0000 2292 1 73 full false 72: Manuel Chakravarty 72: Manuel Chakravarty In this episode, we talk to Manuel Chakravarty - specifically, his work on the ghc backend such as data-parallel Haskell and the FFI  and how that work segued into type system design. We also discussed Manuel's perspective on Haskell from the language design of Swift.

]]> In this episode, we talk to Manuel Chakravarty - specifically, his work on the ghc backend such as data-parallel Haskell and the FFI  and how that work segued into type system design. We also discussed Manuel's perspective on Haskell from the language design of Swift.

]]> Haskell Podcast Buzzsprout-18103989 Thu, 30 Oct 2025 10:00:00 +0000 3421 1 72 full false 71: Stefan Wehr 71: Stefan Wehr Stefan Wehr is a professor at the Offenburg University of Applied Sciences. Before becoming a professor, Stefan worked in industry on a large Haskell codebase - specifically one that's not a compiler and not a blockchain. So of course we talked about using Haskell in large projects, software architecture, modularity, type classes and data modeling and the suppression of sums outside of functional programming, and also about teaching Haskell at his current job.


]]> Stefan Wehr is a professor at the Offenburg University of Applied Sciences. Before becoming a professor, Stefan worked in industry on a large Haskell codebase - specifically one that's not a compiler and not a blockchain. So of course we talked about using Haskell in large projects, software architecture, modularity, type classes and data modeling and the suppression of sums outside of functional programming, and also about teaching Haskell at his current job.


]]> Haskell Podcast Buzzsprout-18021330 Thu, 16 Oct 2025 08:00:00 +0000 2990 1 71 full false 70: Phil Wadler 70: Phil Wadler We sat down with Phil Wadler, one of the most influential folks in the Haskell community, functional programming, and programming languages, responsible for type classes, monads, and much more. We take a stroll down memory lane, starting from Haskell's inception. We talked about the difference between research and Phil's work on impactful industrial projects and standards - specifically XML and the design of generics in Java, as well as Phll's teaching at the University of Edinburgh using Agda.. Phil is a fountain of great ideas and stories, and this conversation could have gone on for hours. As it is, we hope you enjoy the hour that we had as much as we did. 

]]> We sat down with Phil Wadler, one of the most influential folks in the Haskell community, functional programming, and programming languages, responsible for type classes, monads, and much more. We take a stroll down memory lane, starting from Haskell's inception. We talked about the difference between research and Phil's work on impactful industrial projects and standards - specifically XML and the design of generics in Java, as well as Phll's teaching at the University of Edinburgh using Agda.. Phil is a fountain of great ideas and stories, and this conversation could have gone on for hours. As it is, we hope you enjoy the hour that we had as much as we did. 

]]> https://haskell.foundation/podcast/70 Haskell Podcast Buzzsprout-17839717 Sun, 14 Sep 2025 07:00:00 +0000 3714 1 70 full false 69: Jurriaan Hage 69: Jurriaan Hage Today’s guest is Jurriaan Hage. Jurriaan is a professor at Heriot-Watt University in Edinburgh who’s worked with and on Haskell for many years. He’s known for the Helium Haskell compiler, specifically designed for teaching, and he has plenty of other projects related to Haskell, including improvements to the type system, the generation of better error messages, or detection of plagiarism. 


]]> Today’s guest is Jurriaan Hage. Jurriaan is a professor at Heriot-Watt University in Edinburgh who’s worked with and on Haskell for many years. He’s known for the Helium Haskell compiler, specifically designed for teaching, and he has plenty of other projects related to Haskell, including improvements to the type system, the generation of better error messages, or detection of plagiarism. 


]]> Haskell Podcast Buzzsprout-17727258 Mon, 25 Aug 2025 07:00:00 +0000 3164 full false 68: Michael Snoyman 68: Michael Snoyman In this episode, we’re joined by Michael Snoyman, author of Yesod, Conduit, Stackage and many other popular Haskell libraries.
We discuss newcomer friendliness, being a Rustacean vs a Haskellasaur, how STM is Haskell’s best feature and how laziness can be a vice.

]]> In this episode, we’re joined by Michael Snoyman, author of Yesod, Conduit, Stackage and many other popular Haskell libraries.
We discuss newcomer friendliness, being a Rustacean vs a Haskellasaur, how STM is Haskell’s best feature and how laziness can be a vice.

]]> Haskell Podcast Buzzsprout-17658749 Tue, 12 Aug 2025 14:00:00 +0000 3299 1 68 full false 67: Alex McLean 67: Alex McLean Mike and Andres speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course. We talk about how Alex got into Haskell coming from Perl, how types helped him think about the structure of music and patterns, the architecture and evolution of TidalCycles, about art, community and making space for new ideas, and lots of things in between.

]]> Mike and Andres speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course. We talk about how Alex got into Haskell coming from Perl, how types helped him think about the structure of music and patterns, the architecture and evolution of TidalCycles, about art, community and making space for new ideas, and lots of things in between.

]]> Haskell Podcast Buzzsprout-17461605 Mon, 07 Jul 2025 14:00:00 +0000 3436 1 67 full false 66: Daniele Micciancio 66: Daniele Micciancio Niki and Mike talked to Daniele Micciancio who is a professor at UC San Diego. He's been using Haskell for 20 years, and works in lattice cryptography. We talked to him about how he got into Haskell, using Haskell for teaching theoretical computer science and of course for his research and the role type systems and comonads could play in the design of cryptographic algorithms. Along the way, he gave an accessible introduction to post-quantum cryptography which we really enjoyed. We hope you do, too. 

]]> Niki and Mike talked to Daniele Micciancio who is a professor at UC San Diego. He's been using Haskell for 20 years, and works in lattice cryptography. We talked to him about how he got into Haskell, using Haskell for teaching theoretical computer science and of course for his research and the role type systems and comonads could play in the design of cryptographic algorithms. Along the way, he gave an accessible introduction to post-quantum cryptography which we really enjoyed. We hope you do, too. 

]]> Haskell Podcast Buzzsprout-17389811 Tue, 24 Jun 2025 14:00:00 +0000 4368 1 66 full false 65: Andy Gordon 65: Andy Gordon Andy Gordon from Cogna is interviewed by Sam and Matti. We learn about Andy’s influential work including the origins of the bind symbol in haskell, and the introduction of lambdas in Excel. We go onto discuss his current work at Cogna on using AI to allow non-programmers to write apps using natural language. We delve deeper into the ethics of AI and consider the most likely AI apocalypse.

]]> Andy Gordon from Cogna is interviewed by Sam and Matti. We learn about Andy’s influential work including the origins of the bind symbol in haskell, and the introduction of lambdas in Excel. We go onto discuss his current work at Cogna on using AI to allow non-programmers to write apps using natural language. We delve deeper into the ethics of AI and consider the most likely AI apocalypse.

]]> https://haskell.foundation/podcast/65 Haskell Podcast Buzzsprout-17253428 Fri, 30 May 2025 14:00:00 +0000 3647 1 65 full false 64: Sandy Maguire 64: Sandy Maguire In this episode Mike Sperber and Niki Vazou talk with Sandy Maguire, lead compiler engineer at Manifold Valley. They talk about the benefits of using Haskell of course, about all the books Sandy has written, on effects and the problem with monads, on combinator libraries and programming with laws.

]]> In this episode Mike Sperber and Niki Vazou talk with Sandy Maguire, lead compiler engineer at Manifold Valley. They talk about the benefits of using Haskell of course, about all the books Sandy has written, on effects and the problem with monads, on combinator libraries and programming with laws.

]]> https://haskell.foundation/podcast/64/ Haskell Podcast Buzzsprout-17033246 Wed, 23 Apr 2025 22:00:00 +0000 2965 64 full false 63: Farhad Mehta 63: Farhad Mehta On this episode of the Haskell Interlude, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Fahrad tells us about formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry.

]]> On this episode of the Haskell Interlude, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Fahrad tells us about formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry.

]]> https://haskell.foundation/podcast/63 Haskell Podcast Buzzsprout-16806099 Mon, 17 Mar 2025 14:00:00 +0000 3493 63 full false 62: Conal Elliott 62: Conal Elliott In this episode Wouter Swiestra and Niki Vazou talk with Conal Elliott. Conal discusses doing things just for the poetry, how most programs miss their purpose, and the simplest way to ask a question. Conal is currently working on a book about his ideas and actively looking for partners. 

]]> In this episode Wouter Swiestra and Niki Vazou talk with Conal Elliott. Conal discusses doing things just for the poetry, how most programs miss their purpose, and the simplest way to ask a question. Conal is currently working on a book about his ideas and actively looking for partners. 

]]> https://haskell.foundation/podcast/62 Haskell Podcast Buzzsprout-16636818 Mon, 17 Feb 2025 11:00:00 +0000 3476 full false 61: Sam Lindley 61: Sam Lindley Sam Lindley is a Reader in Programming Languages Design and Implementation at the University of Edinburgh. In this episode, he tells us how difficult naming is, the different kinds of effect systems and handlers, languages *much* purer than Haskell, and Modal logic.

]]> Sam Lindley is a Reader in Programming Languages Design and Implementation at the University of Edinburgh. In this episode, he tells us how difficult naming is, the different kinds of effect systems and handlers, languages *much* purer than Haskell, and Modal logic.

]]> https://haskell.foundation/podcast/60/ Haskell Podcast Buzzsprout-16485805 Wed, 22 Jan 2025 21:00:00 +0000 3458 1 61 full false 60: Tom Ellis 60: Tom Ellis Tom Ellis works at Groq, using Haskell to compile AI models to specialized hardware.  In this episode, we talk about stability of both GHC and Haskell libraries, effects, and strictness, and the premise of functional programming: make invalid states and invalid *laziness* unrepresentable! 

]]> Tom Ellis works at Groq, using Haskell to compile AI models to specialized hardware.  In this episode, we talk about stability of both GHC and Haskell libraries, effects, and strictness, and the premise of functional programming: make invalid states and invalid *laziness* unrepresentable! 

]]> https://haskell.foundation/podcast/60 Haskell Podcast Buzzsprout-16293430 Sun, 22 Dec 2024 18:00:00 +0000 2932 full false 59: Harry Goldstein 59: Harry Goldstein Sam and Wouter interview Harry Goldstein, a researcher in property-based testing who works in PL, SE, and HCI. In this episode, we reflect on random generators, the find-a-friend model, interdisciplinary research, and how to have impact beyond your own research community.

]]> Sam and Wouter interview Harry Goldstein, a researcher in property-based testing who works in PL, SE, and HCI. In this episode, we reflect on random generators, the find-a-friend model, interdisciplinary research, and how to have impact beyond your own research community.

]]> https://haskell.foundation/podcast/59/ Haskell Podcast Buzzsprout-16261243 Wed, 11 Dec 2024 14:00:00 +0000 2566 59 full false 58: ICFP 2024 58: ICFP 2024 In this episode, Matti and Sam traveled to the International Conference on Functional Programming (ICFP 2024) in Milan, Italy, and recorded snippets with various participants, including keynote speakers, Haskell legends, and organizers.

]]> In this episode, Matti and Sam traveled to the International Conference on Functional Programming (ICFP 2024) in Milan, Italy, and recorded snippets with various participants, including keynote speakers, Haskell legends, and organizers.

]]> https://haskell.foundation/podcast/58/ Haskell Podcast Buzzsprout-16127172 Mon, 18 Nov 2024 16:00:00 +0000 2015 1 58 full false 57: Gabriele Keller 57: Gabriele Keller Gabriele Keller, professor at Utrecht University, is interviewed by Andres and Joachim. We follow her journey through the world as well as programming languages, learn why Haskell is the best environment for embedding languages and how the desire to implement parallel programming sparked the development of type families in Haskell and that teaching functional programming works better with graphics.

]]> Gabriele Keller, professor at Utrecht University, is interviewed by Andres and Joachim. We follow her journey through the world as well as programming languages, learn why Haskell is the best environment for embedding languages and how the desire to implement parallel programming sparked the development of type families in Haskell and that teaching functional programming works better with graphics.

]]> https://haskell.foundation/podcast/57 Haskell Podcast Buzzsprout-16040809 Sun, 03 Nov 2024 20:00:00 +0000 3216 1 57 full false 56: Satnam Singh 56: Satnam Singh Today on the Haskell Interlude, Matti and Sam are joined by Satnam Singh. Satnam has been a lecturer at Glasgow, and Software Engineer at Google, Meta, and now Groq. He talks about convincing people to use Haskell, laying out circuits and why community matters.

PS: After the recording, it was important to Satnam to clarify that his advise to “not be afraid to loose your job” was specially meant to encourage to quit jobs that are not good for you, if possible, but he acknowledges that unfortunately not everybody can afford that risk.

]]> Today on the Haskell Interlude, Matti and Sam are joined by Satnam Singh. Satnam has been a lecturer at Glasgow, and Software Engineer at Google, Meta, and now Groq. He talks about convincing people to use Haskell, laying out circuits and why community matters.

PS: After the recording, it was important to Satnam to clarify that his advise to “not be afraid to loose your job” was specially meant to encourage to quit jobs that are not good for you, if possible, but he acknowledges that unfortunately not everybody can afford that risk.

]]> https://haskell.foundation/podcast/56 Haskell Podcast Buzzsprout-15850182 Tue, 01 Oct 2024 17:00:00 +0000 2581 1 56 full false 55: Sebastian Ullrich 55: Sebastian Ullrich In this episode, Niki and Andres talk with Sebastian, one of the main developers of Lean, currently working at the Lean Focused Research Organization. Today we talk about the addictive notion of theorem provers, what is a sweet spot between dependent types and simple programming and how Lean is both a theorem prover and an efficient general purpose programming language. 

]]> In this episode, Niki and Andres talk with Sebastian, one of the main developers of Lean, currently working at the Lean Focused Research Organization. Today we talk about the addictive notion of theorem provers, what is a sweet spot between dependent types and simple programming and how Lean is both a theorem prover and an efficient general purpose programming language. 

]]> https://haskell.foundation/podcast/55 Haskell Podcast Buzzsprout-15595231 Fri, 16 Aug 2024 19:00:00 +0000 3263 1 55 full false 54: Dominic Orchard 54: Dominic Orchard In this episode, Wouter and Sam interview Dominic Orchard. Dominic has many roles, including: senior lecturer at the University of Kent, co-director of the Institute of Computing for Climate Science, and bye-fellow of Queen’s College in Cambridge. We will not only discuss his work on Granule - graded monads, coeffects, and linear types - but also his collaboration with actual scientists to improve the languages with which they work.

]]> In this episode, Wouter and Sam interview Dominic Orchard. Dominic has many roles, including: senior lecturer at the University of Kent, co-director of the Institute of Computing for Climate Science, and bye-fellow of Queen’s College in Cambridge. We will not only discuss his work on Granule - graded monads, coeffects, and linear types - but also his collaboration with actual scientists to improve the languages with which they work.

]]> https://haskell.foundation/podcast/54 Haskell Podcast Buzzsprout-15528704 Sun, 04 Aug 2024 20:00:00 +0000 2944 1 54 full false 53: Garrett Morris 53: Garrett Morris In this episode, Garrett Morris talks with Wouter Swierstra  and Niki Vazou about his work on Haskell’s type classes, how to fail successfully, and how to construct a set of ponies.

]]> In this episode, Garrett Morris talks with Wouter Swierstra  and Niki Vazou about his work on Haskell’s type classes, how to fail successfully, and how to construct a set of ponies.

]]> https://haskell.foundation/podcast/53 Haskell Podcast Buzzsprout-15434473 Thu, 18 Jul 2024 12:00:00 +0000 2811 1 53 full false 52: Pepe Iborra 52: Pepe Iborra Andres and Sam interview Pepe Iborra, exploring his journey from academia via banking to now Meta. In this episode, we discuss Pepe’s involvement in the evolution of the Haskell ecosystem, in particular the ongoing journey to improve the developer experience via work on debuggers, build systems and IDEs.

]]> Andres and Sam interview Pepe Iborra, exploring his journey from academia via banking to now Meta. In this episode, we discuss Pepe’s involvement in the evolution of the Haskell ecosystem, in particular the ongoing journey to improve the developer experience via work on debuggers, build systems and IDEs.

]]> https://haskell.foundation/podcast/52 Haskell Podcast Buzzsprout-15349156 Tue, 02 Jul 2024 15:00:00 +0000 3390 1 52 full false 51: Victor Cacciari Miraldo 51: Victor Cacciari Miraldo Victor Miraldo is interviewed by Niki and Joachim and walks us through this career from a student falling in love with List.foldr through a PhD student using agda to verify cryptographic data structures and generic diff and merge algorithms to a professional developer using Haskell in production. He’ll tell us why the Haskell community is too smart, why there should be a safePerformIO, and that he hopes that Software Engineering could be less like alchemy.

]]> Victor Miraldo is interviewed by Niki and Joachim and walks us through this career from a student falling in love with List.foldr through a PhD student using agda to verify cryptographic data structures and generic diff and merge algorithms to a professional developer using Haskell in production. He’ll tell us why the Haskell community is too smart, why there should be a safePerformIO, and that he hopes that Software Engineering could be less like alchemy.

]]> https://haskell.foundation/podcast/51 Buzzsprout-15256603 Sun, 16 Jun 2024 08:00:00 +0000 2983 1 51 full false 50: Tom Sydney Kerckove 50: Tom Sydney Kerckove In this episode Tom Sydney is chatting with Matti Paul and Niki Vazou. Tom is the author of many tools, like sydtest, decking, and nix-ci. He tells us about the rules for sustainable Haskell, how Haskell lets one man do the job of 50, and the secret sauce for open source.

Tom Sydney is also looking for work these days, so get in touch!

]]> In this episode Tom Sydney is chatting with Matti Paul and Niki Vazou. Tom is the author of many tools, like sydtest, decking, and nix-ci. He tells us about the rules for sustainable Haskell, how Haskell lets one man do the job of 50, and the secret sauce for open source.

Tom Sydney is also looking for work these days, so get in touch!

]]> https://haskell.foundation/podcast/50 Buzzsprout-15174227 Sat, 01 Jun 2024 12:00:00 +0000 2455 1 50 full false 49: Arseniy Seroka 49: Arseniy Seroka Wouter and Joachim interview Arseny Seroka, CEO of Serokell. Arseny got into Haskell because of a bet over Pizza, fell for it because it means fewer steps between his soul and his work, and founded Serokell because he could not get a Haskell job. He speaks about the business side of a Haskell company, about the need for more sales and marketing for Haskell itself, and about the Haskell Developer Certification.

]]> Wouter and Joachim interview Arseny Seroka, CEO of Serokell. Arseny got into Haskell because of a bet over Pizza, fell for it because it means fewer steps between his soul and his work, and founded Serokell because he could not get a Haskell job. He speaks about the business side of a Haskell company, about the need for more sales and marketing for Haskell itself, and about the Haskell Developer Certification.

]]> https://haskell.foundation/podcast/49/ Buzzsprout-15072359 Wed, 15 May 2024 09:00:00 +0000 2899 1 49 full false 48: José Nuno Oliveira 48: José Nuno Oliveira In this episode, Andres Löh and Matthías Páll Gissurarson interview José Nuno Oliveira, who has been teaching Haskell for 30 years. José talks about how Haskell is the perfect language to introduce programming to all sorts of audiences, why it is important to start with Haskell, and how the programmers of the future have been learning Haskell for several years already!

]]> In this episode, Andres Löh and Matthías Páll Gissurarson interview José Nuno Oliveira, who has been teaching Haskell for 30 years. José talks about how Haskell is the perfect language to introduce programming to all sorts of audiences, why it is important to start with Haskell, and how the programmers of the future have been learning Haskell for several years already!

]]> Haskell Podcast Buzzsprout-15000087 Thu, 02 May 2024 22:00:00 +0000 3242 1 48 full false 47: Avi Press 47: Avi Press Avi Press is interviewed by Joachim Breitner and Andres Löh. Avi is the founder of Scarf, which uses Haskell to analyze how open source software is used. We’ll hear about the kind of shitstorm telemetry can cause, when correctness matters less than fearless refactoring and how that can lead to statically typed Stockholm syndrome.

]]> Avi Press is interviewed by Joachim Breitner and Andres Löh. Avi is the founder of Scarf, which uses Haskell to analyze how open source software is used. We’ll hear about the kind of shitstorm telemetry can cause, when correctness matters less than fearless refactoring and how that can lead to statically typed Stockholm syndrome.

]]> https://haskell.foundation/podcast/47 Haskell Podcast Buzzsprout-14905644 Wed, 17 Apr 2024 12:00:00 +0000 3258 1 47 full false 46: effectfully 46: effectfully Roman, known better online as effectfully, is interviewed by Wouter and Joachim. On his path to becoming a Plutus language developer at IOG, he learned English to read Software Foundations,   has encountered many spaceleaks, and used Haskell to prevent robots from killing people.

]]> Roman, known better online as effectfully, is interviewed by Wouter and Joachim. On his path to becoming a Plutus language developer at IOG, he learned English to read Software Foundations,   has encountered many spaceleaks, and used Haskell to prevent robots from killing people.

]]> https://haskell.foundation/podcast/46 Buzzsprout-14808935 Tue, 02 Apr 2024 07:00:00 +0000 3123 1 46 full false 45: András Kovács 45: András Kovács In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superior to Rust's, the importance of looking at GHC's Core for spotting stray closures, and why staging might be the answer to all your optimisation problems.

]]> In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superior to Rust's, the importance of looking at GHC's Core for spotting stray closures, and why staging might be the answer to all your optimisation problems.

]]> https://haskell.foundation/podcast/ Buzzsprout-14709385 Mon, 18 Mar 2024 08:00:00 +0000 3355 1 45 full false 44: José Manuel Calderón Trilla 44: José Manuel Calderón Trilla Wouter and Niki interview Jose Calderon, the new Executive Director of the Haskell Foundation. Jose tells why he applied for the job, how he sees the foundation developing over the coming years, and how you can get involved in the Haskell community.

]]> Wouter and Niki interview Jose Calderon, the new Executive Director of the Haskell Foundation. Jose tells why he applied for the job, how he sees the foundation developing over the coming years, and how you can get involved in the Haskell community.

]]> https://haskell.foundation/podcast/44 Haskell Podcast Buzzsprout-14607878 Fri, 01 Mar 2024 14:00:00 +0000 2177 1 44 full false 43: Ivan Perez 43: Ivan Perez In this episode, Wouter and Andres interview Ivan Perez, a senior research scientist at NASA. Ivan tells us about how NASA uses Haskell to develop the Copilot embedded domain specific language for runtime verification, together with some of the obstacles he encounters getting to end users to learn Haskell and adopt such an EDSL.

]]> In this episode, Wouter and Andres interview Ivan Perez, a senior research scientist at NASA. Ivan tells us about how NASA uses Haskell to develop the Copilot embedded domain specific language for runtime verification, together with some of the obstacles he encounters getting to end users to learn Haskell and adopt such an EDSL.

]]> https://haskell.foundation/podcast/43 Buzzsprout-14524278 Sun, 18 Feb 2024 12:00:00 +0000 3372 1 43 full false 42 : Jezen Thomas 42 : Jezen Thomas Jezen Thomas is co-founder and CTO of Supercede, a company applying Haskell in the reinsurance industry. In this episode, Jezen, Wouter and Joachim talk about his experience using Haskell in industry, growing a diverse and remote team of developers, and starting a company to create your own Haskell job.

]]> Jezen Thomas is co-founder and CTO of Supercede, a company applying Haskell in the reinsurance industry. In this episode, Jezen, Wouter and Joachim talk about his experience using Haskell in industry, growing a diverse and remote team of developers, and starting a company to create your own Haskell job.

]]> https://haskell.foundation/podcast/42 Haskell Podcast Buzzsprout-14412486 Wed, 31 Jan 2024 10:00:00 +0000 3062 1 42 full false 41: Moritz Angermann 41: Moritz Angermann Today, Matthías and Joachim are interviewing Moritz Angermann. Moritz knew he wanted to use Haskell before he knew Haskell, fixed cross-compilation as his first GHC contribution. We’ll talk more about cross-compilation to Windows and mobile platforms, why Template Haskell is the cause of most headaches, why you should be careful if your sister calls and tells you to cabal install a package, and finally how we can reduce the fear of new GHC releases, by improving stability.

]]> Today, Matthías and Joachim are interviewing Moritz Angermann. Moritz knew he wanted to use Haskell before he knew Haskell, fixed cross-compilation as his first GHC contribution. We’ll talk more about cross-compilation to Windows and mobile platforms, why Template Haskell is the cause of most headaches, why you should be careful if your sister calls and tells you to cabal install a package, and finally how we can reduce the fear of new GHC releases, by improving stability.

]]> https://haskell.foundation/podcast/41 Haskell Podcast Buzzsprout-14310617 Mon, 15 Jan 2024 08:00:00 +0000 3971 1 41 full false 40: Mike Sperber 40: Mike Sperber In this episode, Andres and Matti talk to Mike Sperber, CEO of Active Group in Germany. They discuss how to successfully develop an application based on deep learning in Haskell, contrast learning by example with the German bureaucratic approach, and highlight the virtues of having fewer changes in the language.

]]> In this episode, Andres and Matti talk to Mike Sperber, CEO of Active Group in Germany. They discuss how to successfully develop an application based on deep learning in Haskell, contrast learning by example with the German bureaucratic approach, and highlight the virtues of having fewer changes in the language.

]]> https://haskell.foundation/podcast/40 Haskell Podcast Buzzsprout-14225777 Sun, 31 Dec 2023 17:00:00 +0000 3804 1 40 full false 39: Rebecca Skinner 39: Rebecca Skinner In this episode, we are joined by Rebecca Skinner. She talks about her new book, Effective Haskell, which takes you from list manipulation to thunks to type-level programming. She also tells us about large scale industrial applications in Haskell, and how the architecture is shaped by the organization of the engineering teams.

Disclaimer: Mercury is a financial technology company, not a bank. Banking services provided by Choice Financial Group and Evolve Bank & Trust, Members FDIC.

]]> In this episode, we are joined by Rebecca Skinner. She talks about her new book, Effective Haskell, which takes you from list manipulation to thunks to type-level programming. She also tells us about large scale industrial applications in Haskell, and how the architecture is shaped by the organization of the engineering teams.

Disclaimer: Mercury is a financial technology company, not a bank. Banking services provided by Choice Financial Group and Evolve Bank & Trust, Members FDIC.

]]> https://haskell.foundation/podcast/39 Haskell Podcast Buzzsprout-14152457 Fri, 15 Dec 2023 11:00:00 +0000 2737 1 39 full false 38: Edwin Brady 38: Edwin Brady Andres and Wouter interview Edwin Brady, most famous for his work on the Idris programming language. We talk about how he got interested in programming with dependent types, his thoughts on dependently typed programming in Haskell, and his vision for Idris.

]]> Andres and Wouter interview Edwin Brady, most famous for his work on the Idris programming language. We talk about how he got interested in programming with dependent types, his thoughts on dependently typed programming in Haskell, and his vision for Idris.

]]> https://haskell.foundation/podcast/38 Haskell Podcast Buzzsprout-14083149 Mon, 04 Dec 2023 08:00:00 +0000 3513 1 38 full false 37: John MacFarlane 37: John MacFarlane Joachim Breitner and David Thrane Christiansen interview John MacFarlane, a professor of philosophy at UC Berkeley, but also the author of the popular pandoc document conversion tool, which has been around half as long as Haskell itself.
He also explains the principle of uniformity as a design goal for lightweight markup languages, the relationship between philosophy and programming, and along the way he helps David with his markdown difficulties.

]]> Joachim Breitner and David Thrane Christiansen interview John MacFarlane, a professor of philosophy at UC Berkeley, but also the author of the popular pandoc document conversion tool, which has been around half as long as Haskell itself.
He also explains the principle of uniformity as a design goal for lightweight markup languages, the relationship between philosophy and programming, and along the way he helps David with his markdown difficulties.

]]> https://haskell.foundation/podcast/37 Haskell Podcast Buzzsprout-13969224 Tue, 14 Nov 2023 14:00:00 +0000 3049 1 37 full false 36: John Hughes 36: John Hughes In this episode, Matti and Wouter are joined by John Hughes. John is one of the authors of the original Haskell Report and talks about why functional programming matters, the origins of QuickCheck testing, and how higher order functions and lazy evaluation is the key that makes functional programming so productive, and so much fun!

]]> In this episode, Matti and Wouter are joined by John Hughes. John is one of the authors of the original Haskell Report and talks about why functional programming matters, the origins of QuickCheck testing, and how higher order functions and lazy evaluation is the key that makes functional programming so productive, and so much fun!

]]> https://haskell.foundation/podcast/36/ Haskell Podcast Buzzsprout-13879645 Tue, 31 Oct 2023 10:00:00 +0000 3705 1 36 full false 35: Iavor Diatchki 35: Iavor Diatchki Wouter and Niki are joined by Iavor Diatchki to talk about his experience with different Haskell development styles, writing a high assurance wiki in php, and maintaining Haskell code across different GHC releases over multiple decades.

]]> Wouter and Niki are joined by Iavor Diatchki to talk about his experience with different Haskell development styles, writing a high assurance wiki in php, and maintaining Haskell code across different GHC releases over multiple decades.

]]> https://haskell.foundation/podcast/35/ Haskell Podcast Buzzsprout-13797157 Tue, 17 Oct 2023 19:00:00 +0000 3205 1 35 full false 34: Lindsey Kuper 34: Lindsey Kuper In this episode Niki Vazou and Wouter Swierstra chat with Lindsey Kuper, Assistant Professor at University of California, Santa Cruz. They discuss what to do when your data center gets hit by a tornado, life in academia versus life in industry, and what is choreographic programming. 

]]> In this episode Niki Vazou and Wouter Swierstra chat with Lindsey Kuper, Assistant Professor at University of California, Santa Cruz. They discuss what to do when your data center gets hit by a tornado, life in academia versus life in industry, and what is choreographic programming. 

]]> https://haskell.foundation/podcast/34/ Haskell Podcast Buzzsprout-13697879 Mon, 02 Oct 2023 07:00:00 +0000 3256 1 34 full false 33: David Christiansen 33: David Christiansen In this farewell interview with David Thrane Christiansen, the outgoing Executive Director of the Haskell Foundation, hosts Wouter Swierstra and Matthías Páll Gissurarson use the opportunity to reflect on his tenure as ED, the recent history of the Haskell Foundation, where the HF is going and what consider if you want to apply for the role of Executive Director of the HF.

]]> In this farewell interview with David Thrane Christiansen, the outgoing Executive Director of the Haskell Foundation, hosts Wouter Swierstra and Matthías Páll Gissurarson use the opportunity to reflect on his tenure as ED, the recent history of the Haskell Foundation, where the HF is going and what consider if you want to apply for the role of Executive Director of the HF.

]]> Haskell Podcast Buzzsprout-13599138 Fri, 15 Sep 2023 20:00:00 +0000 3023 1 33 full false 32: Ranjit Jhala 32: Ranjit Jhala This episode’s guest is Ranjit Jhala. We discuss how Ranjit developed Liquid Haskell as a litmus test, because if Haskell programmer’s won’t use Liquid Types, no one will. We also hear how writing Haskell is a joy and how you should never underestimate your students.

]]> This episode’s guest is Ranjit Jhala. We discuss how Ranjit developed Liquid Haskell as a litmus test, because if Haskell programmer’s won’t use Liquid Types, no one will. We also hear how writing Haskell is a joy and how you should never underestimate your students.

]]> https://haskell.foundation/podcast/32/ Haskell Podcast Buzzsprout-13462272 Thu, 24 Aug 2023 07:00:00 +0000 3718 1 32 full false 31: Arnaud Spiwack 31: Arnaud Spiwack Arnaud Spiwack is interviewed by Matthías Páll Gissurarson and Joachim Breitner. We learn all about linear types in Haskell, how linear types go beyond Rust’s ownership system and why it’s not always best to type check everything in core. We conclude with a peek into the many activities of Arnaud’s employer, Tweag.

]]> Arnaud Spiwack is interviewed by Matthías Páll Gissurarson and Joachim Breitner. We learn all about linear types in Haskell, how linear types go beyond Rust’s ownership system and why it’s not always best to type check everything in core. We conclude with a peek into the many activities of Arnaud’s employer, Tweag.

]]> https://haskell.foundation/podcast/31/ Haskell Podcast Buzzsprout-13321403 Mon, 31 Jul 2023 15:00:00 +0000 3350 1 31 full false 30: Bartosz Milewski 30: Bartosz Milewski In this episode, Bartosz Milewski is interviewed by Wouter Swierstra and Andres Löh. Bartosz shares his thoughts on the "fringe topics" in programming, from C++ templates to category theory in Haskell. How he considers monads to be like fingers sticking out of the water. And he'll talk a little bit about his upcoming book and his thoughts on linear types.

]]> In this episode, Bartosz Milewski is interviewed by Wouter Swierstra and Andres Löh. Bartosz shares his thoughts on the "fringe topics" in programming, from C++ templates to category theory in Haskell. How he considers monads to be like fingers sticking out of the water. And he'll talk a little bit about his upcoming book and his thoughts on linear types.

]]> https://haskell.foundation/podcast/30/ Haskell Podcast Buzzsprout-13235738 Mon, 17 Jul 2023 07:00:00 +0000 3352 1 30 full false 29: ZuriHac 29: ZuriHac Joachim Breitner went to ZuriHac 2023 in order to bring the spirit of the biggest Haskell community event to you. He talks to Farhad Mehta, Tomáš Janoušek, Christian Georgii, David Christiansen, Artin Ghasivand, Hannes Siebenhandl, Michael Peyton Jones and Ben Lynn.

]]> Joachim Breitner went to ZuriHac 2023 in order to bring the spirit of the biggest Haskell community event to you. He talks to Farhad Mehta, Tomáš Janoušek, Christian Georgii, David Christiansen, Artin Ghasivand, Hannes Siebenhandl, Michael Peyton Jones and Ben Lynn.

]]> https://haskell.foundation/podcast/29/ Haskell Podcast Buzzsprout-13122509 Wed, 28 Jun 2023 08:00:00 +0000 1637 1 29 full false 28: Richard Eisenberg 28: Richard Eisenberg In this episode Niki Vazou and Mattias Pall chat with Richard Eisenberg. Richard is currently a language designer at Jane Street, he is the chair of the board at the Haskell Foundation and known for his work on the GHC compiler.  Today we talk about dependent types in Haskell, how to get involved with GHC and Haskell foundation and how Haskell and Ocaml are different, for example, functor means a totally different thing in the two languages. 


]]> In this episode Niki Vazou and Mattias Pall chat with Richard Eisenberg. Richard is currently a language designer at Jane Street, he is the chair of the board at the Haskell Foundation and known for his work on the GHC compiler.  Today we talk about dependent types in Haskell, how to get involved with GHC and Haskell foundation and how Haskell and Ocaml are different, for example, functor means a totally different thing in the two languages. 


]]> Haskell Podcast Buzzsprout-13052541 Fri, 16 Jun 2023 14:00:00 +0000 2974 1 28 full false 27: Christiaan Baaij 27: Christiaan Baaij In this episode Christiaan Baaij is interviewed by Wouter Swierstra and Mattias Páll. Christiaan talks about his work on the Clash compiler, what it is like to found your own company, his desire for ergonomic dependent types, and the foundations to all his success, namely capitalising on luck.



Errata: Around the 21m19s mark Christiaan talks about “his“ contributions to GHC with regards to dynamic linking on OSX. Later he remembered that it was actually Moritz Angermann who [worked on the symbol limit restrictions](https://gitlab.haskell.org/ghc/ghc/-/commit/b592bd98ff25730bbe3c13d6f62a427df8c78e28). However, Christiaan did [some other work on OSX linking](https://gitlab.haskell.org/ghc/ghc/-/commit/f7be53ac9dac85b83e7fe5ecede01b98a572ba48) and some of the [RPATH handling](https://github.com/haskell/cabal/pull/2255/commits).

]]> In this episode Christiaan Baaij is interviewed by Wouter Swierstra and Mattias Páll. Christiaan talks about his work on the Clash compiler, what it is like to found your own company, his desire for ergonomic dependent types, and the foundations to all his success, namely capitalising on luck.



Errata: Around the 21m19s mark Christiaan talks about “his“ contributions to GHC with regards to dynamic linking on OSX. Later he remembered that it was actually Moritz Angermann who [worked on the symbol limit restrictions](https://gitlab.haskell.org/ghc/ghc/-/commit/b592bd98ff25730bbe3c13d6f62a427df8c78e28). However, Christiaan did [some other work on OSX linking](https://gitlab.haskell.org/ghc/ghc/-/commit/f7be53ac9dac85b83e7fe5ecede01b98a572ba48) and some of the [RPATH handling](https://github.com/haskell/cabal/pull/2255/commits).

]]> https://haskell.foundation/podcast/27/ Haskell Podcast Buzzsprout-12919972 Thu, 25 May 2023 15:00:00 +0000 3044 1 27 full false 26: Simon Marlow 26: Simon Marlow In this episode Simon Marlow talks with Andres Löh and Matthias Pall. Simon is a long time GHC contributor, currently working at Meta. He talks about compiling functional  languages via C and the Evil Mangler, the importance of using parallelism and its impact on garbage collection, and about using Haskell in the real world via Sigma, Haxl, and Glean. 


]]> In this episode Simon Marlow talks with Andres Löh and Matthias Pall. Simon is a long time GHC contributor, currently working at Meta. He talks about compiling functional  languages via C and the Evil Mangler, the importance of using parallelism and its impact on garbage collection, and about using Haskell in the real world via Sigma, Haxl, and Glean. 


]]> https://haskell.foundation/podcast/26/ Haskell Podcast Buzzsprout-12919696 Thu, 25 May 2023 14:00:00 +0000 3270 1 26 full false 25: Bodigrim 25: Bodigrim In this episode Joachim Breitner and Wouter Swierstra talk to Andrew Lelechenko, also known as Bodigrim. Bodigrim went from a being a mathematician to a failed PHP developer the chair of the Core Libraries Committee. In this episode, we discuss whether he prefers number theory or Haskell, whether he prefers working with compilers or PHP frameworks, and whether he prefers high salaries for Haskell developers or breaking changes to the base library

]]> In this episode Joachim Breitner and Wouter Swierstra talk to Andrew Lelechenko, also known as Bodigrim. Bodigrim went from a being a mathematician to a failed PHP developer the chair of the Core Libraries Committee. In this episode, we discuss whether he prefers number theory or Haskell, whether he prefers working with compilers or PHP frameworks, and whether he prefers high salaries for Haskell developers or breaking changes to the base library

]]> https://haskell.foundation/podcast/25 Haskell Podcast Buzzsprout-12741964 Fri, 28 Apr 2023 13:00:00 +0000 2746 1 25 full false 24: Jeremy Gibbons 24: Jeremy Gibbons In this episode Andres Löh and Niki Vazou chat with Jeremy Gibbons. Jeremy Gibbons is professor at Oxford and talks about his journey from Orwell to Haskell, how to teach Haskell and specification languages to undergraduates as well as professional programmers, how programming languages should keep simple things simple, and how paper writing can or even should be like poetry.

]]> In this episode Andres Löh and Niki Vazou chat with Jeremy Gibbons. Jeremy Gibbons is professor at Oxford and talks about his journey from Orwell to Haskell, how to teach Haskell and specification languages to undergraduates as well as professional programmers, how programming languages should keep simple things simple, and how paper writing can or even should be like poetry.

]]> Haskell Podcast Buzzsprout-12623500 Mon, 10 Apr 2023 19:00:00 +0000 3392 1 24 full true 23: Ben Gamari 23: Ben Gamari In this episode Wouter Swierstra and Joachim Breitner chat with Ben Gamari. Ben is a consultant at well-typed known for his work at GHC. Ben tells us a little bit about his switch from Python to Haskell but not because he was missing the static typing, how programming his thermostat lead him to a career in the compiler development, and what it's like to be a GHC force multiplier. 

]]> In this episode Wouter Swierstra and Joachim Breitner chat with Ben Gamari. Ben is a consultant at well-typed known for his work at GHC. Ben tells us a little bit about his switch from Python to Haskell but not because he was missing the static typing, how programming his thermostat lead him to a career in the compiler development, and what it's like to be a GHC force multiplier. 

]]> Haskell Podcast Buzzsprout-12492098 Wed, 22 Mar 2023 09:00:00 +0000 2780 1 23 full false 22: Alejandro Russo 22: Alejandro Russo In this episode Andres Löh and Niki Vazou talk with Alejandro Russo.  Alejandro is a professor at Chalmers University in Gothenburg Sweden, he is an enthusiastic functional programmer as well as a researcher in the fields of security and privacy. He talks about the unique strengths Haskell has in these areas and how to move research ideas into industry. 

]]> In this episode Andres Löh and Niki Vazou talk with Alejandro Russo.  Alejandro is a professor at Chalmers University in Gothenburg Sweden, he is an enthusiastic functional programmer as well as a researcher in the fields of security and privacy. He talks about the unique strengths Haskell has in these areas and how to move research ideas into industry. 

]]> Haskell Podcast Buzzsprout-12335263 Mon, 27 Feb 2023 08:00:00 +0000 2919 1 22 full true 21: Andrey Mokhov 21: Andrey Mokhov In this episode Matthías Páll and Andres Löh  talk with Andrey Mokhov. 
Andrey is best known for his work on the Hadrian build system and today he talks about algebraic graphs, selective functors, and the  difference between OCaml and Haskell. 


]]> In this episode Matthías Páll and Andres Löh  talk with Andrey Mokhov. 
Andrey is best known for his work on the Hadrian build system and today he talks about algebraic graphs, selective functors, and the  difference between OCaml and Haskell. 


]]> Haskell Podcast Buzzsprout-12240448 Mon, 13 Feb 2023 08:00:00 +0000 2654 1 21 full false 20: Jesper Cockx 20: Jesper Cockx In this episode Jesper Cockx, one of the main Agda developers, is interviews by Niki Vazou and Matthias Pall. They talk about how to explain dependent types to one's father, how Agda’s automation and proof search work, and how Agda can be used to verify Haskell code bases.

]]> In this episode Jesper Cockx, one of the main Agda developers, is interviews by Niki Vazou and Matthias Pall. They talk about how to explain dependent types to one's father, how Agda’s automation and proof search work, and how Agda can be used to verify Haskell code bases.

]]> https://haskell.foundation/podcast/20/ Haskell Podcast Buzzsprout-12051036 Mon, 16 Jan 2023 06:00:00 +0000 3029 1 20 full false 19: Marc Scholten 19: Marc Scholten In this episode Marc Scholten is interviewed by Andres Löh and Joachim Breitner. They talk about the Integrated Haskell Platform web framework (IHP), implicit parameters and nix.

]]> In this episode Marc Scholten is interviewed by Andres Löh and Joachim Breitner. They talk about the Integrated Haskell Platform web framework (IHP), implicit parameters and nix.

]]> Haskell Podcast Buzzsprout-11829745 Wed, 07 Dec 2022 12:00:00 +0000 3026 1 19 full false 18: Matthias Pall Gissurarson & Jimmy Koppel 18: Matthias Pall Gissurarson & Jimmy Koppel In this episode Matthias Pall Gissurarson & Jimmy Koppel are interviewed by Wouter Swierstra and Niki Vazou. They talk about program synthesis, typed holes, program repair, and generating properties using a new technique called ECTAs.

]]> In this episode Matthias Pall Gissurarson & Jimmy Koppel are interviewed by Wouter Swierstra and Niki Vazou. They talk about program synthesis, typed holes, program repair, and generating properties using a new technique called ECTAs.

]]> https://haskell.foundation/podcast/18 Haskell Podcast Buzzsprout-11706397 Wed, 16 Nov 2022 11:00:00 +0000 2348 1 18 full false 17: Ningning Xie 17: Ningning Xie Ningning Xie is interviewed by Niki Vazou and Andres Loh. Ningning first contributed to GHC at her Google summer of code project with a very ambitious goal of implementing the whole dependent Haskell. Also later she fixed several ghc bugs and worked on Koka’s Algebraic effects. Her future hope and advice is to use programming language concepts on real-word problems.


]]> Ningning Xie is interviewed by Niki Vazou and Andres Loh. Ningning first contributed to GHC at her Google summer of code project with a very ambitious goal of implementing the whole dependent Haskell. Also later she fixed several ghc bugs and worked on Koka’s Algebraic effects. Her future hope and advice is to use programming language concepts on real-word problems.


]]> https://haskell.foundation/podcast/17/ Haskell Podcast Buzzsprout-11564042 Tue, 25 Oct 2022 10:00:00 +0000 2885 1 17 full false 16: Oskar Wickström 16: Oskar Wickström Oskar Wickström is interviewed by Wouter Swierstra and Alejandro Serrano, he will tell us a little bit about property-based testing (PBT) Haskell code but also applying these ideas to the testing of complete systems. He will say a little bit about interfacing Haskell to other languages and even with your web browser and what it's like to learn Rust as a Haskell programmer.

]]> Oskar Wickström is interviewed by Wouter Swierstra and Alejandro Serrano, he will tell us a little bit about property-based testing (PBT) Haskell code but also applying these ideas to the testing of complete systems. He will say a little bit about interfacing Haskell to other languages and even with your web browser and what it's like to learn Rust as a Haskell programmer.

]]> https://haskell.foundation/podcast/16 Haskell Podcast Buzzsprout-11220661 Wed, 31 Aug 2022 07:00:00 +0000 3031 1 16 full false 15: Facundo Dominguez 15: Facundo Dominguez Facundo Dominguez is interviewed by Niki Vazou and Joachim Breitner. Facundo Dominguez tells us the difference between STM and SMT. We also talk about Liquid Haskell and its relation to dependent types and the `QualifiedDo` extension -- which is one of the most highly discussed GHC proposals -- and the general GHC proposals. And, finally, Facundo lets have Haskell peacefully coexist with other languages thanks to his work in the build system Bazel.


]]> Facundo Dominguez is interviewed by Niki Vazou and Joachim Breitner. Facundo Dominguez tells us the difference between STM and SMT. We also talk about Liquid Haskell and its relation to dependent types and the `QualifiedDo` extension -- which is one of the most highly discussed GHC proposals -- and the general GHC proposals. And, finally, Facundo lets have Haskell peacefully coexist with other languages thanks to his work in the build system Bazel.


]]> Haskell Podcast Buzzsprout-10962514 Thu, 14 Jul 2022 16:00:00 +0000 3398 1 15 full false 14: Ryan Trinkle 14: Ryan Trinkle Ryan Trinkle is interviewed by Joachim Breitner and Niki Vazou. Ryan Trinkle has co-founded Obsidian Systems, a company that not just uses Haskell but even more exotic tech that as Functional Reactive Programming (FRP) and Nix. Ryan shed some light on the business side of Haskell and we get to hear that hiring for Haskell is actually excellent.

]]> Ryan Trinkle is interviewed by Joachim Breitner and Niki Vazou. Ryan Trinkle has co-founded Obsidian Systems, a company that not just uses Haskell but even more exotic tech that as Functional Reactive Programming (FRP) and Nix. Ryan shed some light on the business side of Haskell and we get to hear that hiring for Haskell is actually excellent.

]]> Haskell Podcast Buzzsprout-10868136 Tue, 28 Jun 2022 10:00:00 +0000 3057 1 14 full false 13: David Christiansen 13: David Christiansen David Christiansen is interviewed by Alejandro Serrano  and Wouter Swierstra.  They talk about many functional programming things, from Idris to Racket and of course Haskell and David's new role as the executive director of Haskell Foundation. 


]]> David Christiansen is interviewed by Alejandro Serrano  and Wouter Swierstra.  They talk about many functional programming things, from Idris to Racket and of course Haskell and David's new role as the executive director of Haskell Foundation. 


]]> Haskell Podcast Buzzsprout-10738139 Sun, 05 Jun 2022 07:00:00 +0000 3320 1 13 full false 12: Gergő Érdi 12: Gergő Érdi Gergő Érdi is interviewed by Wouter Swierstra and  Andres Löh. Gergő has an interesting path into Haskell taking many twists and turns. This episode discusses about these twists and Gergő's recent book on implementing retro computers using Haskell.

]]> Gergő Érdi is interviewed by Wouter Swierstra and  Andres Löh. Gergő has an interesting path into Haskell taking many twists and turns. This episode discusses about these twists and Gergő's recent book on implementing retro computers using Haskell.

]]> https://haskell.foundation/podcast/12 Haskell Podcast Buzzsprout-10585707 Mon, 09 May 2022 14:00:00 +0000 4674 1 12 full false 11: Simon Peyton Jones 11: Simon Peyton Jones Simon Peyton Jones is interviewed by Andres Löh and Joachim Breitner.  Simon is the creator of Haskell and in this episode he talks about his new position at Epic, the origins of Haskell and why "it feels right", and the (extra)ordinary Haskell programmers.

]]> Simon Peyton Jones is interviewed by Andres Löh and Joachim Breitner.  Simon is the creator of Haskell and in this episode he talks about his new position at Epic, the origins of Haskell and why "it feels right", and the (extra)ordinary Haskell programmers.

]]> Haskell Podcast Buzzsprout-10316819 Fri, 25 Mar 2022 13:00:00 +0000 3908 1 11 full false 10: Nadia Polikarpova 10: Nadia Polikarpova Nadia Polikarpova is interviewed by Alejandro Serrano and Niki Vazou. Nadia is an assistant professor at UCSD, where she works on improving how we write programs. They talk about some of her projects, like Hoogle+ and Synquid, and how she approaches teaching about these topics.

]]> Nadia Polikarpova is interviewed by Alejandro Serrano and Niki Vazou. Nadia is an assistant professor at UCSD, where she works on improving how we write programs. They talk about some of her projects, like Hoogle+ and Synquid, and how she approaches teaching about these topics.

]]> https://haskell.foundation/podcast/10/ Haskell Podcast Buzzsprout-10194353 Sat, 05 Mar 2022 21:00:00 +0000 3374 1 10 full false 09: Sebastian Graf 09: Sebastian Graf Sebastian Graf is interviewed by Joachim Breitner and Alejandro Serrano.  Sebastian is one of the most active contributors to GHC, and tells of this experience, from his very first commit to GHC to his current work on the pattern coverage checker and demand analyzer. He also gives us hints on how to reason about the strictness of Haskell programs.

]]> Sebastian Graf is interviewed by Joachim Breitner and Alejandro Serrano.  Sebastian is one of the most active contributors to GHC, and tells of this experience, from his very first commit to GHC to his current work on the pattern coverage checker and demand analyzer. He also gives us hints on how to reason about the strictness of Haskell programs.

]]> Haskell Podcast Buzzsprout-10051487 Thu, 10 Feb 2022 19:00:00 +0000 3714 1 9 full false 08: Théophile Choutri 08: Théophile Choutri Niki Vazou and Andres Löh are joined by guest Théophile Choutri (they/them), who also goes by Hécate. Théophile coordinates multiple projects and volunteer groups within the Haskell Foundation, notably the Haskell School project (intending to provide a free online open source library for teaching Haskell), and works on improving GHC core documentation and developing an alternative to Hackage. Together they discuss Théophile's introduction to Haskell and their ongoing projects with the Foundation and the broader community, with a focus on the challenges facing Haskell non-experts and how they hope to tackle them.

]]> Niki Vazou and Andres Löh are joined by guest Théophile Choutri (they/them), who also goes by Hécate. Théophile coordinates multiple projects and volunteer groups within the Haskell Foundation, notably the Haskell School project (intending to provide a free online open source library for teaching Haskell), and works on improving GHC core documentation and developing an alternative to Hackage. Together they discuss Théophile's introduction to Haskell and their ongoing projects with the Foundation and the broader community, with a focus on the challenges facing Haskell non-experts and how they hope to tackle them.

]]> https://haskell.foundation/podcast/8/ Haskell Podcast Buzzsprout-9846037 Fri, 07 Jan 2022 12:00:00 +0000 3848 1 8 full false 07: José Calderón 07: José Calderón José Calderón  is interviewed by Niki Vazou and Wouter Swierstra .  José has been working on functional programming at Galois and University of Maryland.  He tells us about his research background in many different continents, his experience with teaching compilers, the relation between music and functional programming and the "Recursive Programming Techniques" book that in the  1970s captured the essence of functional programming. 

]]> José Calderón  is interviewed by Niki Vazou and Wouter Swierstra .  José has been working on functional programming at Galois and University of Maryland.  He tells us about his research background in many different continents, his experience with teaching compilers, the relation between music and functional programming and the "Recursive Programming Techniques" book that in the  1970s captured the essence of functional programming. 

]]> https://haskell.foundation/podcast/7/ Haskell Podcast Buzzsprout-9739319 Fri, 17 Dec 2021 12:00:00 +0000 3408 1 7 full false 06: Graham Hutton 06: Graham Hutton Graham Hutton is interviewed by Wouter Swierstra and Andres Löh. Graham is known for his work on Haskell both in research and teaching Haskell, and in particular his Haskell book. Graham will tell us a little bit about how his book came about and give us advice for how to write a book ourselves, but also look back on his experience using Haskell and teaching Haskell in the last thirty years, and tell us a little bit about how bad the compile times were for the very first versions of GHC.

]]> Graham Hutton is interviewed by Wouter Swierstra and Andres Löh. Graham is known for his work on Haskell both in research and teaching Haskell, and in particular his Haskell book. Graham will tell us a little bit about how his book came about and give us advice for how to write a book ourselves, but also look back on his experience using Haskell and teaching Haskell in the last thirty years, and tell us a little bit about how bad the compile times were for the very first versions of GHC.

]]> https://haskell.foundation/podcast/6/ Haskell Podcast Buzzsprout-9616803 Fri, 26 Nov 2021 14:00:00 +0000 3531 1 6 full false 05: Chris Smith 05: Chris Smith Chris Smith is interviewed by Joachim Breitner and Andres Löh. Chris is the author of the CodeWorld teaching tool and discusses why too much curry in the language can make error messages hard to digest and why a self respecting testing library certainly should be used to test itself.   

]]> Chris Smith is interviewed by Joachim Breitner and Andres Löh. Chris is the author of the CodeWorld teaching tool and discusses why too much curry in the language can make error messages hard to digest and why a self respecting testing library certainly should be used to test itself.   

]]> Haskell Podcast Buzzsprout-9537767 Fri, 12 Nov 2021 14:00:00 +0000 4077 1 5 full false 04: Jasper Van der Jeugt 04: Jasper Van der Jeugt Jasper Van der Jeug is interviewed by Niki Vazou and Joachim Breitner. Jasper plays an important role in the Haskell community, helping with haskell.org, the Google Summer of Code project, ZuriHac and the ICPF programming contest, so there is much to talk about.

]]> Jasper Van der Jeug is interviewed by Niki Vazou and Joachim Breitner. Jasper plays an important role in the Haskell community, helping with haskell.org, the Google Summer of Code project, ZuriHac and the ICPF programming contest, so there is much to talk about.

]]> Haskell Podcast Buzzsprout-9454765 Fri, 29 Oct 2021 10:00:00 +0000 3783 1 4 full false 03: Gabriella Gonzalez 03: Gabriella Gonzalez The guest in our second episode is Gabriella Gonzalez. The hosts are Joachim Breitner and Alejandro Serrano. We talk about Dhall, Nix, and Haskell, learn why Gabriella's packages are sometimes called after characters of computer games, and get to know her elevator pitch for educating Haskell. The interviewee now goes by Gabriella as their preferred name, but at the time was still using Gabriel.

]]> The guest in our second episode is Gabriella Gonzalez. The hosts are Joachim Breitner and Alejandro Serrano. We talk about Dhall, Nix, and Haskell, learn why Gabriella's packages are sometimes called after characters of computer games, and get to know her elevator pitch for educating Haskell. The interviewee now goes by Gabriella as their preferred name, but at the time was still using Gabriel.

]]> Haskell Podcast Buzzsprout-9368484 Thu, 14 Oct 2021 15:00:00 +0000 3604 1 3 full false 02: Lennart Augustsson 02: Lennart Augustsson The guest in our second episode is Lennart Augustsson. The hosts are Wouter Swierstra and Niki Vazou. We talk about Lennart's long history with Haskell, about the various jobs he has had, all the compilers he has written, and about dependent types.

]]> The guest in our second episode is Lennart Augustsson. The hosts are Wouter Swierstra and Niki Vazou. We talk about Lennart's long history with Haskell, about the various jobs he has had, all the compilers he has written, and about dependent types.

]]> Haskell Podcast Buzzsprout-9286902 Thu, 30 Sep 2021 14:00:00 +0000 4106 1 2 full false 01: Emily Pillmore 01: Emily Pillmore The guest of our first regular episode is Emily Pillmore, CTO of the Haskell Foundation. The hosts are Alejandro Serrano and Andres Löh. We talk about Emily's path to Haskell, the role of the Haskell Foundation and the CTO within the Haskell Foundation, about current projects, the Haskell Community and about Emily's work on Optics.

]]> The guest of our first regular episode is Emily Pillmore, CTO of the Haskell Foundation. The hosts are Alejandro Serrano and Andres Löh. We talk about Emily's path to Haskell, the role of the Haskell Foundation and the CTO within the Haskell Foundation, about current projects, the Haskell Community and about Emily's work on Optics.

]]> Haskell Podcast Buzzsprout-8984158 Mon, 09 Aug 2021 18:00:00 +0000 4440 1 1 full false 00: Teaser 00: Teaser This is the Haskell Interlude! 
Welcome to our new Haskell podcast, where the five co-hosts, Wouter Swierstra, Andres Löh, Alejandro Serrano, Niki Vazou, and Joahim Breitner introduce themselves.  

]]> This is the Haskell Interlude! 
Welcome to our new Haskell podcast, where the five co-hosts, Wouter Swierstra, Andres Löh, Alejandro Serrano, Niki Vazou, and Joahim Breitner introduce themselves.  

]]> Haskell Podcast Buzzsprout-8849953 Mon, 12 Jul 2021 14:00:00 +0000 355 1 trailer false