區分記錄型別

在區分記錄型別的情況下,一些元件被稱為判別式,其餘元件可以依賴於這些。判別式可以被認為是引數化型別,語法揭示了這種類比。在這個例子中,我們建立了一個型別,它提供了一個帶有正引數的方陣:

type Square(X: Positive) is
    record
        S: Matrix(1 .. X, 1 .. X);
    end record;

然後建立一個 3 乘 3 的正方形,只需呼叫型別為 Square 的廣場:

Sq: Square(3);