debugging - OCaml 跟踪 : what is the star?

Question

当在 OCaml 中使用 #trace 跟踪函数时，输出可能包括如下内容:

subRec --> <fun>
subRec* <-- "_1"
subRec* --> <fun>
subRec** <-- Var "_1"

星星/标志是什么意思？

Answer 1

这用于标记部分应用到柯里化(Currying)的结果功能。 let f x y = ... 相当于 let f x = fun y -> ...:应用 x 参数会返回一个新函数，该函数依次接受要计算的 y 参数。第一个函数将被跟踪为 f，第二个(例如，由 f 1 返回)标记为 f*。

# let f x y = x + y;;
# #trace f;;
# f 1 2;;
f <-- 1
f --> <fun>
f* <-- 2
f* --> 3
- : int = 3
# let g = f 1;;
f <-- 1
f --> <fun>
val g : int -> int = <fun>
# g 2;;
f* <-- 2
f* --> 3
- : int = 3