Hlavní navigace

Vyšla Agda 2.6.3

30. 1. 2023

Sdílet

Programátor klávesnice Autor: Depositphotos

Byla vydána Agda verze 2.6.3. Přináší o 30% rychlejší typovou kontrolu (měřeno na standardní knihovně) a širší podporu reflexe (generování typů).

Agda je funkcionální jazyk s typovým systémem, který umožňuje také formální verifikaci algoritmů a obecněji formalizaci důkazů matematických tvrzení. Patří tak do stejné skupiny jazyků jako Coq, Isabelle, ATS, Lean a Idris. V současné době má backend pro Haskell a JavaScript.

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.

Byl pro vás článek přínosný?

Autor zprávičky