F# Async дождатся выполнения асинхронной функции?

Question

[to_east]

open System.Threading.Tasks

let bar : Async<int> =
    async {
        let! _ = Task.Delay(5000) |> Async.AwaitTask
        return 13
    }

let foo : Async<int> =
    async {
        let! _ = Task.Delay(5000) |> Async.AwaitTask
        let! result = bar |> Async.AwaitTask
        return result 
    }


[<EntryPoint>]
let main argv =
    let result = foo |> Async.RunSynchronously
    printfn $"%A{result}"
    0

Говорит что ошибка вызова Async.AwaitTask в функции foo:
No overloads match for method 'AwaitTask'.
Known type of argument: Async Available overloads:  
- static member Async.AwaitTask: task: Task -> Async // Argument 'task' doesn't match  
- static member Async.AwaitTask: task: Task<'T> -> Async<'T> // Argument 'task' doesn't match

Answer 1

[Василий Банников]

let! result = bar |> Async.AwaitTask
Убери вот тут AwaitTask. У тебя же там Async

Но вообще лучше по возможности не использовать Async - используй Task и соответствующий CE

Comments

[to_east]

А можно поподробнее, ты просто продублировал строку кода, вроде вызываю как сказано в документации

[Василий Банников]

to_east, у тебя bar - это Async-объект.
А функция AwaitTask принимает объект Task и возвращает Async

[Василий Банников]

to_east, ну и вместо let! _ =можно делать просто do!

[Василий Банников]

to_east, https://learn.microsoft.com/en-us/dotnet/fsharp/tu...
В документации же как раз сказано, что Async.AwaitTask нужен для конвертации Task -> Async

When to use:
When you are consuming a .NET API that returns a Task<TResult> within an F# asynchronous computation.

asynchronous computation - это то что в async {} завёрнуто
.NET API that returns a Task - это, например, Task.Delay.

О том же самом тебе говорит компилятор:

No overloads match for method 'AwaitTask'.
Known type of argument: Async Available overloads:
- static member Async.AwaitTask: task: Task -> Async // Argument 'task' doesn't match
- static member Async.AwaitTask: task: Task<'T> -> Async<'T> // Argument 'task' doesn't match

[to_east]

Все понял! Это было познавательно.
Благодарю за развёрнутый ответ.