Je Rust jazyk budoucnosti?

oss

  • ***
  • 230
    • Zobrazit profil
    • E-mail
Re:Je Rust jazyk budoucnosti?
« Odpověď #195 kdy: 02. 12. 2022, 12:32:04 »
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.


Re:Je Rust jazyk budoucnosti?
« Odpověď #196 kdy: 02. 12. 2022, 13:00:47 »
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.
« Poslední změna: 02. 12. 2022, 13:04:05 od uetoyo »

Re:Je Rust jazyk budoucnosti?
« Odpověď #197 kdy: 02. 12. 2022, 14:16:18 »
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

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Je Rust jazyk budoucnosti?
« Odpověď #198 kdy: 02. 12. 2022, 14:47:31 »
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

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Je Rust jazyk budoucnosti?
« Odpověď #199 kdy: 02. 12. 2022, 14:50:08 »
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ý.


BoneFlute

  • *****
  • 1 981
    • Zobrazit profil
Re:Je Rust jazyk budoucnosti?
« Odpověď #200 kdy: 02. 12. 2022, 23:03:06 »
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ší. 1)



1) 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

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Je Rust jazyk budoucnosti?
« Odpověď #201 kdy: 02. 12. 2022, 23:26:12 »
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

  • *****
  • 658
    • Zobrazit profil
    • E-mail
Re:Je Rust jazyk budoucnosti?
« Odpověď #202 kdy: 03. 12. 2022, 08:38:44 »
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ší. 1)



1) 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

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Je Rust jazyk budoucnosti?
« Odpověď #203 kdy: 03. 12. 2022, 09:17:29 »
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ší. 1)



1) 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” ;D


Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Je Rust jazyk budoucnosti?
« Odpověď #205 kdy: 03. 12. 2022, 09:42:11 »
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!”

Re:Je Rust jazyk budoucnosti?
« Odpověď #206 kdy: 03. 12. 2022, 10:04:02 »
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

  • *****
  • 500
    • Zobrazit profil
Re:Je Rust jazyk budoucnosti?
« Odpověď #207 kdy: 03. 12. 2022, 11:50:57 »
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?

Re:Je Rust jazyk budoucnosti?
« Odpověď #208 kdy: 03. 12. 2022, 12:37:16 »
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

  • *****
  • 500
    • Zobrazit profil
Re:Je Rust jazyk budoucnosti?
« Odpověď #209 kdy: 03. 12. 2022, 13:18:35 »
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".