Firefox 48 bude obsahovat komponentu napsanou v programovacím jazyce Rust (diskuse)

[pushkin]

Firefox 48 bude obsahovat komponentu napsanou v programovacím jazyce Rust

Jo, tak tohle je tah s velkým T. Už vidím ty IT hádanky: "Proč je ten Firefox tak pomalý a jeho používání skřípe? Protože vevnitř je plný rzi..." (Why is Firefox so slow ant its usage squeaks? Since it's full of Rust...)

[kralyk z abclinuxu]

A bude hůř, celé to zoxiduje

[Jardík]

Corrode.

[fukfukfuk]

Benchmark, ktery by tu pomalost dokazoval, mas?

[Prohnutá nudle]

dobrej vtip

[j]

FF je pomalejsi a nabubrelejsi s kazdou dalsi verzi ...

[Nup&©®]

Já zase mám na Linuxu Mint 17.3 Firefox k plný spokojenosti-nabíhá,teda na ssd téměř okamžitě.Zato chromej je nepoužitelnej-nabíha taky 2 minuty.

[kyknos]

Pomalý mravenec?

[pushkin]

jj, překlep, trefils

[xvasek]

To je dobře nebo špatně?

[Xerces]

Je to jedno, stejně se to kompiluje.

[JoHnY3]

Kod napsany v Rustu je srovnatelne rychly jako C, ale lepe se v nem programuje paralelizace a hlavne je v nem napsany kod celkem sam od sebe odolny proti overflow bugum, ktere zpusobuji vetsinu bezpecnostich chyb v browserech.

Zrovna MP4 parser v Androidu v sobe mel bug, diky kteremu slo jen zobrazenim videa nakazit telefon.

[kutr]

Nejenom přetečení, rust kompilátor nepřeloží ani pokus o použití smazané proměnné nebo nevalidního iterátoru.

[Radek Miček]

Kod napsany v Rustu je srovnatelne rychly jako C

Obecně, pokud se nepoužije unsafe fragment jazyka, tak ne.

hlavne je v nem napsany kod celkem sam od sebe odolny proti overflow bugum, ktere zpusobuji vetsinu bezpecnostich chyb v browserech

Pokud se používá unsafe fragment jazyka, tak to neplatí.

A pokud se unsafe fragment jazyka nepoužívá, tak to zatím formálně nikdo nedokázal – např. typový systém může být špatně navržený a těmto chybám ve skutečnosti nebrání.

[Sid]

Ano ono tiez v tom nepisu sw pre obsluhu jadroveho reaktoru. V tom pripade by som takuto doslovnu teoreticku vytku chapal. Pokial viem rust ma ambicie byt pouzitelny ako systemovy jazyk ktory ma pomoc riesit niektore klasicke problematicke scenare. Nie byt nejaky obskurny jazyk ktory je sice uzasne teoreticky prepracovany ale pre prakticke veci nepouzitelny.

[Radek Miček]

Nie byt nejaky obskurny jazyk ktory je sice uzasne teoreticky prepracovany ale pre prakticke veci nepouzitelny.

Verifikace typového systému (TS) nepoškozuje praktickou použitelnost jazyka. Koneckonců snahy o verifikaci tu byly i pro TS Javy (viz třeba Featherweight Java). Podobné snahy (DOT) teď pomáhají Scale zjednodušit TS a udělat rozumnou implementaci.

Ano ono tiez v tom nepisu sw pre obsluhu jadroveho reaktoru.

Je to o tom, jak se lze na TS spolehnout a také o zpětné kompatibilitě (pokud to teď mají špatně a budou to chtít opravit, pak nejspíš rozbijí některé programy).

[Sid]

Ale to rozbitie sa deje aj teraz(ako vylepsuju kompilator), chapem vasu motivaciu ale povedal by som, ze ich priority asi lezia inde. Pokial viem scala tiez ale nezacala rovno tymto krokom. Takze mozno casom...

[x]

ftp://ftp.cs.washington.edu/tr/2015/03/UW-CSE-15-03-02.pdf, https://github.com/rust-lang/rust/issues/9883 atd.

[Radek Miček]

Ano, vím o tom, že se někteří lidé o to zajímají, nicméně AFAIK žádný důkaz korektnosti zatím nebyl publikován.

[Jardík]

Bezva, o 1MB větší Firefoxu a halda staticky linkovaného balastu.

[Cabrón]

Rust nemá runtime, nic extra se nelinkuje (proti C variantě téhož programu).

[kralyk z abclinuxu]

On má asi na mysli statické nalinkování standardní knihovny.

[j]

Sak instalacka nebude nikdy vetsi nez 5MB ... pamatuju si to dobre ze?