f# - $ 运算符做什么？

Question

在网上阅读 F# 代码时，不时会弹出美元运算符，例如此处:Library patterns Multiple levels of abstraction

然而，Symbol and Operator Reference只是说“没有更多信息可用”。

运算符(operator)实际上是做什么的，有人知道在哪里可以找到有关它的任何实际文档吗？

Answer 1

该语言中没有标准的 $ 运算符。

您当然可以定义它。您链接的示例使用此定义:

let ($) (DF a) (DF b) = DF (fun ctx -> 
  a(ctx)
  b(ctx) )

其中 DF 是通过以下方式定义的:

type Drawing3D = DF of (Drawing3DContext -> unit)

---

此外，在更复杂的运算符名称中使用 $ 符号也有特殊限制，例如:

let (<$>) f x = List.map f x

会导致编译错误。

error FS0035: This construct is deprecated: '$' is not permitted as a character in operator names and is reserved for future use