Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:musteranwendung

Musteranwendung

engl.: pattern matching

Bedeutung

Ein Muster M mit Bezeichnern b1, …, bk passt auf einen strukturierten Wert w (engl.: a pattern matches a value w), wenn es eine Substitution der Bezeichner bj in M durch Werte vj gibt, in Zeichen M[v1/b1, …, vk/bk], so dass M[v1/b1, …,vk/bk] = w

glossar/musteranwendung.txt · Zuletzt geändert: 2017/09/26 10:20 (Externe Bearbeitung)

Seiten-Werkzeuge