在此示例中 lambda 的用途是什么？

Question

在此示例中，lambda 在 compose 和 Hydro 方法中均使用。 lambda在这里做什么？

def compose *lambdas
  if lambdas.empty?
    lambda { nil }
  elsif lambdas.size == 1
    lambdas.first
  else
    lambda do |n|
      lambdas.first.call(compose(*lambdas[1..-1]).call(n))
    end
  end
end

def hydrate(modulus, printable_form)
  i = 0
  lambda do |n|
    (i = (i + 1) % modulus) == 0 && printable_form || n
  end
end

print(((1..100).map
   &compose(
     hydrate(15, 'Watermelon'), 
     hydrate(5, 'Melon'), 
     hydrate(3, 'Water'))).join(' '))

我的第二个问题是 - 在“撰写”一词前面需要加“&”号吗？

Answer 1

函数 compose 接受一个函数列表并返回一个新分配的函数，该函数是列表中所有函数的组合。 它被编写为相当奇怪地处理空列表； 可能第一种情况应该被忽略。 （通常编写空函数列表应该生成恒等函数，但这不是您的示例所做的。我期望将其

lambda do |n| { n }

作为基本情况。）

有必要使用 lambda 以便 创建一个新函数 您会看到，在 compose 的递归情况下：lambda 创建一个新函数，当给定 n 时，该函数返回调用组合的结果其余函数，然后最后应用第一个函数。 这不是一个很好的模拟代码，因为每次调用组合时都会重复函数列表的递归。 在示例中：

• 创建函数的组合使用恒定的时间和空间

• 函数的组合需要线性时间和空间

，而如果代码编写正确

• 创建函数的组合应该花费线性时间和空间

• 应用函数组合应该花费线性时间并且不需要分配（零空间）

不幸的是，我对 Ruby 的了解不够，无法为您编写一个 compose 示例。 但其他人会的。

Answer 2

顺便说一句，我不知道你从哪里得到这个确切的代码，但它看起来像是雷金纳德·布雷斯韦特博客中的一些代码的轻微修改版本。 （该代码是对 FizzBu​​zz 问题的故意过度解决方案，用于对 Ruby 中的函数式编程和更一般的函数式编程进行认真讨论。）

以下是原始帖子：

• 不要过度思考 FizzBu​​zz
• 闭包和高阶函数

Answer 3

您的第二个问题询问 & 正在做什么。

查看 Ruby 中的一元 & 符号，& 符号将过程转换为块。

示例：

irb(main):001:0> def meth1
irb(main):002:1>   yield "Hello"
irb(main):003:1> end
=> nil

使用块调用 meth1，按预期工作：

irb(main):004:0> meth1 { |s| puts s } # Calling meth1 with a block
Hello
=> nil

使用 Proc 调用不起作用：

irb(main):005:0> p = Proc.new { |s| puts "In proc: #{s}" }
=> #<Proc:0x13e5d60@(irb):5>
irb(main):006:0> meth1 p
ArgumentError: wrong number of arguments (1 for 0)
        from (irb):6
        from C:/Ruby19/bin/irb:12:in `<main>'

但如果将 Proc 转换为块，它会起作用：

irb(main):007:0> meth1 &p # Convert the proc to a block
In proc: Hello
=> nil

这与使用以下代码时发生的情况相同：

irb(main):001:0> def meth2(&block) # Block is converted to Proc
irb(main):002:1>   puts block.class.to_s if block_given?
irb(main):003:1> end
=> nil
irb(main):004:0> meth2 { puts "Hi There" }
Proc
=> nil
irb(main):005:0>

这是另一篇关于块之间差异的文章，块、lambda 与过程。