
Episode 13 - John Wiegley on Categories and Compilers
57 minutes Posted May 11, 2017 at 12:00 am.
using Haskell, Nix, and Emacs for integrated offline development
building environments for particular dependencies with Nix
what Emacs and GHC have in common
developing with typed holes
compiling to categories
learning to love mathematics
applications for compiling to categories
Coq
specifying the ByteString library in Coq
Why Haskell?
writing a compiler in C vs Haskell
gitlib
getting your head around Haskell
recursion schemes/F-algebras
hnix
0:00
57:32
Show notes