ruby - 禁用 Ruby 中的递归以强制使用 Y Combinator

Question

Ruby 的递归如何被“破坏”以禁用 ruby​​ 方法进行递归的能力？

需要创建一个教授 lambda 演算的程序，但使用 Ruby。

来自 Crockford 的 JavaScript 动机 - https://www.youtube.com/watch?v=ya4UHuXNygM&feature=youtu.be&t=1h9m53s

Answer 1

您可以使用TracePointAPI 跟踪所有方法调用和返回，并构建堆栈以查看被调用的方法是否已在堆栈上。这样，您至少可以检测递归，然后您可以只检测raise异常或exit程序。

就像是：

stack = []

TracePoint.trace(:call, :return) do |trace|
  p trace, stack
  method = trace.method_id
  case trace.event
  when :call
    if stack.include?(method)
      $stderr.puts "RECURSION DETECTED: method `#{stack.last}` calls method `#{method}`."
      exit!
    end
    stack.push(method)
  when :return
    stack.pop
  end 
end

def foo; bar end
def bar; baz end
def baz; qux end
def qux; bar end

foo

请注意，我在其中粘贴了一个调试p工具，以便您可以观察它是如何工作的：

#<TracePoint:call `foo'@./test.rb:20>
[]
#<TracePoint:call `bar'@./test.rb:21>
[:foo]
#<TracePoint:call `baz'@./test.rb:22>
[:foo, :bar]
#<TracePoint:call `qux'@./test.rb:23>
[:foo, :bar, :baz]
#<TracePoint:call `bar'@./test.rb:21>
[:foo, :bar, :baz, :qux]
RECURSION DETECTED: method `qux` calls method `bar`.