#38 Haskell, Lean, Idris, And The Art Of Writing - David Christiansen Type Theory Forall podcast

Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

Innhold levert av Pedro Abreu. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Pedro Abreu eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

Type Theory Forall « »
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

5M ago 1:55:58

Del

MP3•Episoder hjem

Innhold levert av Pedro Abreu. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Pedro Abreu eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

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!

… continue reading

82 episoder

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

Artwork

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

Type Theory Forall

27 subscribers

published 5M ago

Del

MP3•Episoder hjem

Innhold levert av Pedro Abreu. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Pedro Abreu eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

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!

… continue reading

82 episoder

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

Alle episoder

×

Velkommen til Player FM!

Player FM scanner netter for høykvalitets podcaster som du kan nyte nå. Det er den beste podcastappen og fungerer på Android, iPhone og internett. Registrer deg for å synkronisere abonnement på flere enheter.

Lytt til 500+ tema