Episode 13 - John Wiegley on Categories and Compilers Recorded: 2017-04-12, Published: 2017-05-11

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

Links from the show:

The music used in the show is Ecstatic Wave by Jens Killstofte.