Angenommen, ich wollte einen Plattentyp erstellen, die akzeptabel min/max Grenzen repräsentiert: type Bounds = { Min: float; Max: float }
Gibt es eine Möglichkeit, dass Min < Max zu erzwingen? Es is
Bei der Implementierung eines Verfeinerungssystems muss ich sicherstellen, dass die Typen wohlgeformt sind. Zum Beispiel sollte ein Typ wie Num[100,0] nicht passieren, wobei Num[lb,ub] die Art der Zah