O'Reilly logo

Seven More Languages in Seven Weeks by Bruce Tate, Jack Moffitt, Frederic Daoud, Ian Dees

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Day 1: The Basics

Like Elm, Idris has roots firmly planted in Haskell. You already know that it can be challenging to learn much about a language in one short week. For languages in the Haskell family, the task is doubly daunting. We’re not going to try to give you a full review of Idris. Instead, we’ll focus on what dependent types bring to the table.

Here’s what’s in store. In Day 1, we’ll introduce the basic building blocks of the language and build a foundation for dependent types. For Day 2, we’ll actually write some dependent types and see Idris dazzle us with its understanding of our programs. In Day 3, we’ll use dependent types to accomplish great feats: advanced editor completion, proofs, and improving real-world programs.

Grab your ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required