Rust - std::ANY alebo lepší návrh?

[Idris]

Popravdě, od té doby co dělám v Rustu mi přijde způsob řešení takových věcí bez součtových typů, pattern matchingu a monád hrozně kostrbatý.

Těmi monádami myslíš prosím co?

Result, Option, Future, Iterator...

Teď už to chce jen HKT a z Rustu bude Haskell. I k DT už mají našlápnuto

[Reklama]

[Ink]

Popravdě, od té doby co dělám v Rustu mi přijde způsob řešení takových věcí bez součtových typů, pattern matchingu a monád hrozně kostrbatý.

Těmi monádami myslíš prosím co?

Result, Option, Future, Iterator...

OK, takže jde o to, že na existujících standardních typech s výhodou využíváš monadický přístup, jestli tomu rozumím dobře. Přemýšlel jsem, jestli má smysl jít někam dál a víc to "ohaskellovat"...

[registrovany_ava]

Těmi monádami myslíš prosím co?

Result, Option, Future, Iterator...

OK, takže jde o to, že na existujících standardních typech s výhodou využíváš monadický přístup, jestli tomu rozumím dobře. Přemýšlel jsem, jestli má smysl jít někam dál a víc to "ohaskellovat"...

Jj, monády bez HKT a nějaké formy do-notation jsou dost polovičatý. Pro rust existují věci jako https://crates.io/crates/do-notation , ale moc se to nepoužívá. S nejpoužívanějšími monádami (Result, Option, Future) se v rustu pracuje jinak(?, async/await), State není moc potřeba protože máme exclusive mutability, u řetězených and_then (monadické bind) u Iterátorů člověk často narazí na borrow checker nebo příliš krátce žijící data. Takže rustovský svět m-word moc nepoužívá, a pro komunitu je to asi i zdravější.

[Idris]

Těmi monádami myslíš prosím co?

Result, Option, Future, Iterator...

OK, takže jde o to, že na existujících standardních typech s výhodou využíváš monadický přístup, jestli tomu rozumím dobře. Přemýšlel jsem, jestli má smysl jít někam dál a víc to "ohaskellovat"...

Jj, monády bez HKT a nějaké formy do-notation jsou dost polovičatý. Pro rust existují věci jako https://crates.io/crates/do-notation , ale moc se to nepoužívá. S nejpoužívanějšími monádami (Result, Option, Future) se v rustu pracuje jinak(?, async/await), State není moc potřeba protože máme exclusive mutability, u řetězených and_then (monadické bind) u Iterátorů člověk často narazí na borrow checker nebo příliš krátce žijící data. Takže rustovský svět m-word moc nepoužívá, a pro komunitu je to asi i zdravější.

V poslední době se zda, že Rust jde cestou GADT. Ty jsou IMHO vhodnější pro Rust.

[Rike]

Já jsem z Rustu bohužel docela zklamán. Jazyk nese určité zajímavé prvky, o tom žádná, ale ten ekosystém, to je hrůza. Většina "crates", co jsem chtěl zkoušet, byla ve verzi 0.x, přičemž část kvůli nedodržování zpětné kompatibility nešla kompilovat. Chce to asi ještě čas.

[Reklama]

[Idris]

Já jsem z Rustu bohužel docela zklamán. Jazyk nese určité zajímavé prvky, o tom žádná, ale ten ekosystém, to je hrůza. Většina "crates", co jsem chtěl zkoušet, byla ve verzi 0.x, přičemž část kvůli nedodržování zpětné kompatibility nešla kompilovat. Chce to asi ještě čas.

Rust se vyvíjí dost živelně, ale IMHO to zas taková hrůza není. S důležitými crates problémy nebývají.

[kate]

Já jsem z Rustu bohužel docela zklamán. Jazyk nese určité zajímavé prvky, o tom žádná, ale ten ekosystém, to je hrůza. Většina "crates", co jsem chtěl zkoušet, byla ve verzi 0.x, přičemž část kvůli nedodržování zpětné kompatibility nešla kompilovat. Chce to asi ještě čas.

Které třeba? Používáme Rust jako hlavní jazyk pro backend a s nezkompilovatelnou knihovnou jsem se ještě nesetkala. Problémy mladého ekosystému to tedy má, občas musíme pro potřebnou funkcionalitu přispívat do upstreamu víc než by to bylo nutné v něčem mnohem starším jako Python.

[Ink]

Já jsem z Rustu bohužel docela zklamán. Jazyk nese určité zajímavé prvky, o tom žádná, ale ten ekosystém, to je hrůza. Většina "crates", co jsem chtěl zkoušet, byla ve verzi 0.x, přičemž část kvůli nedodržování zpětné kompatibility nešla kompilovat. Chce to asi ještě čas.

Bylo by asi fajn, kdybys byl konkrétnější. Udělat a publikovat crate může kdekdo, je tedy docela přirozené, že budou v různém stavu. Bez urážky, chce to trochu selského rozumu, případně zkušenosti, aby člověk poznal stabilní a rozumně vyvíjené od nedopečených pokusů. Možná bys mohl zkusit https://lib.rs/ , tam by měly být ty ověřené.

[Rike]

Jo, jenže ono není k mému "tématu" moc na výběr. Potíž s kompilací jsem měl zde: https://crates.io/crates/intercom, a nenašel jsem vůbec pořádnou "crate" na SOAP WSDL server. Dočetl jsem se na jednom blogu z roku 2020, že podpora XML vůbec je v Rustu zatím slabá.

Čekal jsem prostě trošku víc. Už tu ten ekosystém nějaký pátek je a měl by být náhradou za C/C++, přičemž by měl ale nabízet částečně přístup známý z "velkých" jazyků. To se mi jako "reklama" líbí. Chce to asi ještě trochu toho času, než budou pokryta i takováto "témata".

[Idris]

Jo, jenže ono není k mému "tématu" moc na výběr. Potíž s kompilací jsem měl zde: https://crates.io/crates/intercom, a nenašel jsem vůbec pořádnou "crate" na SOAP WSDL server. Dočetl jsem se na jednom blogu z roku 2020, že podpora XML vůbec je v Rustu zatím slabá.

Čekal jsem prostě trošku víc. Už tu ten ekosystém nějaký pátek je a měl by být náhradou za C/C++, přičemž by měl ale nabízet částečně přístup známý z "velkých" jazyků. To se mi jako "reklama" líbí. Chce to asi ještě trochu toho času, než budou pokryta i takováto "témata".

Zrovna COM s Rustem moc nekamarádí. Tohle se většinou řeší tak, že se napíše wrapper v C++ a do něj se staticky přilinkuje rustí knihovna.

[Ink]

Jo, jenže ono není k mému "tématu" moc na výběr. Potíž s kompilací jsem měl zde: https://crates.io/crates/intercom, a nenašel jsem vůbec pořádnou "crate" na SOAP WSDL server. Dočetl jsem se na jednom blogu z roku 2020, že podpora XML vůbec je v Rustu zatím slabá.

Čekal jsem prostě trošku víc. Už tu ten ekosystém nějaký pátek je a měl by být náhradou za C/C++, přičemž by měl ale nabízet částečně přístup známý z "velkých" jazyků. To se mi jako "reklama" líbí. Chce to asi ještě trochu toho času, než budou pokryta i takováto "témata".

Podle mě tohle není moc pravděpodobné, jelikož generaci vývojářů, která nejčastěji používá Rust, tohle nechává dost klidnou. Většina novějších API, se kterými jsem se setkal v posledních cca 7 letech, SOAP nepoužívá a naimplementovat to dobře je asi dost práce. COM jde mimo mě už úplně, ale jelikož se Rust v nějaké míře prosadil i v Microsoftu, kdoví.

[Idris]

Jo, jenže ono není k mému "tématu" moc na výběr. Potíž s kompilací jsem měl zde: https://crates.io/crates/intercom, a nenašel jsem vůbec pořádnou "crate" na SOAP WSDL server. Dočetl jsem se na jednom blogu z roku 2020, že podpora XML vůbec je v Rustu zatím slabá.

Čekal jsem prostě trošku víc. Už tu ten ekosystém nějaký pátek je a měl by být náhradou za C/C++, přičemž by měl ale nabízet částečně přístup známý z "velkých" jazyků. To se mi jako "reklama" líbí. Chce to asi ještě trochu toho času, než budou pokryta i takováto "témata".

Podle mě tohle není moc pravděpodobné, jelikož generaci vývojářů, která nejčastěji používá Rust, tohle nechává dost klidnou. Většina novějších API, se kterými jsem se setkal v posledních cca 7 letech, SOAP nepoužívá a naimplementovat to dobře je asi dost práce. COM jde mimo mě už úplně, ale jelikož se Rust v nějaké míře prosadil i v Microsoftu, kdoví.

Jo, SOAP je peklo a patří na smetiště IT dějin. COM by ale problém být neměl, MS napsal celou rustí vrstvu nad svým API (i když zrovna COM je lepší řešit přes MSVC).

[BoneFlute]

SOAP je peklo a patří na smetiště IT dějin.

Proč?

[Idris]

SOAP je peklo a patří na smetiště IT dějin.

Proč?

To je vážně míněná otázka? Odpovědí jsou všechny důvody, proč vzniklo například gRPC.

[Rike]

Jako dobrý, ale pořád mi přijde jednodušší sestavit SOAP klienta v těžce zastaralých systémech, než tam průkopnicky sestavovat gRPC klienta.