Carlos Alonso Pérez, profile picture
Uploaded byCarlos Alonso Pérez
365 views

Ruby closures, how are they possible?

The document discusses Ruby closures, illustrating how blocks keep references to variables from their lexical scope rather than the execution context. It explains concepts like lambda expressions, local variables, and error handling when trying to access variables not in scope. The document includes several code examples to showcase these concepts in action within Ruby's execution model.

Embed presentation

Download to read offline
1 / 115
2 / 115
3 / 115
4 / 115
5 / 115
6 / 115
7 / 115
8 / 115
9 / 115
10 / 115
11 / 115
12 / 115
13 / 115
14 / 115
15 / 115
16 / 115
17 / 115
18 / 115
19 / 115
20 / 115
21 / 115
22 / 115
23 / 115
24 / 115
25 / 115
26 / 115
27 / 115
28 / 115
29 / 115
30 / 115
31 / 115
32 / 115
33 / 115
34 / 115
35 / 115
36 / 115
37 / 115
38 / 115
39 / 115
40 / 115
41 / 115
42 / 115
43 / 115
44 / 115
45 / 115
46 / 115
47 / 115
48 / 115
49 / 115
50 / 115
51 / 115
52 / 115
53 / 115
54 / 115
55 / 115
56 / 115
57 / 115
58 / 115
59 / 115
60 / 115
61 / 115
62 / 115
63 / 115
64 / 115
65 / 115
66 / 115
67 / 115
68 / 115
69 / 115
70 / 115
71 / 115
72 / 115
73 / 115
74 / 115
75 / 115
76 / 115
77 / 115
78 / 115
79 / 115
80 / 115
81 / 115
82 / 115
83 / 115
84 / 115
85 / 115
86 / 115
87 / 115
88 / 115
89 / 115
90 / 115
91 / 115
92 / 115
93 / 115
94 / 115
95 / 115
96 / 115
97 / 115
98 / 115
99 / 115
100 / 115
101 / 115
102 / 115
103 / 115
104 / 115
105 / 115
106 / 115
107 / 115
108 / 115
109 / 115
110 / 115
111 / 115
112 / 115
113 / 115
114 / 115
115 / 115
Ruby closures How are they possible? Carlos Alonso Software Engineer @calonso
A story about curiosity…
I am curious
def greet str = “hello” lambda do puts str end end f = greet f.call # => hello
def greet str = “hello” lambda do puts str end end f = greet f.call # => hello
def greet str = “hello” lambda do puts str end end f = greet f.call # => hello This talk!
Some examples…
a = 1 def sum a + 1 end sum
a = 1 def sum a + 1 end sum NameError: Undefined `a’
def run_block yield end a = 1 run_block { a + 1 }
def run_block yield end a = 1 run_block { a + 1 } 2
def run_block a = 1 yield end run_block { a + 1 }
def run_block a = 1 yield end run_block { a + 1 } NameError: Undefined `a’
def run_block a = 100 yield end a = 1 run_block { a + 1 }
def run_block a = 100 yield end a = 1 run_block { a + 1 } 2
a = 1 sum = lambda do a + 1 end a = 2 sum.call
a = 1 sum = lambda do a + 1 end a = 2 sum.call 3
What is a closure? A lambda expression + an environment to run it
Blocks refer to variables declared in the scope where they were defined, not where they are executed. Lexical scope
Ruby uses lexical scope. Let’s see this scopes!!
a = 1 def sum a + 1 end sum
a = 1 def sum a + 1 end sum top-level a = 1 sum = …
a = 1 def sum a + 1 end sum top-level a = 1 sum = … sum a??
a = 1 def sum a + 1 end sum top-level a = 1 sum = … sum a?? NameError: Undefined `a’
def run_block(&block) yield end a = 1 run_block { a + 1 }
def run_block(&block) yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1
def run_block(&block) yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1 run_block block
def run_block(&block) yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1 in-block a run_block block
def run_block(&block) yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1 in-block a run_block block 2
def run_block(&block) a = 1 yield end run_block { a + 1 }
def run_block(&block) a = 1 yield end run_block { a + 1 } top-level run_block = …
def run_block(&block) a = 1 yield end run_block { a + 1 } top-level run_block = … run_block a = 1 block
def run_block(&block) a = 1 yield end run_block { a + 1 } top-level run_block = … in-block a?? run_block a = 1 block
def run_block(&block) a = 1 yield end run_block { a + 1 } top-level run_block = … in-block a?? run_block a = 1 block NameError: Undefined `a’
def run_block(&block) a = 100 yield end a = 1 run_block { a + 1 }
def run_block(&block) a = 100 yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1
def run_block(&block) a = 100 yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1 run_block a = 100 block
def run_block(&block) a = 100 yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1 in-block a run_block a = 100 block
def run_block(&block) a = 100 yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1 in-block a run_block a = 100 block 2
a = 1 sum = lambda do a + 1 end a = 2 sum.call
a = 1 sum = lambda do a + 1 end a = 2 sum.call top-level a = 2 sum…
a = 1 sum = lambda do a + 1 end a = 2 sum.call top-level a = 2 sum… in-lambda a
a = 1 sum = lambda do a + 1 end a = 2 sum.call top-level a = 2 sum… in-lambda a 3
Cool!! The lexical scope explains the examples
Cool!! The lexical scope explains the examples But… how exactly??
Ok, let’s start from scratch. How does Ruby executes programs?
0002 putself 0003 putobject 2 0005 putobject 2 0007 opt_plus 0009 opt_send_simple puts 0011 leave 2 rb_control_frame_t pc sp self type YARV internal stack [TOP LEVEL] self 2 YARV Control structures stack YARV Instructions CFP
https://github.com/ruby/ruby/blob/trunk/vm_core.h
== disasm: <RubyVM::InstructionSequence:<compiled>@<compiled>>========== 0000 trace 1 ( 1) 0002 putspecialobject 1 0004 putspecialobject 2 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple <callinfo!mid:core#define_method, argc:3, ARGS_SKIP> 0012 pop 0013 trace 1 ( 4) 0015 putself 0016 opt_send_simple <callinfo!mid:greet, argc:0, FCALL|VCALL|ARGS_SKIP> 0018 leave == disasm: <RubyVM::InstructionSequence:greet@<compiled>>=============== 0000 trace 8 ( 1) 0002 trace 1 ( 2) 0004 putself 0005 putstring "hello" 0007 opt_send_simple <callinfo!mid:puts, argc:1, FCALL|ARGS_SKIP> 0009 trace 16 ( 3) 0011 leave ( 2) def greet puts “hello” end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] def greet puts “hello” end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet def greet puts “hello” end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet greet def greet puts “hello” end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet greet def greet puts “hello” end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet def greet puts “hello” end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self def greet puts “hello” end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self rb_control_frame_t pc sp self type [METHOD] 0004 putself 0005 putstring "hello" 0007 opt_send_simple puts 0011 leave svar/cref special def greet puts “hello” end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self self rb_control_frame_t pc sp self type [METHOD] 0004 putself 0005 putstring "hello" 0007 opt_send_simple puts 0011 leave svar/cref special def greet puts “hello” end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self self rb_control_frame_t pc sp self type [METHOD] 0004 putself 0005 putstring "hello" 0007 opt_send_simple puts 0011 leave svar/cref special “hello” def greet puts “hello” end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self self rb_control_frame_t pc sp self type [METHOD] 0004 putself 0005 putstring "hello" 0007 opt_send_simple puts 0011 leave svar/cref special $ “hello” def greet puts “hello” end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self def greet puts “hello” end greet
Ok cool, what if the method has local variables?
== disasm: <RubyVM::InstructionSequence:<compiled>@<compiled>>========== 0000 trace 1 ( 1) 0002 putspecialobject 1 0004 putspecialobject 2 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple <callinfo!mid:core#define_method, argc:3, ARGS_SKIP> 0012 pop 0013 trace 1 ( 5) 0015 putself 0016 opt_send_simple <callinfo!mid:greet, argc:0, FCALL|VCALL|ARGS_SKIP> 0018 leave == disasm: <RubyVM::InstructionSequence:greet@<compiled>>=============== local table (size: 2, argc: 0 [opts: 0, rest: -1, post: 0, block: -1, keyword: 0@3] s1) [ 2] str 0000 trace 8 ( 1) 0002 trace 1 ( 2) 0004 putstring "hello" 0006 setlocal_OP__WC__0 2 0008 trace 1 ( 3) 0010 putself 0011 getlocal_OP__WC__0 2 0013 opt_send_simple <callinfo!mid:puts, argc:1, FCALL|ARGS_SKIP> 0015 trace 16 ( 4) 0017 leave( 3) def greet str = “hello” puts str end greet
local table (size: 2, argc: 0 [opts: 0, rest: -1, post: 0, block: -1, keyword: 0@3] s1) [ 2] str The local table
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self def greet str = “hello” puts str end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave str svar/cref ep def greet str = “hello” puts str end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref “hello” ep 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave def greet str = “hello” puts str end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave def greet str = “hello” puts str end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep self “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave def greet str = “hello” puts str end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep self “hello” “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave def greet str = “hello” puts str end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep “hello” $ “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave def greet str = “hello” puts str end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self $ “hello” def greet str = “hello” puts str end greet
Got it, but what about blocks accessing variables on lexical scope?
……… == disasm: <RubyVM::InstructionSequence:greet@<compiled>>=============== == catch table | catch type: break st: 0010 ed: 0014 sp: 0000 cont: 0014 |------------------------------------------------------------------------ local table (size: 2, argc: 0 [opts: 0, rest: -1, post: 0, block: -1, keyword: 0@3] s1) [ 2] str 0000 trace 8 ( 1) 0002 trace 1 ( 2) 0004 putstring "hello" 0006 setlocal_OP__WC__0 2 0008 trace 1 ( 3) 0010 putobject 3 0012 send <callinfo!mid:times, argc:0, block:block in greet> 0014 trace 16 ( 6) 0016 leave ( 3) == disasm: <RubyVM::InstructionSequence:block in greet@<compiled>>====== == catch table | catch type: redo st: 0002 ed: 0009 sp: 0000 cont: 0002 | catch type: next st: 0002 ed: 0009 sp: 0000 cont: 0009 |------------------------------------------------------------------------ 0000 trace 256 ( 3) 0002 trace 1 ( 4) 0004 putself 0005 getlocal_OP__WC__1 2 0007 opt_send_simple <callinfo!mid:puts, argc:1, FCALL|ARGS_SKIP> 0009 trace 512 ( 5) 0011 leave ( 4) def greet str = “hello” 3.times do puts str end end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self def greet str = “hello” 3.times do puts str end end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep def greet str = “hello” 3.times do puts str end end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref “hello” ep 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave def greet str = “hello” 3.times do puts str end end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave def greet str = “hello” 3.times do puts str end end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep 3 “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave def greet str = “hello” 3.times do puts str end end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” rb_block_t iseq ep … 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave def greet str = “hello” 3.times do puts str end end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” svar/cref special rb_block_t iseq ep … rb_control_frame_t pc sp [METHOD] ep times… 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave def greet str = “hello” 3.times do puts str end end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” svar/cref special svar/cref rb_block_t iseq ep … rb_control_frame_t pc sp [METHOD] ep times… rb_con… pc sp [BLOCK] ep special 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave def greet str = “hello” 3.times do puts str end end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” svar/cref special svar/cref rb_block_t iseq ep … rb_control_frame_t pc sp [METHOD] ep times… rb_con… pc sp [BLOCK] ep special self 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave def greet str = “hello” 3.times do puts str end end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” svar/cref special svar/cref rb_block_t iseq ep … rb_control_frame_t pc sp [METHOD] ep times… rb_con… pc sp [BLOCK] ep 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave special self “hello” def greet str = “hello” 3.times do puts str end end greet
0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” svar/cref special svar/cref rb_block_t iseq ep … rb_control_frame_t pc sp [METHOD] ep times… rb_con… pc sp [BLOCK] ep 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave special self $ “hello” def greet str = “hello” 3.times do puts str end end greet
https://github.com/ruby/ruby/blob/trunk/vm_core.h
And what if that scope doesn’t exist anymore?
The heap and rb_proc_t to the rescue! o/
Stack vs Heap :greet self str “hello” RString
== disasm: <RubyVM::InstructionSequence:<compiled>@<compiled>>========== local table (size: 2, argc: 0 [opts: 0, rest: -1, post: 0, block: -1, keyword: 0@3] s1) [ 2] f 0002 putspecialobject 1 0004 putspecialobject 2 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple <callinfo!mid:core#define_method, argc:3, ARGS_SKIP> 0012 pop 0015 putself 0016 opt_send_simple <callinfo!mid:greet, argc:0, FCALL|VCALL|ARGS_SKIP> 0018 setlocal_OP__WC__0 2 0022 getlocal_OP__WC__0 2 0024 opt_send_simple <callinfo!mid:call, argc:0, ARGS_SKIP> 0026 leave == disasm: <RubyVM::InstructionSequence:greet@<compiled>>=============== == catch table | catch type: break st: 0010 ed: 0013 sp: 0000 cont: 0013 |------------------------------------------------------------------------ local table (size: 2, argc: 0 [opts: 0, rest: -1, post: 0, block: -1, keyword: 0@3] s1) [ 2] str 0004 putstring "hello" 0006 setlocal_OP__WC__0 2 0010 putself 0011 send <callinfo!mid:lambda, argc:0, block:block in greet, FCALL> 0015 leave ( 3) == disasm: <RubyVM::InstructionSequence:block in greet@<compiled>>====== == catch table | catch type: redo st: 0002 ed: 0009 sp: 0000 cont: 0002 | catch type: next st: 0002 ed: 0009 sp: 0000 cont: 0009 |------------------------------------------------------------------------ 0004 putself 0005 getlocal_OP__WC__1 2 0007 opt_send_simple <callinfo!mid:puts, argc:1, FCALL|ARGS_SKIP> 0011 leave def greet str = “hello” lambda do puts str end end f = greet f.call
def greet str = “hello” lambda do puts str end end f = greet f.call [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self
[ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call rb_control_frame_t pc sp [TOP LEVEL] ep rb_control_frame_t pc sp [METHOD] ep f svar/cref special :greet self str svar/cref special
[ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call rb_control_frame_t pc sp [TOP LEVEL] ep rb_control_frame_t pc sp [METHOD] ep f svar/cref special :greet self str svar/cref special “hello”
[ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” rb_control_frame_t pc sp [TOP LEVEL] ep rb_control_frame_t pc sp [METHOD] ep f svar/cref special :greet self str svar/cref special
[ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” rb_control_frame_t pc sp [TOP LEVEL] ep rb_control_frame_t pc sp [METHOD] ep f svar/cref special :greet self str svar/cref special self
rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str rb_control_frame_t pc sp [METHOD] epsvar/cref special self lambda [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” str svar/cref special self “hello”
rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str rb_control_frame_t pc sp [METHOD] epsvar/cref special self lambda [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” str svar/cref special self “hello”
rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str rb_control_frame_t pc sp [METHOD] epsvar/cref special self lambda rb_proc_t rb_block_t EP [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” str svar/cref special self “hello”
rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str rb_control_frame_t pc sp [METHOD] epsvar/cref special self lambda rb_proc_t rb_block_t EP [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” str svar/cref special self “hello”
rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str rb_control_frame_t pc sp [METHOD] epsvar/cref special self lambda rb_proc_t rb_block_t EP [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” str svar/cref special self “hello”
rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self lambda str svar/cref special selfrb_proc_t rb_block_t EP [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str svar/cref special selfrb_proc_t rb_block_t EP [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self lambda str svar/cref special selfrb_proc_t rb_block_t EP [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self lambda str svar/cref special selfrb_proc_t rb_block_t EP svar/cref rb_control_frame_t pc sp [BLOCK] ep 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave special [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self lambda str svar/cref special selfrb_proc_t rb_block_t EP svar/cref rb_control_frame_t pc sp [BLOCK] ep special self 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self lambda str svar/cref special selfrb_proc_t rb_block_t EP svar/cref rb_control_frame_t pc sp [BLOCK] ep special self “hello” 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
$ “hello”
https://github.com/ruby/ruby/blob/trunk/vm_core.h
Acknowledgements Pat Shaughnessy
Questions?
Thanks! Carlos Alonso Software Engineer @calonso

More Related Content

PDF
Essentials and Impactful Features of ES6
byRiza Fahmi
 
PDF
async/await Revisited
byRiza Fahmi
 
PDF
Parse Everything With Elixir
byGabriele Lana
 
PDF
The Magic Of Elixir
byGabriele Lana
 
PDF
ClojurianからみたElixir
byKent Ohashi
 
PDF
Top 10 php classic traps DPC 2020
byDamien Seguy
 
PDF
Top 10 php classic traps confoo
byDamien Seguy
 
KEY
循環参照のはなし
byMasahiro Honma
 
Essentials and Impactful Features of ES6
byRiza Fahmi
 
async/await Revisited
byRiza Fahmi
 
Parse Everything With Elixir
byGabriele Lana
 
The Magic Of Elixir
byGabriele Lana
 
ClojurianからみたElixir
byKent Ohashi
 
Top 10 php classic traps DPC 2020
byDamien Seguy
 
Top 10 php classic traps confoo
byDamien Seguy
 
循環参照のはなし
byMasahiro Honma
 

What's hot

KEY
Building Better Applications with Data::Manager
byJay Shirley
 
PDF
I, For One, Welcome Our New Perl6 Overlords
byheumann
 
PDF
Perl 6 by example
byAndrew Shitov
 
PDF
R57shell
byady36
 
ODP
PHP 5.4
byFederico Damián Lozada Mosto
 
KEY
Good Evils In Perl (Yapc Asia)
byKang-min Liu
 
KEY
Meck
byAdam Lindberg
 
KEY
10 Catalyst Tips
byJay Shirley
 
DOCX
Tugas praktikukm pemrograman c++
byDendi Riadi
 
PDF
Investigating Python Wats
byAmy Hanlon
 
PDF
Gabriele Lana - The Magic of Elixir
byCodemotion
 
PDF
Melhorando sua API com DSLs
byAugusto Pascutti
 
PDF
The Ring programming language version 1.8 book - Part 96 of 202
byMahmoud Samir Fayed
 
PDF
[KOSSA] C++ Programming - 17th Study - STL #3
bySeok-joon Yun
 
PDF
Aprenda Elixir em um final de semana
byMarcos Brizeno
 
PDF
[PL] Jak nie zostać "programistą" PHP?
byRadek Benkel
 
PPT
Cpp c++ 1
bySltnalt Cosmology
 
PDF
PofEAA and SQLAlchemy
byInada Naoki
 
DOC
Useful c programs
byMD SHAH FAHAD
 
PDF
Mdp plus 2.1
byboedax
 
Building Better Applications with Data::Manager
byJay Shirley
 
I, For One, Welcome Our New Perl6 Overlords
byheumann
 
Perl 6 by example
byAndrew Shitov
 
R57shell
byady36
 
PHP 5.4
byFederico Damián Lozada Mosto
 
Good Evils In Perl (Yapc Asia)
byKang-min Liu
 
Meck
byAdam Lindberg
 
10 Catalyst Tips
byJay Shirley
 
Tugas praktikukm pemrograman c++
byDendi Riadi
 
Investigating Python Wats
byAmy Hanlon
 
Gabriele Lana - The Magic of Elixir
byCodemotion
 
Melhorando sua API com DSLs
byAugusto Pascutti
 
The Ring programming language version 1.8 book - Part 96 of 202
byMahmoud Samir Fayed
 
[KOSSA] C++ Programming - 17th Study - STL #3
bySeok-joon Yun
 
Aprenda Elixir em um final de semana
byMarcos Brizeno
 
[PL] Jak nie zostać "programistą" PHP?
byRadek Benkel
 
Cpp c++ 1
bySltnalt Cosmology
 
PofEAA and SQLAlchemy
byInada Naoki
 
Useful c programs
byMD SHAH FAHAD
 
Mdp plus 2.1
byboedax
 

Viewers also liked

PDF
Html5
byCarlos Alonso Pérez
 
PDF
Enumerados Server
byCarlos Alonso Pérez
 
PDF
Aplicaciones móviles - HTML5
byCarlos Alonso Pérez
 
PDF
Construyendo y publicando nuestra primera app multi plataforma (II)
byCarlos Alonso Pérez
 
PDF
Construyendo y publicando nuestra primera app multiplataforma
byCarlos Alonso Pérez
 
PPTX
Swift and the BigData
byCarlos Alonso Pérez
 
PDF
Javascript - 2014
byCarlos Alonso Pérez
 
PDF
iOS Notifications
byCarlos Alonso Pérez
 
PDF
Javascript
byCarlos Alonso Pérez
 
PDF
Cassandra for impatients
byCarlos Alonso Pérez
 
PDF
Scalable data modelling by example - Cassandra Summit '16
byCarlos Alonso Pérez
 
PDF
iCloud
byCarlos Alonso Pérez
 
PDF
Case Study: Troubleshooting Cassandra performance issues as a developer
byCarlos Alonso Pérez
 
PDF
Programacion web
byCarlos Alonso Pérez
 
PDF
Cassandra Workshop - Cassandra from scratch in one day
byCarlos Alonso Pérez
 
PDF
Sensors (Accelerometer, Magnetometer, Gyroscope, Proximity and Luminosity)
byCarlos Alonso Pérez
 
Html5
byCarlos Alonso Pérez
 
Enumerados Server
byCarlos Alonso Pérez
 
Aplicaciones móviles - HTML5
byCarlos Alonso Pérez
 
Construyendo y publicando nuestra primera app multi plataforma (II)
byCarlos Alonso Pérez
 
Construyendo y publicando nuestra primera app multiplataforma
byCarlos Alonso Pérez
 
Swift and the BigData
byCarlos Alonso Pérez
 
Javascript - 2014
byCarlos Alonso Pérez
 
iOS Notifications
byCarlos Alonso Pérez
 
Javascript
byCarlos Alonso Pérez
 
Cassandra for impatients
byCarlos Alonso Pérez
 
Scalable data modelling by example - Cassandra Summit '16
byCarlos Alonso Pérez
 
iCloud
byCarlos Alonso Pérez
 
Case Study: Troubleshooting Cassandra performance issues as a developer
byCarlos Alonso Pérez
 
Programacion web
byCarlos Alonso Pérez
 
Cassandra Workshop - Cassandra from scratch in one day
byCarlos Alonso Pérez
 
Sensors (Accelerometer, Magnetometer, Gyroscope, Proximity and Luminosity)
byCarlos Alonso Pérez
 

Similar to Ruby closures, how are they possible?

KEY
Learn Ruby 2011 - Session 5 - Looking for a Rescue
byJames Thompson
 
PDF
Message in a bottle
byKonstantin Haase
 
PPT
Advanced Ruby
byalkeshv
 
KEY
Ruby
byKerry Buckley
 
PDF
Hijacking Ruby Syntax in Ruby (RubyConf 2018)
bySATOSHI TAGOMORI
 
PDF
A limited guide to intermediate and advanced Ruby
byVysakh Sreenivasan
 
PDF
Hijacking Ruby Syntax in Ruby
bySATOSHI TAGOMORI
 
PDF
Blocks and loops.pptx
bysandeep kumar
 
PDF
Callable and runnable objects in ruby
byRahul Bajaj
 
PDF
Ruby19 osdc-090418222718-phpapp02
byApoorvi Kapoor
 
PDF
JRuby 9000 - Optimizing Above the JVM
byCharles Nutter
 
PPTX
Grow and Shrink - Dynamically Extending the Ruby VM Stack
byKeitaSugiyama1
 
PPTX
7 Methods and Functional Programming
byDeepak Hagadur Bheemaraju
 
PDF
block
byMa Xuebin
 
ODP
Ruby Basics by Rafiq
byRafiqdeen
 
ODP
What I Love About Ruby
byKeith Bennett
 
PPTX
Ruby from zero to hero
byDiego Lemos
 
PDF
Ruby : Block, Proc and, lambda
byMatthieuSegret
 
PDF
Ruby_Basic
byKushal Jangid
 
PDF
Ruby Intro {spection}
byChristian KAKESA
 
Learn Ruby 2011 - Session 5 - Looking for a Rescue
byJames Thompson
 
Message in a bottle
byKonstantin Haase
 
Advanced Ruby
byalkeshv
 
Ruby
byKerry Buckley
 
Hijacking Ruby Syntax in Ruby (RubyConf 2018)
bySATOSHI TAGOMORI
 
A limited guide to intermediate and advanced Ruby
byVysakh Sreenivasan
 
Hijacking Ruby Syntax in Ruby
bySATOSHI TAGOMORI
 
Blocks and loops.pptx
bysandeep kumar
 
Callable and runnable objects in ruby
byRahul Bajaj
 
Ruby19 osdc-090418222718-phpapp02
byApoorvi Kapoor
 
JRuby 9000 - Optimizing Above the JVM
byCharles Nutter
 
Grow and Shrink - Dynamically Extending the Ruby VM Stack
byKeitaSugiyama1
 
7 Methods and Functional Programming
byDeepak Hagadur Bheemaraju
 
block
byMa Xuebin
 
Ruby Basics by Rafiq
byRafiqdeen
 
What I Love About Ruby
byKeith Bennett
 
Ruby from zero to hero
byDiego Lemos
 
Ruby : Block, Proc and, lambda
byMatthieuSegret
 
Ruby_Basic
byKushal Jangid
 
Ruby Intro {spection}
byChristian KAKESA
 

Recently uploaded

PPTX
Batch-1(End Semester) Student Of Shree Durga Tech. PPT.pptx
byrashesw1122s
 
PPTX
Designing Work for Humans, Not Machines: Human-Centered Maintenance Excellence
byMaintWiz Technologies Private Limited
 
PDF
Rajesh Prasad- Brief Profile with educational, professional highlights
byRajesh Prasad
 
PPT
Oracle Advanced subquery and types of subquery
bytejaswinikulkarni549
 
PDF
DAA Lab Manual ssit -kavya r.pdf or Digital Design and Analysis of Algorithm ...
bykavya R
 
PPTX
Presentation-WPS Office.pptx afgouvhyhgfccf
byEndaleTimerga
 
PDF
Soil Compressibility (Elastic Settlement).pdf
byMahmoodKhalid11
 
PDF
NS unit wise unit wise 1 -5 so prepare,.
bykumaransudhan1512
 
PDF
Computer Graphics Fundamentals (v0p1) - DannyJiang
byDanny Jiang
 
PDF
AWS Re:Invent 2025 Recap by FivexL - Guilherme, Vladimir, Andrey
byAndrey Devyatkin
 
PPTX
Value engineering and cost analysis with case study
byhp9879098082
 
PPTX
Why Most SAP PM Implementations Fail — And How High-Reliability Plants Fix It
byMaintWiz Technologies Private Limited
 
PDF
Unit-I Process Management 1.9 Scheduling Criteria, Scheduling Algorithms
bySanjay Gunjal
 
PDF
Role of Training and Development in Enhancing Safety Performance in Opencast ...
byRathin Biswas
 
PDF
Weak Incentives (WINK): The Agent Definition Layer
byAndrei Savu
 
PDF
(en/zhTW) Heterogeneous System Architecture: Design & Performance
byDanny Jiang
 
PDF
Shear Strength of Soil/Mohr Coulomb Failure Criteria-1.pdf
byMahmoodKhalid11
 
PDF
Module 4 python programming-1BPLCK105B-2025 by Dr.SV.pdf
bySURESHA V
 
PDF
Basics of Electronics Task by Vivaan Jo Varghese.pdf
byVivaan Jo Varghese
 
PDF
Computer Network Lab Manual ssit -kavya r.pdf or Computer Network Lab Manual ...
bykavya R
 
Batch-1(End Semester) Student Of Shree Durga Tech. PPT.pptx
byrashesw1122s
 
Designing Work for Humans, Not Machines: Human-Centered Maintenance Excellence
byMaintWiz Technologies Private Limited
 
Rajesh Prasad- Brief Profile with educational, professional highlights
byRajesh Prasad
 
Oracle Advanced subquery and types of subquery
bytejaswinikulkarni549
 
DAA Lab Manual ssit -kavya r.pdf or Digital Design and Analysis of Algorithm ...
bykavya R
 
Presentation-WPS Office.pptx afgouvhyhgfccf
byEndaleTimerga
 
Soil Compressibility (Elastic Settlement).pdf
byMahmoodKhalid11
 
NS unit wise unit wise 1 -5 so prepare,.
bykumaransudhan1512
 
Computer Graphics Fundamentals (v0p1) - DannyJiang
byDanny Jiang
 
AWS Re:Invent 2025 Recap by FivexL - Guilherme, Vladimir, Andrey
byAndrey Devyatkin
 
Value engineering and cost analysis with case study
byhp9879098082
 
Why Most SAP PM Implementations Fail — And How High-Reliability Plants Fix It
byMaintWiz Technologies Private Limited
 
Unit-I Process Management 1.9 Scheduling Criteria, Scheduling Algorithms
bySanjay Gunjal
 
Role of Training and Development in Enhancing Safety Performance in Opencast ...
byRathin Biswas
 
Weak Incentives (WINK): The Agent Definition Layer
byAndrei Savu
 
(en/zhTW) Heterogeneous System Architecture: Design & Performance
byDanny Jiang
 
Shear Strength of Soil/Mohr Coulomb Failure Criteria-1.pdf
byMahmoodKhalid11
 
Module 4 python programming-1BPLCK105B-2025 by Dr.SV.pdf
bySURESHA V
 
Basics of Electronics Task by Vivaan Jo Varghese.pdf
byVivaan Jo Varghese
 
Computer Network Lab Manual ssit -kavya r.pdf or Computer Network Lab Manual ...
bykavya R
 

Ruby closures, how are they possible?

  • 1.
    Ruby closures How arethey possible? Carlos Alonso Software Engineer @calonso
  • 2.
    A story aboutcuriosity…
  • 3.
  • 7.
    def greet str =“hello” lambda do puts str end end f = greet f.call # => hello
  • 8.
    def greet str =“hello” lambda do puts str end end f = greet f.call # => hello
  • 9.
    def greet str =“hello” lambda do puts str end end f = greet f.call # => hello This talk!
  • 10.
  • 11.
    a = 1 defsum a + 1 end sum
  • 12.
    a = 1 defsum a + 1 end sum NameError: Undefined `a’
  • 13.
    def run_block yield end a =1 run_block { a + 1 }
  • 14.
    def run_block yield end a =1 run_block { a + 1 } 2
  • 15.
    def run_block a =1 yield end run_block { a + 1 }
  • 16.
    def run_block a =1 yield end run_block { a + 1 } NameError: Undefined `a’
  • 17.
    def run_block a =100 yield end a = 1 run_block { a + 1 }
  • 18.
    def run_block a =100 yield end a = 1 run_block { a + 1 } 2
  • 19.
    a = 1 sum= lambda do a + 1 end a = 2 sum.call
  • 20.
    a = 1 sum= lambda do a + 1 end a = 2 sum.call 3
  • 22.
    What is aclosure? A lambda expression + an environment to run it
  • 23.
    Blocks refer tovariables declared in the scope where they were defined, not where they are executed. Lexical scope
  • 24.
    Ruby uses lexicalscope. Let’s see this scopes!!
  • 25.
    a = 1 defsum a + 1 end sum
  • 26.
    a = 1 defsum a + 1 end sum top-level a = 1 sum = …
  • 27.
    a = 1 defsum a + 1 end sum top-level a = 1 sum = … sum a??
  • 28.
    a = 1 defsum a + 1 end sum top-level a = 1 sum = … sum a?? NameError: Undefined `a’
  • 29.
  • 30.
    def run_block(&block) yield end a =1 run_block { a + 1 } top-level run_block = … a = 1
  • 31.
    def run_block(&block) yield end a =1 run_block { a + 1 } top-level run_block = … a = 1 run_block block
  • 32.
    def run_block(&block) yield end a =1 run_block { a + 1 } top-level run_block = … a = 1 in-block a run_block block
  • 33.
    def run_block(&block) yield end a =1 run_block { a + 1 } top-level run_block = … a = 1 in-block a run_block block 2
  • 34.
    def run_block(&block) a =1 yield end run_block { a + 1 }
  • 35.
    def run_block(&block) a =1 yield end run_block { a + 1 } top-level run_block = …
  • 36.
    def run_block(&block) a =1 yield end run_block { a + 1 } top-level run_block = … run_block a = 1 block
  • 37.
    def run_block(&block) a =1 yield end run_block { a + 1 } top-level run_block = … in-block a?? run_block a = 1 block
  • 38.
    def run_block(&block) a =1 yield end run_block { a + 1 } top-level run_block = … in-block a?? run_block a = 1 block NameError: Undefined `a’
  • 39.
    def run_block(&block) a =100 yield end a = 1 run_block { a + 1 }
  • 40.
    def run_block(&block) a =100 yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1
  • 41.
    def run_block(&block) a =100 yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1 run_block a = 100 block
  • 42.
    def run_block(&block) a =100 yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1 in-block a run_block a = 100 block
  • 43.
    def run_block(&block) a =100 yield end a = 1 run_block { a + 1 } top-level run_block = … a = 1 in-block a run_block a = 100 block 2
  • 44.
    a = 1 sum= lambda do a + 1 end a = 2 sum.call
  • 45.
    a = 1 sum= lambda do a + 1 end a = 2 sum.call top-level a = 2 sum…
  • 46.
    a = 1 sum= lambda do a + 1 end a = 2 sum.call top-level a = 2 sum… in-lambda a
  • 47.
    a = 1 sum= lambda do a + 1 end a = 2 sum.call top-level a = 2 sum… in-lambda a 3
  • 48.
    Cool!! The lexical scopeexplains the examples
  • 49.
    Cool!! The lexical scopeexplains the examples But… how exactly??
  • 50.
    Ok, let’s startfrom scratch. How does Ruby executes programs?
  • 52.
    0002 putself 0003 putobject2 0005 putobject 2 0007 opt_plus 0009 opt_send_simple puts 0011 leave 2 rb_control_frame_t pc sp self type YARV internal stack [TOP LEVEL] self 2 YARV Control structures stack YARV Instructions CFP
  • 53.
  • 54.
    == disasm: <RubyVM::InstructionSequence:<compiled>@<compiled>>========== 0000trace 1 ( 1) 0002 putspecialobject 1 0004 putspecialobject 2 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple <callinfo!mid:core#define_method, argc:3, ARGS_SKIP> 0012 pop 0013 trace 1 ( 4) 0015 putself 0016 opt_send_simple <callinfo!mid:greet, argc:0, FCALL|VCALL|ARGS_SKIP> 0018 leave == disasm: <RubyVM::InstructionSequence:greet@<compiled>>=============== 0000 trace 8 ( 1) 0002 trace 1 ( 2) 0004 putself 0005 putstring "hello" 0007 opt_send_simple <callinfo!mid:puts, argc:1, FCALL|ARGS_SKIP> 0009 trace 16 ( 3) 0011 leave ( 2) def greet puts “hello” end greet
  • 55.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] def greet puts “hello” end greet
  • 56.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet def greet puts “hello” end greet
  • 57.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet greet def greet puts “hello” end greet
  • 58.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet greet def greet puts “hello” end greet
  • 59.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet def greet puts “hello” end greet
  • 60.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self def greet puts “hello” end greet
  • 61.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self rb_control_frame_t pc sp self type [METHOD] 0004 putself 0005 putstring "hello" 0007 opt_send_simple puts 0011 leave svar/cref special def greet puts “hello” end greet
  • 62.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self self rb_control_frame_t pc sp self type [METHOD] 0004 putself 0005 putstring "hello" 0007 opt_send_simple puts 0011 leave svar/cref special def greet puts “hello” end greet
  • 63.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self self rb_control_frame_t pc sp self type [METHOD] 0004 putself 0005 putstring "hello" 0007 opt_send_simple puts 0011 leave svar/cref special “hello” def greet puts “hello” end greet
  • 64.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self self rb_control_frame_t pc sp self type [METHOD] 0004 putself 0005 putstring "hello" 0007 opt_send_simple puts 0011 leave svar/cref special $ “hello” def greet puts “hello” end greet
  • 65.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self def greet puts “hello” end greet
  • 66.
    Ok cool, whatif the method has local variables?
  • 67.
    == disasm: <RubyVM::InstructionSequence:<compiled>@<compiled>>========== 0000trace 1 ( 1) 0002 putspecialobject 1 0004 putspecialobject 2 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple <callinfo!mid:core#define_method, argc:3, ARGS_SKIP> 0012 pop 0013 trace 1 ( 5) 0015 putself 0016 opt_send_simple <callinfo!mid:greet, argc:0, FCALL|VCALL|ARGS_SKIP> 0018 leave == disasm: <RubyVM::InstructionSequence:greet@<compiled>>=============== local table (size: 2, argc: 0 [opts: 0, rest: -1, post: 0, block: -1, keyword: 0@3] s1) [ 2] str 0000 trace 8 ( 1) 0002 trace 1 ( 2) 0004 putstring "hello" 0006 setlocal_OP__WC__0 2 0008 trace 1 ( 3) 0010 putself 0011 getlocal_OP__WC__0 2 0013 opt_send_simple <callinfo!mid:puts, argc:1, FCALL|ARGS_SKIP> 0015 trace 16 ( 4) 0017 leave( 3) def greet str = “hello” puts str end greet
  • 68.
    local table (size:2, argc: 0 [opts: 0, rest: -1, post: 0, block: -1, keyword: 0@3] s1) [ 2] str The local table
  • 69.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self def greet str = “hello” puts str end greet
  • 70.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave str svar/cref ep def greet str = “hello” puts str end greet
  • 71.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref “hello” ep 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave def greet str = “hello” puts str end greet
  • 72.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave def greet str = “hello” puts str end greet
  • 73.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep self “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave def greet str = “hello” puts str end greet
  • 74.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep self “hello” “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave def greet str = “hello” puts str end greet
  • 75.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep “hello” $ “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 getlocal 2, 0 0013 opt_send_simple puts 0017 leave def greet str = “hello” puts str end greet
  • 76.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self $ “hello” def greet str = “hello” puts str end greet
  • 77.
    Got it, butwhat about blocks accessing variables on lexical scope?
  • 78.
    ……… == disasm: <RubyVM::InstructionSequence:greet@<compiled>>=============== ==catch table | catch type: break st: 0010 ed: 0014 sp: 0000 cont: 0014 |------------------------------------------------------------------------ local table (size: 2, argc: 0 [opts: 0, rest: -1, post: 0, block: -1, keyword: 0@3] s1) [ 2] str 0000 trace 8 ( 1) 0002 trace 1 ( 2) 0004 putstring "hello" 0006 setlocal_OP__WC__0 2 0008 trace 1 ( 3) 0010 putobject 3 0012 send <callinfo!mid:times, argc:0, block:block in greet> 0014 trace 16 ( 6) 0016 leave ( 3) == disasm: <RubyVM::InstructionSequence:block in greet@<compiled>>====== == catch table | catch type: redo st: 0002 ed: 0009 sp: 0000 cont: 0002 | catch type: next st: 0002 ed: 0009 sp: 0000 cont: 0009 |------------------------------------------------------------------------ 0000 trace 256 ( 3) 0002 trace 1 ( 4) 0004 putself 0005 getlocal_OP__WC__1 2 0007 opt_send_simple <callinfo!mid:puts, argc:1, FCALL|ARGS_SKIP> 0009 trace 512 ( 5) 0011 leave ( 4) def greet str = “hello” 3.times do puts str end end greet
  • 79.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self def greet str = “hello” 3.times do puts str end end greet
  • 80.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep def greet str = “hello” 3.times do puts str end end greet
  • 81.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref “hello” ep 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave def greet str = “hello” 3.times do puts str end end greet
  • 82.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave def greet str = “hello” 3.times do puts str end end greet
  • 83.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp self type [TOP LEVEL] :greet self special rb_control_frame_t pc sp self type [METHOD] str svar/cref ep 3 “hello” 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave def greet str = “hello” 3.times do puts str end end greet
  • 84.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” rb_block_t iseq ep … 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave def greet str = “hello” 3.times do puts str end end greet
  • 85.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” svar/cref special rb_block_t iseq ep … rb_control_frame_t pc sp [METHOD] ep times… 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave def greet str = “hello” 3.times do puts str end end greet
  • 86.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” svar/cref special svar/cref rb_block_t iseq ep … rb_control_frame_t pc sp [METHOD] ep times… rb_con… pc sp [BLOCK] ep special 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave def greet str = “hello” 3.times do puts str end end greet
  • 87.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” svar/cref special svar/cref rb_block_t iseq ep … rb_control_frame_t pc sp [METHOD] ep times… rb_con… pc sp [BLOCK] ep special self 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave def greet str = “hello” 3.times do puts str end end greet
  • 88.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” svar/cref special svar/cref rb_block_t iseq ep … rb_control_frame_t pc sp [METHOD] ep times… rb_con… pc sp [BLOCK] ep 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave special self “hello” def greet str = “hello” 3.times do puts str end end greet
  • 89.
    0006 putobject :greet 0008putiseq greet 0010 opt_send_simple define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 leave rb_control_frame_t pc sp [TOP LEVEL] :greet self special rb_control_frame_t pc sp [METHOD] 0004 putstring "hello" 0006 setlocal 2, 0 0010 putobject 3 0012 send times 0016 leave str svar/cref ep 3 “hello” svar/cref special svar/cref rb_block_t iseq ep … rb_control_frame_t pc sp [METHOD] ep times… rb_con… pc sp [BLOCK] ep 0004 putself 0005 getlocal 2, 1 0007 opt_send_simple puts 0011 leave special self $ “hello” def greet str = “hello” 3.times do puts str end end greet
  • 90.
  • 91.
    And what ifthat scope doesn’t exist anymore?
  • 92.
    The heap and rb_proc_tto the rescue! o/
  • 93.
  • 94.
    == disasm: <RubyVM::InstructionSequence:<compiled>@<compiled>>========== localtable (size: 2, argc: 0 [opts: 0, rest: -1, post: 0, block: -1, keyword: 0@3] s1) [ 2] f 0002 putspecialobject 1 0004 putspecialobject 2 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple <callinfo!mid:core#define_method, argc:3, ARGS_SKIP> 0012 pop 0015 putself 0016 opt_send_simple <callinfo!mid:greet, argc:0, FCALL|VCALL|ARGS_SKIP> 0018 setlocal_OP__WC__0 2 0022 getlocal_OP__WC__0 2 0024 opt_send_simple <callinfo!mid:call, argc:0, ARGS_SKIP> 0026 leave == disasm: <RubyVM::InstructionSequence:greet@<compiled>>=============== == catch table | catch type: break st: 0010 ed: 0013 sp: 0000 cont: 0013 |------------------------------------------------------------------------ local table (size: 2, argc: 0 [opts: 0, rest: -1, post: 0, block: -1, keyword: 0@3] s1) [ 2] str 0004 putstring "hello" 0006 setlocal_OP__WC__0 2 0010 putself 0011 send <callinfo!mid:lambda, argc:0, block:block in greet, FCALL> 0015 leave ( 3) == disasm: <RubyVM::InstructionSequence:block in greet@<compiled>>====== == catch table | catch type: redo st: 0002 ed: 0009 sp: 0000 cont: 0002 | catch type: next st: 0002 ed: 0009 sp: 0000 cont: 0009 |------------------------------------------------------------------------ 0004 putself 0005 getlocal_OP__WC__1 2 0007 opt_send_simple <callinfo!mid:puts, argc:1, FCALL|ARGS_SKIP> 0011 leave def greet str = “hello” lambda do puts str end end f = greet f.call
  • 95.
    def greet str =“hello” lambda do puts str end end f = greet f.call [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self
  • 96.
    [ 2] f 0006putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call rb_control_frame_t pc sp [TOP LEVEL] ep rb_control_frame_t pc sp [METHOD] ep f svar/cref special :greet self str svar/cref special
  • 97.
    [ 2] f 0006putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call rb_control_frame_t pc sp [TOP LEVEL] ep rb_control_frame_t pc sp [METHOD] ep f svar/cref special :greet self str svar/cref special “hello”
  • 98.
    [ 2] f 0006putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” rb_control_frame_t pc sp [TOP LEVEL] ep rb_control_frame_t pc sp [METHOD] ep f svar/cref special :greet self str svar/cref special
  • 99.
    [ 2] f 0006putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” rb_control_frame_t pc sp [TOP LEVEL] ep rb_control_frame_t pc sp [METHOD] ep f svar/cref special :greet self str svar/cref special self
  • 100.
    rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str rb_control_frame_t pc sp [METHOD] epsvar/cref special self lambda [ 2]f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” str svar/cref special self “hello”
  • 101.
    rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str rb_control_frame_t pc sp [METHOD] epsvar/cref special self lambda [ 2]f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” str svar/cref special self “hello”
  • 102.
    rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str rb_control_frame_t pc sp [METHOD] epsvar/cref special self lambda rb_proc_t rb_block_t EP [ 2]f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” str svar/cref special self “hello”
  • 103.
    rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str rb_control_frame_t pc sp [METHOD] epsvar/cref special self lambda rb_proc_t rb_block_t EP [ 2]f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” str svar/cref special self “hello”
  • 104.
    rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str rb_control_frame_t pc sp [METHOD] epsvar/cref special self lambda rb_proc_t rb_block_t EP [ 2]f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave 0004 putstring "hello" 0006 setlocal 2, 0 0010 putself 0011 send lambda 0015 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello” str svar/cref special self “hello”
  • 105.
    rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self lambda str svar/cref special selfrb_proc_t rb_block_t EP [ 2]f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
  • 106.
    rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self str svar/cref special selfrb_proc_t rb_block_t EP [ 2]f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
  • 107.
    rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self lambda str svar/cref special selfrb_proc_t rb_block_t EP [ 2]f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
  • 108.
    rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self lambda str svar/cref special selfrb_proc_t rb_block_t EP svar/cref rb_control_frame_t pc sp [BLOCK] ep 0004 putself 0005getlocal 2, 1 0007 opt_send_simple puts 0011 leave special [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
  • 109.
    rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self lambda str svar/cref special selfrb_proc_t rb_block_t EP svar/cref rb_control_frame_t pc sp [BLOCK] ep special self 0004 putself 0005getlocal 2, 1 0007 opt_send_simple puts 0011 leave [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
  • 110.
    rb_control_frame_t pc sp [TOP LEVEL] epf svar/cref special :greet self lambda str svar/cref special selfrb_proc_t rb_block_t EP svar/cref rb_control_frame_t pc sp [BLOCK] ep special self “hello” 0004 putself 0005getlocal 2, 1 0007 opt_send_simple puts 0011 leave [ 2] f 0006 putobject :greet 0008 putiseq greet 0010 opt_send_simple core#define_method 0012 pop 0015 putself 0016 opt_send_simple greet 0018 setlocal 2, 0 0022 getlocal 2, 0 0024 opt_send_simple call 0026 leave def greet str = “hello” lambda do puts str end end f = greet f.call “hello”
  • 111.
  • 112.
  • 113.
  • 114.
  • 115.