Реализация шаблонов

@AktoAktov · Регистрация: 07.11.2022

Author24 — интернет-сервис помощи студентам

Надо сделать на Python что-то +- похожее на шаблоны в языке Wolfram

Есть класс my, наследован от tuple (я убрал ненужный код)

Python

class my(tuple):
 
    def __new__(cls, head, *args, _options: dict | None = None):
        self = tuple.__new__(cls, (head, *args))
 
        return self
 
    def __match__(pattern, obj):
        ...

Все выражения есть экземпляры этого класса.

Надо написать код метода __match__(pattern, obj), который, рассматривая данный объект как шаблон, говорит соответствует ли объект obj этому шаблону.
Есть объект (Blank,) который означает любое выражение.

то есть

(Some, 1, 2).__match__((Some, 1, 2)) вернет True
(Some, 1, 2).__match__((Some, (Blank,), 2)) вернет True
(Some, 1, 2).__match__((Some, 1, (Blank,))) вернет True
(Some, 1, 2).__match__((Some, 8, (Blank,))) вернет False

С этим проблем нет, проблемы появляются дальше.

Хотелось бы иметь именованные шаблоны, и чтобы __match__ возвращало не True/False, а словарь из имен шаблонов и выражений им соответствующих

Пусть такой именованный шаблон есть p = (Pattern, "имя", (Blank,)). Тогда, скажем, (Some, 1, 2).__match__((Some, p, 2)) вернет словарь {"имя": 1}

Другой пример, есть шаблон p = (Pattern, "x", (Plus, (Pattern, "a", (Blank)), 1)). Здесь x есть название шаблона, где к a прибавляется 1, на Wolfram это выглядело бы как x: a_ + 1.
Тогда (Some, 7, (Plus, t, 1)).__match__((Some, 7, p)) дало бы словарь {"x": (Plus, t, 1), "a": t}

	07.11.2022, 23:48