[Ernest_]

#programowanie #rustlang

[farmac]

@Ernest_: lepiej opakować w Either[Throwable, T], albo jeszcze lepiej w Validated[Throwable, T], bo na monadach nie da się kumulować errorów

[Saly]

@farmac: a po coś rzucać? Rust to nie język dla małp jak Java

[farmac]

@Saly: a kto powiedział, żeby coś rzucać? pakujemy error do pudełka i robimy z nim co chcemy

[farmac]

@Saly: I to scala nie java psze pana

[Saly]

@farmac: jak nie ma rzucania to nie widzę sensu używania Throwable, lepiej stworzyć własny typ i nie być przywiązanym do tego javowego

albo jeszcze lepiej w Validated[Throwable, T], bo na monadach nie da się kumulować errorów

@farmac: mówisz o takim Result, który jest applicative functor? Szczerze nie wiem, czy Rust ma coś takiego, pewnie nie

[farmac]

@Saly: no może się pośpieszyłem z tym Throwable, bo rzeczywiście w praktyce lepiej utworzyć własny typ reprezentujący errory, który dodatkowo pozwoli np. na tłumaczenie komunikatu przy zastosowaniu i18n
ad2: dokładnie, Validated jest applicative functorem

[Krolik]

: lepiej opakować w Either[Throwable, T]

@farmac: przecież to jest właśnie odpowiednik rustowego Result. Oczywiście są drobne różnice w szczegółach, ale zasadniczo koncepcja jest ta sama. Co do kumulowania errorów to zdaje się anyhow to umie.

[Saly]

Co do kumulowania errorów to zdaje się anyhow to umie.

@Krolik: tu chodzi o inny rodzaj. Z tego co widzę to anyhow wspiera łancuch errorów przez co dany error trzyma w sobie przyczynę. W przypadku wspomnianego Validated chodzi o operację łączenia błędów w taki sposób, że wystąpienie pierwszego nie prowadzi do short circuitingu tj. kolejne funkcje sprawdzające się nie odpalą.

Rustowy Result ma metodę and_then, która jest operacją monadyczną wymuszającą

[lionbest]

@Saly: @farmac: W Ruście jest też operator ?, który rozpakowuje Result i wykonuje wczesny return, korzystając z E::into(). Dzięki temu np. można robić unię wszystkich możliwych błędów, np. przy użyciu modułu this_error.

Jest też np. moduł miette (podobny do anyhow), który pozwala na tworzenie ładnych reportów z błędów.

[PoteznyMagWody]

@Saly: a ja jakoś wole wyjątki niż jak małpa pisanie co chwile co 5 linijel if er != nil

[Hauleth]

@lionbest: Jeszcze jest eyre

[Krolik]

@PoteznyMagWody: if err != nil to nie ten język, pomyliłeś z Go;

co do wyjątków, to wyjątki nie działają dobrze z konstrukcjami FP (wyjątek to efekt uboczny)

[bajcik]

@Hauleth: @lionbest: ludzie gadają że do bibliotek thiserror a do aplikacji anyhow. To nie wiem czy czegoś więcej mi trzeba.

[lionbest]

@bajcik: Tak dokładnie, this_error pomaga stworzyć własne błędy w małych bibliotekach, gdzie chcesz użytkownikowi przekazać faktyczny typ błędu opakowany w jakiś kontekst.
Biblioteka Anyhow albo jego następcy, czyli eyre i miette, służą zbierania raportów z błędów i przekazywania ich użytkownikowi.