On this page:
define-record-procedures-parametric

1.15 Parametrische Record-Typ-Definitionen

(define-record-procedures-parametric t cc c p (s1 ...))
Die define-record-procedures-parametric ist wie define-record-procedures. Zusäzlich wird der Bezeichner cc an einen Signaturkonstruktor gebunden: Dieser akzeptiert für jedes Feld eine Feld-Signatur und liefert eine Signatur, die nur Records des Record-Typs t erfüllen, bei dem die Feldinhalte die Feld-Signaturen erfüllen.

Beispiel:

  (define-record-procedures-parametric pare pare-of
    make-pare pare?
    (pare-one pare-two))

Dann ist (pare-of integer string) die Signatur für pare-Records, bei dem die Feldinhalte die Signaturen integer bzw. string erfüllen müssen.

Die Signaturen für die Feldinhalte werden erst überprüft, wenn ein Selektor aufgerufen wird.