如何最好地抓住失踪的let！、do！、return和return！在 F# 的计算表达式中

Question

我喜欢计算表达式，但我会犯一些简单的错误，例如忘记 return 关键字或 !诸如 let! 之类的表达式然后返回！，或者我只是忘记写 do！。这种情况在状态单子中经常发生，我倾向于忘记状态而只关注我定义的单子运算符。

我有时会确保我的单子运算符返回“单子类型”的类型，而不是“匿名”函数。这有助于跟踪我忘记的打字，但并不是很理想。大家有更好的技巧吗？

Answer 1

给定一个典型的 monad，如果您在关键字后缺少 !，则您的代码不应编译，因为类型无法正常工作。例如：

let sum = async {
  let x = async { return 1 }
  let y = async { return 2 }
  return x + y
}

这不会编译，因为您尝试添加两个 Async，但如果您将 let 更改为 ，它将编译让！s。

同样，要识别丢失的return，只需留意编译器警告消息和奇怪的单子类型：

let sum = async {
  let! x = async { return 1 }
  let! y = async { return 2 }
  x + y // warning FS0020
}

在这种情况下，sum是一个Async code>，当您尝试在代码中的其他地方使用它时，这应该是显而易见的。或者，您可以使用类型注释来立即捕获此问题：

let sum : Async<int> = async { // error FS0001: type mismatch
  let! x = async { return 1 }
  let! y = async { return 2 }
  x + y // warning FS0020
}