Functional Geekery Episode 108 – David Christiansen

Functional Geekery - En podcast af Proctor

Prøv Podimo gratis i 30 dage

Prøv Podimo gratis i 30 dage

Et univers fyldt med hundredvis af eksklusive podcasts & lydbøger, klik her for at prøve

 Annoncering

Kategorier:

Teknologi

In this episode I talk with David Christiansen. We talk his introduction to functional programming, research in dependent types, Idris, Nuprl and LFC traits, work to add dependent types to macro-expansion in Racket, and much, much more.

Visit the podcast's native language site