03.04.2017 11:37 Uhr, Quelle: Heise

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.

Weiterlesen bei Heise