Type Theory Forall

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

Type Theory Forall

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

Next Episodes


Type Theory Forall

#12 Tenure, Sexism and ADHD - Talia Ringer @ Type Theory Forall

📆 2021-11-10 22:30 / 01:05:53


Type Theory Forall

#12 Tenure, Sexism and ADHD - Talia Ringer @ Type Theory Forall

📆 2021-11-10 22:30 / 01:05:53


Type Theory Forall

#12 Tenure, Sexism and ADHD - Talia Ringer @ Type Theory Forall

📆 2021-11-10 20:30 / 01:05:53