Hlavní navigace

Vyšla nová verze jazyka Idris 2

Sdílet

Calculon 25. 6. 2021
Programátor práce pizza Autor: Depositphotos

Včera byla vydána verze 0.4.0 jazyka Idris 2. Jedná se o reimplementaci původního experimentálního jazyka Idris, který je podobný Haskellu a obsahuje propracovanou podporu závislostních typů. Podobně jako v případě jazyka Agda je jeho typový systém založený na intuicionistické logice, což je formální logický systém umožňující konstruktivní dokazování matematických tvrzení, čehož se využívá při typové kontrole programů.

Tato zprávička byla zaslána čtenářem serveru Root.cz pomocí formuláře Přidat zprávičku. Děkujeme!

Našli jste v článku chybu?
  • Aktualita je stará, nové názory již nelze přidávat.