Tag: softwa

Computing, Software & Applications

New functional language champions type-driven development

April 12, 2017

Via: Info World

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 […]