调用 OCaml 函数，例如："hash_entry列表数组 -> 字符串 -> 'a -> 单元

Question

我正在读一本关于OCaml的书，我对OCaml是新手，所以我正在做练习和示例，尽管不是所有的东西都能编译。在这种情况下，我今晚的项目是一个哈希表的例子，它可以编译，非常有趣，但我无法使它工作。

let random_numbers =
[|0x316666;   0x2d331c;   0x4de673;   0x63a91e;   0x87bee8|]
let random_length = Array.length random_numbers
type hash_info = { mutable hash_index : int; mutable hash_value : int }
let hash_char info c =
let i = Char.code c in
let index = (info.hash_index + i + 1) mod random_length in
info.hash_value <- (info.hash_value * 3) lxor random_numbers.(index);
info.hash_index <- index
let hash s =
let info = { hash_index = 0; hash_value = 0 } in
for i = 0 to String.length s - 1 do
hash_char info s.[i]
done;
info.hash_value
type 'a hash_entry = { key : string; value : 'a }
type 'a hash_table = 'a hash_entry list array
let create () =
Array.make 101 []
let add table key value =
let index = (hash key) mod (Array.length table) in
table.(index) <- { key = key; value = value } :: table.(index)
let rec find_entry key = function
{ key = key' ; value = value } :: _ when key' = key -> value
| _ :: entries -> find_entry key entries
| [] -> raise Not_found
let find table key =
let index = (hash key) mod (Array.length table) in
find_entry key table.(index);;

不幸的是，作者会说像'a string -> unit这样的事情会这样或那样做，而事实并非如此。举个例子，我正在处理的是：

utop # add = { key = "9999999" ; value = "one of these days" };;
Line 1, characters 6-55:
Error: This expression has type string hash_entry
but an expression was expected of type
'a hash_entry list array -> string -> 'a -> unit

我对这些铺天盖地的发言感到沮丧。这是什么意思？

'a hash_entry list array -> string -> 'a -> unit

我不是在要求它的各个部分的定义，我如何使用这些语句来调用函数？我明白理解其中的部分很重要，当然，这些东西是如何工作的？每隔几天，举个例子，我就被困在期待型单元上，到底什么是"；类型单元"；应该是吗？具体来说，我如何生成这个(知道它需要一个密钥/值对(：

'a hash_entry list array -> string -> 'a -> unit

Answer 1

以下是您遇到问题的表达式：

add = { key = "9999999" ; value = "one of these days" }

这是一个表达式，但不是对add的调用。add是3个参数的函数，因此调用如下所示：

add mytable mykey myvalue

相反，这个表达式是一种比较，即它测试两个事物是否相等。这是因为表达式中唯一的运算符是=，即相等比较运算符。

由于add是一个函数，因此它甚至不是与记录进行比较的正确类型，而记录显示在比较的右侧。这就是为什么你会从口译员那里得到一个错误。

如果你想测试一个要添加的调用，它看起来更像这样：

# let table = create ();;
val table : '_weak1 list array = ...
# add table "mykey" "myvalue";;
- : unit = ()
# find table "mykey";;
- : string = "myvalue"

Answer 2

斯科菲尔德先生的指示导致了这一点：

val create : unit -> 'a list array = <fun>
val add : 'a hash_entry list array -> string -> 'a -> unit = <fun>
val find_entry : string -> 'a hash_entry list -> 'a = <fun>
val find : 'a hash_entry list array -> string -> 'a = <fun>
─( 19:55:55 )─< command 30 >─────────────────────────────────────{ counter: 0 }─
utop # let table = create ();;
val table : '_weak2 list array =
[|[]; []; []; []; []; []; []; []; []; []; []; []; []; []; []; []; []; 
[]; []; []; []; []; []; []; []; []; []; []; []; []; []; []; []; []; 
[]; []; []; []; []; []; []; []; []; []; []; []; []; []; []; []; []; 
[]; []; []; []; []; []; []; []; []; []; []; []; []; []; []; []; []; 
[]; []; []; []; []; []; []; []; []; []; []; []; []; []; []; []; []; 
[]; []; []; []; []; []; []; []; []; []; []; []; []; []; []; []|]
─( 20:14:42 )─< command 31 >─────────────────────────────────────{ counter: 0 }─
utop # add table "mykey" "myvalue";;
- : unit = ()
─( 20:14:58 )─< command 32 >─────────────────────────────────────{ counter: 0 }─
utop # find table "mykey";;
- : string = "myvalue"
─( 20:15:15 )─< command 33 >─────────────────────────────────────{ counter: 0 }─

val create(单位->'a列表数组=(val add('a hash_entry列表数组->字符串->'a->单元=(和val find('a hash_entry列表数组->字符串->'a=(

谢谢Jeffery Scofield