F#异步：父/子取消？

在F#中，可以使用CancellationToken来实现父/子线程的取消。下面是一个示例代码：

open System
open System.Threading
open System.Threading.Tasks

let childWork (token: CancellationToken) = async {
    printfn "Child work started"
    // 执行一些耗时的操作
    do! Async.Sleep(1000)
    if token.IsCancellationRequested then
        printfn "Child work cancelled"
    else
        printfn "Child work completed"
}

let parentWork () = async {
    use cts = new CancellationTokenSource()
    let token = cts.Token

    // 创建子线程并传入取消令牌
    let childTask = childWork token

    printfn "Parent work started"
    // 执行一些耗时的操作
    do! Async.Sleep(2000)

    // 取消子线程
    cts.Cancel()

    try
        // 等待子线程完成
        do! childTask
    with
        | :? OperationCanceledException ->
            printfn "Parent work cancelled"
        | ex ->
            printfn "Parent work failed: %s" ex.Message
}

[<EntryPoint>]
let main argv =
    Async.RunSynchronously (parentWork ())
    0

在上面的示例中，childWork是一个异步操作，它接受一个取消令牌作为参数。在子线程中，我们可以使用IsCancellationRequested属性来检查是否请求取消。如果取消请求被触发，我们可以相应地执行一些操作。

在parentWork函数中，我们创建了一个CancellationTokenSource对象cts，并使用cts.Token来获取取消令牌。然后，我们创建了一个子线程childTask，并传入取消令牌。在父线程中，我们执行一些耗时的操作，并在适当的时候调用Cancel方法来取消子线程。在try块中，我们等待子线程完成，并在需要时捕获OperationCanceledException以处理取消操作。

运行上述代码将输出如下：

Parent work started
Child work started
Parent work cancelled

这表明父线程成功地取消了子线程。