Sortendeklarationen

Zusammenfassung

Neben den bisher eingeführten Rechenstrukturen wie BOOL, NAT und SEQ gibt es noch eine große Reihe von weiteren grundlegenden Rechenstrukturen, die in der Programmierung Verwendung finden. Diese Rechenstrukturen und ihre Varianten können allgemein nicht sämtlich in einer Programmiersprache direkt vorgegeben werden. Vielmehr sehen problemorientierte Programmiersprachen Rechenstrukturschemata vor, die es erlauben, eine Vielzahl von individuellen Rechenstrukturen durch Kombination der Rechenstrukturschemata mit Hilfe von Sortendeklarationen zu erzeugen. Mit der Deklaration neuer Sorten werden gleichzeitig bestimmte Funktionen implizit mitdeklariert, die dann zur Verfügung stehen, um mit den Elementen der deklarierten Sorten entsprechend rechnen zu können.