我知道我可以用 SML 编写 y 组合器，如下所示：
首先声明一个新的数据类型来绕过由于循环而导致的类型不匹配。
datatype 'a mu = Roll of ('a mu -> 'a)
val unroll = fn Roll x => x
现在您可以轻松定义 y 组合器：
val Y = fn f => (fn x => fn a => f (unroll x x) a)
(Roll (fn x => fn a => f (unroll x x) a)))
然后你就完成了，你可以像这样使用它：
val f = Y (fn f => fn n => if n = 0 then 1 else n * f (n-1))
我的问题是：是否有其他方法可以在 SML 中实现 y 组合器？
您当然可以使用内置递归本身，例如
fun Y f = f (fn x => Y f x)
or
fun Y f x = f (Y f) x
您还可以以与数据类型相同的方式使用异常，但只能单态：
exception Roll of exn -> int -> int
val unroll = fn Roll x => x
fun Y f = (fn x => fn a => f (unroll x x) a) (Roll (fn x => fn a => f (unroll x x) a))
但我相信参考文献已经涵盖了它。
编辑：实际上，您可以通过使用使其多态local例外：
fun Y f : 'a -> 'b =
let
exception Roll of exn -> 'a -> 'b
val unroll = fn Roll x => x
in
(fn x => fn a => f (unroll x x) a) (Roll (fn x => fn a => f (unroll x x) a))
end
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
