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

问题描述

我是第一次探索 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() 的 Java，有无处不在的工具来支持组合现有的散列函数。

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 )

访问和组合“hash mix”函数最惯用的方式是什么？这些是否可以通过 ReScript 的漂亮界面使用？

解决方法

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

bucklescript reason reason rescript