왜 계산 표현식은 마지막으로 예를 들어

Question

을 차단 SPAN하지 않습니다 계산식 "이지만 여전히 거기에 있습니다.

어떻게 해결할 수 있는지 알고 있지만 컴파일러가이 시나리오를 제한하는 이유를 알고 싶습니다.

좋아 내가이 같은 desugared 생각 몇 가지 fiddeling 후 : 내가 얻을

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

: (나는 우리가 cexprs를 쓸 수 있습니다 매우 행복 해요)

에서 :

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

에 TryFinally의 두 번째 부분은 cexpr을 지원하지 않습니다.

Answer 1

try-finallyfinally 절에 대한 계산식이있는 표현식은 이미 지원되지 않습니다 (F # 3.1 참조). 그러나 본질적으로 그러한 동작을하는 함수를 구현하는 것은 쉽습니다. 다음은 구현 예입니다.

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 
}