Vlákno názorů k článku
Blíží se podpora Rustu v linuxovém jádře od nosofting - myslim si, ze to dopadne jako s tim...

No jasně, třeba tam jsou nějaké takové souvislosti, kde ten pojem zapadá, ale zrovna v Rustu, když vynecháme makra, moc věcí "navíc" není, řekl bych. Snad to tak zůstane někdo se ho nepokusí "vylepšovat" koncepty, které budou řešit jiným způsobem to, co už rozumně umí.

Naštěstí v tomhle jsou docela úspěšní, požadavků na "jenom jednu další featuru" bylo hodně a uměli jim odolávat kdykoli to uznali za vhodné

Zrovna dědičnost by v ničem nevadila, i když mně osobně nechybí. Ale výjimky jsou zlo a je dobře, že v Rustu nejsou :)

Zrovna dědičnost vadí docela hodně, mj je to vždycky pekelný bordel pokud jde o typový systém a v Rustu tuplem.

Bordel to je, když to někdo neumí. Jako se vším.

Reakce "...když to někdo neumí" se objevují vždycky, když tomu někdo nerozumí. Jako se vším. Sémantika dědičnosti a soundness typového systému jsou vzájemně hrozně problematické. Na tom není co "umět", jde o matematický důkaz.

“Sémantika dědičnosti a soundness typového systému jsou vzájemně hrozně problematické.”

To je blábol, i Java a C# jsou “sound”.

Ale houby, vůbec nejsou sound. A přitom zrovna Java má tu dědičnost navíc ještě silně okleštěnou: stačí se podívat, jak řeší (resp. neřeší) kontravariaci typů u předefinovaných metod. A když si k tomu přidáte ještě javovské generické typy, tak je teprv veselo.

Tam je někdy opravdu důležité, aby zdroják a výsledný assembler si pokud možno odpovídaly 1:1.

Dulezite to je, ale dnesni prekladace delaji pri optimalizacich opravdu divoke kousky a korespondence 1:1 ke strojovemu kodu je dnes jen iluzi davnych dni a misto toho je nutne blbnout s volatile, aby prekladac nevyhodil neco duleziteho.

To je jistě pravda, ale ne tolik na mikrokontrolérech. I když i tam se to samozřejmě vyvíjí a čím dál víc jich má moderní superskalární mikroprocesory se spekulativní exekucí atd.