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

Type Theory Forall

• Episode: #13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
• Website: Type Theory Forall
• Feed URL: https://www.typetheoryforall.com/episodes.mp3.rss
• Duration: 01:39:30
• Published: 2021-12-23 20:40

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