Idris is a new academic programming language with a dependent type system of unprecedented power. And, remarkably for an academic programming language, it's actually a general purpose language that you can use to write real programs as opposed to just proving theorems and publishing papers. It's what all the cool kids are talking about ("all the cool kids" is code for me) and it seems to be headed straight for world domination ("world domination" is code for more than 10 people), so I would like to give you a gentle and brief introduction to Idris and dependent types, and try to explain why they're so amazing, and afterwards maybe you'll want to join the Idris revolution as well (or maybe run away screaming which is fine too).
YOU MAY ALSO LIKE:
- Meetings With Remarkable Trees (SkillsCast recorded in December 2018)
- F# eXchange 2021 (Online Conference on 20th October 2021)
- ScalaCon 2021: November Edition (Online Conference on 2nd - 5th November 2021)
- Journey to the Centre of the JVM (SkillsCast recorded in May 2021)
- Stronger Types! : A Brief Introduction to Refinement Types and Dependent Types (Lightning Talk) (SkillsCast recorded in November 2020)
A Gentle Introduction to Mad Computer Science
Bodil works as a computer science researcher for a secretive think tank, and is a world renowned expert in varied fields such as pizza and persistent data structures. Contrary to popular rumour, she only has five fingers on each hand, but is still an Emacs user.