Scala類型舉例分析

這篇文章主要講解了“Scala類型舉例分析”，文中的講解內(nèi)容簡(jiǎn)單清晰，易于學(xué)習(xí)與理解，下面請(qǐng)大家跟著小編的思路慢慢深入，一起來研究和學(xué)習(xí)“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}

一階類型和類型構(gòu)造器(用類型的參數(shù)構(gòu)造類型)是有區(qū)別的。一階類型的一個(gè)子集是值類型，表示(一階)值的集合。值類型可以是具體的或者抽象的。

每個(gè)具體的值類型可以用一個(gè)類類型來表示，比如指向某類的類型指示器，或者表示類型交集(可能會(huì)加一個(gè)修飾來限制其成員的類型)的復(fù)合類型。類型參數(shù)和抽象類型綁定引入了抽象值類型。類型中的括號(hào)用來建組。

非值類型描述了那些不是值的標(biāo)識(shí)符的屬性。例如，一個(gè)類型構(gòu)造器并不指明值的類型。然而，當(dāng)一個(gè)類型構(gòu)造器應(yīng)用到正確的類型參數(shù)上時(shí)，就會(huì)產(chǎn)生一個(gè)可能是值類型的一階類型。

在Scala中，非值類型被間接表述。例：寫下一個(gè)方法簽名來描述一個(gè)方法類型，雖然通過它可以得到對(duì)應(yīng)的函數(shù)類型，但是它本身并不是一個(gè)真正的類型。類型構(gòu)造器是另外一個(gè)例子，比如我們可以寫type Swap[m[_,_],a,b] = m[b,a]，但是并沒有定義直接給出對(duì)應(yīng)的匿名類型函數(shù)的語法。

感謝各位的閱讀，以上就是“Scala類型舉例分析”的內(nèi)容了，經(jīng)過本文的學(xué)習(xí)后，相信大家對(duì)Scala類型舉例分析這一問題有了更深刻的體會(huì)，具體使用情況還需要大家實(shí)踐驗(yàn)證。這里是億速云，小編將為大家推送更多相關(guān)知識(shí)點(diǎn)的文章，歡迎關(guān)注！