Created
August 7, 2018 15:20
-
-
Save obelisk68/59d6d50fcbb08a7babf08c956a8a8bdf to your computer and use it in GitHub Desktop.
μSchemeR関連
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
parameters = [:factorial] | |
args = [[:lambda, [:n], [:if, [:<, :n, 1], 1, [:*, :n, [:factorial, [:-, :n, 1]]]]]] | |
body = [:factorial, 4] | |
ext_env = [{:factorial=>:dummy}, | |
{:+ =>[:prim, #<Proc:0x000055a6a4665a80@μSchemeR1.rb:24 (lambda)>], | |
:- =>[:prim, #<Proc:0x000055a6a4665a30@μSchemeR1.rb:25 (lambda)>], | |
:* =>[:prim, #<Proc:0x000055a6a46659e0@μSchemeR1.rb:26 (lambda)>], | |
:/ =>[:prim, #<Proc:0x000055a6a4665990@μSchemeR1.rb:27 (lambda)>], | |
:> =>[:prim, #<Proc:0x000055a6a4665940@μSchemeR1.rb:28 (lambda)>], | |
:>= =>[:prim, #<Proc:0x000055a6a46658f0@μSchemeR1.rb:29 (lambda)>], | |
:< =>[:prim, #<Proc:0x000055a6a46658a0@μSchemeR1.rb:30 (lambda)>], | |
:<= =>[:prim, #<Proc:0x000055a6a4665850@μSchemeR1.rb:31 (lambda)>], | |
:== =>[:prim, #<Proc:0x000055a6a4665800@μSchemeR1.rb:32 (lambda)>]}, | |
{:true=>true, :false=>false}] | |
args_val = [[:func, | |
[:n], | |
[:if, [:<, :n, 1], 1, [:*, :n, [:factorial, [:-, :n, 1]]]], | |
[{:factorial=>:dummy}, | |
{:+ =>[:prim, #<Proc:0x00005584c68a1c18@μSchemeR1.rb:24 (lambda)>], | |
:- =>[:prim, #<Proc:0x00005584c68a1bc8@μSchemeR1.rb:25 (lambda)>], | |
:* =>[:prim, #<Proc:0x00005584c68a1b78@μSchemeR1.rb:26 (lambda)>], | |
:/ =>[:prim, #<Proc:0x00005584c68a1b28@μSchemeR1.rb:27 (lambda)>], | |
:> =>[:prim, #<Proc:0x00005584c68a1ad8@μSchemeR1.rb:28 (lambda)>], | |
:>= =>[:prim, #<Proc:0x00005584c68a1a88@μSchemeR1.rb:29 (lambda)>], | |
:< =>[:prim, #<Proc:0x00005584c68a1a38@μSchemeR1.rb:30 (lambda)>], | |
:<= =>[:prim, #<Proc:0x00005584c68a19e8@μSchemeR1.rb:31 (lambda)>], | |
:== =>[:prim, #<Proc:0x00005584c68a1998@μSchemeR1.rb:32 (lambda)>]}, | |
{:true=>true, :false=>false}]]] | |
#set_extend_env!内 | |
arg_val = [:func, | |
[:n], | |
[:if, [:<, :n, 1], 1, [:*, :n, [:factorial, [:-, :n, 1]]]], | |
[{:factorial=>:dummy}, | |
{:+ =>[:prim, #<Proc:0x000055ad831a5be0@μSchemeR1.rb:24 (lambda)>], | |
:- =>[:prim, #<Proc:0x000055ad831a5b90@μSchemeR1.rb:25 (lambda)>], | |
:* =>[:prim, #<Proc:0x000055ad831a5b40@μSchemeR1.rb:26 (lambda)>], | |
:/ =>[:prim, #<Proc:0x000055ad831a5af0@μSchemeR1.rb:27 (lambda)>], | |
:> =>[:prim, #<Proc:0x000055ad831a5aa0@μSchemeR1.rb:28 (lambda)>], | |
:>= =>[:prim, #<Proc:0x000055ad831a5a50@μSchemeR1.rb:29 (lambda)>], | |
:< =>[:prim, #<Proc:0x000055ad831a5a00@μSchemeR1.rb:30 (lambda)>], | |
:<= =>[:prim, #<Proc:0x000055ad831a59b0@μSchemeR1.rb:31 (lambda)>], | |
:== =>[:prim, #<Proc:0x000055ad831a5960@μSchemeR1.rb:32 (lambda)>]}, | |
{:true=>true, :false=>false}]] | |
#set_extend_env!後 | |
ext_env = [{:factorial=> | |
[:func, | |
[:n], | |
[:if, [:<, :n, 1], 1, [:*, :n, [:factorial, [:-, :n, 1]]]], | |
[{:factorial=>:dummy}, | |
{:+ =>[:prim, #<Proc:0x000055ad831a5be0@μSchemeR1.rb:24 (lambda)>], | |
:- =>[:prim, #<Proc:0x000055ad831a5b90@μSchemeR1.rb:25 (lambda)>], | |
:* =>[:prim, #<Proc:0x000055ad831a5b40@μSchemeR1.rb:26 (lambda)>], | |
:/ =>[:prim, #<Proc:0x000055ad831a5af0@μSchemeR1.rb:27 (lambda)>], | |
:> =>[:prim, #<Proc:0x000055ad831a5aa0@μSchemeR1.rb:28 (lambda)>], | |
:>= =>[:prim, #<Proc:0x000055ad831a5a50@μSchemeR1.rb:29 (lambda)>], | |
:< =>[:prim, #<Proc:0x000055ad831a5a00@μSchemeR1.rb:30 (lambda)>], | |
:<= =>[:prim, #<Proc:0x000055ad831a59b0@μSchemeR1.rb:31 (lambda)>], | |
:== =>[:prim, #<Proc:0x000055ad831a5960@μSchemeR1.rb:32 (lambda)>]}, | |
{:true=>true, :false=>false}]] | |
}, | |
{:+ =>[:prim, #<Proc:0x000055a6a4665a80@μSchemeR1.rb:24 (lambda)>], | |
:- =>[:prim, #<Proc:0x000055a6a4665a30@μSchemeR1.rb:25 (lambda)>], | |
:* =>[:prim, #<Proc:0x000055a6a46659e0@μSchemeR1.rb:26 (lambda)>], | |
:/ =>[:prim, #<Proc:0x000055a6a4665990@μSchemeR1.rb:27 (lambda)>], | |
:> =>[:prim, #<Proc:0x000055a6a4665940@μSchemeR1.rb:28 (lambda)>], | |
:>= =>[:prim, #<Proc:0x000055a6a46658f0@μSchemeR1.rb:29 (lambda)>], | |
:< =>[:prim, #<Proc:0x000055a6a46658a0@μSchemeR1.rb:30 (lambda)>], | |
:<= =>[:prim, #<Proc:0x000055a6a4665850@μSchemeR1.rb:31 (lambda)>], | |
:== =>[:prim, #<Proc:0x000055a6a4665800@μSchemeR1.rb:32 (lambda)>]}, | |
{:true=>true, :false=>false}] |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment