Sponsored Link •
Yukihiro Matsumoto, the creator of the Ruby programming language, talks with Bill Venners about two kinds of nameless functions in Ruby, blocks and closures.
Yukihiro Matsumoto, or "Matz," as he is known online, is the creator of the Ruby programming language. Ruby is an object-oriented language suitable for writing day to day scripts as well as full-scale applications. Matz began work on Ruby back in 1993, because he wanted a language that made him productive while being fun to use. Initially popular in Japan, Ruby has been finding its way into the hearts of programmers all over the world.
On September 24, 2003, Bill Venners met with Yukihiro Matsumoto at the JAOO conference in Aarhus, Denmark. In this interview, which is being published in multiple installments on Artima.com, Yukihiro Matsumoto discusses Ruby's design philosopy, the features of the Ruby language, and becoming a better programmer.
Bill Venners: Ruby supports blocks and closures. What are blocks and closures, and how are they used?
Yukihiro Matsumoto: Blocks are basically
nameless functions. You may be familiar with the lambda
from other languages like Lisp or Python. Basically, you can pass
a nameless function to another function, and then that function
can invoke the passed-in nameless function. For example, a
function could perform iteration by passing one item at a time to
the nameless function. This is a common style, called higher
order function style, among languages that can handle functions
as first class objects. Lisp does it. Python does it .Even C does
it with function pointers. Many other languages do this style of
programming. In Ruby, the difference is mainly a different kind
of syntax for higher order functions. In other languages, you
have to specify explicitly that a function can accept another
function as an argument. But in Ruby, any method can be called
with a block as an implicit argument. Inside the method, you can
call the block using the
yield keyword with a
Bill Venners: What is the benefit of blocks?
Yukihiro Matsumoto: Basically, blocks are designed for loop abstraction. The most basic usage of blocks is to let you define your own way for iterating over the items.
For example, if you have a list, sequence, vector, or array,
you can iterate forward by using the method provided by the
standard library. But what if you want to iterate backwards from
the end to the beginning? In C, you have to set up four things:
an index, a start value, an end comparison, and an increment.
This is not good, because it reveals internal details of the
list. We want to hide that logic. By using blocks, we can hide
the loop logic inside the method or function. So for example by
list.reverse_each , you can do a reverse
iteration over the list without knowing how the list is
implemented on the inside.
Bill Venners: I just pass in a block that's going to do whatever I want to do with each element, and it's up to the list to know how to go backwards. In other words, I pass as a block whatever code I would have put inside the for loop in C.
Yukihiro Matsumoto: Yes, and that also means you can define many ways to iterate. You could provide a forward way to iterate, a backward way, and so on. It's up to you. C# has an iterator, but it has just one iterator per class. In Ruby you can have an arbitrary number of iterators if you want. If you have a tree class, for example, which you think people will want to traverse depth first and breadth first, you can provide both kinds of traversal by providing two different methods.
Bill Venners: Let me see if I understand
this. In Java, they abstract iteration with
Iterators. A client can ask a
Collection for an
example. But the client must use a for loop that runs through and
processes the items returned by the
the for loop, I have "the code" that I want to perform on each
item, so that for loop always shows up in the client code. With
blocks, I don't call a method to get an
back, I call a method and pass as a block "the code" I want to
process each item of the iteration. Is the benefit of the block
approach that it takes a little bit of code, the for loop, out of
Yukihiro Matsumoto: The details of how to iterate should belong to the service provider class. The client should know as little as possible. That was the original purpose of blocks. In fact, in early versions of Ruby, the methods called with blocks were referred to as iterators, because they were designed to iterate. But in the history of Ruby, the role of blocks was later enhanced from loop abstraction to anything.
Bill Venners: For example...
Yukihiro Matsumoto: For example, we can create a closure out of a block. A closure is a nameless function the way it is done in Lisp. You can pass around a nameless function object, the closure, to another method to customize the behavior of the method. As another example, if you have a sort method to sort an array or list, you can pass a block to define how to compare the elements. This is not iteration. This is not a loop. But it is using blocks.
Bill Venners: What makes a block a closure?
Yukihiro Matsumoto: A closure object has code to run, the executable, and state around the code, the scope. So you capture the environment, namely the local variables, in the closure. As a result, you can refer to the local variables inside a closure. Even after the function has returned, and its local scope has been destroyed, the local variables remain in existence as part of the closure object. When no one refers to the closure anymore, it's garbage collected, and the local variables go away.
Bill Venners: So the local variables are basically being shared between the closure and the method? If the closure updates the variable, the method sees it. And if the method updates the variable, the closure sees it.
Yukihiro Matsumoto: Yes, local variables are shared between the closure and the method. It's a real closure. It's not just a copy.
Bill Venners: What is the benefit of a real closure? Once I make a block into an object, what can I do with it?
Yukihiro Matsumoto: You can reconvert a closure back into a block, so a closure can be used anywhere a block can be used. Often, closures are used to store the status of a block into an instance variable, because once you convert a block into a closure, it is an object that can by referenced by a variable. And of course closures can be used like they are used in other languages, such as passing around the object to customize behavior of methods. If you want to pass some code to customize a method, you can of course just pass a block. But if you want to pass the same code to more than two methods -- this is a very rare case, but if you really want to do that -- you can convert the block into a closure, and pass that same closure object to multiple methods.
Bill Venners: OK, but what is the benefit of having the context? The distinction that makes Ruby's closure a real closure is that it captures the context, the local variables and so on. What benefit do I get from having the context in addition to the code that I don't get by just being able to pass a chunk of code around as an object?
Yukihiro Matsumoto: Actually, to tell the truth, the first reason is to respect the history of Lisp. Lisp provided real closures, and I wanted to follow that.
Bill Venners: One difference I can see is that data is actually shared between the closure objects and the method. I imagine I could always pass any needed context data into a regular, non-closure, block as parameters, but then the block would just have a copy of the context, not the real thing. It's not sharing the context. Sharing is what's going on in a closure that's different from a plain old function object.
Yukihiro Matsumoto: Yes, and that sharing allows you to do some interesting code demos, but I think it's not that useful in the daily lives of programmers. It doesn't matter that much. The plain copy, like it's done in Java's inner classes for example, works in most cases. But in Ruby closures, I wanted to respect the Lisp culture.
Come back Monday, December 29 for part IV of this conversation with Yukihiro Matsumoto. If you'd like to receive a brief weekly email announcing new articles at Artima.com, please subscribe to the Artima Newsletter.
Ruby in a
Nutshell, by Yukihiro Matsumoto, is available on Amazon.com
Ruby: A Pragmatic Programmer's Guide, by Dave Thomas and Andy
Hunt, is available on Amazon.com at:
The Ruby Programming Language, an introduction by Yukihiro
An Interview with the Creator of Ruby, by Bruce Stewart:
Interview with Ruby Create Y. Matsumoto, by S. Ibaraki: