Steven Proctor
&
David Christiansen
,
Functional Geekery
David Christiansen
19 Sep 2017
• 62 min
• EN
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.
From "Functional Geekery"
Listen on your iPhone
Download our iOS app and listen to interviews anywhere. Enjoy all of the listener functions in one slick package. Why not give it a try?
Comments
Add comment Feedback