学习procs

结论

感觉数学含义上明白了,但是关于数据的类型的理解还需要再加深(比刚才懵懂的感觉好多了)。
a = [1, 2, 3 ,4]
c = a.map{|x| (lambda {|y| y > x})} #其中map是形成size(a)个instance of Proc class
c[2].call 3 #这个大概的意思是说,令x = a[2], y=3, 然后运算y > x
c.count{|x| x.call 5} #这个比较明确

first-class expression具有哪些特性呢?

  1. 它可以作为函数(或者方法)的返回值。
  2. 它可以存储在对象中,并且可以像普通的对象(如numbers、string)进行传参,也可以放置在任何表达式可以放置的地方。

What is Procs?

procs简单的说,是blocks的加强版(它具有对象的属性)。其中blocks是通过yield方法来调用的。但对于blocks而言,它无法返回,无法存储在对象中,也无法将其放置在array等容器中。So blocks are second(not first)。But Instances of Proc class are first class.

How to use Procs?

有很多的方法来产生Proc对象,但我们这节课只会讲一个,即通过lambda + blocks的方法。

code examples

a = [3, 5, 7, 9]
b = a.map{|x| x + 1}
i = a.count{|x| x > 3}

如果我们要创建an array of closures(I want an array where the ith position is a little function.)

a = [3, 5, 7, 9]
c = a.map{|x| (lambda {|y| y>=x})}
c[2].call(4)
c.count{|x| x.call(5)}

Moral

  1. First-class makes closures more powerful than blocks.
  2. But blocks are more convenient and cover most uses.
  3. This help us understand what first-class means
  4. Language design question:When is convenience worth making something less general and powerful?

推荐阅读更多精彩内容