如何在ReScript中为任意记录类型实现哈希函数？

Question

我是第一次探索ReScript。我想使用一个记录类型作为我的键类型来构建一个散列映射，并且我正在寻找关于实现散列函数的指导。

下面是我的ReScript代码：

type pointer = { id: string, table: string, spaceId: option<string> }

module PointerHash = Belt.Id.MakeHashable({
  type t = pointer
  let hash = a => 0 /* How do I implement this? */
  let eq = (a, b) => 
    a.id == b.id &&
    a.table == b.table &&
    switch (a.spaceId, b.spaceId) {
      | (Some(aid), Some(bid)) => aid == bid
      | _ => false
    }
})

我查阅了文档并在线搜索，但没有找到任何关于如何实现hash函数的指导。

在其他需要实现hashCode()的编程语言中，有一些普遍的工具可以支持组合现有的哈希函数。

class Pointer {
  public final id: String
  public final table: String
  public final @Nullable spaceId: String
  /* omitting constructor, etc */
  @Override
  public int hashCode() {
    // Standard helper for implementing hashCode()
    return Objects.hash(this.id, this.table, this.spaceId);
  }
}

我查看了implementation of Belt.HashMapString以查看是否有任何提示，看起来HashMapString使用了caml_hash_mix_string

external caml_hash_mix_string : seed -> string -> seed  = "caml_hash_mix_string"
external final_mix : seed -> seed = "caml_hash_final_mix"
let hash (s : key) =   
  final_mix  (caml_hash_mix_string 0 s )

访问和组合“散列混合”函数最常用的方法是什么？有没有ReScript提供的很好的界面？

Answer 1

在Hashtbl模块中有一个内置的多态散列函数：

let hash: 'a => int

这来自ReScript继承的OCaml标准库。您可以在以下位置找到文档：https://docs.ocaml.pro/html/LIBRARY.stdlib@ocaml-base-compiler.4.10.0/Stdlib/Hashtbl/index.html#val-hash