1.3 Record-Typ-Definitionen mit Signatur-Parametern

► |  | Sprachebenen und Material zu Schreibe Dein Programm!

1 | Schreibe Dein Programm! - Anfänger
2 | Schreibe Dein Programm!
3 | Schreibe Dein Programm! - fortgeschritten
4 | Konstruktionsanleitungen
5 | sdp: Sprachen als Libraries
| Index

▼ | 1 | Schreibe Dein Programm! - Anfänger

1.1 | Definitionen
1.2 | Record-Typ-Definitionen
1.3 | Record-Typ-Definitionen mit Signatur-Parametern
1.4 | Singleton-Definitionen
1.5 | Funktionsapplikation
1.6 | #t and #f
1.7 | lambda / λ
1.8 | Bezeichner
1.9 | cond
1.10 | if
1.11 | and
1.12 | or
1.13 | Signaturen
1.14 | Testfälle
1.15 | Pattern-Matching
1.16 | Eigenschaften
1.17 | Primitive Operationen

DeinProgramm
top contents ← prev up next →

### 1.3 Record-Typ-Definitionen mit Signatur-Parametern🔗ℹ

> > syntax
> > (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.
top contents ← prev up next →