Sml 符号是什么！我的意思是？

符号是什么意思在SML中是什么意思

fun polysort(_,[]) = []
| polysort(_,[x]) = [x]!
| polysort(less,xs) =
 let
  val (ys, zs) = split xs
   in
   merge(less,polysort(less,ys), polysort(less, zs))
 end;

---

那会反过来吗？我认为这与ref有关，但我也不明白。

通常，

是一个函数

'a ref->'a

，它是。即：

---

然而，在这种情况下，它看起来只是一个打字错误。

前缀

运算符似乎是差异运算符（从

ref

中获取值），但我不知道后缀

。（仅通过谷歌快速搜索）
val x  = ref 1;  (* create reference cell *)
val () = x := 2; (* update value in x *)
val y = ! x;      (* extract value from x *)