1.3 Record-Typ-Definitionen mit Signatur-Parametern
| (define-record (type-constructor signature-parameter ...) | | constructor | | (selector signature) ...) |
|
| (define-record (type-constructor signature-parameter ...) | | constructor | | predicate? | | (selector signature) ...) |
|
Diese Variante von
define-record erlaubt die
Verwendung von Signatur-Parametern: Statt einer konkreten Signatur
type wie oben definiert die Form einen Signatur-Konstruktor
type-constructor, also eine Funktion, die Signaturen als
Argumente akzeptiert, entsprechend den Signatur-Parametern
signature-parameter. Diese Signatur-Parameter können in den
Signaturen
signature der Felder verwendet werden.