码迷,mamicode.com
首页 > 其他好文 > 详细

Scala类型详解

时间:2015-04-02 11:51:30      阅读:239      评论:0      收藏:0      [点我收藏+]

标签:scala

语法:

Type ::= InfixType => Type

| ([=> Type] ) => Type

| InfixType [ExistentialClause]

ExistentialClause ::= forSome {ExistentialDc

{ semi ExistentialDcl} }

ExistentialDcl ::= type TypeDcl

| val ValDcl

InfixType ::= CompoundType {id [nl] CompoundType}

CompoundType ::= AnnotType {withAnnotType}[Refinement]

| Refinement

AnnotType ::= SimpleType {Annotation}

SimpleType ::= SimpleType TypeArgs

| SimpleType # id

| StableId     

| Path . type

| ( Types [,] )

TypeArgs ::= [ Types ]

Types ::= Type {, Type}

一阶类型和类型构造器(用类型的参数构造类型)是有区别的。一阶类型的一个子集是值类型,表示(一阶)值的集合。值类型可以是具体的或者抽象的。

每个具体的值类型可以用一个类类型来表示,比如指向某类的类型指示器,或者表示类型交集(可能会加一个修饰来限制其成员的类型)的复合类型。类型参数和抽象类型绑定引入了抽象值类型。类型中的括号用来建组。

非值类型描述了那些不是值的标识符的属性。例如,一个类型构造器并不指明值的类型。然而,当一个类型构造器应用到正确的类型参数上时,就会产生一个可能是值类型的一阶类型。

Scala中,非值类型被间接表述。例:写下一个方法签名来描述一个方法类型,虽然通过它可以得到对应的函数类型,但是它本身并不是一个真正的类型。类型构造器是另外一个例子,比如我们可以写typeSwap[m[_,_],a,b] = m[b,a],但是并没有定义直接给出对应的匿名类型函数的语法。 


Scala类型详解

标签:scala

原文地址:http://crxy2013.blog.51cto.com/9922445/1627572

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!