Vyšla verze 0.6.0 jazyka Idris 2

Doporučujeme: Nastavte si sledování zajímavých článků a podcastů podle toho, co Vás zajímá. Nastavit

Datum publikování: 28. 10. 2022

Dnes byla vydána verze 0.6.0 jazyka Idris 2. Přináší drobná rozšíření standardní knihovny, režimu REPL a odstraňuje bugy. Na rozdíl od jiných jazyků se závislostními typy (např. Agda, Coq a Lean) je Idris určen v první řadě pro psaní aplikací, nikoliv formalizaci matematických důkazů. Je čistě funkcionální a syntakticky vychází z Haskellu.

Přečíst celý článek na Root.cz - Zprávičky

Upoutávka na článek je uveřejněna se svolením Root.cz - Zprávičky. Celý článek si můžete přečíst zde.

Související témata

0 0 lidí Pacient 0 Krevní skupina 0 0"XOR(if(now() Studium jazyka Škrábání jazyka různé verze 6. listopad ariane 6

Doporučené články

Vyšla verze 0.6.0 jazyka Idris 2 (Root.cz - Zprávičky, 28. 10. 2022)
Nová verze jazyka Idris 2 přidává inkrementální překlad a zrychluje typovou kontrolu (Root.cz - Zprávičky, 19. 9. 2021)
Vyšla nová verze pfSense CE 2.6.0-RELEASE a pfSense Plus 22.01-RELEASE (Root.cz - Zprávičky, 14. 2. 2022)
Idris dostal novou verzi backendu pro JVM (Root.cz - Zprávičky, 17. 1. 2022)
KDE Plasma 6.0 Alpha a aktuální verze KDE Gear a KDE Frameworks 6 (Root.cz - Zprávičky, 8. 11. 2023)
Hy 1.0.0: dialekt Lispu integrovaný do Pythonu (Root.cz - Zprávičky, 24. 9. 2024)
Mercurial 6.0 je poslední verzí s podporou Pythonu 2 (Root.cz - Zprávičky, 28. 11. 2021)
Vyšly nové verze Zabbix 5.0.27 LTS, 6.0.8 LTS a Zabbix 6.2.2 (Root.cz - Zprávičky, 31. 8. 2022)
Firefox dosáhl dospělosti. Před 18 lety vyrazil na souboj s Internet Explorerem a Operou (Živě.cz, 9. 11. 2022)

Nejnovější články

GIMP oslavil 29 let (21. 11. 2024)
Bezpečnostní chyba v balíčku Needrestart umožňuje ovládnout systém (21. 11. 2024)
Jádro Linux 6.13 přinese podporu Raspberry Pi Camera Front End (21. 11. 2024)
Žebříček TOP 500: El Capitan s CPU+GPU AMD vede, Intel až na třetím místě (21. 11. 2024)
Novinky v C# 13 (20. 11. 2024)

Zobrazit poslední články na Root.cz - Zprávičky