1.15 Parametrische Record-Typ-Definitionen

Version: 4.2.1

Die define-record-procedures-parametric ist wie define-record-procedures mit dem Unterschied, daß t an einen parametrischen Vertrag gebunden wird: Es muß genauso viele Parameter p1 geben wie Selektoren s1; für diese Parameter werden die Verträge für die Felder substituiert.

Beispiel:

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

Dann ist (pare integer string) der Vertrag für pare-Records, bei dem die Felder die Verträge integer respektive string erfüllen müssen.

1	Die Macht der Abstraktion - Anfänger
2	Die Macht der Abstraktion
3	Die Macht der Abstraktion mit Zuweisungen
4	Die Macht der Abstraktion fortgeschritten
5	Konstruktionsanleitungen 1 bis 10
6	Bilder konstruieren: "image.ss"
7	Animationen: "world.ss"
8	Turtle-Grafik: "turtle.ss"
9	Abspielen von Audio-Dateien: "sound.ss"
10	3D-Liniengraphik: "line3d.ss"
11	DMd A: Sprachen als Libraries
	Index

1.1	Definitionen
1.2	Record-Typ-Definitionen
1.3	Prozedurapplikation
1.4	#t and #f
1.5	lambda
1.6	Bezeichner
1.7	cond
1.8	if
1.9	and
1.10	or
1.11	let, letrec und let*
1.12	begin
1.13	Verträge
1.14	Testfälle
1.15	Parametrische Record-Typ-Definitionen
1.16	Primitive Operationen