Episode 13 - John Wiegley on Categories and Compilers The Haskell Cast
-
- Technology
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
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