语法:

Type ::= InfixType ExistentialClauses

ExistentialClauses ::= „forSome‟ „{‟ ExistentialDcl

{semi ExistentialDcl} „}‟

ExistentialDcl ::= „type‟ TypeDcl

| „val‟ ValDcl

既存类型具有 T forSome {Q}的形式,Q是一个类型声明的序列(§4.3)。设t1[tps1]>n<:Un是Q中声明的类型(不论什么类型參数部分[tpsi]都能够没有)。

每一个类型ti的域都包括类型T和既存子句Q。类型变量ti就称为在类型T forSome {Q}中被绑定。

在T中可是没被绑定的类型变量就被称为在T中是自由的。

T forSome {Q}的类的实例就是类σT,σ是t1,...,tn上的迭代,对于每个i。都有σLi<:σti<:σUi。既存类型T forSome{Q}的值的集合就是全部其类型实例值的集

类型合的合集。

T forSome {Q}的斯科伦化是一个类实例σT。σ是[t‟1/t1,..., t‟n/tn上的迭代,每一个t‟i是介于σLi和σUi间的新的抽象类型。

简化规则

既存类型遵循下面四个等效原则:

1. 既存类型中的多个for子句能够合并。例 T forSome {Q} forSome{Q‟}等价于T forSome {Q;Q‟}

2. 未使用的限定能够去掉。例:T forSome {Q;Q‟},可是Q‟中定义的类型没有被T或Q引用。那么该表达式可等价为 T forSome {Q}

3. 空的限定能够丢弃。例:T forSome{}等价于T。

4. 一个既存类型 T forSome {Q},Q中包括一个子句type t[tps] >: L <: U等价于类型 T‟ forSome {Q},T‟是将T中全部t的协变量替换为U而且将T中全部的t的逆变量替换为L的结果。

在值上的既存量化

为了语法上的方便。在既存类型上的绑定子句能够包含值声明 val x: T。既存类型T forSome { Q; val x: S; Q‟} 是T‟ forSome { Q; type t <: S with Singleton; Q‟}的简写形式,此处t是一个新的类型名,T‟是将T中全部x.type用t取代的结果。

既存类型的占位符语法

语法:

WildcardType ::= „_‟ TypeBounds

Scala支持既存类型的占位符语法。通配符类型的形式为 _><:U。两个边界均可忽略。

假设下界>被忽略则用>:scala.Nothing。

假设上界<:U被忽略则用<:scala.Any。通配符类型是既存限定类型变量的简写,既存的限定条件是内涵的。

通配符类型仅仅能作为參数化类型的类型參量出现。设T=p.c[targs,T,tags‟]是一个參数化类型,targs,targs‟能够为空。T是一个通配符类型_><:U。

那么T等价于下面既存类型:

p.c[tags,t,tags‟] forSome { type t ><:U}

t是一个新的类型变量。

通配符类型能够作为中缀类型(§3.2.8),函数类型(§3.2.9)或元组类型(§3.2.5)的一部分出现。

它们的扩展也就是等价參数化类型的扩展

演示样例3.2.5 假定下面类定义:

class Ref[T]

abstract class Outer { type T }

下面是一些既存类型的样例:

Ref[T] forSome { type T <: java.lang.Number }

Ref[x.T] forSome { val x: Outer }

Ref[x_type # T] forSome { type x_type <: Outer with Singleton }

非值类型

列表中的后两个类型是等价的。使用通配符语法的还有一种形式是:

Ref[_ <: java.lang.Number]

Ref[(_ <: Outer with Singleton)# T]

演示样例3.2.6 类型List[List[_]]等价于既存类型:

List[List[t] forSome { type t }]

演示样例3.2.7 假定有协变类型:

class List[+T]

类型:

List[T] forSome { type T <: java.lang.Number }

应用上面的第四条简化规则。上式等价于:

List[java.lang.Number] forSome { type T <: java.lang.Number }

假设再应用上面的第二和第三条简化规则。上式可化为:

List[java.lang.Number]

很多其它精彩内容请关注:http://bbs.superwu.cn

关注超人学院微信二维码:.

关注超人学院java免费学习交流群:

Scala函数---既存类型的更多相关文章

  1. 泛函编程(4)-深入Scala函数类

    既然是泛函编程,多了解一下函数自然是免不了的了: 方法(Method)不等于函数(Function) 方法不是函数但可以转化成函数:可以手工转换或者由编译器(compiler)在适当的情况下自动转换. ...

  2. Scala 函数(五)

    函数是一组一起执行一个任务的语句. 您可以把代码划分到不同的函数中.如何划分代码到不同的函数中是由您来决定的,但在逻辑上,划分通常是根据每个函数执行一个特定的任务来进行的. Scala 有函数和方法, ...

  3. Scala:函数和闭包

    http://blog.csdn.net/pipisorry/article/details/52902271 Scala函数 Scala 有函数和方法,二者在语义上的区别很小.Scala 方法是类的 ...

  4. Scala函数与函数式编程

    函数是scala的重要组成部分, 本文将探讨scala中函数的应用. scala作为支持函数式编程的语言, scala可以将函数作为对象即所谓"函数是一等公民". 函数定义 sca ...

  5. Scala进阶之路-Scala函数篇详解

    Scala进阶之路-Scala函数篇详解 作者:尹正杰 版权声明:原创作品,谢绝转载!否则将追究法律责任. 一.传值调用和传名调用 /* @author :yinzhengjie Blog:http: ...

  6. Spark记录-Scala函数

    Scala函数 Scala有函数和方法. Scala方法是一个具有名称和签名的类的一部分. Scala中的函数是一个可以分配给变量的完整对象. 函数定义可以出现在源文件中的任何位置. 不带参数的函数 ...

  7. Spark记录-Scala函数与闭包

    函数声明 Scala函数声明具有以下形式 - def functionName ([list of parameters]) : [return type] Scala 如果不使用等号和方法体,则隐式 ...

  8. GPU编程自学6 —— 函数与变量类型限定符

    深度学习的兴起,使得多线程以及GPU编程逐渐成为算法工程师无法规避的问题.这里主要记录自己的GPU自学历程. 目录 <GPU编程自学1 -- 引言> <GPU编程自学2 -- CUD ...

  9. 3、scala函数入门

    1.定义函数 2.在代码块中定义函数体 3.递归函数与返回类型 4.默认参数 5.带名参数 6.变长参数 7.使用序列调用变长参数  8.过程 9.lazy值              10.异常 1 ...

随机推荐

  1. MVC定义路由

    标准路由配置 routes.IgnoreRoute("{resource}.axd/{*pathInfo}"); routes.MapRoute( name: "Defa ...

  2. 6)图[2]Prim算法[最小生成树]

    Prim 算法 求解方法: 首先将所指定的起点作为已选顶点,然后反复在满足如下条件下的边中选择一条最小边,直到 所有顶点已成为已选顶点为止(选择n-1条边). #include "iostr ...

  3. 解决 winedit 打开tex文件 reading error

    从网上下载的论文模板,发现直接双击打开.tex文件(默认关联用winedit打开)时会出现reading error,然后看不到任何文字(网上有人讨论打开是乱码的问题,但是我的是完全看不到任何东西), ...

  4. The Use of Aliases in ElasticSearch

    http://paulsabou.com/blog/2012/04/15/the-use-of-aliases-in-elasticsearch/ https://github.com/taskrab ...

  5. rsyslog 基本组成

    Facility 定义日志消息的来源,以方便对日志进行分类,facility 有以下几种: --kern 内核消息 --user 用户级消息 --mail 邮件系统消息 --daemon 系统服务消息 ...

  6. Codeforces 703D Mishka and Interesting sum(树状数组+扫描线)

    [题目链接] http://codeforces.com/contest/703/problem/D [题目大意] 给出一个数列以及m个询问,每个询问要求求出[L,R]区间内出现次数为偶数的数的异或和 ...

  7. [spring+springmvc+mybatis实践]学生社团管理系统

    一.简介 ssm框架为现在十分流行的mvc主流框架.mybatis负责与数据库交互,springmvc与spring完美适配,负责控制器和视图渲染.之前有初步学习过ssm框架,这次借学校里的web课设 ...

  8. ubuntu12.04下 安装虚拟主机

    Ubuntu Linux 方法一 一.修改/etc/apache2/sites-available/ 1. 打开目录 /etc/apache2/sites-available/, 发现 default ...

  9. HDU1695-GCD(数论-欧拉函数-容斥)

    GCD Time Limit: 6000/3000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total Submis ...

  10. java之Set源代码浅析

    Set的接口和实现类是最简单的,说它简单原因是由于它的实现都是基于实际的map实现的. 如 hashSet 基于hashMap,TreeSet 基于TreeMap,CopyOnWriteArraySe ...