Top

New functional language champions type-driven development

April 12, 2017

Functional programming has added a new language in its ranks with the recent 1.0 release of Idris.

The language is positioned as general purpose, with dependent types. “Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behavior can be specified precisely in the type,” documentation on the language said. Idris also leverages eager evaluation for compilation, in which an expression is evaluated right when it is bound to a variable.

Read More on Info World