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

[Idris]

Jak by se to dělalo se Set-ou v C++ STL?

V tomto případě stejně, insert v std::set taky indikuje, jestli se prvek přidal.

[Reklama]

[registrovany_ava]

Můžeš rozvést, co myslíš v tomhle případě runtimem, a k čemu by měl být Rustu užitečný?

... ale právě lidi od App Engine si stěžují na absenci alespoň elementární dynamické reflexe ...

Pod dynamickou reflexi se toho může schovat hodně (v extrému třeba smalltalkovský #become: , #allInstances, #selectors, metatřídy, reifikovaný callstack), ale v Rustu si ani základnější věci příliš představit nedovedu, těžko třeba zjišťovat typ nějaké hodnoty když se optimalizátor rozhodl ji úplně vyhodit, a i kdyby ne tak k ní stejně nejsou metadata. No, uvidíme, co se vymyslí.

[Idris]

Můžeš rozvést, co myslíš v tomhle případě runtimem, a k čemu by měl být Rustu užitečný?

... ale právě lidi od App Engine si stěžují na absenci alespoň elementární dynamické reflexe ...

Pod dynamickou reflexi se toho může schovat hodně (v extrému třeba smalltalkovský #become: , #allInstances, #selectors, metatřídy, reifikovaný callstack), ale v Rustu si ani základnější věci příliš představit nedovedu, těžko třeba zjišťovat typ nějaké hodnoty když se optimalizátor rozhodl ji úplně vyhodit, a i kdyby ne tak k ní stejně nejsou metadata. No, uvidíme, co se vymyslí.

No právě, jde o metadata. Třeba Go má velký runtime, ale hlavně kvůli GC. Ideální runtime má ObjC, ten je malý, flexibilní, elegantní, prostě skvěle navržený a implementovaný. Nebo microsoftí metadata u C++ se taky povedly, než to zrušili Ale Rust je v podstatě asembler s GADT, tak v nic moc nedoufám

[Idris]

třeba smalltalkovský #become: , #allInstances, #selectors, metatřídy, reifikovaný callstack

BTW takhle daleko asi nikdo jít nechce — to už může rovnou použít Smalltalk nebo ObjC — ale reifikované invokace jsou ještě před hranicí užitečnosti a neprůhledné magie Jinak u Rustu bych fakt moc neřádil, ostatně mantra jeho autorů je abstrakce bez ztráty efektivity (nebo tak nějak) a dává smysl mít bezpečné a efektivní C s mocnými makry

[Ink]

Ano, spravne. Jednotlive typy (XYZ) poznam uz v dobe prekladu, nevedel som spravne namodelovat Trait tak, aby som vedel "nacpat" XYZ do funkcie "push", a teda, vyuzil som mne zname std::Any.

Proč nepoužiješ enum?

Este niesom v Ruste spravne "zabehnuty" takze, neviem/netusim ako konkretne by som pouzil Enum ako nahradu za Struct ( tomto konkretnom priklade)

Očividně jsme se nepochopili, enum v Rustu je, jak správně poznamenal Idris, součtový typ, tedy něco jako variantní typ v jiných jazycích - můžeš na základě zvolené varianty (typicky pattern matching) vzít vnitřek (např. instanci struktury X, Y nebo Z) a pracovat s ním "hezky" namísto toho řešení, které jsi měl původně. Struktura a enum se v Rustu doplňují a to dost elegantně.

Tvoje nové řešení používá enum a la C, což není samozřejmě nic špatného, ale já jsem si představoval něco jiného - muselo by se to ale celé překopat. Jinak doporučuju se mrknout na Diesel a podobná řešení DB v Rustu - ať už pro náhradu nebo inspiraci.

[Reklama]

[Ink]

Prosím případně smazat (ignorovat), nevím, jak se tento příspěvek vytvořil.

[Idris]

Tvoje nové řešení používá enum a la C

Podle mě je totiž matoucí nazvat součtové typy "enum", člověk si nese z C (a podobných jím ovlivněných) nějakou představu, která je velice daleko od součtových typů ve funkcionálním pojetí (a nepomáhá ani nazvat je "indirect enum" jako ve Swiftu, spíše naopak...).

[Marekuss]

Očividně jsme se nepochopili, enum v Rustu je, jak správně poznamenal Idris, součtový typ, tedy něco jako variantní typ v jiných jazycích - můžeš na základě zvolené varianty (typicky pattern matching) vzít vnitřek (např. instanci struktury X, Y nebo Z) a pracovat s ním "hezky" namísto toho řešení, které jsi měl původně. Struktura a enum se v Rustu doplňují a to dost elegantně.

Tvoje nové řešení používá enum a la C, což není samozřejmě nic špatného, ale já jsem si představoval něco jiného - muselo by se to ale celé překopat. Jinak doporučuju se mrknout na Diesel a podobná řešení DB v Rustu - ať už pro náhradu nebo inspiraci.

Nakolko v tomto pripade sa mi jedna o navrh, tak reimplementacia do Rustovskeho Enumu je taka studijna vyzva . Pozrem co ponuka doc rustu na Enum, pattern matching a pod. Postnem to sem na reviziu a pre porovnanie.

Diky za hint

[Idris]

Očividně jsme se nepochopili, enum v Rustu je, jak správně poznamenal Idris, součtový typ, tedy něco jako variantní typ v jiných jazycích - můžeš na základě zvolené varianty (typicky pattern matching) vzít vnitřek (např. instanci struktury X, Y nebo Z) a pracovat s ním "hezky" namísto toho řešení, které jsi měl původně. Struktura a enum se v Rustu doplňují a to dost elegantně.

Tvoje nové řešení používá enum a la C, což není samozřejmě nic špatného, ale já jsem si představoval něco jiného - muselo by se to ale celé překopat. Jinak doporučuju se mrknout na Diesel a podobná řešení DB v Rustu - ať už pro náhradu nebo inspiraci.

Nakolko v tomto pripade sa mi jedna o navrh, tak reimplementacia do Rustovskeho Enumu je taka studijna vyzva . Pozrem co ponuka doc rustu na Enum, pattern matching a pod. Postnem to sem na reviziu a pre porovnanie.

Diky za hint

Rozhodně doporučuji naučit se pattern matching pořádně, Rust je tím prolezlý (vracení chyb, prázdných hodnot…). Chce to zvyknout si na syntax (match, if let…), jinak to žádná věda není a přispívá to k bezpečnosti kódu. Taky doporučuji nezvykat si na unwrap

[ondra05]

Očividně jsme se nepochopili, enum v Rustu je, jak správně poznamenal Idris, součtový typ, tedy něco jako variantní typ v jiných jazycích - můžeš na základě zvolené varianty (typicky pattern matching) vzít vnitřek (např. instanci struktury X, Y nebo Z) a pracovat s ním "hezky" namísto toho řešení, které jsi měl původně. Struktura a enum se v Rustu doplňují a to dost elegantně.

Tvoje nové řešení používá enum a la C, což není samozřejmě nic špatného, ale já jsem si představoval něco jiného - muselo by se to ale celé překopat. Jinak doporučuju se mrknout na Diesel a podobná řešení DB v Rustu - ať už pro náhradu nebo inspiraci.

Nakolko v tomto pripade sa mi jedna o navrh, tak reimplementacia do Rustovskeho Enumu je taka studijna vyzva . Pozrem co ponuka doc rustu na Enum, pattern matching a pod. Postnem to sem na reviziu a pre porovnanie.

Diky za hint

Rozhodně doporučuji naučit se pattern matching pořádně, Rust je tím prolezlý (vracení chyb, prázdných hodnot…). Chce to zvyknout si na syntax (match, if let…), jinak to žádná věda není a přispívá to k bezpečnosti kódu. Taky doporučuji nezvykat si na unwrap

A raději si zvyknout na otazníky

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ý.

[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ý.

Kdo by to čekal, že do tak nízkoúrovňového jazyka proniknou natolik abstraktní funkcionální konstrukty Nakonec ta symbióza funguje celkem hladce.

[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?

[registrovany_ava]

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ý.

Kdo by to čekal, že do tak nízkoúrovňového jazyka proniknou natolik abstraktní funkcionální konstrukty Nakonec ta symbióza funguje celkem hladce.

Zcela off-topic, Idrisi, tohle by se ti mohlo líbit: https://maybevoid.com/blog/mononym-part-1/

[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ý.

Kdo by to čekal, že do tak nízkoúrovňového jazyka proniknou natolik abstraktní funkcionální konstrukty Nakonec ta symbióza funguje celkem hladce.

Zcela off-topic, Idrisi, tohle by se ti mohlo líbit: https://maybevoid.com/blog/mononym-part-1/

Jo, to jsem zaregistroval, akorát jsem se k tomu ještě podrobněji nedostal. Dík za odkaz a připomenutí.

[ondra05]

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...