类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 :kind)

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