reasonml 类型的高阶函数

Question

给定以下模块，编译器会引发错误

  41 │ };
  42 │ 
  43 │ module TestB = {
  44 │   let minFn = (a, b) => a < b ? a : b;
   . │ ...
  54 │   let max = reduceList(maxFn);
  55 │ };
  56 │ 
  57 │ // module Number = {

  The type of this module contains type variables that cannot be generalized:
  {
    let minFn: ('a, 'a) => 'a;
    let maxFn: ('a, 'a) => 'a;
    let reduceList: ('a, list('b)) => option('b);
    let min: list('_a) => option('_a);
    let max: list('_a) => option('_a);
  }

这似乎是因为我只是部分地将参数应用到 reduceList。现在，有人向我提供了一些有关价值限制的信息，在我看来，这就是这里发生的事情。

我已经尝试在定义函数 min 和 max 的地方显式键入它们，并将模块作为一个整体显式键入，因为我认为这就是你应该如何解决的问题这根据 this section about value restriction。但是，这似乎没有什么区别。

module TestB = {
  let minFn = (a, b) => a < b ? a : b;
  let maxFn = (a, b) => a > b ? a : b;
  let reduceList = (comp, numbers) =>
    switch (numbers) {
    | [] => None
    | [head] => Some(head)
    | [head, ...tail] => Some(List.fold_left(minFn, head, tail))
    };

  let min = reduceList(minFn);
  let max = reduceList(maxFn);
};

另一方面...类型的前导 _ 在这里有什么特别的意思吗？

Answer 1

确实是因为值的限制。我看不到您引用的文档部分说明了关于能够使用类型注释来避免它的任何内容，尽管在我看来它也应该如此。希望这里有经验的 OCamler 可以解释为什么它没有。

据我所知，除非类型注释不包含任何类型变量，从而消除多态性，否则不会，我认为这不是您想要的。解决此问题的最简单方法是使用 eta 扩展，即使参数显式而不是使用部分应用程序。这证明了：

module TestB = {
  let minFn = (a, b) => a < b ? a : b;
  let maxFn = (a, b) => a > b ? a : b;
  let reduceList = (comp, numbers) =>
    switch (numbers) {
    | [] => None
    | [head] => Some(head)
    | [head, ...tail] => Some(List.fold_left(minFn, head, tail))
    };

  let min = x => reduceList(minFn, x);
  let max : list(int) => option(int) = reduceList(maxFn);
};

'_a中的下划线，_只是表示它是一个弱类型变量，如您参考的文档中所述：

Type variables whose name starts with a _weak prefix like '_weak1 are weakly polymorphic type variables, sometimes shortened as weak type variables. A weak type variable is a placeholder for a single type that is currently unknown. Once the specific type t behind the placeholder type '_weak1 is known, all occurrences of '_weak1 will be replaced by t.

reasonml 类型的高阶函数

reasonml type higher order function

ocaml

reason

partial-application

value-restriction