The Haskell Cast

Episode 13 - John Wiegley on Categories and Compilers

Listen Later
  • 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
    • ...more
    View all episodesView all episodes
    Download on the App Store
    The Haskell CastBy http://www.haskellcast.com
    • 4.9
    • 4.9
    • 4.9
    • 4.9
    • 4.9

    4.9

    13 ratings