Functional Geekery Episode 77 – Jared Roesch

Functional Geekery - A podcast by Proctor

Try Bookbeat 60! days for free, click here

Enjoy a whole world of audiobooks and e-books, everything from new releases to the classics

Categories:

In this episode I talk with Jared Roesch. We talk his history of functional programming, work on the Rust compiler, dependent types, the Lean Proving Language, and much, much more.

Visit the podcast's native language site