Používat lineární typové systémy bylo utrpení (viz třeba jazyk ATS), Rust toto utrpení zmírnil, ale stále to není úplně bezbolestné - to je hlavní nevýhoda oproti C++. Bezpečný fragment Rustu pouze garantuje absenci data raců a je otázkou, zda to stačí k prosazení. Rust například negarantuje, že se veškeré zdroje uvolní, nebo že budou spuštěny destruktory. Navíc v současné době kód vygenerovaný kompilátorem Rustu je pomalejší než kód vygenerovaný kompilátory C++. C++ se navíc stále rozvíjí a je otázkou, zda Rustu bude stačit dech a nebude příliš zaostávat - například C++17 pravděpodobně přidá podporu pro resumable functions, což umožní snazší zápis asynchronních výpočtů - co nabídne Rust?
OCaml je zaměřen na symbolické výpočty a momentálně nemá podporu pro paralelní běh více výpočtů (ta by měla být přidána tento rok na podzim) - tj. nemyslím si, že by Rust nějak konkuroval OCamlu (typový systém spíše konkuruje jazyku Mezzo, což je příbuzný OCamlu).
Výše zmíněné jazyky prosperují již několik desítek let, povede se to i Rustu?
5 Odpovědí
2984 Zhlédnutí