В языке будут конструкции "То, что ведёт себя как...", то есть трейты или тайпклассы. Они похожи на интерфейсы, но существуют отличия. Для того, чтобы реализовать интерфейсы, нужно реализовать методы, а в случае с трейтами/тайпклассами нужно реализовывать функции. Вот так, например, для трейта Num нужно будет реализовать операции сложения, деления, умножения, вычитания, разности и так далее.
Я подумал, что по идее, можно заставить вести себя как числа не только числа, но и алгебраические переменные(Грубо говоря, буквы). Например, для такой "Буквы" оператор умножения будет реализован так:
a * b = Div a b
А сумма
a + b = Sum a b
Чуете, математики? Это значит, что можно будет передать в чистую функцию, которая принимает числа, эти "буквы" и получить выражение, которая она содержит
Например, есть функция
f x = x^3 + 7 * x^2 + 2 * x + 7
По алгоритму Хиндли-Милнера, тип функции выведется, как
#Num -> #Num
(сокращённая запись
a -> a where a :> Num
)
Есть тип MExpr (Mathematical Expression), его определение такое:…