OCaml 元组堆栈

Question

我正在尝试使用以下代码在 OCaml 中创建一组元组

let (k : (string*string) Stack.t) = Stack.create ;;

但是这样做时我在编译时遇到错误

Error: This expression has type unit -> 'a Stack.t
   but an expression was expected of type (string * string) Stack.t

我对 OCaml 很陌生。有人能指出我哪里出错了吗？

Answer 1

Stack.create 是一个函数，它接受值 ()（类型为 unit）并返回一个堆栈。

所以你应该这样做：

let (k : (string*string) Stack.t) = Stack.create ();;

如果你写Stack.create，你只说功能，而不是结果。