Linuxové jadro by sa mohlo začať programovať v Ruste už od verzie 5.20
Diskusia k článku: Linuxové jadro by sa mohlo začať programovať v Ruste už od verzie 5.20
Prispievajte do diskusií ako
prihlásený užívateľ.
Komentár, na ktorý odpovedáte:
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Re: portabilnost
Od: anonymous2743
|
Pridané:
2022-06-25 01:00:31
Ja od nikoho nechcem aby mi veril. Si o tom precitaj nieco sam. Priekazne nevies ako funguju kompilery, a co obnasa semantika jazyka. Uplna pametova bezpecnost je neriesitelny problem, pokial brutalne neobmedzis co jazyk dokaze. Niekedy sa to da, niekedy to sposobi viac problemov nez to vyriesi.
Takych pokusov uz bolo. O funkcionalnom programovani si pocul? O formalnej verifikacii a dokazovani spravnosti kodu? Ono to ide, ale v momente ked potrebujes menitelny stav narazis prave na halting problem. Nieco take jednoduche ako ci game of life z nejakeho pociatocneho stavu sa stabilizuje alebo sa bude menit donekonecna je nerozhodnutelne.
Preto ked citam take somariny ze Rust vyriesil nieco co je teoreticky nemozne, sa musim len zasmiat. Dalsi evanjelik hlasajuci dalsiu 'dobru novinu'. Pockaj par rokov, uvidime kam to Rust dotiahne. Mozno z toho vzide aj nieco dobre, a neskonci to cele na smetisku dejin.
|
neprihlásený 