The Haskell Cast
The Haskell Cast
Episodes
Episodes of The Haskell Cast
Mark All
00:29 What are dependent type systems?03:38 applying dependent types to industry07:30 writing dependently typed programs in Haskell today09:07 GADTs (Generalized Algebraic Data Types)11:01 the future of dependent types in GHC13:4
00:44 using Haskell, Nix, and Emacs for integrated offline development08:48 building environments for particular dependencies with Nix09:58 what Emacs and GHC have in common12:58 developing with typed holes14:43 compiling to categor
Neil Mitchell shares with us his enthusiasm for building development tools. We hear the story of how he built Hoogle in order to learn Haskell, why he created the Shake build system and what he hopes to accomplish with it, and how he uses hlint
Austin Seipp joins us to discuss Haskell security and infrastructure. We talk about how Haskell security differs from C (and where it doesn’t) and some coming changes to Cabal security. Then we discuss Cryptol: a Haskell-inspired language for i
Bryan O’Sullivan shares his experience helping make developers more efficient, both inside of Facebook as Director of Developer Efficiency and with his various Haskell libraries, some of which you probably know and use already: aeson, attoparse
Conal Elliott, inventor of Functional Reactive Programming, tells us about the birth of FRP as well as other stories from his 30+ years of functional programming experience. He shares what he considers the fundamentals of FRP (behaviors and eve
Ollie Charles, author of 24 Days of Hackage (and a number of Haskell libraries), gives us his perspectives on Haskell libraries and how they relate to Perl’s CPAN. He shares how he began his transition from Perl to Haskell while working for Mus
Chris Done, creator of Fay, Try Haskell, and Structured Haskell Mode, chats with us about web development in Haskell. We start with compiling Haskell to JavaScript via Fay, Haste, and ghcjs. We then discuss SQL and the alternatives available. F
Gabriel Gonzalez and Michael Snoyman join us to discuss their solutions to the problems with lazy IO. Gabriel’s pipes library focuses on equational reasoning while Michael’s conduit library promises deterministic resource handling. Gabriel and
Brent Yorgey explains the motivation and purpose of his Diagrams library and how it relates to other programmatic graphics systems like TikZ. He then shares his motivation for writing the Typeclassopedia and his thoughts on how much category th
Simon Marlow, author of Parallel and Concurrent Programming in Haskell and co-developer of GHC, lets us know what he’s been up to at Facebook. He shares with us the project he’s been working on in Facebook and how Haskell is gaining traction in
Simon Peyton Jones joins us to discuss recent developments in GHC, parallel programming, and computer science education. We start by discussing some upcoming changes to Cabal and the module system and then look at recent developments in paralle
Don Stewart, co-author of Real World Haskell and author of many Haskell Stack Overflow answers, joins us to discuss working with Haskell at large scale: how to organize, deploy, and test more than 1 million lines of Haskell code. He also shares
Edward Kmett joins us to talk about lenses, comonads, and the future of the Haskell core libraries. He also shares with us how he discovered Haskell, his academic background, and advice for new Haskell developers being exposed to the math conce
Unlock more with Podchaser Pro
- Audience Insights
- Contact Information
- Demographics
- Charts
- Sponsor History
- and More!
- Account
- Register
- Log In
- Find Friends
- Resources
- Help Center
- Blog
- API
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More
- © 2025 Podchaser, Inc.
- Privacy Policy
- Terms of Service
- Contact Us