AB
Семантики без синтаксиса не бывает.
\type Parenthesis = {
\object prefix : String = “(”;
\object postfix : String = “)”;
\struct : String -> String $ expr = prefix + expr + postfix;
};
\object p : Parenthesis = “MyString”;
print p;
В итоге, на экран будет выведено (MyString).Тип
Parenthesisэто такой тип, что если переменной такого типа присваивается строковое значение, то оно автоматически обрамляется скобками.
У меня такое ощущение что я что-то переизобретаю. Чем-то напоминает перегрузку оператора
=.Прокомментируйте пожалуйста.