Edwin Brady - Idris 2 - Type-driven Development of Idris

Why it was recommended

Watch Edwin Brady's demo of Idris 2 [2] to see this form of interactive development in action.

Recommendationchongli · Original2019-08

What it covers

Edwin Brady, creator of Idris, presents Idris 2 and demonstrates type-driven development, where the compiler assists by filling holes and suggesting implementations from. It is for someone who already knows the basic terms and wants the next step.

Video details

Channel

Curry On!

Length

40 min 39 sec

Year

2019

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