sml - SML - 再帰的データ型 VS ポリモーフィック データ型

Question

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)));

インタプリタは次のように表示します。

val my_exp_2 = Pair (Const 1.2,Pair (Const #,Const #)) : exp

# 記号がそこに表示されるのはなぜですか?

ありがとう！