#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
John Wiegley
December 23, 20211h 39m
Audio is streamed directly from the publisher (api.typetheoryforall.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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