Episode 13 - John Wiegley on Categories and Compilers
May 11, 2017•58 min
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
- 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
For the best experience, listen in Metacast app for iOS or Android
Open in Metacast