SML/NJ中的模式匹配空Fifo.fifo

Question

当我试图写这样的东西

fun test Fifo.empty = true
  | test _ = false`

我收到一条错误消息，上面写着Error: variable found where constructor is required: Fifo.empty。我对SML/NJ真的很陌生。原来这与Fifo.empty是一个longId有关，但我还没有想出如何解决这个问题，只是通过将Fifo.isEmpty作为一个参数进行修补，但这不是一个解决方案.

Answer 1

当你检查Fifo模块时，

- open Fifo;
[autoloading]
[library $SMLNJ-LIB/Util/smlnj-lib.cm is stable]
[autoloading done]
opening Fifo
  datatype 'a fifo = ...
  exception Dequeue
  val empty : 'a fifo
  (* and so on *)

你可以看到Fifo.empty是一个fifo值。

- Fifo.empty;
val it = Q {front=[],rear=[]} : 'a fifo

不幸的是，‘fifo’的Q数据类型构造函数隐藏在不透明模块中(因此datatype定义为"...“)。当定义数据类型时，它的构造函数(例如Q)同时成为值构造函数和模式构造函数，但是当使用这种值构造函数声明像Fifo.empty这样的值时，它们也不会成为模式构造函数。

我还没有想出如何解决这个问题，除非通过传递Fifo.isEmpty作为一个参数来修补它，但这不是一个解决方案。

我不知道为什么需要将Fifo.isEmpty作为参数传递；难道不能在函数体中引用Fifo.isEmpty吗？也许这个问题有你没有解释的维度。

以下几点如何？

fun test queue = Fifo.isEmpty queue

或者简单地说：

val test = Fifo.isEmpty

通常，如果您想将一组库函数作为参数传递，则可以考虑构建一个以另一个模块作为参数的高阶模块(函子)。