Vyšla nová verze jazyka Idris 2

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í: 25. 6. 2021

Včera byla vydána verze 0.4.0 jazyka Idris 2. Jedná se o reimplementaci původního experimentálního jazyka Idris, který je podobný Haskellu a obsahuje propracovanou podporu závislostních typů. Podobně jako v případě jazyka Agda je jeho typový...

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

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

Doporučené články

Vyšla verze 0.6.0 jazyka Idris 2 (Root.cz - Zprávičky, 28. 10. 2022)
Nová verze jazyka Idris 2 přidává inkrementální překlad a zrychluje typovou kontrolu (Root.cz - Zprávičky, 19. 9. 2021)
Vyšla Julia 1.9 (Root.cz - Zprávičky, 10. 5. 2023)
Vyšla nová verze pfSense CE 2.6.0-RELEASE a pfSense Plus 22.01-RELEASE (Root.cz - Zprávičky, 14. 2. 2022)
Setkání vývojářů jazyka Idris (Root.cz - Zprávičky, 14. 7. 2023)
Vyšla nová verze pfSense CE 2.5.1-RELEASE a pfSense Plus 21.02.2-RELEASE (Root.cz - Zprávičky, 15. 4. 2021)
Vyšla nová verze monitoringu Cacti (Root.cz - Zprávičky, 10. 5. 2021)
Vyšla první veřejná beta Go 1.17 (Root.cz - Zprávičky, 11. 6. 2021)
Idris dostal novou verzi backendu pro JVM (Root.cz - Zprávičky, 17. 1. 2022)

Nejnovější články

Steven Deobald je novým výkonným ředitelem GNOME Foundation (10. 5. 2025)
Podvodníci odesílají zprávy na WhatsApp bez vědomí vlastníka čísla (9. 5. 2025)
Vývojář curl se naštval na ohlašování bezpečnostních chyb s použitím AI (9. 5. 2025)
Stav implementací kryptografických knihoven (9. 5. 2025)
Raspberry Pi Connect 2.5 již není beta (9. 5. 2025)

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