Episode 14 - Richard Eisenberg on Dependent Types in Haskell
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 progr... Read more
14 Jun 2017
•
Episode 13 - John Wiegley on Categories and Compilers
Episode 13 - John Wiegley on Categories and Compilers
00:44 using Haskell, Nix, and Emacs for integrated offline development 08:48 building environments for particular depen... Read more
11 May 2017
•
Episode 12 - Neil Mitchell on Development Tools
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 ... Read more
17 Apr 2017
•
Episode 11 - Austin Seipp on Security
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 ... Read more
6 Mar 2017
•
Most Popular Podcasts
The Joe Rogan Experience
TED Talks Daily
The Tim Ferriss Show
The Daily
Stuff You Should Know
Oprah's SuperSoul Conversations
Armchair Expert with Dax Shepard
Episode 10 - Bryan O'Sullivan on Performance and Efficiency
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 De... Read more
19 Oct 2015
•
Episode 9 - Conal Elliott on FRP and Denotational Design
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 fro... Read more
15 Dec 2014
•
Episode 8 - Ollie Charles on 24 Days of Hackage and Nix
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 li... Read more
21 Jul 2014
•
Episode 7 - Chris Done on Compiling to JavaScript and SQL
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... Read more
9 Jun 2014
•
Episode 6 - Gabriel Gonzalez and Michael Snoyman on Pipes and Conduit
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 li... Read more
3 Mar 2014
•
Episode 5 - Brent Yorgey on Diagrams and the Typeclassopedia
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 graphi... Read more
22 Jan 2014
•
