Setkání vývojářů jazyka Idris

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í: 14. 7. 2023

Na konci prázdnin se bude konat setkání vývojářů jazyka Idris. Jedná se o jazyk pro kritické aplikace s důrazem na bezpečnost a spolehlivost kódu. Formální verifikace například zajištuje v době překladu absenci všech běhových chyb.

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

setkání Studium jazyka Škrábání jazyka Délka jazyka včely Studium cizího jazyka Adventní setkání blízká setkání blízké setkání náhodné setkání noční setkání

Doporučené články

Vyšla nová verze jazyka Idris 2 (Root.cz - Zprávičky, 25. 6. 2021)
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 verze 0.6.0 jazyka Idris 2 (Root.cz - Zprávičky, 28. 10. 2022)
Rust Foundation Maintainers Fund je fond pro dlouhodobou podporu vývojářů jazyka Rust (Root.cz - Zprávičky, 5. 11. 2025)
Idris dostal novou verzi backendu pro JVM (Root.cz - Zprávičky, 17. 1. 2022)
Online setkání WP Pivo ve středu 30. března (Root.cz - Zprávičky, 29. 3. 2022)
Bilý dům volá po tom, aby vývojáři opustili C/C++ a přešli raději na Rust (Živě.cz, 3. 3. 2024)
Do Night City míří Idris Elba. Dorazí v rozšíření Phantom Liberty (iSport.cz, 13. 1. 2023)
Vzniká PHP Foundation, z projektu PHP odchází Nikita Popov (Root.cz - Zprávičky, 23. 11. 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