Kotlin 为什么呢！运算符是否与Arrow Monad中的.bind（）相同？

在Arrow monad压缩中，我们可以

bind（）

的方法之一是“大叫”（第三个示例）：

---

自从Kotlin的

运算符用于否定布尔值，您能在Arrow中解释它是如何以及为什么以这种方式工作的吗？

我在Kotlin的文档中找到了关于运算符重载的答案：

BindSyntax

覆盖not运算符：

interface BindSyntax<F> {

  suspend fun <A> Kind<F, A>.bind(): A

  suspend operator fun <A> Kind<F, A>.not(): A =
    bind()
}

接口绑定语法{
挂起fun Kind.bind（）：A
挂起运算符fun Kind.not（）：A=
绑定（）
}

interface BindSyntax<F> {

  suspend fun <A> Kind<F, A>.bind(): A

  suspend operator fun <A> Kind<F, A>.not(): A =
    bind()
}