Chuyển sang chế độ ngoại tuyến với ứng dụng Player FM !
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
Manage episode 420953608 series 2951423
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!
82 tập
Manage episode 420953608 series 2951423
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!
82 tập
Tất cả các tập
×Chào mừng bạn đến với Player FM!
Player FM đang quét trang web để tìm các podcast chất lượng cao cho bạn thưởng thức ngay bây giờ. Đây là ứng dụng podcast tốt nhất và hoạt động trên Android, iPhone và web. Đăng ký để đồng bộ các theo dõi trên tất cả thiết bị.