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,你只是谈论功能,而不是结果.