Type-Driven Development in Idris — Edwin Brady

Why it was recommended

Something like that is likely the future of programming!

Recommendationstill_grokking · Original2023-01

What it covers

Edwin Brady, creator of Idris, introduces type-driven development in a dependently typed language. He shows types being written first and programs derived with interactive. It is for someone who already knows the basic terms and wants the next step.

Video details

Channel

Scala World

Length

46 min 36 sec

Year

2015

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