No, F# bylo mj. navržené tak, aby byla možná interoperabilita s .NET knihovnami, ze kterých se do F# plíží logicky jak nulls, tak i exceptions z System.Exception. Knihoven čistě funkcionálních, které mají na výstupu Option nebo Result, je málo (např. Thoth.Json).
Mimochodem, F# má ještě zjednodušenou funkci failwith, která vyhodí běžnou System.Exception. Co vím, vyhazování exceptions se používá jen výjimečně, kdy je neúčelné vytahovat Result type někde z útrob kódu.
V F# musíš manuálně převádět exceptions/nulls do Result/Option. No, jako, nemusíš, když nechceš, ale pak neprogramuješ funkcionálně. A proč tedy Result/Option, je tvá hlavní otázka, že? Můžeš se zeptat ChataGPT, ale jeho odpověď ti asi nedá takovou představu, jako když si to zkusíš osobně a uvidíš sám, jak se v code flow pracuje s Option/Result (můj subjektivní názor je, že je to super sqělé) a FP jazyky na to mají prostředky, takže nemáš všude pyramid of doom (plno vnořených větvení), jak se zmiňoval nějaký FP hater neznající funkcionální prvky. Domnívám se, že je to asi jediná cesta k plnému pochopení vhodnosti Option/Result (v Haskellu a jiných jazycích se to nazývá jinak, ale jedná se stejný princip). Koneckonců pokud bys chtěl spolupracovat s některou FP firmou, budou chtít Option/Result, ne exceptions, viděl jsem to přímo v textech inzerátů (připrav se na něco takového
https://github.com/MiroslavHustak/FSharp-Coding-Guidelines ).
Všimni si, že máš většinou dva stavy - vyhovující a nevyhovující (žádoucí výsledek/null, žádoucí výsledek/exception), no, a k tomu pasuje discriminated union (sum type, enum atd. v jiných jazycích), což jsou Option/Result types. Takže taháš obou-stavové řešení bezpečně až třeba do nějaké transformation layer mezi FE a BE
https://github.com/MiroslavHustak/OdisTimetableDownloaderMAUI/blob/master/ApplicationDesign/KODIS_Record4.fs. Ale jak jsem psal, nejlépe je si to zkusit sám.
Async.Catch neháže exceptions, ale převádí je na typ Choice<'a,'exn>, což je předchůdce dnešního Result (takže dnes se tam přidá Result.ofChoice a je to tam, kde to chceme mít).
Sorry za používání anglických výrazů, ale jsem jen samouk všechno studující z anglických podkladů.
Poslední příspěvky
