SML的引用类型

Question

我在SML中有两个参考：

val a = ref 5; val b = ref 6;

目前a = b的评估结果为false。有可能以某种方式分配变量b，以便a = b的计算结果为真？ 感谢

Answer 1

没有。它不是，它们是指向不同对象的指针。

从技术上讲，你可以做到

val a = ref 5;
val b = a;

那会有用。