假设我有def f(a); a + 1; end
并将f
应用于列表它通常看起来像[1,2,3].map { |x| f x }
。应该怎么做才能使η减少突然出现在红宝石中?
而当我想用η还原((λx.Mx) → M
),我来到这里的错误:
> [1,2,3].map f
ArgumentError: wrong number of arguments (0 for 1)
from (irb):2:in `f'
from (irb):4
from /usr/bin/irb:12:in `<main>'
我应该使之成为一个有效的Ruby语法发生?