Scala類型舉例分析

這篇文章主要講解了“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類型舉例分析這一問題有了更深刻的體會，具體使用情況還需要大家實踐驗證。這里是億速云，小編將為大家推送更多相關知識點的文章，歡迎關注！