PATSTART gibt den Anfang des Definitionstextes an und muss vor der ersten Tabellendefinition angezeigt werden. Hier ist das erste n ein einzelnes Variablenmuster, das absolut jedem Argument entspricht und es an den Namen n bindet, der im Rest der Definition verwendet werden soll. In Haskell (im Gegensatz zu mindestens Hope) werden Muster in der Reihenfolge versucht, so dass die erste Definition immer noch im sehr spezifischen Fall der Eingabe 0 gilt, während für jedes andere Argument die Funktion n * f (n-1) mit n als Argument zurückgibt. Das einfachste Muster beim Musterabgleich ist ein expliziter Wert oder eine Variable. Betrachten Sie beispielsweise eine einfache Funktionsdefinition in der Haskell-Syntax (Funktionsparameter befinden sich nicht in Klammern, sondern sind durch Leerzeichen getrennt, = ist keine Zuweisung, sondern Definition): wobei dateiname die Textdatei ist, die die Patcodetabellendefinition enthält, und innerhalb eines aktiven Prozesses wird die Patcode-Tabelle mit dem Befehl M VIEW und dem Dienstprogramm %PATCODE erstellt. Bevor Sie das Dienstprogramm %PATCODE aufrufen, können Sie VIEW verwenden, um Musterdefinitionsdateien für GT zu laden. M. Das erforderliche Schlüsselwort und der erforderliche Wert sind: Per Definition muss ein Muster neu in jede Anwendung programmiert werden, die es verwendet. Da einige Autoren dies als einen Schritt zurück von der Software-Wiederverwendung sehen, wie sie von Komponenten bereitgestellt werden, haben Forscher daran gearbeitet, Muster in Komponenten umzuwandeln. Meyer und Arnout konnten zwei Drittel der versuchten Muster vollständig oder teilweise komponenten.

[5] Das folgende Beispiel veranschaulicht eine mögliche Patcodetabelle namens “NEWLANGUAGE”, das Beispiel enthält Definitionen für Patcodes “S”, die ein nicht standardmäßiges Musterzeichen sein würden, und “L”, das alternative Definitionen für die Standardmusterzeichen “L” (oder Kleinbuchstaben) ersetzen würde. Hier ist 0 ein einzelnes Wertmuster. Wenn f nun 0 als Argument angegeben wird, stimmt das Muster überein und die Funktion gibt 1 zurück. Bei jedem anderen Argument schlagen die Übereinstimmung und damit die Funktion fehl. Da die Syntax alternative Muster in Funktionsdefinitionen unterstützt, können wir die Definition fortsetzen, die sie erweitert, um allgemeinere Argumente zu verwenden: PATTABLE gibt den Anfang der Tabellendefinition an. Auf das Schlüsselwort PATTABLE folgt leerzeichen, dann der Tabellenname. Die Textdatei kann mehrere PATTABLEs enthalten. PATCODE gibt den Anfang einer Patcodedefinition an. Auf das Schlüsselwort PATCODE folgt ein Leerzeichen und dann das Patcode-Identifikationszeichen. Geben Sie in der nächsten Zeile eine durch Kommas getrennte Liste ganzzahliger Codes ein, die dem Patcode entsprechen. Eine PATCODE-Definition ist immer in der zuletzt genannten PATTABLE enthalten. Eine PATTABLE kann mehrere PATCODEs enthalten.

Gt. M ermöglicht die Definition von eindeutigen Mustern für die Verwendung mit dem Musterübereinstimmungsoperator anstelle oder zusätzlich zu den Standardstandards C, N, U, L und P. Sie können vorhandene Mustercodes (Patcodes) neu definieren oder neue hinzufügen.