假設我有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語法發生?