Programming in Idris: a tutorial(eb.host.cs.st-andrews.ac.uk)

1 pointsby bjz_vor 13 Jahren1 comments

eb.host.cs.st-andrews.ac.uk

http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf

1 comments

bjz_vor 13 Jahren

From the website (http://www.idris-lang.org/):

> Idris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type. It is compiled, with eager evaluation.