The Haskell Cast Podcast
The Haskell Cast
http://www.haskellcast.com
Episode 13 - John Wiegley on Categories and Compilers - episode of The Haskell Cast podcast

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
Download MP3
Show notes