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

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 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 2. díl

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

V Japonsku doporučují dát uživatelská jména a hesla do závěti (22. 11. 2024)
Nové PHP 8.4.1: háčky vlastností, nesymetrická viditelnost a líné objekty (22. 11. 2024)
Loki: log management v Grafaně (školeni) (22. 11. 2024)
Jádro 6.13 přidává podporu pro SD karty 2–128 TB (22. 11. 2024)
GIMP oslavil 29 let (21. 11. 2024)

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