Algebraischer Datentyp

Ein Datentyp, der aus der Kombination mehrerer (anderer) Datentypen entsteht.

In der Informatik, besonders in der funktionalen Programmierung und hier insbesondere in Haskell und der Typentheorie bezeichnet ein algebraischer Datentyp einen zusammengesetzten Datentypen.[1]

Produkttyp

Bearbeiten

Ein Produkttyp setzt sich in einer festen Reihenfolge aus Feldern anderer (Basis-)typen zusammen. Er entspricht in der Mengenlehre dem direkten Produkt. Die Umsetzung geschieht als Verbund (Datentyp).

Summentyp

Bearbeiten

Der Summentyp ist das Analogon der direkten Summe in der Typentheorie und wird A + B geschrieben. Der Summentyp vereinigt die Werte der Basistypen A und B so, dass für jeden Wert immer klar ist, von welchem Basistyp er stammt, selbst wenn die Werte gleich heißen.

Die Implementierung ist eine Tagged Union und ist ein Tupel des Basistyps und des Werts.

Beispiel

Bearbeiten

Das Standardbeispiel für den Summentyp ist die Baumstruktur. Jeder Knoten ist entweder ein Teilbaum oder ein Blatt des Baums.

Quotiententyp

Bearbeiten

Ein Quotiententyp stellt einen Typ dar, dessen Gleichheitsrelation durch eine gegebene Äquivalenzrelation neu definiert wurde, so dass die Elemente des Typs in eine Menge von Äquivalenzklassen unterteilt werden. Die Kardinalität ist dadurch kleiner oder gleich der des Basistyps. Quotiententypen sind das Pendant zu den Quotienten der Mengenlehre.[2]

Aufzählungstyp

Bearbeiten

Ein Aufzählungstyp ist ein Datentyp für Variablen mit einer endlichen Wertemenge.

Einzelnachweise

Bearbeiten
  1. Berthold Hoffmann: Funktionales Programmieren - Einführung. In: Vorlesungsskript. Universität Bremen, 29. Oktober 2007, abgerufen am 30. Dezember 2020.
  2. Christoph Kreitz: Automatisierte Logik und Programmierung. Universität Potsdam, S. 5, abgerufen am 31. Dezember 2020.