小编pki*_*162的帖子

签名的OCaml功能:

'a -> 'b

可能？

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

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