"A Little Taste of Dependent Types" by David Christiansen

Why it was recommended

Here's an intro to dependent types from David Christiansen

Recommendationspelunker · Original2023-01

What it covers

David Christiansen gives a Strange Loop 2018 introduction to dependent types, where one language serves for both compile-time and run-time code and programs unite with proofs. It draws on his. It is for someone meeting the subject for the first time.

Video details

Channel

Strange Loop Conference

Length

38 min 36 sec

Year

2018

More in this topic

• How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework
• Why Isn't Functional Programming the Norm? – Richard Feldman
• Maybe Not - Rich Hickey
• Conway's Game Of Life in APL
• Lecture 1A | MIT 6.001 Structure and Interpretation, 1986
• Crockford on JavaScript - Volume 1: The Early Years