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.

Link zum vollständigen Artikel:

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

Urheber:

Heise Medien GmbH & Co. KG