Episode 14 - Richard Eisenberg on Dependent Types in Haskell

The Haskell Cast by The Haskell Cast

Jun 14, 201765:59Technology

00:29 What are dependent type systems? 03:38 applying dependent types to industry 07:30 writing dependently typed programs in Haskell today 09:07 GADTs (Generalized Algebraic Data Types) 11:01 the future of dependent typ...

Related Episodes

Continue listening to more episodes from The Haskell Cast.

Episode 13 - John Wiegley on Categories and Compilers

May 11, 2017 - 57:32

00:44 using Haskell, Nix, and Emacs for integrated offline development 08:48 building environments for pa...

Episode 12 - Neil Mitchell on Development Tools

Apr 17, 2017 - 56:44

Neil Mitchell shares with us his enthusiasm for building development tools. We hear the story of how he b...

Episode 11 - Austin Seipp on Security

Mar 6, 2017 - 51:34

Austin Seipp joins us to discuss Haskell security and infrastructure. We talk about how Haskell security...

Episode 10 - Bryan O'Sullivan on Performance and Efficiency

Oct 19, 2015 - 51:34

Bryan O’Sullivan shares his experience helping make developers more efficient, both inside of Facebook as...

Episode 9 - Conal Elliott on FRP and Denotational Design

Dec 15, 2014 - 62:32

Conal Elliott, inventor of Functional Reactive Programming, tells us about the birth of FRP as well as ot...

Episode 8 - Ollie Charles on 24 Days of Hackage and Nix

Jul 21, 2014 - 66:37

Ollie Charles, author of 24 Days of Hackage (and a number of Haskell libraries), gives us his perspective...

Episode 7 - Chris Done on Compiling to JavaScript and SQL

Jun 9, 2014 - 65:16

Chris Done, creator of Fay, Try Haskell, and Structured Haskell Mode, chats with us about web development...

Episode 6 - Gabriel Gonzalez and Michael Snoyman on Pipes and Conduit

Mar 3, 2014 - 62:24

Gabriel Gonzalez and Michael Snoyman join us to discuss their solutions to the problems with lazy IO. Gab...