这个OCaml签名是否可行？

Question

签名的OCaml功能:

'a -> 'b

可能？

我认为有可能,但是,我不知道答案背后的基本逻辑,所以解释它会很棒:)

编辑:它不能递归循环永远

Answer 1

有几个"合法"的答案.一个是永远循环,你排除了:

let rec f x = f x

另一个是通过提出异常或终止程序来分歧:

let f x = exit 0

let f x = assert false

let f x = failwith "die"