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为η-expansion的值：

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

无法输入多态[％bs.raw函数

1 个答案: