F#忽略异步操作返回值时为何不能用do!替代let! _ =？

问题原因 #

F# 异步工作流中 do! 语法要求其后跟随的表达式必须为 Async<unit> 类型，代表等待一个无返回值的异步操作执行完成。
你使用的 Sql.executeNonQueryAsync 函数返回值类型为 Async<int>，其中的 int 是 SQL 语句执行后影响的行数，和 do! 要求的类型不匹配，因此触发编译报错：

此表达式应具有类型'int'，但此处实际类型为'unit'

你直接在代码末尾加 |> ignore 无法解决问题，是因为这个操作会直接把 Async<int> 类型本身转换成 unit，而你实际需要的是保留外层 Async 结构，只把异步操作内部的返回值 int 转换为 unit。

解决方法 #

有两种符合F#编码规范的实现方式：

方式1：保留原有 let! _ = 写法（最简洁推荐） #

你最初的写法本身就是F#中「等待异步操作完成并忽略其返回值」的标准惯用写法，完全合法且可读性足够，不需要额外修改。

方式2：转换类型后使用 do! #

如果你偏好使用 do! 的语法，可以通过 Async.map 把返回值映射为 unit，将 Async<int> 转换为 do! 要求的 Async<unit> 类型即可：

do! 
    connection
    |> Sql.existingConnection
    |> Sql.query $"LISTEN \"{accountId}.{notificationName}\""
    |> Sql.executeNonQueryAsync
    |> Async.map ignore

内容的提问来源于stack exchange，提问作者Thomas