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

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í: 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

Ubuntu 25.10 bude mít jádro 6.17 (23. 5. 2025)
V Ubuntu 25.10 bude Chrony místo systemd-timesync (23. 5. 2025)
Signal ve výchozím stavu bude blokovat Recall ve Windows (23. 5. 2025)
Proxmox: moderní virtualizační platforma schopná nahradit VMware (školení) (23. 5. 2025)
Pharo 13 s podporou HiDPI (23. 5. 2025)

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