Blog: Idris

In this month’s episode of Functional Futures, our guest is David Christiansen – the Executive Director of the Haskell Foundation and the co-author of The Little Typer, a book on dependent types.

In this edition of our Haskell in Production series, we interview Fabian Thorand from Channable. Read the article to learn where Channable uses Haskell and why do they like it.

Want to find out what type-driven development is? Listen to (or read) our interview with Edwin Brady, the creator of Idris, one of the most popular dependently-typed programming languages.