트램펄린 클래스의 이름이 있습니까?

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 인 배열의 결과를 반환하는 함수의 시그니처를 정의 할 수 있습니다.

슬프게도 의존형 검사는 일반적으로 결정할 수 없습니다. 유형 검사 자체가 실행되는 동안 종속 유형 매개 변수 의 가능한 값 범위를 계산해야하므로입니다. 실제로 프로그램을 타이핑하기 위해서는 코드의 두 부분이 같은 범위의 가능한 값을 만들어 내는지 확인해야합니다. 이것은 신장 함수 평등으로 알려져 있으며 일반적으로 결정 불가능한 것으로 알려진 부분입니다.

이제 컴파일 타임 상수 만 종속 형식 매개 변수로 사용되는 경우 종속 형식 검사가 결정될 수 있습니다. 그러나 나는 그것에 대해 확신하지 못한다.

---

아래의 설명에서 종속 유형 매개 변수 인 것으로 보이는 부분은 유형 검사에 실제로 사용되지 않아야한다는 것을 알았습니다. 대신 암시 적 매개 변수로 볼 수 있습니다. 이것은 스칼라 프로그래밍 언어로 전달되는 암시 적 매개 변수와 유사합니다.