dsl_with_finn.py

from __future__ import annotations

from functools import reduce
from typing import Union, SupportsFloat

class Operator:
    def __str__(self):
        return ""

class NoOP(Operator):
    def __str__(self):
        return ""

class Plus(Operator):
    def __str__(self):
        return "+"
class Times(Operator):
    def __str__(self):
        return "*"


class Formula:

    def __init__(self):
        self.op = NoOP
    def __init__(self, left: Formula, right: Formula, op: Operator = NoOP):
        self.left, self.right= left, right
        self.op = op

    def __str__(self):
        return "" if(self.op == NoOP()) else str(self.left) + ("+" if self.op is Plus else "*") + str(self.right)


class Const(Formula):
    def __init__(self, i):
        self.i = i

    def __str__(self):
        return f'{self.i}'


# print()
print(eval(str(Formula(left=Const("a"),right=Formula(left=Const(2), right=Const(2), op=Times),op=Times))))