Nová verze jazyka Idris 2 přidává inkrementální překlad a zrychluje typovou kontrolu

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í: 19. 9. 2021

Byla vydána verze 0.5.0 jazyka Idris 2. Z větších změn lze zmínit přidání inkrementálního překladu a zrychlení typové kontroly omezením redukcí v době překladu.

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

nová verze 0 0 lidí Pacient 0 Studium jazyka Škrábání jazyka různé verze Délka jazyka včely Krevní skupina 0 Studium cizího jazyka

Doporučené články

Vyšla nová verze jazyka Idris 2 (Root.cz - Zprávičky, 25. 6. 2021)
Vyšla verze 0.6.0 jazyka Idris 2 (Root.cz - Zprávičky, 28. 10. 2022)
Vyšla Agda 2.6.3 (Root.cz - Zprávičky, 30. 1. 2023)
Setkání vývojářů jazyka Idris (Root.cz - Zprávičky, 14. 7. 2023)
Ruby 3.1 zrychluje díky překladači YJIT (Root.cz - Zprávičky, 29. 12. 2021)
Další firmwary pro RDNA3+ Radeony. Krita slaví 25 let (Root.cz - Články, 2. 6. 2024)
Ryze 64bitová x86 architektura Intel X86-S, podpora MIDI 2.0 (Root.cz - Články, 21. 5. 2023)
Nová aktualizace do PC verze Horizon Zero Dawn přidává DLSS, AMD FSR a další vylepšení (Doupě.cz, 10. 12. 2021)
SeaMonkey 2.53.8 přidává podporu Libera.chat a opravuje chyby (Root.cz - Zprávičky, 30. 6. 2021)

Nejnovější články

Google bude integrovat AI do Chrome (22. 9. 2025)
DNES
Nova Launcher patrně končí (22. 9. 2025)
DNES
Příkaz apt bude mít historii (22. 9. 2025)
DNES
Raspberry Pi má novou miniaturní desku M.2 HAT+ Compact (22. 9. 2025)
DNES
Binder z Androidu bude v jádře 6.18 a bude v Rustu (22. 9. 2025)
DNES

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