Functional Geekery Episode 77 – Jared Roesch

Functional Geekery - Podcast tekijän mukaan Proctor

kokeile Podimo ilmaiseksi 90!!! päivän ajan

universumia joka on täynnä satoja podcasteja ja äänikirjoja, klikkaa tätä kokeillaksesi

Kategoriat:

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