GIOMIKY: Me se doted nikdo na nic neptal, jakypak uhybani? Az ted ty.
OK, rekneme, ze jsi tu otazku polozil v dobre vire, tak v dobre vire odpovim. Delam v Linuxovym kernelu. U operacniho systemu je rekneme docela dulezity mit spravu zdroju v cajku -- aby nedanglilo co danglit nema, nic neleakovalo, atp. Linuxovej kernel je napsanej v C, kde co si nenapises, to nemas. Vyvojari absenci toolingu pro spravu zdroju resi ruzne: osobni disciplinou, code review, ruznyma rozsirenima prekladacu, automatickym testovanim, pravidelnou statickou analyzou, atd. A stejne se tam bugy tu a tam dostanou, protoze C je v zasade prilis obecnej jazyk, a zvenku se ta analyza dela blbe. Rust by mohl dokazovani korektnost spravy zdroju do urcite miry automatizovat. Idea je ta, ze sluzby kernelu by se vyjadrily nejakym internim API, a rustovy moduly by potom mely korektnost dokazanou oproti tomu API. Po par letech vyvoje se nedavno dostala podpora Rustu do mainline Linuxu. Nez se to zacne sireji pouzivat, bude to jeste trvat, ale nejak se to hybe. Schopnost plynne cist a psat Rust by tedy pro me mohla byt zajimavej profesni diferenciator.