Je Rust jazyk budoucnosti?

[oss]

Haskell není tak složitý

Není, ale je sofistikovanější, má HKT, typové třídy a pár dalších vychytávek. Asi se shodneme, že co nejvíce kontrol je lepší dělat při překladu než za běhu. Různá rozšíření Haskellu pak mají i GADT apod.

Ono typove triedy ani uniony niesu nicim vynimocne. A zas neprinasaju tolko. Navyse vsetky tieto veci maju svoju alternativu aj v beznom typovom systeme objektovych jazykov.

[Reklama]

[Wavelet]

Haskell není tak složitý

Není, ale je sofistikovanější, má HKT, typové třídy a pár dalších vychytávek. Asi se shodneme, že co nejvíce kontrol je lepší dělat při překladu než za běhu. Různá rozšíření Haskellu pak mají i GADT apod.

Ono typove triedy ani uniony niesu nicim vynimocne. A zas neprinasaju tolko. Navyse vsetky tieto veci maju svoju alternativu aj v beznom typovom systeme objektovych jazykov.

Tak Haskell pedagogicky ukazuje, jak se dají nebo nedají věci reálného světa zakódovat do typů. Ony ty "věci" existují a fungují i bez toho Haskellu, ale dá se to na něm pěkně ilustrovat. APL mám třeba teď radši a to nepotřebuje takovou typovou teorii, přitom se kolem toho točí spousta matematiků. Pekně je vidět na Erlangu, jak si na tom "typologové" vylámali zuby, přitom evidentně přináší co slibuje, fault tolerant systems.

[Králík]

ale jinak ano, téměř všechny čistě funkcionální jazyky mají buď programy typu "IO Unit" (nebo "Effect Unit"), nebo něco na způsob Mercury (nebo oba způsoby zároveň).

To je spíš prostě jenom ukazatel toho, že programy potřebují dělat I/O. Zajímavější metrika by byla jak často programy používají třeba free monády apod.

[Idris]

ale jinak ano, téměř všechny čistě funkcionální jazyky mají buď programy typu "IO Unit" (nebo "Effect Unit"), nebo něco na způsob Mercury (nebo oba způsoby zároveň).

To je spíš prostě jenom ukazatel toho, že programy potřebují dělat I/O.

Je to ukazatel, že to jinak nejde (kromě toho druhého způsobu, co má Mercury, ale ten jen příliš nepraktický).

[Idris]

Zajímavější metrika by byla jak často programy používají třeba free monády apod.

Co je na tom zajímavého. Volné monády (na rozdíl od těch normálních, jež jsou v podstatě triviální) jsou náročné na pochopení a přínos je dost sporný.

[Reklama]

[BoneFlute]

Domnívám se, že hodně schází nějaký projekt, který by porovnával řešení mezi jazyky. Občas zkouším použít RosettaCode, ale je to dost zakopaný. Představoval bych si něco předžvejkanějšího. Něco, co bude demonstrovat, že HKT, nebo AGDT vám umožní toto a toto, což se v tomto jazyce bez AGDT dělá takto, a má to tato omezení, a proto je AGDT lepší. <sup>1)



1)</sup> provokativně očekávám, že se nyní strhne lavina příspěvků, že jsem úplnej debil, ať se kouknu na tuhle a tuhle stránku, že to už přece dávno je :-)

[Idris]

provokativně očekávám, že se nyní strhne lavina příspěvků, že jsem úplnej debil, ať se kouknu na tuhle a tuhle stránku, že to už přece dávno je :-)

Já o ničem takovém nevím, takže už jsme dva

[Ink]

Domnívám se, že hodně schází nějaký projekt, který by porovnával řešení mezi jazyky. Občas zkouším použít RosettaCode, ale je to dost zakopaný. Představoval bych si něco předžvejkanějšího. Něco, co bude demonstrovat, že HKT, nebo AGDT vám umožní toto a toto, což se v tomto jazyce bez AGDT dělá takto, a má to tato omezení, a proto je AGDT lepší. <sup>1)



1)</sup> provokativně očekávám, že se nyní strhne lavina příspěvků, že jsem úplnej debil, ať se kouknu na tuhle a tuhle stránku, že to už přece dávno je :-)

Co třeba tyhle, pro začátek?

https://gist.github.com/CMCDragonkai/a5638f50c87d49f815b8
https://www.reddit.com/r/rust/comments/6seaf8/why_are_higher_kinded_types_requested_in_rust/
https://blog.rust-lang.org/2022/10/28/gats-stabilization.html

[Idris]

Domnívám se, že hodně schází nějaký projekt, který by porovnával řešení mezi jazyky. Občas zkouším použít RosettaCode, ale je to dost zakopaný. Představoval bych si něco předžvejkanějšího. Něco, co bude demonstrovat, že HKT, nebo AGDT vám umožní toto a toto, což se v tomto jazyce bez AGDT dělá takto, a má to tato omezení, a proto je AGDT lepší. <sup>1)



1)</sup> provokativně očekávám, že se nyní strhne lavina příspěvků, že jsem úplnej debil, ať se kouknu na tuhle a tuhle stránku, že to už přece dávno je :-)

Co třeba tyhle, pro začátek?

https://gist.github.com/CMCDragonkai/a5638f50c87d49f815b8
https://www.reddit.com/r/rust/comments/6seaf8/why_are_higher_kinded_types_requested_in_rust/
https://blog.rust-lang.org/2022/10/28/gats-stabilization.html

"as an endofunctor in the category of types"

[Idris]

Co třeba tyhle, pro začátek?

https://gist.github.com/CMCDragonkai/a5638f50c87d49f815b8
https://www.reddit.com/r/rust/comments/6seaf8/why_are_higher_kinded_types_requested_in_rust/
https://blog.rust-lang.org/2022/10/28/gats-stabilization.html

Se tam tvrdí, že Maybe je HKT. To je blbost, nevěřte všemu v těch odkazech.

[Idris]

Z jiného soudku: https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html

Rust se uchytil i na Androidu: "As Android migrates away from C/C++ to Java/Kotlin/Rust, we expect the number of memory safety vulnerabilities to continue to fall. Here's to a future where memory corruption bugs on Android are rare!"

[linuxak]

Z jiného soudku: https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html

To je hodně dobrá reklama na Rust. Z celého článku bych vypíchnul tohle:

To date, there have been zero memory safety vulnerabilities discovered in Android's Rust code.

Rust je paměťově bezpečný jen do té doby, než se použije unsafe. Ale zároveň z toho článku plyne, že unsafe normálně není potřeba vůbec používat. V celém UWB stacku mají použitý unsafe jen 2x z důvodu interoperability s Javou. Takže praxe ukazuje, že Rust plní to, co sliboval: paměťově bezpečný jazyk bez garbage collectoru s rychlostí C.

[mhi]

Priznam se, ze jsem tema prilis necetl, mozna tu padla odpoved; prijde mi diskuse skoro jako nabozenstvi. Zeptal bych se:

1) Jake jsou nejvetsi *zname* projekty v Rustu? Chvili jsem hledal a uspokojivou odpoved na svoji otazku jsem nenasel. Mozna zdejsi znalci Rustu vytahnou seznam.

2) A jsou nejake vyznamnejsi *komercni* projekty v Rustu?

[linuxak]

Priznam se, ze jsem tema prilis necetl, mozna tu padla odpoved; prijde mi diskuse skoro jako nabozenstvi. Zeptal bych se:

1) Jake jsou nejvetsi *zname* projekty v Rustu? Chvili jsem hledal a uspokojivou odpoved na svoji otazku jsem nenasel. Mozna zdejsi znalci Rustu vytahnou seznam.

2) A jsou nejake vyznamnejsi *komercni* projekty v Rustu?

Viz předchozí příspěvky, stačil by Android? Tam je Rustu docela dost: https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html

Linux kernel má taky docela dobře našlápnuto, ale tam se Rust teprve začíná integrovat.

[mhi]

Ten clanek o Androidu je celkem vagni, nejsou tam absolutni cisla a co v tom Rustu bylo pridano. Nedokazu si z toho udelat smysluplny obrazek.

Prisib ze "ma naslapnuto" taky neberu.

Predstavoval bych si odpoved typu "Adobe v tom naprogramoval XYZ a ma to 1M uzivatelu od roku 20xx".