Episode 14 - Richard Eisenberg on Dependent Types in Haskell
Jun 14, 2017 - 65:59
Radio and PodcastLive Radio & PodcastsTechnology
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 dependencies with Nix 09:58 what Emacs and GHC have in common 12:58 developing with typed holes 14:43 comp...
About This Episode
Episode 13 - John Wiegley on Categories and Compilers is an episode from The Haskell Cast by The Haskell Cast. 00:44 using Haskell, Nix, and Emacs for integrated offline development 08:48 building environments for particular dependencies wi...
Podcast
This episode belongs to The Haskell Cast.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published May 11, 2017, 57:32 long, audio available.
Related Episodes
Continue listening to more episodes from The Haskell Cast.
Episode 12 - Neil Mitchell on Development Tools
Apr 17, 2017 - 56:44
Episode 11 - Austin Seipp on Security
Mar 6, 2017 - 51:34
Episode 10 - Bryan O'Sullivan on Performance and Efficiency
Oct 19, 2015 - 51:34
Episode 9 - Conal Elliott on FRP and Denotational Design
Dec 15, 2014 - 62:32
Episode 8 - Ollie Charles on 24 Days of Hackage and Nix
Jul 21, 2014 - 66:37
Episode 7 - Chris Done on Compiling to JavaScript and SQL
Jun 9, 2014 - 65:16
Episode 6 - Gabriel Gonzalez and Michael Snoyman on Pipes and Conduit
Mar 3, 2014 - 62:24
Questions About This Episode
What is Episode 13 - John Wiegley on Categories and Compilers about?
00:44 using Haskell, Nix, and Emacs for integrated offline development 08:48 building environments for particular dependencies with Nix 09:58 what Emacs and GHC have in common 12:58 developing with typed holes 14:43 compiling to categories 20:35 learning to love mathematics 22:41 applications for compiling to categories 25:25 Coq 28:15 specifying the ByteString library in Coq 34:30 Why Haskell? 40:00 writing a compiler in C vs Haskell 43:32 gitlib 45:52 getting your head around Haskell 48:23 recursion schemes/F-algebras 52:33 hnix
Where can I listen to Episode 13 - John Wiegley on Categories and Compilers?
You can listen to Episode 13 - John Wiegley on Categories and Compilers online on Radio and Podcast. Open the player on this page to stream the available audio.
Which podcast is Episode 13 - John Wiegley on Categories and Compilers from?
Episode 13 - John Wiegley on Categories and Compilers is an episode from The Haskell Cast by The Haskell Cast.
How long is this episode?
This episode is 57:32 long.
When was this episode published?
This episode was published on May 11, 2017.
Can I save Episode 13 - John Wiegley on Categories and Compilers for later?
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Are there related episodes from The Haskell Cast?
Yes. This page shows related episodes from The Haskell Cast when more episodes are available from the podcast feed.
Quick Answers About This Episode
Where can I listen to Episode 13 - John Wiegley on Categories and Compilers?
You can listen to Episode 13 - John Wiegley on Categories and Compilers on this page when the episode audio is available from the podcast feed.
Which podcast is this episode from?
Episode 13 - John Wiegley on Categories and Compilers is from The Haskell Cast by The Haskell Cast.
What are the episode details?
Published May 11, 2017 and 57:32 long