Funkcionální jazyk Lean vyšel ve verzi 4.0.0

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

Datum publikování: 11. 9. 2023

Po letech vývoje byl oficiálně vydán Lean 4. Jedná se o čistě funkcionální jazyk vycházející z ML.

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

Doporučené články

Vydána verze 4 RC jazyka Lean (Root.cz - Zprávičky, 29. 8. 2023)
Idris dostal novou verzi backendu pro JVM (Root.cz - Zprávičky, 17. 1. 2022)
Ruby 3.3.0 s Prism a RJIT (Root.cz - Zprávičky, 25. 12. 2023)
Vyšla verze 0.6.0 jazyka Idris 2 (Root.cz - Zprávičky, 28. 10. 2022)
Bezpečnostní modul jádra LKRG vyšel ve verzi 0.9.0 (Root.cz - Zprávičky, 19. 4. 2021)
Rychlý linker mold vyšel ve verzi 1.7.0 a autor zvažuje změnu licence (Root.cz - Zprávičky, 14. 11. 2022)
Vyšel Amarok 3.0 Castaway postavený na Qt 5 (Root.cz - Zprávičky, 30. 4. 2024)
Czawka 4.0 nástroj k odstranění nepotřebných souborů v Rustu (Root.cz - Zprávičky, 21. 1. 2022)
Samba 4.18.0 s lepším výkonem (Root.cz - Zprávičky, 9. 3. 2023)

Nejnovější články

Hra zdarma na Steamu Mini Thief (17. 1. 2025)
NOYB si stěžuje na TikTok, AliExpress, SHEIN, Temu, WeChat a Xiaomi kvůli porušování GDPR (17. 1. 2025)
NYOB si stěžuje na TikTok, AliExpress, SHEIN, Temu, WeChat a Xiaomi kvůli porušování GDPR (17. 1. 2025)
Fedora 42 bude mít EROFS v bootovatelných obrazech (17. 1. 2025)
SUSE nově nabízí placené stáže pro studenty českých univerzit (17. 1. 2025)

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