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 webová verze Krevní skupina 0 Délka jazyka včely

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)
Fwupd 2.1.3 přidává aktualizace pro SHIFT6MQ a SHIFTphone 8 (Root.cz - Zprávičky, 12. 5. 2026)
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)
Lepší podpora Steam Play pro Nvidia s novým DXVK-NVAPI 0.9.2 (Root.cz - Zprávičky, 13. 5. 2026)
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)

Nejnovější články

Nginx 1.31 nabízí podporu HTTP Forward Proxy (14. 5. 2026)
Framework Laptop 13 dostává desku DC-ROMA Mainboard III s osmijádrem RISC-V (14. 5. 2026)
iOS 26.5 nabídne šifrované zprávy RCS s Androidem (14. 5. 2026)
Google představuje nástupce Chromebooku s názvem Googlebook (14. 5. 2026)
Sovereign Tech Fund podpoří milionem eur vývoj prostředí KDE (14. 5. 2026)

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