SML:如何在没有额外参数的情况下模拟SML中的计数器

Question

我在SML中有一个递归函数，它做一些对我的问题并不重要的计算。我想做的是跟踪递归发生的次数，就像在中一样，我想计算算法的迭代次数。我知道例如我是否声明：

val counter = 0;
val counter = counter + 1;

另一个计数器是不同的变量。它不是同一个加一的。因此，这种类型的递增将在一个递归调用中失去作用域。

有什么办法可以让我跟踪吗？

Answer 1

您可以使用int ref作为可变单元格：

val counter : int ref = ref 0
-- Some dummy recursive function for testing
fun factorial n =
  if n < 1
  then 1
  else (counter := !counter + 1; n * factorial (n - 1))

你可以这样使用它：

- !counter;
val it = 0 : int
- factorial 10;
val it = 3628800 : int
- !counter;
val it = 10 : int
- factorial 5;
val it = 120 : int
- !counter;
val it = 15 : int