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

0 nová verze 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)
GRUB 2.14 nabízí podporu souborového systému EROFS (Root.cz - Zprávičky, 15. 1. 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)
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)

Nejnovější články

Sběratelská karetní hra Skyweaver bude open source (17. 1. 2026)
Zranitelnost Bluetooth WhisperPair umožňuje odposlech a sledování polohy (16. 1. 2026)
Microsoft, Meta, Amazon, Perplexity a Mistral AI mají novou smlouvu s Wikipedií (16. 1. 2026)
Asus přestane vyrábět NVIDIA RTX 5070 Ti a RTX 5060 Ti s 16 GB RAM (16. 1. 2026)
Instalátor Debianu na NVMe v OpenWrt One (16. 1. 2026)

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