Functional Geekery

Functional Geekery Episode 77 - Jared Roesch

Functional Geekery

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.

Next Episodes

Functional Geekery

Functional Geekery Episode 76 - Anthony Cipriano @ Functional Geekery

πŸ“† 2016-11-29 12:00 / βŒ› 00:49:48


Functional Geekery

Functional Geekery Episode 75 - Eric B. Merritt @ Functional Geekery

πŸ“† 2016-11-22 12:00 / βŒ› 00:52:40


Functional Geekery

Functional Geekery Episode 74 - Zeeshan Lakhani @ Functional Geekery

πŸ“† 2016-11-15 12:00 / βŒ› 00:58:14


Functional Geekery

Functional Geekery Episode 73 - Jonas BonΓ©r @ Functional Geekery

πŸ“† 2016-11-08 12:00 / βŒ› 00:52:44


Functional Geekery

Functional Geekery Episode 72 - Gabriel Gonzalez @ Functional Geekery

πŸ“† 2016-11-01 11:00 / βŒ› 01:04:08