Radio and PodcastRadio and PodcastLive Radio & Podcasts
Episode 14 - Richard Eisenberg on Dependent Types in Haskell artwork
Technology

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...

About This Episode

Episode 14 - Richard Eisenberg on Dependent Types in Haskell is an episode from The Haskell Cast by The Haskell Cast. 00:29 What are dependent type systems? 03:38 applying dependent types to industry 07:30 writing dependently typed programs...

Podcast

This episode belongs to The Haskell Cast.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Jun 14, 2017, 65:59 long, audio available.

Related Episodes

Continue listening to more episodes from The Haskell Cast.