Seven More Languages in Seven Weeks

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 ...