Programmiersprache: Idris erreicht erstes Major Release

Bereits im November 2016 angekündigt, steht jetzt Version 1.0 der an Haskell angelehnten funktionalen Programmiersprache mit abhängiger Typisierung zur Verfügung. Allerdings ist noch etwas Arbeit an Compiler und Laufzeitumgebung nötig.

Quelle: Heise Tech News

Published by