Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18

Why it was recommended

this looks like a good introduction

Recommendationresoluteteeth · Original2019-07

What it covers

Edwin Brady presents Idris 2, a rewrite of the Idris dependently typed language, and shows type-driven development in practice. The demos show the compiler filling in whole. It is for someone who already knows the basic terms and wants the next step.

Video details

Channel

Code Sync

Length

43 min 23 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