Warum nicht ein Berechnungsausdruck Pannenblock des schließlich

Question

Zum Beispiel:

let test() = 
    async { 
     try 
      do! someting() 
     finally 
      do! sometingElse() 
    } 

Sie können die do! in der schließlich nicht tun Sie die Nachricht von dem Compiler erhalten „Sie tun können in einem Berechnung Ausdruck "aber es ist immer noch drin richtig.

Ich weiß, wie ich das lösen kann, aber ich würde gerne verstehen, warum der Compiler dieses Szenario einschränkt.

Ok, nachdem einige fiddeling Ich denke, es so entzuckert ist: (Ich bin sehr glücklich, dass wir cexprs schreiben)

aus:

async { 
    try 
     do! someting() 
     do! sometingElse() 
    finally 
     printfn "finally" 
} 

zu:

async.TryFinally(
    async.Bind(
     someting(), (fun() -> 
      async.Bind(sometingElse(), (fun() -> 
       async.Zero())))), (fun() -> printfn "finally")) |> ignore 

ich dass der zweite Teil der TryFinally keine cexpr unterstützt.

Answer 1

Wie bereits in der Frage diskutiert, werden try-finally Ausdrücke mit einem Berechnungsausdruck für die finally-Klausel einfach nicht unterstützt (in F # 3.1). Es ist jedoch einfach, eine Funktion zu implementieren, die im Wesentlichen ein solches Verhalten aufweist. Hier eine Beispielimplementierung:

let tryFinally (body: Async<'x>) (finalize: Async<unit>) : Async<'x> = async { 
    let! result = Async.Catch body 
    do! finalize 
    return match result with 
      | Choice1Of2 value -> value 
      | Choice2Of2 exn -> raise exn 
}