Episode 14 - Richard Eisenberg on Dependent Types in Haskell
00:29 What are dependent type systems? 03:38 applying dependent types to industry 07:30 writing dependently typed programs in Haskell today...
Radio and PodcastLive Radio & PodcastsTechnology
The Haskell Cast
Listen to regular interviews with the Haskell community. The podcast covers news, libraries, and whatever other topics we wander onto with our guests.
The Haskell Cast Podcast Guide
Listen to The Haskell Cast, a Technology podcast by The Haskell Cast. Stream 14 episodes in English, follow new audio stories, and play episodes online on Radio and Podcast.
Show Topic
Browse this show under Technology podcasts.
Episodes
14 episodes are available for this podcast.
Discover More
Explore Technology podcasts, United States podcasts and English podcasts.
Episodes
14 episodesEpisode 13 - John Wiegley on Categories and Compilers
00:44 using Haskell, Nix, and Emacs for integrated offline development 08:48 building environments for particular dependencies with Nix 09:5...
Episode 12 - Neil Mitchell on Development Tools
Neil Mitchell shares with us his enthusiasm for building development tools. We hear the story of how he built Hoogle in order to learn Haske...
Episode 11 - Austin Seipp on Security
Austin Seipp joins us to discuss Haskell security and infrastructure. We talk about how Haskell security differs from C (and where it doesn’...
Episode 10 - Bryan O'Sullivan on Performance and Efficiency
Bryan O’Sullivan shares his experience helping make developers more efficient, both inside of Facebook as Director of Developer Efficiency a...
Episode 9 - Conal Elliott on FRP and Denotational Design
Conal Elliott, inventor of Functional Reactive Programming, tells us about the birth of FRP as well as other stories from his 30+ years of f...
Episode 8 - Ollie Charles on 24 Days of Hackage and Nix
Ollie Charles, author of 24 Days of Hackage (and a number of Haskell libraries), gives us his perspectives on Haskell libraries and how they...
Episode 7 - Chris Done on Compiling to JavaScript and SQL
Chris Done, creator of Fay, Try Haskell, and Structured Haskell Mode, chats with us about web development in Haskell. We start with compilin...
Episode 6 - Gabriel Gonzalez and Michael Snoyman on Pipes and Conduit
Gabriel Gonzalez and Michael Snoyman join us to discuss their solutions to the problems with lazy IO. Gabriel’s pipes library focuses on equ...
Episode 5 - Brent Yorgey on Diagrams and the Typeclassopedia
Brent Yorgey explains the motivation and purpose of his Diagrams library and how it relates to other programmatic graphics systems like TikZ...
Episode 4 - Simon Marlow on Parallelism and Concurrency
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 Faceboo...
Episode 3 - Simon Peyton Jones on GHC
Simon Peyton Jones joins us to discuss recent developments in GHC, parallel programming, and computer science education. We start by discuss...
Episode 2 - Don Stewart on Real World Haskell
Don Stewart, co-author of Real World Haskell and author of many Haskell Stack Overflow answers, joins us to discuss working with Haskell at...
Episode 1 - Edward Kmett on Lenses
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...