![Type Theory Forall artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts124/v4/ed/de/43/edde43db-febe-b892-3a30-358ebe2e2c07/mza_16532267942080647912.png/100x100bb.jpg)
#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
Type Theory Forall
English - December 23, 2021 21:40 - 1 hour - 92.1 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #13 - C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
Next Episode: #14 POPL, Parametricity, Scala, DOT - Nitin and Eric
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