Type-driven development with Idris

Resource | v1 | created by jjones |
Type Book
Created 2017-03
Identifier 9781617293023


Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.


about Type system

In programming languages, a type system is a logical system comprising a set of rules that assigns a...

about Idris

Idris is a purely-functional programming language with dependent types, optional lazy evaluation, and...

recommended by F* Tutorial

The first four parts of this book explain the main features of the language using a variety of exampl...

Edit details Edit relations Attach new author Attach new topic Attach new resource
0.0 /10
useless alright awesome
from 0 reviews
Write comment Rate resource Tip: Rating is anonymous unless you also write a comment.
Resource level 0.0 /10
beginner intermediate advanced
Resource clarity 0.0 /10
hardly clear sometimes unclear perfectly clear
Reviewer's background 0.0 /10
none basics intermediate advanced expert
Comments 0
Currently, there aren't any comments.