A tartalmat a Pedro Abreu biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Pedro Abreu vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.

Type Theory Forall « »
#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley

2+ y ago 1:39:30

Megosztás

MP3•Epizód kép

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: johnw@newartisans.com
John's Twitter: @jwiegley

81 epizódok

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

ทุกตอน

Üdvözlünk a Player FM-nél!

A Player FM lejátszó az internetet böngészi a kiváló minőségű podcastok után, hogy ön élvezhesse azokat. Ez a legjobb podcast-alkalmazás, Androidon, iPhone-on és a weben is működik. Jelentkezzen be az feliratkozások szinkronizálásához az eszközök között.

Hallgasson 500+ témát

Hasonló a(z) Type Theory Forall sorozathoz

Podcastok, amelyeket érdemes meghallgatni

Type Theory Forall « » #13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley

Links

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

Links

Podcastok, amelyeket érdemes meghallgatni

Üdvözlünk a Player FM-nél!

Hasonló a(z) Type Theory Forall sorozathoz

Gyors referencia kézikönyv

Type Theory Forall « »
#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley