晶体中的递归过程

Question

递归过程在 Crystal 中是可能的吗？

类似于 Ruby 中的 lambda

我正在尝试在 Crystal 中做一个y-combinator，类似于 Ruby 的一个：

puts -> {
fact_improver = ->(partial) {
-> (n) { n.zero? ? 1 : n * partial.(n-1) }
}
y = ->(f) {
->(x) { f.(->(v) { x.(x).(v) }) }.(
->(x) { f.(->(v) { x.(x).(v) }) }
)
}
fact = y.(fact_improver)
fact = fact_improver.(fact)
fact.(100)
}.()

上面的代码取自Y Not- Adventures in Functional Programming

Answer 1

据我所知，Crystal 没有递归过程。但是要创建 Y 组合器，您不需要递归过程。实际上，根据定义：

在函数式编程中，Y 组合器可用于在不支持递归的编程语言中正式定义递归函数。

下面是一个使用递归类型用 Crystal 编写的 Y 组合器示例：

alias T = Int32
alias Func = T -> T
alias FuncFunc = Func -> Func
alias RecursiveFunction = RecursiveFunction -> Func
fact_improver = ->(partial : Func) {
->(n : T) { n.zero? ? 1 : n * partial.call(n - 1) }
}
y = ->(f : FuncFunc) {
g = ->(r : RecursiveFunction) { f.call(->(x : T) { r.call(r).call(x) }) }
g.call(g)
}
fact = y.call(fact_improver)
fact = fact_improver.call(fact)
fact.call(5) # => 120

更新：可以使用uninitialized关键字在 Crystal 中创建递归过程：

g = uninitialized Int32 -> Int32
g = ->(n : Int32) { n.zero? ? 1 : n * g.call(n - 1) }
g.call(5) # => 120

感谢@mgarciaisaia的评论。