依賴函數類型（dependent function type）

最近，Dotty 中又增加了對於依賴函數類型的支持。

當存在

class C {n type Tn}n

這樣的一個類時，我們可以有這樣的一個依賴函數類型：

(x: C) => x.Tn

這個類型會被表示為

Function1[C, C#T] { def apply(x: C): x.T }n

現在一個依賴函數類型不能同時為隱式函數類型。

鏈接：

Add dependent function types by odersky · Pull Request #3464 · lampepfl/dotty

推薦閱讀：