Fmjrlhm2nexd5j1my0zw
SkillsCast

A Gentle Introduction to Mad Computer Science

12th June 2014 in London at Skills Matter

There are 1 other SkillsCast available from Women In Data with Bodil Stokke and Beth Granter

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:

A Gentle Introduction to Mad Computer Science

Bodil Stokke

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.

SkillsCast

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:

About the Speaker

A Gentle Introduction to Mad Computer Science

Bodil Stokke

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.