小编use*_*048的帖子

SML - 递归数据类型VS多态数据类型

  1. 有人可以解释它们之间的区别吗?

  2. 此外,在尝试时:

datatype exp = Const of real | Pair of exp * exp;

val my_exp_2 = Pair(Const(1.2),Pair(Const(9.0),Const(2.0)));
Run Code Online (Sandbox Code Playgroud)

口译员给出:

val my_exp_2 = Pair (Const 1.2,Pair (Const #,Const #)) : exp
Run Code Online (Sandbox Code Playgroud)

为什么#符号出现在那里?

谢谢!

sml

2
推荐指数
1
解决办法
1147
查看次数

标签 统计

sml ×1