无法键入多态 [%bs.raw 函数

Question

1(有没有办法输入这个？ 2(有人能够解释这些错误消息吗？

let identity1: 'a => 'a = [%bs.raw {|
  function(value) {
    return value
  }
|}];
/*
Line 2, 11: The type of this expression, '_a -> '_a, contains type variables that cannot be generalized
*/
let identity2: 'a. 'a => 'a = [%bs.raw {|
  function(value) {
    return value
  }
|}];
/*
Line 8, 11: This definition has type 'a -> 'a which is less general than 'a0. 'a0 -> 'a0
*/

https://reasonml.github.io/en/try.html?reason=FAGwpgLgBAlgJmAdhGECeBGAXFA5AQygF4A%20PQoqAbQFIAjAZwDoAnfAdygG8AfYKKADMArogDGKAPaIAFADd8IYWACU3fgKgtIwloigKlYDQF9gPEwF0A3MGAB6AFTAAMjERgoAJgA0UDNhQACoAFp7oAA6ekoJQECEwDFBgAB4R2gwMMNJ%20uAD6hAC0ZPn4fmLSEPjuSZGeCiww%20HTgtSH40GL4iIiS0HSeAOZIYGwgMABeYHDAjvZ24NDwSCjoXjgETOTEJRTU9MxsnLwaIuJSsobKalwaAtoQuvpXxgJmFjZ2Tq7ungAcfgCOFCiSgCEE7lQ2X07VqaCi22K23YCTEIVgSVaSWGHjGcXa%20gIAAYtsSoEjibN5kA

Answer 1

bs.raw是有效的(准确地说是扩展的(，因此它受到值限制：http://caml.inria.fr/pub/docs/manual-ocaml/polymorphism.html#sec51 .

简而言之，函数应用程序的结果类型不能一概而论，因为它可能捕获了一些隐藏的引用。例如，考虑以下函数：

let fake_id () = let store = ref None in fun y ->
  match !store with
  | None -> y
  | Some x -> store := Some x; y
let not_id = fake_id ()
let x = not_id 3

那么not_id的下一个应用将是3.因此，not_id的类型无法∀'a. 'a -> 'a。这就是为什么类型检查器为您的函数推断类型'_weak1 -> '_weak1(使用 4.06 表示法(。此类型_weak1不是多态类型，而是未知混凝土类型的占位符。

在正常设置中，解决方案是使not_id成为具有η扩展的值：

 let id x = fake_id () x 
 (* or *)
 let id: 'a. 'a -> 'a = fun x -> fake_id () x