Sveriges mest populära poddar
Type Theory Forall
Type Theory Forall

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

1 tim 40 min•23 december 2021

Om avsnittet

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

Fler avsnitt

Visa alla avsnitt av Type Theory Forall

#64 PL Education in the Age of AI - Shriram Krishnamurthi

2 tim 44 min

#63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet

1 tim 46 min

#62 Dependent Haskell - Vladislav Zavialov

2 tim 5 min

#61 Zurihac Behind the Scenes - Farhad Mehta

2 tim 19 min

#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan

1 tim 53 min

#59 Category Theory and Inclusivity - Valeria de Paiva

2 tim 47 min

#58 Constructivism and Computational Content - Andrej Bauer

2 tim 19 min

#57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik

59 min

#56 Property Based Testing and PL Grad School Applications - Francille Zhuang

1 tim 36 min

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

2 tim 38 min

Type Theory Forall med Pedro Abreu finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.