2

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

4

1 回答 1

5

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
于 2018-03-18T19:42:38.140 回答