Type Theory Forall

#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley


Listen Later

This episode is about the journey of a programmer that converted himself into

a Haskell developer after working with C/C++ for more than 10years.

Here are a few questions that you'll find the answer to in this episode:

  • What does he find so compelling about Haskell?
  • Why did it make him dive deeper into the Theoretical Computer Science?
  • Why did it make him learn Coq and Category Theory?
  • How does Coq compare with ACL2?
  • How do both Coq and ACL2 compares to TLA+?
  • Did learning Coq make John a better programmer?
  • Links
    • John's Email: [email protected]
    • John's Twitter: @jwiegley
    • ...more
      View all episodesView all episodes
      Download on the App Store

      Type Theory ForallBy Pedro Abreu

      • 4.8
      • 4.8
      • 4.8
      • 4.8
      • 4.8

      4.8

      13 ratings


      More shows like Type Theory Forall

      View all
      Marketplace by Marketplace

      Marketplace

      8,794 Listeners

      The Knowledge Project by Shane Parrish

      The Knowledge Project

      2,697 Listeners

      The Changelog: Software Development, Open Source by Changelog Media

      The Changelog: Software Development, Open Source

      289 Listeners

      Conversations with Tyler by Mercatus Center at George Mason University

      Conversations with Tyler

      2,466 Listeners

      The Quanta Podcast by Quanta Magazine

      The Quanta Podcast

      544 Listeners

      CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

      CoRecursive: Coding Stories

      188 Listeners

      Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll

      Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

      4,189 Listeners

      Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

      Machine Learning Street Talk (MLST)

      99 Listeners

      Dwarkesh Podcast by Dwarkesh Patel

      Dwarkesh Podcast

      530 Listeners

      The Rest Is History by Goalhanger

      The Rest Is History

      15,880 Listeners

      The Haskell Interlude by Haskell Podcast

      The Haskell Interlude

      14 Listeners

      Software Unscripted by Richard Feldman

      Software Unscripted

      29 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      67 Listeners

      Past Present Future by David Runciman

      Past Present Future

      351 Listeners

      Sharp Tech with Ben Thompson by Andrew Sharp and Ben Thompson

      Sharp Tech with Ben Thompson

      95 Listeners