Sum baumuster 829

Sum baumuster 829

Für die Zwecke des Listenbeispiels unterscheiden sich diese beiden Formulierungen nicht wesentlich; aber die zweite Form ermöglicht das Ausdrücken sogenannter verschachtelter Datentypen, d. h. solche, bei denen sich der rekursive Typ parametrisch vom Original unterscheidet. (Weitere Informationen zu verschachtelten Datentypen finden Sie in den Werken von Richard Bird, Lambert Meertens und Ross Paterson.) In der Computerprogrammierung, insbesondere bei der funktionalen Programmierung und der Typtheorie, ist ein algebraischer Datentyp eine Art zusammengesetzter Typ, d.h. ein Typ, der durch die Kombination anderer Typen gebildet wird. In der Typtheorie wird eine markierte Union als Summentyp bezeichnet. Summentypen sind die beiden Produkttypen. Notationen variieren, aber in der Regel kommt die Summe Typ A + B «Displaystyle A+B» mit zwei Einführungsformen (Injektionen) inj 1 : A – A + B , Displaystyle , Text, Text, Text, Inj, {1}, A+B und inj 2 : B , A + B , Displaystyle, «Text {2}» Das Eliminationsformular ist die Fallanalyse, die in den Programmiersprachen im ML-Stil als Musterabgleich bezeichnet wird: Wenn e -displaystyle e, A + B,-Displaystyle A+B, und e 1 «Displaystyle»-e_{1}» und e 2 «Displaystyle»-e_{2}, den Typ «Displaystyle» haben, haben sie unter den Annahmen x : A ,displaystyle x`colon A» bzw. y: B `displaystyle y`colon B` den Typ «Displaystyle» bzw.

«»»»»»»»»»» dann hat der Begriff c a s e e o x x » e 1 ∣ y » e 2″ «Anzeigestil» «mathsf» «case» » e_{2} e_{1} » » » » » » » . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . .

. . . . . . . .

. . . . . . . . . . .

. . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . .

. . . . . . . . .

. . . Der Summentyp entspricht einer intuitionistischen logischen Disjunktion unter der Curry-Howard-Korrespondenz. Das Fehlerbehandlungsmodell von Rust basiert weitgehend auf diesen markierten Unions, insbesondere dem Typ Option der entweder None oder Some(T) ist, und dem Typ Result-T, E>, der entweder Ok(T) oder Err(E) ist.[ 5] In den meisten Sprachen, die algebraische Datentypen unterstützen, ist es möglich, parametrische Typen zu definieren. Beispiele finden Sie weiter unten in diesem Artikel. In der Mengentheorie ist das Äquivalent eines Summentyps eine unzusammenhängende Union, ein Satz, dessen Elemente Paare sind, die aus einem Tag (entspricht einem Konstruktor) und einem Objekt eines Typs bestehen, der dem Tag entspricht (entspricht den Konstruktorargumenten). Um etwas mit einem Wert dieses algebraischen Datentyps Tree zu tun, wird es mithilfe eines Prozesses dekonstruiert, der als Musterabgleich bezeichnet wird. Es geht darum, die Daten mit einer Reihe von Mustern zu übergleichen. Die Beispielfunktion «tiefe» über mustergleicht ihr Argument mit drei Mustern. Wenn die Funktion aufgerufen wird, findet sie das erste Muster, das mit ihrem Argument übereinstimmt, führt alle Variablenbindungen aus, die im Muster gefunden werden, und wertet den Ausdruck aus, der dem Muster entspricht.

No Comments

Sorry, the comment form is closed at this time.