Functional Geekery

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

Functional Geekery Episode 106 – Reid Evans @ Functional Geekery

📆 2017-09-05 12:00 / 00:57:48