ruby - 在 ruby​​ 中实现 iota

Question

再次提出这个问题，我深表歉意。我之前就 Haskell 实现问过这个问题 here ，但我仍然难以理解这是如何工作的。此外，我发现极简编程语言的概念绝对令人着迷并且无法摆脱它......无论如何，这不是可以怀念函数式编程之美的地方。

所以!我找到了一个关于深奥编程语言的网站并发现了 Iota。 Iota 可以说是最小的函数式语言。您可以在这里阅读更多相关信息:"Iota and Jot: the simplest languages?"下面是Iota在Scheme中的引用实现:

(let iota ()
   (if (eq? #\* (read-char)) ((iota)(iota))
       (lambda (c) ((c (lambda (x) (lambda (y) (lambda (z) ((x z)(y z))))))
                    (lambda (x) (lambda (y) x))))))

但是，当我尝试一些与 Ruby 中的 Scheme 实现相当优雅的东西时，它最终会吐出一个“错误的过程”。谁能帮我理解为什么 Ruby 会这样，以及如何更好地实现它。在尝试让它工作时，我将 S、K 和 BASIS 分开，只是为了便于阅读。

我在底部包含了两个测试。第一个应返回 I (BASIS[BASIS])，但它返回的过程不会产生与 I 相同的结果。第二个测试应该返回 K，但它返回了一个错误。

S = lambda {|f| lambda {|g| lambda {|x| f[x][g[x]] }}}
K = lambda {|x| lambda {|y| x }}
BASIS = lambda {|c| c[S][K] }

iota = lambda{|s|
   s = s.chars
   i = lambda {
      if s.next == '*'
         i[i]
      else
         BASIS
      end
   }
}

p BASIS[BASIS][1]         # => 1
p iota["*ii"][1]          # => #<Proc:0x000000010016b290>

p K[1][2]                 # => 1
p iota["*i*i*ii"][1][2]   # => line 3:in `[]': can't convert Proc into Integer (TypeError)

Answer 1

在第 9 行，您正在调用 i[i] ，但是 i不接受任何参数 - 只有 i 返回的 lambda做。所以你应该调用i不带参数，然后调用调用结果 i与 i作为其参数，即 i[][i] .