Je Rust jazyk budoucnosti?

[Idris]

Akorát cena za to je,

Imho statické typy mají jiné problémy.
Namátkou:
- jsou náročné na čas výpočtu
- jsou náročné na vývoj jazyka
- jsou náročné na skill uživatele
- lidé nechápou co to je statické typování

Doplnění: Jsou náročné na čas výpočtu v době překladu, za běhu ne. Nicméně SPARK se svou formální verifikací je na tom hůře, kdysi na nějaké přednášce někdo z NASA vykládal, jak se jim kód překládá týden. Ale pak věděli, že je absolutně bezpečný

Ten zbytek platí, jde to shrnout do jednoho bodu o Inkových “mentálních obzorech”.

[Reklama]

[Idris]

Problém je v tom, že v Idrisu se mi nestane to, co se mi stane v C# v tom příkladu, který jsem uváděl. Že tu chybu neodchytím, tedy nezpracuji, tedy jsem tu chybu nezohlednil.

To je jedno ne? Hodnota toho typu nebude vytvořena, pokud konstruktor vyhodil výjimku...

Zákazník: Tak jsem zkoušel vaši aplikaci a je úplně k ničemu. Jsem tam normálně zadal číslo, a ono to spadlo.
Já: To je jedno ne?

Slušný vývojář tu výjimku odchytí a vypíše třeba “Sorry vole error”.

[Králík]

Zákazník: Tak jsem zkoušel vaši aplikaci a je úplně k ničemu. Jsem tam normálně zadal číslo, a ono to spadlo.
Já: To je jedno ne?

To je ale něco jiného, to spadlo, protože nebyla dobře ošetřena chyba, ne proto, že by byl porušen invariant.

To samé se stane v Rustu, pokud udělám `.unwrap()` na výsledku toho konstruktoru anebo v Haskellu, pokud bys např. v Either Left větvi udělal `error "shit's on fire yo"` ...

[Idris]

Problém je v tom, že v Idrisu se mi nestane to, co se mi stane v C# v tom příkladu, který jsem uváděl. Že tu chybu neodchytím, tedy nezpracuji, tedy jsem tu chybu nezohlednil.

To je jedno ne? Hodnota toho typu nebude vytvořena, pokud konstruktor vyhodil výjimku...

V Rustu to bude panic?

[BoneFlute]

Jsou náročné na čas výpočtu v době překladu, za běhu ne.

Ano, ano, sorry.
A platí o opak, že za běhu by to mělo být rychlejší. Žel, jak nám Králík ukázal, tak jen teoreticky. Což je taky smutné - takovej nevyužitej potenciál.

[Reklama]

[Idris]

Zákazník: Tak jsem zkoušel vaši aplikaci a je úplně k ničemu. Jsem tam normálně zadal číslo, a ono to spadlo.
Já: To je jedno ne?

To je ale něco jiného, to spadlo, protože nebyla dobře ošetřena chyba

Teď jsi na to kápnul, ten program v Idrisu se nepřeloží, pokud nejsou správně ošetřeny všechny chyby.

[Králík]

Problém je v tom, že v Idrisu se mi nestane to, co se mi stane v C# v tom příkladu, který jsem uváděl. Že tu chybu neodchytím, tedy nezpracuji, tedy jsem tu chybu nezohlednil.

To je jedno ne? Hodnota toho typu nebude vytvořena, pokud konstruktor vyhodil výjimku...

V Rustu to bude panic?

Je to stejně jako v Haskellu, panikovat v konstruktoru můžeš, ale slušné je vrátit `Result` což je to samé co `Either`...

[Idris]

Jsou náročné na čas výpočtu v době překladu, za běhu ne.

Ano, ano, sorry.
A platí o opak, že za běhu by to mělo být rychlejší.

Taky že je, například v Julii (ta je extrabuřt, je dynamicky typovaná, ale pozná stabilně otypovaný kód a odvodí si všechny typy).

[Idris]

Problém je v tom, že v Idrisu se mi nestane to, co se mi stane v C# v tom příkladu, který jsem uváděl. Že tu chybu neodchytím, tedy nezpracuji, tedy jsem tu chybu nezohlednil.

To je jedno ne? Hodnota toho typu nebude vytvořena, pokud konstruktor vyhodil výjimku...

V Rustu to bude panic?

Je to stejně jako v Haskellu, panikovat v konstruktoru můžeš, ale slušné je vrátit `Result` což je to samé co `Either`...

Lepší by bylo si tu slušnost od autora kódu vynutit: Kašleš na chyby? Tak to mi můžeš, syntax error

[BoneFlute]

Problém je v tom, že v Idrisu se mi nestane to, co se mi stane v C# v tom příkladu, který jsem uváděl. Že tu chybu neodchytím, tedy nezpracuji, tedy jsem tu chybu nezohlednil.

To je jedno ne? Hodnota toho typu nebude vytvořena, pokud konstruktor vyhodil výjimku...

Zákazník: Tak jsem zkoušel vaši aplikaci a je úplně k ničemu. Jsem tam normálně zadal číslo, a ono to spadlo.
Já: To je jedno ne?

Slušný vývojář tu výjimku odchytí a vypíše třeba “Sorry vole error”.

To je ale něco jiného, to spadlo, protože nebyla dobře ošetřena chyba, ne proto, že by byl porušen invariant.

To samé se stane v Rustu, pokud udělám `.unwrap()` na výsledku toho konstruktoru anebo v Haskellu, pokud bys např. v Either Left větvi udělal `error "shit's on fire yo"` ...

Ano, je to něco jiného. To je rozdíl mezi Idrisem a C#.

Idris:
kompilátor: hele, zapomněl jsi tady zohlednit tenhle scénář
já: nezajímá
kompilátor: mě taky ne, nepustím tě dál
já: ale já to chci přeložit.
kompilátor: nezajímá
já: štveš mě
kompilátor: nezajímá
já: grrr, SO, ha, mám to, musím tam narvat error()
kompilátor: když myslíš
já:

C#
kompilátor: přeloženo
reviewer: hele, hmm, neměl by si tady zohlednit tenhle scénář?
já: to se nestane
reviewer: no, já nevím
já: hele, šéfe, von mě zdržuje
šéf: to je v pořádku, pusť to
klient: ehm, pánové, to si to po sobě neumíte zkontrolovat? Padá to při třech scénářích
reviewer: třech?! Kde?

[Králík]

Je to stejně jako v Haskellu, panikovat v konstruktoru můžeš, ale slušné je vrátit `Result` což je to samé co `Either`...

Lepší by bylo si tu slušnost od autora kódu vynutit: Kašleš na chyby? Tak to mi můžeš, syntax error

Meh. Tak mi ukaž, jak v Idrisu handluješ chybu alokace paměti. V Rustu to jde.

V Idrisu jsem taky našel funkci á la panic (builtins.idris_crash).

Věřim ti, že obecně Idris více tlačí uživatele do ošetření chyb, ale ten rozdíl je kvantitativní...

[BoneFlute]

Věřim ti, že obecně Idris více tlačí uživatele do ošetření chyb, ale ten rozdíl je kvantitativní...

Představuji si nástroj pro Rust, který projede kód a hledá výskyty slov panic().
Představuji si nástroj pro C#, který projede kód a dohledá všechny neošetřené scénáře... stále si představuji... stále si představuji...

[Králík]

Představuji si nástroj pro C#, který projede kód a dohledá všechny neošetřené scénáře... stále si představuji... stále si představuji...

Já úplně nevím, proč se o tomhle se mnou přeš, já jsem odpůrce výjimek přesně z tohoto důvodu.

[Idris]

Je to stejně jako v Haskellu, panikovat v konstruktoru můžeš, ale slušné je vrátit `Result` což je to samé co `Either`...

Lepší by bylo si tu slušnost od autora kódu vynutit: Kašleš na chyby? Tak to mi můžeš, syntax error

Věřim ti, že obecně Idris více tlačí uživatele do ošetření chyb, ale ten rozdíl je kvantitativní...

Tak jistě, když se ti počítač vznítí a ty na něj chrstneš kýbl vody, tak to asi Idris nezachrání. Ale donutí tě náležitě ošetřit všechny logické chyby v kódu (typu dělení nulou, že se nevolá head na prázdný seznam apod.).

[Idris]

V Idrisu jsem taky našel funkci á la panic (builtins.idris_crash).

Jenže to normálně použít nejde, jen ve funkci, která je explicitně partial, což se prakticky nepoužívá (a v produkci nikdy). Takže tohle se taky vůbec nepřeloží.