CSC/ECE 517 Fall 2010/ch1 1b mg

From Expertiza_Wiki
Jump to navigation Jump to search

Closures in Ruby vs. closures in other languages

Closure is defined in number of different ways by different people. We can define closure as follows

A closure is a block of code which can refer to the variables from the context it was created.This can be passed as value to other methods.

An easy to understand definition is from 5:

Lot of debates about closure, its historic development and how it should work is available in reference 1

In simple words, you can imagine Closure as a special function pointer, which not only points to a block of executable code, but can also point to the variables that are present in the context in which closure was created.

What Closure is not

This section attempts to clarify some of the general misconceptions about Closure. Those who have never experienced Closure, might relate things close to Closure as Closure.

  • C Programmer: Might tend to think Closures are like Function Pointers. But that is not true, Closure is more than function pointers, because function pointers does not close local variables in the context. Function pointers are not considered First-Class Objects.
  • Java Programmer: Inner Classes are similar to Closures but not Closures exactly. Inner class can access only instance variables of the surrounding class and has only READ-ONLY access to the local variables. The local variables must be marked final to make them available for the inner class to use them.

Why Closure is needed?

If you think, Closure is not a mandatory requirement for a language. Many popular programming languages like C, Java, C++ does not have Closure. Closure adds more convenience to a language, at the same time it makes it difficult for first time users. With Closure, you can really write short code and avoid passing too many arguments, since Closure closes the local variables.

When to use Closure?

Closure is a very handy tool which makes the code less verbose. You can use Closure where you used Function Pointers, Anonymous Functions(), Anonymous Inner Classes. This is a very common piece of code in Java for creating a Thread. 

Thread t = new Thread(new Runnable() {
  public void run() {
  // thread logic
  }
});

The above piece of code if re-written with Closures take a very simple form as follows: 

Thread t = new Thread(#() {
   // thread logic
});

Above statement is written using one of proposed Closure syntax addition for Java 7 (Java does not have Closures yet). You can see that the code is lot less verbose and neat. When Closures are available in Java, you can see that you can do away with most of the Callback classes used in Java.

Closures in the form of Delegates are very actively used in C#. Delegates are used to add and remove event listener in C# elegantly. To read more about the use of Delegates in C# see 3.

Closure in Ruby

Probably when you are reading this, you might not be very clear about what Closure, Blocks and Proc. Are they different? How do they work? This section tries to answer those questions. If, we have done a good job, probably you should understand what they are after reading this section.

Block is a unnamed piece of code, which can be called. Blocks is in fact a closure since it has access to the local variables in the context where it was defined.

Closure is created in Ruby as Proc blocks: 

def createIncrementer(step) # 1
  return Proc.new { |x| # 2
                    return x + step # 3
         }
end # 4

by5 = createIncrementer(5) # 5
puts by5.call(15) # prints 20 # 6

Let us go through this code line by line and see what happens as Ruby interpreter executes the code.

Line 1 - Define a function which is going to return a closure.

Line 2 - We are returning the Closure. Closures are represented by Proc block in Ruby. We are creating a new Proc object which takes a block of executable code as argument. |x| means that the block of code, takes a single argument. The block of code returns the value x incremented by step. It is worth observing that closure refers to the local variable "step" in the code block.

Line 5 - use create incrementer function to create a Closure.

Line 6 - As explained above Closures are represented by Proc object. We need to use call method of the Proc object to execute the code. Whatever value we pass to the call function will be passed on the Closure block as variable x (line 2)


There is a difference in the scope of the variables with same name. The below example illustrates this. 

def thrice_x
   x = 50
   yield
   yield
   yield
   puts "x inside thrice_x: #{x}"
end

def test_closure
  x = 5
  thrice_x { x += 1 }
  puts "value of outer x after: #{x}"
end

test_closure()

Output is: x inside thrice_x: 50 value of outer x after: 8

From the above output we can understand that x in thrice_x { x += 1 } refers to the x that is defined inside test_closure function, ie., the context where Block is defined and not from where it is executed.

Just as a side note, block can also be defined using do..end instead of { .. } it means the same.

Consider another example below for Closure. We all know about the synchronized block in Java, but with Closure in Ruby, we have lot more freedom of designing our own blocks. 

def lock_and_run
  # try locking
  success = false
  yield(success)
  # unlock
end

lock_and_run { |x|
  if x==true
    # do operation
    puts "Doing dangerous operation!"
  else
    puts "Unable to lock resource"
  end
}

The block of code, enclosed in lock_and_run function, first attemps to lock an resource, if it were able to lock it successfully (reflected by success flag), it calls the block of code with the success flag. Change success to true and false to see what we are talking about.

Difference between Block and Proc in Ruby

Ruby philosophy is everything in Ruby is an object, but not a Block of code. Both Block and Proc represents a block of executable code, but Proc is presented by a class and hence a block of proc is an object and hence can be passed around as arguments, whereas Blocks are not objects, so they cannot be based as argument. 

dash_printer = Proc.new { puts "-------------" };

dash_printer.call

The above is a perfectly valid Proc, but below code is not valid. Since block is not an object, you don’t have any functions like call to execute the block of code. 

dash_printer = { puts "-------------" };

dash_printer.[ no function to call?? ]

Procs and Lambdas

Blocks are executable code, which can be used to create a object that represents a block. This object could be either a Proc or a Lambda. Blocks are program structures and cannot be manipulated as objects. However, proc or Lambda object created to represent the block, can be manipulated as objects.

  1. This method creates a proc from a block
def makeproc(&p) # block can be received as argument using the & symbol.
  p
end

We can create the proc object as follows: 

adder = makeproc {|x,y| x+y }

Lambda:

Lambda expressions are very similar to Procs. There are created using the following syntax; 

doubler = lambda {|x| x+x}

You can call doubler using doubler.call(10) returning 20

The above can also be created using the below syntax from Ruby 1.9 [6]: 

doubler = ->(x) { x+x }

Arity of proc

Arity of a proc or lambda is defined as the number of arguments expected by the proc or lambda. 

lambda { | | }.arity --- is 0

lambda { | a, b | }.arity --- is 2

Difference between Proc and Lambda in Ruby

Another important difference between lambda and proc is the way return works and as a Ruby programmer, we all must be aware of the difference.

Lambda block is evaluated as though its call to the function. Very similar to the way function call works. Proc block is evaluated as though the function is inlined. We can better understand the above with the below example. When a return statement is executed inside a Proc block, it actually returns from the function which called the proc block. 

def level2Builder(message)            
  lambda { puts message; return }
end

def level1
  puts "level1"
  p = level2Builder("call level2")
  p.call                 
  puts "back to level1" 
end
level1

def level2Builder(message)            
  proc { puts message; return }
end

def level1
  puts "level1"
  p = level2Builder("call level2")
  p.call                 
  puts "back to level1" 
end
level1

Output level1 call level2 back to level1

Output level1 call level2 understanding_blocks.rb:26:in `block in level2Builder': unexpected return (LocalJumpError)

Closures are extensively used in Ruby and is a very handy feature for developers. There are many popular programming languages which support Closures, but with different syntax and implementation. The remaining chapter describe Closure in other popular programming languages.

Perl

Perl has extensive support for Closure with a syntax very similar to the Proc block of Ruby. 

sub create_incrementer {
       my $step = shift;
       my $inc = sub {
               my $num = shift; 
               return $num + $step; // closes local variable step
       };
       return $inc;
}
my $by5 = create_incrementer(5);
print "10 Increment by 5 is ";
print $by5->(10);

create_incrementer, creates an anonymous function and returns it. This anonymous function, closes the local variable $step. The output of the above program is 10 Increment by 5 is 15

Javascript

Javascript supports Closure too. Below is an example of how closure can be created in Javascript 

function createIncrementer(step)
{
    return function(val) {
        return val + step;
    }
}
by5 = createIncrementer(5);
by5(10); // returns 15

We must note that Closure does not just closes the value of the variable in the context, but the variable reference itself. The above code, returns an code block, which closes the local variable step.

It is important to understand that Closure can sometime hide Circular Dependencies which can cause memory leaks in Javascript. 7 discusses lot more about memory leaks in Javascript.

C#

C# supports full Closure and Functional Programming starting from version 3.0. Earlier versions of C# had something similar to Closure called Delegates. Annonymous delegates introduced in version 3.0 supports Closure. 

namespace closure_csharp
{
   class Program
   {
       delegate int incrementer(int i);
       static incrementer createIncrementer(int step)
       {
           incrementer incr = i => (i + step); // closes local variable step
           return incr;
       }
       static void Main(string[] args)
       {
           incrementer by5 = createIncrementer(5);
           Console.WriteLine(by5(10));
       }
   }
}

We can see the createIncrementer creates a delegates and closes the local variable step.

Python

Python supports Closure as well as Lambda expressions. Below example shows how Closure is created in Python. 

def createIncrementer(step):
  def incr(x):
     return step + x # x is closed by incr
  return incr

step5 = createIncrementer(5)
puts step5(20) # returns 25

The above code will print 25. The inner function incr doesn't need to provided with the value step. The inner function can reference the variables of the outer function and hence it will close the local value step.

The disadvantage is the inner functions needs to defined inside the outer function and closures does not work if we simply pass a function object.

Python supports Lambda expressions too. Lambda expression is created using the lambda keyword. This keyword is used to create anonymous functions(unnamed functions).This could be used wherever function objects are required.

Syntax: lambda [lambda expression name]: [expression]

An Example: 

squarer = lambda x: x*x
squarer(10) # returns 100

The disadvantage is they are syntactically restricted to a single expression.

As a side note functions in python contains an attribute called func_closure.This contains either None (i.e similar to null) or tuple of cells(i.e similar to list but cannot be modified) that contains bindings for the function's free variables.

Scala

Let us see how closure works in scala using an example.Before that List.map creates a new list but after applying the function. 

scala> List(1,2,3,4,5).map{i => i * 2} returns a new list (2,4,6,8,10).

Let see how it is used with closure example. 

val incrementor = 10
val adder = (i:Int) => i + incrementor
val mylist1 = List(1,2,3,4,5) map adder
println(mylist1)
val incrementor = 20
val mylist2 = List(1,2,3,4,5) map adder
println(mylist2)

This prints 11,12,13,14,15 and 21,22,23,24,25 respectively.

Here we have incrementor value and then we create an anonymous function and assigned it to variable called adder.Then we use map to apply the adder to each of the value in the list.After changing the incrementor value we apply the map again to the list.

When comes to i, this variable is used with a new value each time whenever adder is used.But incrementor is a reference to the variable in the enclosing scope.This would create a closure which closes over adder and the external context of variables adder references.Hence whenever incrementor is changed the adder behaviour is also changed.

Differences in Closure

As highlighted before, different languages use different construct and different rules for Closure. Some of most commonly seen differences are highlighted below:

  • In some languages Closure closes the reference to the variable, where as in some languages Closure just closes the variable value.

For example: Python and Javascript closures closes the reference to the variables, where as Perl closes the variable value. The following example illustrates this with more detail: Python: 

squarers = []
for i in xrange(3):
    def func(x): return i*i
    squarers.append(func)

for squarer in squarers :
    print squarer()

Output is: 4 4 4

Perl: 

my @squarers = ();

foreach my $i (0 .. 2)
{
    push(@squarers, sub {$i * $i});
}

foreach my $squarer (@squarers)
{
    print $squarer->();
}

Output is: 0 1 4

  • Different languages differ in the way return statements are executed. Some languages consider Closure call as a function call and return statement will return to the place where Closure is called, but in some other languagues Closure call is similar to inline function call and return statement will return from the outer function which called the Closure.

Conclusion

Different languages support Closures and some of the popular languages don't support Closures. Below table summarizes the syntax of Closure for some of the languages, we discussed.

Language

Closure Syntax

Comments

Ruby 

name = "Foo"
hello = Proc.new {
      puts "Hello!, #{name}\n"
}
hello.call

Closure is achieved in Ruby through Procs, Blocks and Lambdas.

Perl 

my $name = "Foo"
my $hello = sub {
	print "Hello!, $name";
}
$hello->();

Perl supports closure through anonymous functions. Perl does not have lambda expression built-in to the language, but lambda expressions can be emulated using anonymous functions or external libraries.

Javascript 

name = "Foo"
hello = function() {
	print "Hello!, " + name;
}
hello();

Like Perl, Javascript supports Closure through unnamed functions. Javascript does not have lambda expression.

C# 

delegate string sayhello();
name = "Foo";
sayhello hello = ()=>("Hello!, " + name);
Console.WriteLine(hello());

Compared to the other languages, C# provides Closure using Delegates. But C# does have a functional programming capability using lambda expressions. A language called F#, a fork of C#, is infact a fully functional programming language.

Python 

name = "Foo"
sayHello = lambda : "Hello!, " + name
sayHello()

Like Ruby, Python too has extensive support for Closures. Python supports Lambda expressions too.

Scala 

var name = "world"
def sayHello() = { println ("Hello" + name)};
sayHello()

The functional programming like Scala supports Closures very well.

C

C Does not have Closures

Closures are more difficult to implement in machine compiled languagues, than in interpreted languages. There are some C compiler which supports Closures in C, but nothing is standardized yet.

C++

C++ does not have Closures

Closures are more difficult to implement in machine compiled languagues.

Java

Java does not have Closures. But a JSR exists, so we might have it in the future.

Java 7 might implement Closure or a form of Closure.

We explored little bit about what Closure is and how to do it in different programming languages. We discussed Closure in Ruby to a greater extent. Closure is a nice feature which makes the code more readable and less verbose.

Further Reading

References

Retrieved from "https://wiki.expertiza.ncsu.edu/index.php?title=CSC/ECE_517_Fall_2010/ch1_1b_mg&oldid=35164"