Vyšla nová verze jazyka Idris 2

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 0 0 lidí Pacient 0 různé verze Krevní skupina 0

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

GIMP oslavil 29 let (21. 11. 2024)
Bezpečnostní chyba v balíčku Needrestart umožňuje ovládnout systém (21. 11. 2024)
Jádro Linux 6.13 přinese podporu Raspberry Pi Camera Front End (21. 11. 2024)
Žebříček TOP 500: El Capitan s CPU+GPU AMD vede, Intel až na třetím místě (21. 11. 2024)
Novinky v C# 13 (20. 11. 2024)

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