Programmiersprache: Idris erreicht erstes Major Release from Heise's blog

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.

Source: https://www.heise.de/newsticker/meldung/Programmiersprache-Idris-erreicht-erstes-Major-Release-3673297.html?wt_mc=rss.ho.beitrag.rdf