Episode 13 - John Wiegley on Categories and Compilers

Update: 2017-05-11

Description

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

Comments

In Channel

Episode 14 - Richard Eisenberg on Dependent Types in Haskell

2017-06-1401:05:58

Episode 13 - John Wiegley on Categories and Compilers

2017-05-1157:32

Episode 12 - Neil Mitchell on Development Tools

2017-04-1756:44

Episode 11 - Austin Seipp on Security

2017-03-0656:57

Episode 10 - Bryan O'Sullivan on Performance and Efficiency

2015-10-1951:33

Episode 9 - Conal Elliott on FRP and Denotational Design

2014-12-1501:02:32

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

2014-07-2101:06:37

Episode 7 - Chris Done on Compiling to JavaScript and SQL

2014-06-0901:05:15

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

2014-03-0301:02:24

Episode 5 - Brent Yorgey on Diagrams and the Typeclassopedia

2014-01-2259:42

Episode 4 - Simon Marlow on Parallelism and Concurrency

2013-11-2501:06:42

Episode 3 - Simon Peyton Jones on GHC

2013-10-2801:04:37

Episode 2 - Don Stewart on Real World Haskell

2013-09-2301:06:59

Episode 1 - Edward Kmett on Lenses

2013-08-2601:04:08

00:00

Episode 13 - John Wiegley on Categories and Compilers

haskellcast@haskellcast.com

#box-pro-ellipsis-176432458297274{-webkit-line-clamp:2;}Episode 13 - John Wiegley on Categories and Compilers

Episode 13 - John Wiegley on Categories and Compilers

haskellcast@haskellcast.com

Episode 13 - John Wiegley on Categories and Compilers