views:

1562

answers:

5

I recently discovered Ruby's blocks and yielding features, and I was wondering: where does this fit in terms of computer science theory? Is it a functional programming technique, or something more specific?

+1  A: 

Always thought it was from SmallTalk. What say ye? Arrgh!

Genericrich
+1  A: 

I think the yield statement originated from the CLU language. I always wonder if the character from Tron was named after CLU too....

Daniel Lucraft
To the original poster: apropros of Daniel's answer, you might want to google for "coroutine" -- this was the underlying "computer science" concept that CLU implemented using yield.
itowlson
+3  A: 

I think 'coroutine' is the keyword you're looking for.

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

Yield in computing and information science:

  • in computer science, a point of return (and re-entry) of a coroutine
Brian
Credit also to @itowlson, who simultaneously mentioned 'coroutine' in a comment on another answer.
Brian
The usage of the yield keyword in Ruby has nothing whatsoever to do with the usual CS definition of yield. It's just a subroutine call. Indeed, you can just use call instead of yield, if you assign the anonymous block to a variable.
Jörg W Mittag
This is not the usage in Ruby.
Chuck
+1  A: 

There's more to yield and blocks than mere looping.

The series Enumerating enumerable has a series of things you can do with enumerations, such as asking if a statement is true for any member of a group, or if it's true for all the members, or searching for any or all members meeting a certain condition.

Blocks are also useful for variable scope. Rather than merely being convenient, it can help with good design. For example, the code

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

ensures that the file stream is closed when you're finished with it, even if an exception occurs, and that the variable is out of scope once you're finished with it.

A casual google didn't come up with a good blog post about blocks and yields in ruby. I don't know why.

Andrew Grimm
+21  A: 

The top two answers here are wrong. Ruby's yield is not an iterator like in C# and Python. yield itself is actually a really simple concept once you understand how blocks work in Ruby.

Yes, blocks are a functional programming feature, even though Ruby is not properly a functional language. In fact, Ruby uses the method lambda to create block objects, which is borrowed from Lisp's syntax for creating anonymous functions — which is what blocks are. From a computer science standpoint, Ruby's blocks (and Lisp's lambda functions) are closures. In Ruby, methods usually take only one block. (You can pass more, but it's awkward.)

The yield keyword in Ruby is just a way of calling a block that's been given to a method. These two examples are equivalent:

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

In the first case, we're just assuming there's a block and say to call it. In the other, Ruby wraps the block in an object and passes it as an argument. The first is more efficient and readable, but they're effectively the same. You'd call either one like this:

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

And it would print the value that wound up getting assigned to @my_var. (OK, so that's a completely stupid function, but I think you get the idea.)

Blocks are used for a lot of things in Ruby. Almost every place you'd use a loop in a language like Java, it's replaced in Ruby with methods that take blocks. For example,

[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]

As Andrew noted, it's also commonly used for opening files and many other places. Basically anytime you have a standard function that could use some custom logic (like sorting an array or processing a file), you'll use a block. There are other uses too, but this answer is already so long I'm afraid it will cause heart attacks in readers with weaker constitutions. Hopefully this clears up the confusion on this topic.

Chuck
Nice explanation.
John Topley
Thanks, that makes a lot more sense, and it ties in more with what I've learned so far about blocks.
htw