Want to find out why everyone who is anyone is talking about Idris? Come join functional programming expert, Bodil Stokke for a gentle introduction.
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)
- Lightbend Akka for Scala - Professional (in London on 11th - 12th November 2019)
- Lightbend Scala Language - Professional (in London on 10th - 11th December 2019)
- Clojure eXchange 2019 (in London on 2nd - 3rd December 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- Code Kata: Yilin Wei - Optics with Monocle (in London on 22nd October 2019)
- Reprogramming Biology with F# (in London on 28th November 2019)
- Keynote: (Programming Languages) in Agda = Programming (Languages in Agda) (SkillsCast recorded in October 2019)
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.