Hlavní navigace

Idris dostal novou verzi backendu pro JVM

Sdílet

Calculon 17. 1. 2022
Programátor pole Autor: Depositphotos

Funkcionální jazyk Idris dostal novou verzi backendu pro JVM. Dohání tak oficiální verzi Idrisu 0.5.1, která vyšla v září 2021.

Idris je čistě funkcionální jazyk se závislostními typy syntakticky podobný Haskellu. Jeho silný typový systém umožňuje kontrolovat správnost programů v době překladu. Jeho další vlastností je ověřování, že deklarované funkce ukončí výpočet a dodají výsledek pro všechny vstupy (nezacyklí se). Na rozdíl od podobných jazyků se závislostními typy jako Agda a Coq, které jsou v první řadě navržené pro dokazování matematických tvrzení, se Idris zaměřuje na efektivitu provádění 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.