F#中的值限制案例

Question

我很困惑为什么第三个功能不起作用：

   let generate1 = id
   let generate2 = let a = 1
                   id
   let generate3 = printfn "hi"
                   id

前两个没问题，最后一个吐出来

error FS0030: Value restriction. The value 'generate3' has been inferred to have generic type
    val generate3 : ('_a -> '_a)    
Either make the arguments to 'generate3' explicit or, if you do not intend for it to be generic, add a type annotation.

Answer 1

我不会尝试explain value restriction，但我会尝试理清这三个值之间的语义差异。

generate1 只是 id 的别名，所以我们很好。

generate3 在返回 id 之前会进行一些计算，达到值限制。

那为什么generate2 不像generate3 那样命中值限制呢？因为编译器可以看到let x = 1 in id 在语义上等同于id：1 是一个常量表达式，而x 没有在let ... in ... 表达式的主体中使用，所以编译器可以并且确实将它们丢弃.另一方面，如果将1 替换为sin 2.3 之类的潜在副作用（sin 是纯的，但编译器无法证明），那么编译器就不能安全地减少表达式，从而达到与 generate3 一样的值限制。