Algebraische Datentypen ( ADT ) sind eine Art Form von Identifikatoren in C + + und andere Programmiersprachen verwendet . Es ist eine unmittelbare und praktische Art und Weise zu programmieren , so dass Programmierer können schnell effiziente und nützliche Software . Es gibt fünf große algebraische Datentypen. Unit Type
Gerätetyp ist ein ADT , die genau ein Wert möglich ist . Der ADT hat nur den Wert 1, und es ist eine primitive Art Einheit . Das Symbol dieser ADT ist auch die Zahl 1 .
Produkt Bedienung
Ein Produkt Betrieb vermittelt die Idee des Produkts von einem Datentyp "A" und ein Element der Datentyp " B ", so dass der Satz von Daten ein Element eines jeden. Das Symbol für ein Produkt Betrieb ist ein Kreis mit einem "X" in der Mitte, wie ein Multiplikationszeichen aussieht.
Sum Operationen
Das Symbol für Summe Operationen erscheint als Kreis mit einem Pluszeichen in der Mitte. Ähnlich Produkt Operationen , stellt sie die Summe von zwei Datentypen "A" und "B" mit jeden Datentyp in den neuen Datensatz vertreten
Typ Funktionen: . = Und :: =
Typ Funktionen sind die vierte und fünfte Art von algebraischen Datentypen. Sie ermöglichen es einem Benutzer, wiederverwendbarer Typen zu erstellen. Ein Typ Funktion mit dem Symbol " :: = " bedeutet, dass die Lösung , dass sie gleich zueinander ist und es keine anderen Möglichkeiten . Allerdings , das Symbol ": =" . Bedeutet, dass die Lösung gleich ist, aber nicht die einzige Möglichkeit
