F # entweder Monade (ROP) zu komponieren Funktion mit zwei Parametern

Question

ich die chessie Bibliothek von Hilfsfunktionen bin mit ROP zu tun (entweder Monade) https://github.com/fsprojects/Chessie/blob/master/src/Chessie/ErrorHandling.fs

aber ich bin nicht sicher, wie kurz die folgenden zusammen drei Funktionen zusammen. Wobei twoInputFunc nur ausgewertet werden sollte, wenn func1 und func2 erfolgreich sind.

val func1 : int -> Result<Tp1, 'a> 
val func2 : string -> Result<Tp2, 'a> 
val twoInputFunc : par1:Tp1 -> Tpar2:Tp2 -> Result<Ta,'a> 

Answer 1

Ich denke, das sollte funktionieren:

let f x y = trial { 
    let! a = func1 x 
    let! b = func2 y 
    return! twoInputFunc a b} 

Die Idee ist, dass Sie jedes Ergebnis zu a und b und dann binden, werden als Input für den letzten Funktionsaufruf verwendet. Wenn entweder func1 oder func2 zu einem Fehler führt, wird der Fehler kurzgeschlossen und der Fehler zurückgegeben.

Eine weitere Möglichkeit, mit applicatives ist:

let g x y = flatten (twoInputFunc <!> func1 x <*> func2 y) 

Hier gelten Sie beiden Argumente in einem Applicative Stil, aber dann werden Sie mit einem Ergebnis von Ergebnis Ende-up, so dass Sie es glätten müssen, ist dies gleichbedeutend mit dem Monad join Betrieb.

Haftungsausschluss: Ich habe nicht Chessie installiert haben, so dass ich den obigen Code nicht versucht, aber ich versuchte, mit FSharpPlus, die für alle Monaden generisch ist (nicht nur Entweder) und es funktioniert gut (monad statt trial mit und join anstelle von flatten).