#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

Type Theory Forall

المحتوى المقدم من Pedro Abreu. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة Pedro Abreu أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.

1+ y ago 1:55:58

MP3•منزل الحلقة

In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer.

He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris.

David is a super upbeat person and I feel that we could spend hundreds of hours talking about Functional Programming Writing and Dependent Types, and we still wouldn’t run out of topics!

If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

94 حلقات

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