SML使用数据类型进行加法和减法

Question

我想知道如何创建一个数据类型，它可以帮助评估包含（“ 1 + 2”）的字符串

我正在考虑制作一个数据类型

datatype opp = oper of string;
datatype numm = numb of int;
datatype calc = opp | numm;

Answer 1

我会说

datatype expr = Number of int | Add of expr * expr;

随着

 fun calc(Number(x)) = x
   | calc(Add(x, y)) = calc(x) + calc(y);

会成功的 但是，一旦开始添加更多运算符，则需要考虑关联性和运算符优先级。