13. Сопоставление с образцом; поддержка в интерпретаторе.

Поддержка связываний в образцах с помощью синтаксического расширения. Монада состояния в синтаксическом анализаторе. Операционная семантика.