如果你所说的“异步工作流”是指定义了async块行为的AsyncBuilder类型,那么你可以在源码包的control.fs文件中,在source\fsharp\FSharp.Core文件夹中找到其定义。计算表达式转换为对构建器实例上方法调用的翻译可以在F#规范中找到。
除了kvb的建议外,还可以在线阅读Don的“Expert F#”章节: http://download.microsoft.com/download/b/b/6/bb666ebe-e643-496f-b290-03527d157b47/Expert.F.Sharp_Ch13_8504Syme.pdf 其中包括一个简短但有信息量的“Under the Hood”部分。