Vlákno názorů k článku Datové typy Option, Result a Array v programovacím jazyku OCaml od radekm - Kromě vracení option nebo result je v OCamlu...

Kromě vracení option nebo result je v OCamlu i celkem běžné vyhazovat výjimku.

Třeba funkce List.find ze standardní knihovny vyhodí Not_found, když nenajde prvek, který splňuje predikát.

Výhodou je, že kód vyhazující výjimky nemusí při úspěchu obalit každý výsledek do další hodnoty, takže míň zatěžuje GC. A vyhazování nebo chycení výjimky v OCamlu je rychlejší než v C++ nebo pod JVM či CLR.

ja o tom "railroad programmingu" uz videl par videi a je fakt, ze zrovna OCaml tam neukazovali. Ale byl to F# a snad Rust (ale to presne nevim)

Tak asi F# for Fun and Profit. Jinak to je obecne technika ktera se vaze k monadickemu retezeni, ktere se da vlastne implementovat celkem dobre i v jinejch jazycich. Jen ty funkcionalni z rodiny ML to maj vetsinou out of the box.

Jo, takhle se dá řetězit všude, akorát bez infix. operátorů to nebývá úplně čitelné :)

jj já o tom poprvé četl také tam (F# for F&F): https://fsharpforfunandprofit.com/posts/recipe-part2/

“Railroad” se tomu říká proto, aby se vyhnuli slovu na M :) Ale furt lepší než krabičky.

On to snad nazyval "Railway", coz je celkem nepodstatny, ale asi je to jeho vlastni nazev si tipnu.

Britská vs. americká angličtina, to je fuk.