如何使用可选参数对在 ReasionML/BuckleScript 中生成 Js.t 对象的函数进行 curry？

Question

我有以下功能

[@bs.obj]
external route:
  (
    ~_method: string,
    ~path: string,
    ~action: list(string) => unit,
    ~options: Js.t({..})=?,
    unit
  ) =>
  _ =
  "";

由于可以部分应用函数，我希望能够做到这一点：

let get = route(~_method="GET");

但它给了我这个错误：

This expression's type contains type variables that can't be generalized:                                                
(~path: string, ~action: list(string) => unit, ~options: {_.. }=?,                                                       
unit) =>
{. "_method": string, "action": list(string) => unit,
  "options": Js.undefined({.. }), "path": string}

我在这里做错了什么？

Answer 1

这实际上不是关于可选参数和柯里化，而是关于值限制和非泛化，也就是弱类型变量。 TL;博士;要么通过添加参数将get 转换为语法函数，例如let get () = route(~_method="GET") ();，要么为您的模块创建一个*.rei 接口文件。

更长的故事

..row variable 表示一种多态类型，编译器无法将其简化为正常的单态类型（因为显然没有使用此函数），也不能相信部分应用程序 route(~_method="GET") 没有实际上已经访问了options 参数，并且可能存储在其中的某个位置，它应该定义类型。

因此，编译器不能将其作为多态变量，也不能给出具体类型，结果，它会产生一个弱类型变量，可以将其视为未来定义的具体的参考单元类型。就像一个未初始化的类型。稍后将通过使用get 函数的代码对其进行初始化。如果在一天结束时，该类型从未使用过，它可能会逃出模块的范围，这是 OCaml/Reason 类型规则所禁止的。因此，您应该手动给它一个单型（即，将其限制为某种单态类型），或者创建一个隐藏该值（即不存在）的接口文件，因此不能泄漏模块的范围。基本上，只需创建一个与您的.ml/.re 文件同名的空.mli/.rei 文件即可解决此问题。另一个常见的解决方案是将get 变成一个语法函数，即带有语法显式变量的东西，例如，

let get () = route(~_method="GET") ();

进一步阅读

• https://ocamlverse.github.io/content/weak_type_variables.html
• http://caml.inria.fr/pub/docs/manual-ocaml/polymorphism.html#sec51
• https://v1.realworldocaml.org/v1/en/html/imperative-programming-1.html#side-effects-and-weak-polymorphism