Vyšla verze 0.6.0 jazyka Idris 2

Přidat Root.cz - Zprávičky do oblíbených

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 nová verze různé verze 6. listopad

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)
Vyšlo WSL 2.6.0, poprvé jako open source (Root.cz - Zprávičky, 20. 6. 2025)
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)
Mercurial 6.0 je poslední verzí s podporou Pythonu 2 (Root.cz - Zprávičky, 28. 11. 2021)
Hy 1.0.0: dialekt Lispu integrovaný do Pythonu (Root.cz - Zprávičky, 24. 9. 2024)
Vyšel shell Fish 4.0 s kódem přepsaným z C++ do Rustu (Root.cz - Zprávičky, 27. 2. 2025)

Nejnovější články

Proxmox Backup Server 4 Beta s podporou S3 storage (25. 7. 2025)
Malware Koske na Linuxu používá obrázky pandy se škodlivým obsahem (25. 7. 2025)
Starlink měl globální výpadek (25. 7. 2025)
Kurz základů navrhování interiérů s programem SketchUp (školení) (25. 7. 2025)
Brave ve výchozím stavu bude blokovat Recall ve Windows (25. 7. 2025)

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