Tại sao không phải là một biểu thức tính toán SPAN các khối finally

Question

Ví dụ:

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

Bạn không thể làm các do! trong cuối cùng bạn nhận được thông báo từ các trình biên dịch "bạn chỉ có thể sử dụng làm trong một biểu thức tính toán "nhưng nó vẫn ở trong đó đúng.

Tôi biết cách tôi có thể giải quyết vấn đề này nhưng tôi muốn hiểu tại sao trình biên dịch hạn chế kịch bản này.

Ok sau khi một số fiddeling Tôi nghĩ rằng nó khử đường như thế này: (Tôi rất hạnh phúc, chúng tôi có thể viết cexprs)

từ:

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

tới:

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

tôi nhận được rằng phần thứ hai của TryFinally không hỗ trợ một số cexpr.

Answer 1

Như đã thảo luận trong câu hỏi, các biểu thức try-finally với biểu thức tính toán cho mệnh đề finally đơn giản là không được hỗ trợ (trong F # 3.1). Tuy nhiên, thật dễ dàng để thực hiện một hàm có hành vi cơ bản như vậy. Dưới đây là ví dụ về triển khai:

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 
}