Vlákno názorů k článku Datové typy Option, Result a Array v programovacím jazyku F# od atarist - Takze predpokladam, ze je asi mozne zretezit vypocty...

Takze predpokladam, ze je asi mozne zretezit vypocty do "pipeline"?

Neco na zpusob:


hodnota -> f1().f2().f3().f4() -> Option


nebo


hodnota -> f5().f6().f7().f8() -> Result


aniz bych musel u mezivysledku kontrolovat "nully"?

Tedy ze ten unwrapping s wrappingem si ty funkce udelaji samy?

Žádná speciální syntax pro řetězení funkcí vracejících Option/Result v F# není. Lze použít Option.bind/Re­sult.bind

w
|> Option.bind f1
|> Option.bind f2

Alternativou jsou computational expressions Třeba z knihovny FsToolkit.Error­Handling:

option {
    let! x = w
    let! y = f1 x
    return! f2 y
}

aha, ja mel prave za to, ze tyto wrappery mi umozni napsat si rozumne pipeliny (ja vim, to slovo se zneuziva), proste "streaming" nejak bez mezikontrol. Ale kdyz o tom premyslim, tak je to asi trosku jedno, ty samotne funkce muzu napsat tak, ze berou option/result a vraci totez. jen to asi nebudou vsechny knihovni funkce.

bind zkusim najit, diky!

Je to prostě haskellovské >>= (BTW žádná funkce by neměla brát Option/Result). Série volání pomocí bind je přímo definice pipeline :)

Chce to použít bind, někdy jde (un)wrapping řešit koercema.

F# na to ma nejaky operator, no uz neviem aky (bud |> alebo |>>)

>>= ale to si můžeme nadefinovat jako symbol (jo, blbě se to pamatuje, prostě člověk ví, že je tam šipka a něco :-)

Ukážu to v článku o OCamlu.

OCaml je na to asi lepší, o tom žádná.

jak píšou předřečníci, lepší je použít Option.bind a Result.bind. Sem do článku se to už nevlezlo, ale ukážu to pozítří na OCamlu, kde je to +- stejné.

Bind je standardní pattern, to by měl znát každý. Jen se teda někdy jmenuje flatMap. Asi aby se to nepletlo.