Playing with blocks : Part 2

In the first part, I tried to cover the basics of code blocks. Now, we’re going to talk about : Code blocks and scope

A code block is a closure

Oh no… not another definition of a closure? Yes, but I promise I will be quick. First, to understand what a closure is we have to understand what a scope is. A scope is a region of your code where the variables share the same life cycle. You can’t access the components that are located inside a given scope when you’re out of it. For example, when you write a method, every local variables you define are located in the same scope. The outside world can’t access them because these local variables are living in another execution context (scope) and they only exist for a short period of time. When the interpreter is done executing the method, its scope is destroyed by the garbage collector.

A closure is a collection of 1 or more lines of code that has it’s own scope attached to it and that is defined inside the body of a method. What makes a closure a closure is that it keeps its own scope when the outer method has finished executing. More than that, the closure will still have access to the scope above, that is, the scope of the method where the closure was defined (the outer method). With closures, scopes that normally would have been destroyed see their lives extended.

So :

  1. A closure has it’s own scope
  2. A closure is defined inside the body of a method (that’s another scope)
  3. A closure has the power to extend the normal life of these 2 scopes
  4. A code block is a closure

But to be a real closure, a code block must be stored in a Proc object. Why? Because if you pass a block to a method and that this method invokes it with yield immediately without storing it anywhere, everything will stay “in scope” from the beginning to the end. That’s quite a boring closure if you ask me (but it’s still the only thing we need most of the time). When I think of a closure, I don’t want to think of something volatile like that, I want to think of something persistent … something that will live as long as I want.

Here is a small example I wrote to clear this out :

As you can see, storing the block inside the @proc_object instance variable kept its scope from being wiped out by the garbage collector. It did also preserved the scope of the outer method defining_the_block, that’s why the local variable outer_scope_var was still alive and accessible by the closure at the very end of the listing. Without the existence of the closure, that variable would have been destroyed at the end of defining_the_block.

I’ll stop right there. In the first part I said I would talk about lambdas… I lied, sorry. I thought it was spelled lambada, that’s why I was very excited to write about this very hot dance from Brazil. Once I learned that it was spelled lambda, it just turned me off.

I got you… believe it or not this isn’t the real reason! The real reason I’m not writing about lambdas is because I think the article is long enough. Maybe in the next part, if there is one, I’ll write about them.

  • http://www.mr-eel.com Mr eel

    A good description!

    Have you considered discussing the use of blocks in DSLs? They’re probably one of the most common uses of blocks — outside of iterators — in Ruby and users unfamiliar with the concepts would at least recognise the code. They’re a good place to start tinkering with blocks and getting a good idea of how they work.

    That’s what I’ve found for myself at least :)

  • Seer Taak

    That would be kool. Talk about DSL’s

  • http://www.rubyfleebie.com Frank

    @Mr eel, @Taak

    Thank you for the suggestion! Next part will be about blocks in DSL’s.

  • http://linkyme.com/link-saturation-script/ Link Saturation Hacks

    damn that makes sense now, thanks

  • http://blog.withoutincident.com/ Shadowfiend

    While using procs and thus blocks that exist after the method has finished executing is a better example of the closure concept, it’s not true that the enclosing scope exists in the regular block usage case. When you go into the other method, you’re going into a completely different local scope. The closure properties of the blocks are therefore still extremely useful, because the local scope of the other method can’t refer to the local scope of the calling method except through the `glue’ that is the block.

  • Pingback: Breaking Rumors, News, Truemors()