Moc se těším na další budoucnost Rustu, Ada se Sparkem se ve své době prosadila, ale nových profi projektů je buď jako šafránu nebo jsou pod pokličkou - mimochodem moc se těším na otevření Adamantu:
https://www.nxtbook.com/smg/special-report/23SR07B-25-Space-Technology/index.php#/p/14
Právě Adacore a Ferrous se minulý rok dohodli na spolupráci:
https://blog.adacore.com/adacore-and-ferrous-systems-joining-forces-to-support-rust
kterou brzy ukončili a nyní Adacore nabízí svým zákazníkům plnou podporu nejen pro Adu a C/C++, ale také pro Rust:
https://blog.adacore.com/adacore-has-two-announcements-about-rust
Takže potenciál zde rozhodně je, Rust s ISO certifikací podporovaný jednou z těchto společností možná bude tím důvodem, proč jej ve firemní sféře plně nasadit, uvidíme.
Hledal jsem, zda se Ada v České republice profesionálně využívá, ale nebyl jsem úspěšný, jedinou společnost jsem nalezl u našich východních bratrů (autor článku je v poslední době velmi aktivní na Ada fóru):
https://www.ipesoft.com/sk-blog/vyber-programovacieho-jazyka-pre-realtime-systemy
Rust situaci možná změní, vypadá to, že v Eře o něm uvažují:
https://kariera.era.aero/volne-pozice/vyvojar-sw-c/
Otázkou samozřejmě zůstává, zda je v době stálého vylepšování umělé inteligence tak důležitý výběr programovacího jazyka, dnes možná ano, zítra třeba ne. Časem ChatGPT, Phind nebo jiná aplikace provede matematickou formální analýzu sama i bez Sparku (který pokud vím zatím nemá plnohodnotného konkurenta ve svém oboru).
Ano, s tím nelze nesouhlasit, ChatGPT jsem dával jen jako příklad. Ono je to s tou bezpečností a spolehlivostí vždy relativní, např. diskutéři na Gitteru nebo Redditu poukazují na příliš velikou závislosti komponent nabízených společností Adacore na jazyce Python a neopomíjejí ani Spark nástroj gnatprove, který rozhodně není bez chyb. Ale jsem rád, že se Ada stále vyvíjí a její aktuální verze 2022 nedávno dostala ISO/IEC 8652:2023(E), určitě je nejen v oblastech letectví, železnic, automobilů a třeba i ekonomie zajímavou volbou, uvidíme, kam se dostane Rust. Podobně jako u jiných jazyků vidím veselé kopírování, Adin nástroj Alire jako by z oka vypadl Cargu a jsem za něj opravdu vděčný, jen škoda, že GUI knihovny (Gnoga, GTK, komunitně QT) jsou slaběji podporované.
31. 10. 2023, 14:41 editováno autorem komentáře