我在 scalaz 中看到了 "A =>: A"或 "=>:[A, A]" 类型签名。
https://github.com/scalaz/scalaz/blob/scalaz-seven/core/src/main/scala/scalaz/Category.scala
我认为这是某种 scala 嵌入类型，但这是什么？
最佳答案
这里没有特殊的魔法。 =>: 是类型的名称，它是参数化类型。 A =>: A 与 =>:[A, A] 相同，只是前者采用中缀表示法。如果您开始使用 Scala，那么 scalaz 可能不是最好的起点。
关于scala - scala 的奇怪类型 "=>:[_, _]"，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/22265760/