scala簡要：高級函數和高級類型

柯里化是指將原來接受兩個參數變成接受1個參數的函數的進程。不需要用return語句來返回函數值，函數的返回值就是函數體的值。

 scala中，用方括號來定義類型參數，從調用該方法的實際參數來推斷出類型。視圖界定 T<%V要求必須存在1個從T到V的隱式轉換，Manifest對象是構造器的隱式參數，可用于上下文界定，類型變化的方向和子類型方向是相反的。

函數在參數上是逆變的，在返回值上的協變的，對象是不能泛型化的。


在內部，編譯器將所有嵌套的類型表達式a.b.c.T都翻譯成類型投影a.b.c.type#T。對應復雜類型，可用type關鍵字創建1個簡單的別名,type一樣被用于那些在子類中被具體化的抽象類型。

結構類型指的是1組關于抽象方法，字段和類型的規格說明，可用安全而方便的反射調用。

在scala中，通過特質和本身類型到達1個簡單的依賴注入效果。如果類型是在類實例化時給出，則使用泛型，如果類型是在子類中給出，則使用抽象類型。

List這樣的泛型類型有時稱為類型構造器。Container特質是scala集合類庫中使用的構建器機制的的簡化版。

生活不易，碼農辛苦
如果您覺得本網站對您的學習有所幫助,可以手機掃描二維碼進行捐贈