我可以使用哪种类型的环境允许对函数的不同调用来假设不同的polymoprohic类型

Question

这个问题连接到我问的另一个问题在这里。

但是这个问题更集中在我在试图理解不同类型注释（例如（类型a））中写的这一简单的代码： vers ：type a。 。

let f = fun id x -> 
    let i = id 4 in
    let f = id 4.0 in
       (Int.to_float i) +. f;;

此代码不键入检查。我知道这是因为Checker“ Infers” ID：int-＆gt; ...来自让i = id 4与推断id：float-＆gt; ...在下一行上。

虽然我希望上述代码以某种方式告诉函数id是类型a - ＆gt;允许这种类型在呼叫站点之间变化。 （即，我们可以在每个调用ID上选择其他'a）。

我收集到诸如类型A。和（类型A）之类的注释：是否精确地让我以某种方式告诉类型的检查器。

这是我尝试的一件事。我注释了id的“绑定发生”，以使用typea。尝试使其“显式多构态”。但是语法不会让我实际使用type a。 ...作为类型注释。

let f = fun (id : type a.a -> a) x -> begin 
               (* ^^^^ syntax error: type expected *) 
         let i = id 4 in
         let f = id 4.0 in
         (Int.to_float i) +. f
end;;

有点混乱/具有讽刺意味的错误。它指着“类型”一词，并说有期望的类型。我收集错误意味着它期望“类型”而不是关键字type。但是我以为（我想错误地）类型A。 ...实际上将被视为有效的“类型”。

因此，最后一个问题有一些的方法来注释我的代码并使其键入检查吗？还是不可能？

Answer 1

这里的根本问题是，这需要更高的多态性，OCAML不隐含地支持。解决方法是通过将函数包裹在记录或对象中来显式，这允许在字段或方法级别上进行通用量化。

type f = { f: 'a. 'a -> 'a }

let f = fun id ->
   let i = id.f 4 in
   let f = id.f 4.0 in
   float_of_int i +. f

请参阅多态性及其局限性 OCAML手册以提供更详细的解释。