Scala类型举例分析

发布时间:2021-12-08 15:39:10 作者:iii
来源:亿速云 阅读:127

这篇文章主要讲解了“Scala类型举例分析”,文中的讲解内容简单清晰,易于学习与理解,下面请大家跟着小编的思路慢慢深入,一起来研究和学习“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 {„with‟ AnnotType}[Refinement]

| Refinement

AnnotType ::= SimpleType {Annotation}

SimpleType ::= SimpleType TypeArgs

| SimpleType „#‟ id

| StableId     

| Path „.‟ „type

| „(„ Types [„,‟] „)‟

TypeArgs ::= „[„ Types „]‟

Types ::= Type {„,‟ Type}

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

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

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

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

感谢各位的阅读,以上就是“Scala类型举例分析”的内容了,经过本文的学习后,相信大家对Scala类型举例分析这一问题有了更深刻的体会,具体使用情况还需要大家实践验证。这里是亿速云,小编将为大家推送更多相关知识点的文章,欢迎关注!

推荐阅读:
  1. mysql举例分析
  2. scala隐式转换优先级问题举例分析

免责声明:本站发布的内容(图片、视频和文字)以原创、转载和分享为主,文章观点不代表本网站立场,如果涉及侵权请联系站长邮箱:is@yisu.com进行举报,并提供相关证据,一经查实,将立刻删除涉嫌侵权内容。

scala

上一篇:Kafka中容易混淆的概念有哪些

下一篇:Scala重载是什么

相关阅读

您好,登录后才能下订单哦!

密码登录
登录注册
其他方式登录
点击 登录注册 即表示同意《亿速云用户服务条款》