Episode 13 - John Wiegley on Categories and Compilers
Released Thursday, 11th May 2017
Episode 13 - John Wiegley on Categories and Compilers
Episode 13 - John Wiegley on Categories and Compilers
Thursday, 11th May 2017
- 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
Show More
Unlock more with Podchaser Pro
- Audience Insights
- Contact Information
- Demographics
- Charts
- Sponsor History
- and More!
- Account
- Register
- Log In
- Find Friends
- Resources
- Help Center
- Blog
- API
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More
- © 2024 Podchaser, Inc.
- Privacy Policy
- Terms of Service
- Contact Us