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

JetBrains je nový platinový sponzor enginu Godot (6. 8. 2025)
DNES
Podpora napájecího zdroje Corsair HX1200i (2025) míří do jádra Linux 6.17 (5. 8. 2025)
Zákon o kybernetické bezpečnosti vyšel ve Sbírce zákonů (5. 8. 2025)
OpenSUSE Leap 16.0 ve fázi RC, přináší nový instalátor či Xfce na Waylandu (5. 8. 2025)
MasterCard vydal prohlášení, že nestojí za zákazem prodeje NSFW her (4. 8. 2025)

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