异步代码块中'return'的疑问：直接返回值为何无法编译？

在F#的async计算表达式中，语法规则和普通代码块存在差异，核心问题在于分支返回类型不匹配：

• 当使用return 1时，return是async工作流的专用关键字，它会把普通的int值包装为Async<int>类型。另一个分支的return! async { return 1 }通过return!解包了内部的Async<int>，最终返回的也是Async<int>。两个分支类型一致，类型推断能正常完成，因此变量x被推断为Async<int>。

• 若直接返回1，这个分支的返回类型是int，而另一个分支返回的是Async<int>。F#要求match的所有分支必须返回相同类型，这里类型完全不兼容；同时async工作流内部不允许直接返回原始类型，必须通过return等关键字将值提升到Async上下文，因此无法通过编译。

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