scala - Kind 类型的 SBT 输出

Question

关于类型论，数学和计算机科学领域都倾向于使用相同的表示法来表示种类和种类构造，即符号:

1. *
2. ->

Haskell 甚至采用了这种表示法:

Prelude> :k Maybe
Maybe :: * -> *

但是在 sbt 中，我们得到:

scala> :k Option
scala.Option's kind is F[+A]

Haskell 方法更容易理解，因为它直接符合类型理论的文献。为什么 SBT 不使用 * 和 -> 符号？我能看到通过 sbt 方式传递的唯一额外信息是类型差异。

Answer 1

尝试详细标志 (-v)

scala> :k -v Option
scala.Option's kind is F[+A]
* -(+)-> *
This is a type constructor: a 1st-order-kinded type.

更多信息:

http://docs.scala-lang.org/scala/2.11/ (Ctrl+F :种类)

https://github.com/scala/scala/pull/2340