什么是类型，什么是scala中的类型构造函数

Question

对于理解scala type意味着什么，我有点困惑。

在文档中，我读到List[Int]是一个类型，List是一个类型构造函数。

但是什么关键字type意味着当我写下面的内容？

val ls: scala.collection.immutable.List.type = scala.collection.immutable.List

以及如何type相关type可以被定义为例如性状的领域。

Answer 1

什么关键字类型意味着我写下以下内容

type是在Scala中的object上定义的成员。

假设您有一个类及其伴随对象：

class Foo(a: String)

object Foo {
  def apply(a: String) = new Foo(a)
}

现在假设您要编写一个接受对象Foo作为输入的方法。 它的类型是什么？

如果你这样写：

def someMethod(fooObj: Foo) = fooObj.apply("x") // doesn't compile

它不会编译。 Foo引用类的实例的类型（即由new Foo("x")或Foo("x") ）。 这就是为什么对象有一个可以引用自己类型的type成员：

def someMethod(fooObj: Foo.type) = fooObj.apply("x") // compiles!

---

在您的特定示例中， List.type是List的伴随对象的类型。 这里有几个例子，我希望能澄清它的含义：

val listObj: List.type = List
val anEmptyList: List[Int] = listObj.empty[Int] // List()
val aListOfIntegers: List[Int] = listObj.range(1, 4) // List[(1, 2, 3)

以及这种类型如何与可以定义为特征中的字段的类型相关联。

type关键字定义了一个类型成员。 .type 是一个类型成员。 从概念上讲，它就像Scala中的每个对象都有一个名为type的类型成员，如下所示：

object Foo {
  type type = Foo
}

显然这不会编译，但它会让你知道它可能是什么样子。

Answer 2

在如上所述的scala val赋值中：

val name: Tpe = expression

Tpe是标识符name的类型。 因此：

val x: List.type = List

List 对象 （也称为List模块或List伴侣 ）的类型是List.type 。 这表明它是一个单身人士。 所有这些都与类型理论中的类型构造函数的概念完全正交。

键入构造函数

在类型理论中， List （注意：不是伴侣）既是类型（表示为* ）又是类型构造函数（表示为* -> * ），因为当您向List提供类型参数（例如Int）时，您有一个类型（即List[Int] ）。 Scala为此构造提供了语法。 例如：

def foo[F[_]]: F[Int]
        ^^^^     ^^^
         |        + supply a type argument to F[_]  
         |
         + the type constructor F[_] 

但除非你对F更多了解，否则你无法真正实现这样的方法。 例如，如果存在隐式scalaz.Monad[F] ，则可以使用Monad.pure值来构造F[Int]如下所示：

def foo[F[_]: Monad]: F[Int] = Monad[F].pure(1)

在斯卡拉

Scala确实允许您将List作为类型构造函数传递给这样的方法作为类型参数。 例如：

scala> def foo[F[_]]: F[Int] = ???
foo: [F[_]]=> F[Int]

scala> lazy val x = foo[List]
x: List[Int] = <lazy>

然而， List ，你中提供foo[List]是不是伴侣

注意foo的声明将导致以下警告：

<console>:11: warning: higher-kinded type should be enabled
by making the implicit value scala.language.higherKinds visible.
This can be achieved by adding the import clause 'import 
scala.language.higherKinds'
or by setting the compiler option -language:higherKinds.
See the Scaladoc for value scala.language.higherKinds for a discussion
why the feature should be explicitly enabled.
       def foo[F[_]]: F[Int] = ???
               ^

Answer 3

在类型级编程中，您会想到List [+ A]是一个类型构造函数：

那是：

-List [+ A]采用类型参数（A），

- 本身它不是一个有效的类型，你需要以某种方式填写A - “构造类型”，

-by用String填充你得到List [String]这是一个具体的类型。

在Scala中，说某些类型为List是无效的。 Scala在这里更严格，并且不允许我们在类型的位置使用List，因为它期望一个真正的类型 - 而不是类型构造函数。

简而言之：List [+ A]是一个类型构造函数，而List [String]是一个真实类型。