有沒有蹦牀班的名字？

Question

我正在設計一種編程語言，我想添加的一個功能是trampoline function和class之間的交叉。也就是說，一個類似於generic class的文字類似於type。我被困在這些名字上，因爲我之前沒有遇到過他們的語言，有沒有什麼東西已經意味着這個概念或者什麼東西接近？使用trampoline class是一個選項，但如果有更準確的描述或者已經在使用另一種語言，我寧願隨它一起去減少文檔中所需的術語數量。

僞代碼如下說明這一原則的情況下，它不是從上面明確：

class Point<const int n> { 
    private float[n] _value; 
    Point() { 
     for (int i = 0; i < n; i++) { 
      this._value[i] = 0f; 
     } 
    } 
    Point(Point<o> other) { 
     for (int i = 0; i < min(n, o); i++) { 
      this._value[i] = 0f; 
     } 
    } 
    public static float operator [index] (optional float value = null) { 
     if (value != null) { this._value[index] = value; } 
     return (this._value[index]); 
    } 
    public static Point<max(o, p)> operator + (Point<const int o> p1, Point<const int p> p2) { 
     Point<min(o, p)> small = (p1.n < p2.n ? p1 : p2); 
     Point<min(o, p)> large = (p1.n < p2.n ? p2 : p1); 
     Point<max(o, p)> ret = new Point<max(o, p)>(large); 
     for (int i = 0; i < min(o, p); i++) { ret[i] += small[i] } 
     return (ret); 
    } 
} 

Answer 1

你正在尋找的期限爲dependent types。這意味着一個類型不僅可以有類型參數（比如泛型），而且類型也可以用任意值（依賴類型參數）進行參數化。例如，您可以定義一個函數的簽名，其編號爲n，並返回一個長度爲n的數組。

不幸的是，依賴類型檢查通常是不可判定的。這是因爲您必須計算相關類型參數的可能值的範圍，同時執行類型檢查。要實際鍵入檢查程序，必須檢查兩段代碼是否產生相同的可能值範圍。這被稱爲擴展函數平等，這是已知的一般不可判定的部分。

現在，如果僅將編譯時常量用作相關類型參數，則依賴類型檢查可能變爲可判定。但是，我不確定這一點。

---

在評論下面，我們想通了，這似乎是依賴型參數的部分實際上應該不能用於類型檢查。相反，它可以被看作是一個隱含的參數。它類似於Scala編程語言中的隱式參數傳遞。