Episode 13 - John Wiegley on Categories and Compilers
The Haskell Cast - En podkast av http://www.haskellcast.com
Kategorier:
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
