Functional Geekery Episode 108 - David Christiansen
Functional Geekery
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.Next Episodes
Functional Geekery Episode 107 - Julie Moronuki @ Functional Geekery
📆 2017-09-12 12:00 / ⌛ 00:58:35
Functional Geekery Episode 106 - Reid Evans @ Functional Geekery
📆 2017-09-05 12:00 / ⌛ 00:57:48
Functional Geekery Episode 105 - David Koontz @ Functional Geekery
📆 2017-08-29 12:00 / ⌛ 01:07:22
Functional Geekery Episode 104 - Debasish Ghosh @ Functional Geekery
📆 2017-08-15 12:00 / ⌛ 01:01:01
Functional Geekery Episode 103 - Justin Schneck @ Functional Geekery
📆 2017-08-08 12:00 / ⌛ 01:02:32