Ruby与计算机科学相关的屈服特征

时间:2009-04-18 20:27:04

标签: ruby functional-programming yield

我最近发现了Ruby的块和产生功能,我想知道:这在计算机科学理论方面适合哪些方面?它是一种函数式编程技术,还是更具体的?

4 个答案:

答案 0 :(得分:104)

Ruby的yield不是像C#和Python那样的迭代器。一旦你理解了块如何在Ruby中工作,yield本身就是一个非常简单的概念。

是的,块是一种函数式编程功能,即使Ruby不是一种功能性语言。实际上,Ruby使用方法lambda来创建块对象,这是从Lisp的语法中借用来创建匿名函数 - 这就是块。从计算机科学的角度来看,Ruby的块(和Lisp的lambda函数)是closures。在Ruby中,方法通常只占用一个块。 (你可以传递更多,但它很尴尬。)

Ruby中的yield关键字只是一种调用已赋予方法的块的方法。这两个例子是等价的:

def with_log
  output = yield # We're calling our block here with yield
  puts "Returned value is #{output}"
end

def with_log(&stuff_to_do) # the & tells Ruby to convert into
                           # an object without calling lambda
  output = stuff_to_do.call # We're explicitly calling the block here
  puts "Returned value is #{output}"
end

在第一种情况下,我们只是假设有一个区块并说要打电话给它。另一方面,Ruby将块包装在一个对象中并将其作为参数传递。第一个是更有效和可读,但它们实际上是相同的。你可以这样打电话:

with_log do
  a = 5
  other_num = gets.to_i
  @my_var = a + other_num
end

它会打印最终分配给@my_var的值。 (好吧,这是一个完全愚蠢的功能,但我想你明白了。)

块用于Ruby中的很多东西。几乎每个地方都使用像Java这样的语言循环,它在Ruby中被替换为带有块的方法。例如,

[1,2,3].each {|value| print value} # prints "123"
[1,2,3].map {|value| 2**value}    # returns [2, 4, 8]
[1,2,3].reject {|value| value % 2 == 0} # returns [1, 3]

正如Andrew所说,它也常用于打开文件和许多其他地方。基本上,只要你有一个可以使用某些自定义逻辑的标准函数(比如对数组进行排序或处理文件),你就会使用一个块。还有其他一些用途,但这个答案已经很久了,我担心它会对体质较弱的读者造成心脏病发作。希望这可以解决对这一主题的困惑。

答案 1 :(得分:6)

屈服和阻挡不仅仅是循环。

系列Enumerating enumerable有一系列你可以用枚举做的事情,比如询问某个组的任何成员的陈述是否属实,或者所有成员是否属实,或者搜索任何或者所有成员都符合一定条件。

块对变量范围也很有用。它不仅仅是方便,而且有助于良好的设计。例如,代码

File.open("filename", "w") do |f|
  f.puts "text"
end

确保文件流在完成后关闭,即使发生异常,并且一旦完成,变量就超出了范围。

一个随意的谷歌没有提出关于红宝石的块和收益率的好博客文章。我不知道为什么。

对评论的回应

我怀疑它因为块结束而被关闭,而不是因为变量超出了范围。

我的理解是,当指向对象的最后一个变量超出范围时,除了该对象有资格进行垃圾收集之外,没有什么特别的事情发生。不过,我不知道如何证实这一点。

我可以证明文件对象在收集垃圾之前会被关闭,这通常不会立即发生。在下面的示例中,您可以看到文件对象在第二个puts语句中已关闭,但尚未进行垃圾回收。

g = nil
File.open("/dev/null") do |f|
  puts f.inspect # #<File:/dev/null>
  puts f.object_id # Some number like 70233884832420
  g = f
end
puts g.inspect # #<File:/dev/null (closed)>
puts g.object_id # The exact same number as the one printed out above,
  # indicating that g points to the exact same object that f pointed to

答案 2 :(得分:2)

我认为yield语句来自CLU语言。我一直想知道Tron的角色是否也以CLU命名....

答案 3 :(得分:0)

我认为'coroutine'是您正在寻找的关键字。

E.g。 http://en.wikipedia.org/wiki/Yield

计算和信息科学的收益:

  • 在计算机科学中,是协程的返回点(和重新进入)