Idris dostal novou verzi backendu pro JVM

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í: 17. 1. 2022

Funkcionální jazyk Idris dostal novou verzi backendu pro JVM. Dohání tak oficiální verzi Idrisu 0.5.1, která vyšla v září 2021.

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

Legendární programovací jazyk Karel se po čtyřiceti letech vrací v nové verzi (Lupa.cz, 13. 9. 2021)
Vyšla nová verze jazyka Idris 2 (Root.cz - Zprávičky, 25. 6. 2021)
Výkon sporťáku v rodinném elektromobilu. Tesla Model Y dostává ostrou verzi Performance (Živě.cz, 1. 9. 2025)
Vyšla verze 0.6.0 jazyka Idris 2 (Root.cz - Zprávičky, 28. 10. 2022)
Setkání vývojářů jazyka Idris (Root.cz - Zprávičky, 14. 7. 2023)
Vivo X Fold+ je nejvýkonnější skládačka od Viva. Má špičkový procesor, větší baterii a rychlejší dobíjení (MobilMania.cz, 26. 9. 2022)
Český operační systém HelenOS má novou verzi se souborovým manažerem (Lupa.cz, 20. 12. 2021)
Indická Jawa má novou verzi modelu 42. Zaujme barevnou kombinací (AUTO.cz, 30. 1. 2023)
Nová verze jazyka Idris 2 přidává inkrementální překlad a zrychluje typovou kontrolu (Root.cz - Zprávičky, 19. 9. 2021)

Nejnovější články

Další kód v Rustu do ovladače Nvidia Nova v rámci linuxového jádra 6.19 (19. 11. 2025)
DNES
Herní ovladač Steam Controller už má podporu v SDL3 (19. 11. 2025)
DNES
Eugen Rochko odstupuje z pozice ředitele a převádí Mastodon na neziskovou organizaci (19. 11. 2025)
DNES
Linux a správa počítačové sítě (školení) (19. 11. 2025)
DNES
CLAT ve Windows vstupuje do předběžného přístupu (19. 11. 2025)
DNES

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