Alberto Zaccagni's questions

我需要一些帮助来理解类型推断如何影响以下代码，该代码来自上一个问题（经过一番思考后，我将其简化为以下代码）：

type 'a result =
  | Succ of 'a
  | Fail

let first f = function
  | Succ c -> let res = f c in Succ res
  | fail   -> fail

let second f = function
  | Succ c -> let res = f c in Succ res
  | Fail   -> Fail

我的问题是：为什么fin firsthas type('a -> 'a)而fin secondhas type ('a -> 'b)？

你可以在这里看到它。