Prozedurtypen

Bisher haben wir Prozeduren ausschließlich als Teile von Programmen betrachtet, d.h. als Texte zur Beschreibung von Aktionen auf Variable, deren Werte Zahlen, logische Werte, Zeichen, etc. sind. Wir können jedoch auch den Standpunkt einnehmen, daß Prozeduren selbst Objekte sind, die man Variablen zuweisen kann. In diesem Licht erscheint eine ProzedurDeklaration als ein Spezialfall der Konstanten-Deklaration, wobei der Wert der Konstanten die Prozedur ist. Lassen wir zusätzlich zu Konstanten auch Variable zu, dann muß man auch Typen deklarieren können, deren Werte Prozeduren sind. Diese Typen nennt man Prozedurtypen.