Subremes Codes

New functional language champions type-driven development

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.

Idris also features totality checking, coinductive types, an extensible syntax, a simple foreign function interface to C, and a Hugs-style interactive environment. Hugs 98 was a programming language based on Haskell 98; Idris is closely related to the Agda and Epigram functional languages. 

To read this article in full or to leave a comment, please click here

Статья полностью:New functional language champions type-driven development