0000: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
0010: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
0020: 23 23 23 23 23 23 23 23 0a 70 72 69 6e 74 28 22 ########.print("
0030: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 22 29 3b 0a 0a 40 ----------");..@
0040: 6d 61 63 72 6f 20 74 77 69 63 65 20 3d 20 66 75 macro twice = fu
0050: 6e 28 78 29 20 7b 20 78 3b 20 78 20 7d 3b 20 23 n(x) { x; x }; #
0060: 20 48 65 6c 6c 6f 20 48 65 6c 6c 6f 0a 74 77 69 Hello Hello.twi
0070: 63 65 28 20 70 72 69 6e 74 28 22 48 65 6c 6c 6f ce( print("Hello
0080: 22 29 20 29 3b 0a 0a 23 23 23 23 23 23 23 23 23 ") );..#########
0090: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
00a0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 0a ###############.
00b0: 70 72 69 6e 74 28 22 2d 2d 2d 2d 2d 2d 2d 2d 2d print("---------
00c0: 2d 22 29 3b 0a 0a 40 6d 61 63 72 6f 20 6d 61 78 -");..@macro max
00d0: 42 61 64 28 78 2c 79 29 20 7b 0a 09 69 66 20 78 Bad(x,y) {..if x
00e0: 3c 79 20 74 68 65 6e 20 79 20 65 6c 73 65 20 78 <y then y else x
00f0: 0a 7d 3b 0a 40 6d 61 63 72 6f 20 6d 61 78 47 6f .};.@macro maxGo
0100: 6f 64 28 78 2c 79 29 20 7b 0a 09 76 61 72 20 5f od(x,y) {..var _
0110: 78 20 3d 20 78 3b 20 20 23 20 4e 4f 54 45 3a 20 x = x; # NOTE:
0120: 6e 6f 20 68 79 67 65 6e 69 63 20 6d 61 63 72 6f no hygenic macro
0130: 0a 09 76 61 72 20 5f 79 20 3d 20 79 3b 0a 09 69 ..var _y = y;..i
0140: 66 20 5f 78 20 3c 20 5f 79 20 74 68 65 6e 20 5f f _x < _y then _
0150: 79 20 65 6c 73 65 20 5f 78 0a 7d 3b 0a 64 65 66 y else _x.};.def
0160: 20 6d 61 78 46 75 6e 28 78 2c 79 29 20 7b 0a 09 maxFun(x,y) {..
0170: 69 66 20 78 3c 79 20 74 68 65 6e 20 79 20 65 6c if x<y then y el
0180: 73 65 20 78 0a 7d 3b 0a 40 6d 61 63 72 6f 20 6d se x.};.@macro m
0190: 61 78 47 72 65 61 74 28 78 2c 79 29 7b 40 76 61 axGreat(x,y){@va
01a0: 6c 75 65 28 0a 09 76 61 72 20 6e 78 20 3d 20 67 lue(..var nx = g
01b0: 65 6e 73 79 6d 28 29 3b 20 23 20 67 65 6e 65 72 ensym(); # gener
01c0: 61 74 65 20 66 72 65 73 68 20 73 79 6d 62 6f 6c ate fresh symbol
01d0: 0a 09 76 61 72 20 6e 79 20 3d 20 67 65 6e 73 79 ..var ny = gensy
01e0: 6d 28 29 3b 0a 09 40 6d 61 63 72 6f 20 5f 78 20 m();..@macro _x
01f0: 3d 20 40 6d 61 63 72 6f 28 6e 78 29 20 7b 6e 61 = @macro(nx) {na
0200: 6d 65 3a 20 6e 78 7d 3b 20 20 23 20 63 68 65 61 me: nx}; # chea
0210: 74 69 6e 67 20 74 6f 20 63 72 65 61 74 65 20 7b ting to create {
0220: 69 73 3a 22 56 61 72 22 20 2e 2e 20 7d 0a 09 40 is:"Var" .. }..@
0230: 6d 61 63 72 6f 20 5f 79 20 3d 20 40 6d 61 63 72 macro _y = @macr
0240: 6f 28 6e 79 29 20 7b 6e 61 6d 65 3a 20 6e 79 7d o(ny) {name: ny}
0250: 3b 20 20 23 20 61 74 20 6d 61 63 72 6f 20 6c 61 ; # at macro la
0260: 79 65 72 0a 09 7b 69 73 3a 20 22 4c 65 74 22 2c yer..{is: "Let",
0270: 20 6e 61 6d 65 3a 20 6e 78 2c 20 6c 61 79 65 72 name: nx, layer
0280: 3a 20 22 22 2c 20 76 64 65 66 3a 20 40 6d 61 63 : "", vdef: @mac
0290: 72 6f 28 78 29 2c 20 65 78 70 72 3a 0a 09 09 7b ro(x), expr:...{
02a0: 69 73 3a 20 22 4c 65 74 22 2c 20 6e 61 6d 65 3a is: "Let", name:
02b0: 20 6e 79 2c 20 6c 61 79 65 72 3a 20 22 22 2c 20 ny, layer: "",
02c0: 76 64 65 66 3a 20 40 6d 61 63 72 6f 28 79 29 2c vdef: @macro(y),
02d0: 20 65 78 70 72 3a 0a 09 09 09 40 6d 61 63 72 6f expr:....@macro
02e0: 28 69 66 20 5f 78 20 3c 20 5f 79 20 74 68 65 6e (if _x < _y then
02f0: 20 5f 79 20 65 6c 73 65 20 5f 78 29 7d 7d 20 23 _y else _x)}} #
0300: 20 74 68 65 20 65 78 70 72 65 73 73 69 6f 6e 0a the expression.
0310: 29 7d 3b 0a 0a 70 72 69 6e 74 28 20 6d 61 78 47 )};..print( maxG
0320: 6f 6f 64 28 70 72 69 6e 74 28 31 29 2c 20 70 72 ood(print(1), pr
0330: 69 6e 74 28 32 29 29 20 29 3b 20 20 23 20 31 20 int(2)) ); # 1
0340: 32 20 32 0a 70 72 69 6e 74 28 20 6d 61 78 42 61 2 2.print( maxBa
0350: 64 28 70 72 69 6e 74 28 31 29 2c 20 70 72 69 6e d(print(1), prin
0360: 74 28 32 29 29 20 29 3b 20 20 20 20 23 20 31 20 t(2)) ); # 1
0370: 32 20 32 20 32 0a 70 72 69 6e 74 28 20 6d 61 78 2 2 2.print( max
0380: 46 75 6e 28 70 72 69 6e 74 28 31 29 2c 20 70 72 Fun(print(1), pr
0390: 69 6e 74 28 32 29 29 20 29 3b 20 20 20 20 23 20 int(2)) ); #
03a0: 31 20 32 20 32 0a 70 72 69 6e 74 28 20 6d 61 78 1 2 2.print( max
03b0: 47 72 65 61 74 28 70 72 69 6e 74 28 31 29 2c 20 Great(print(1),
03c0: 70 72 69 6e 74 28 32 29 29 20 29 3b 20 20 20 20 print(2)) );
03d0: 23 20 31 20 32 20 32 0a 70 72 69 6e 74 28 20 6d # 1 2 2.print( m
03e0: 61 78 47 72 65 61 74 28 70 72 69 6e 74 28 32 29 axGreat(print(2)
03f0: 2c 20 70 72 69 6e 74 28 31 29 29 20 29 3b 20 20 , print(1)) );
0400: 20 20 23 20 32 20 31 20 32 0a 0a 23 23 23 23 23 # 2 1 2..#####
0410: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
0420: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
0430: 23 23 23 0a 70 72 69 6e 74 28 22 2d 2d 2d 2d 2d ###.print("-----
0440: 2d 2d 2d 2d 2d 22 29 3b 0a 0a 23 20 74 68 65 20 -----");..# the
0450: 76 61 72 69 61 62 6c 65 20 22 69 74 22 20 69 73 variable "it" is
0460: 20 69 6e 73 65 72 74 65 64 20 74 6f 20 74 68 65 inserted to the
0470: 20 73 63 6f 70 65 0a 40 6d 61 63 72 6f 20 4c 65 scope.@macro Le
0480: 74 49 74 42 65 28 78 2c 20 79 29 20 7b 20 76 61 tItBe(x, y) { va
0490: 72 20 69 74 20 3d 20 78 3b 20 79 20 7d 3b 0a 70 r it = x; y };.p
04a0: 72 69 6e 74 28 20 4c 65 74 49 74 42 65 28 22 6d rint( LetItBe("m
04b0: 79 73 65 6c 66 22 2c 20 20 22 77 68 65 6e 20 49 yself", "when I
04c0: 20 66 69 6e 64 20 22 20 7e 20 69 74 20 7e 20 22 find " ~ it ~ "
04d0: 20 69 6e 20 74 69 6d 65 73 20 6f 66 20 74 72 6f in times of tro
04e0: 75 62 6c 65 22 29 20 29 3b 0a 0a 23 23 23 23 23 uble") );..#####
04f0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
0500: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
0510: 23 23 23 0a 70 72 69 6e 74 28 22 2d 2d 2d 2d 2d ###.print("-----
0520: 2d 2d 2d 2d 2d 22 29 3b 0a 0a 23 20 6c 61 79 65 -----");..# laye
0530: 72 64 20 70 61 72 61 6d 65 74 65 72 20 63 61 6e rd parameter can
0540: 20 61 6c 73 6f 20 62 65 20 75 73 65 64 20 66 6f also be used fo
0550: 72 20 40 6d 61 63 72 6f 0a 23 20 79 6f 75 20 63 r @macro.# you c
0560: 61 6e 20 6d 69 78 20 40 6d 61 63 72 6f 20 61 6e an mix @macro an
0570: 64 20 6e 6f 72 6d 61 6c 20 70 61 72 61 6d 65 74 d normal paramet
0580: 65 72 73 21 21 0a 64 65 66 20 33 77 61 79 28 6e ers!!.def 3way(n
0590: 2c 20 63 31 20 40 6d 61 63 72 6f 2c 20 63 32 20 , c1 @macro, c2
05a0: 40 6d 61 63 72 6f 2c 20 63 33 20 40 6d 61 63 72 @macro, c3 @macr
05b0: 6f 29 0a 7b 0a 09 63 61 73 65 20 6e 2a 6e 0a 09 o).{..case n*n..
05c0: 09 77 68 65 6e 20 30 3a 20 63 31 0a 09 09 77 68 .when 0: c1...wh
05d0: 65 6e 20 31 3a 20 63 32 0a 09 09 77 68 65 6e 20 en 1: c2...when
05e0: 34 3a 20 63 33 0a 7d 3b 0a 0a 33 77 61 79 28 20 4: c3.};..3way(
05f0: 72 61 6e 64 28 33 29 2c 20 70 72 69 6e 74 28 22 rand(3), print("
0600: 4f 6e 65 22 29 2c 20 70 72 69 6e 74 28 22 54 77 One"), print("Tw
0610: 6f 22 29 2c 20 70 72 69 6e 74 28 22 54 68 72 65 o"), print("Thre
0620: 65 22 29 20 29 3b 0a 33 77 61 79 28 20 72 61 6e e") );.3way( ran
0630: 64 28 33 29 2c 20 70 72 69 6e 74 28 22 4f 6e 65 d(3), print("One
0640: 22 29 2c 20 70 72 69 6e 74 28 22 54 77 6f 22 29 "), print("Two")
0650: 2c 20 70 72 69 6e 74 28 22 54 68 72 65 65 22 29 , print("Three")
0660: 20 29 3b 0a 33 77 61 79 28 20 72 61 6e 64 28 33 );.3way( rand(3
0670: 29 2c 20 70 72 69 6e 74 28 22 4f 6e 65 22 29 2c ), print("One"),
0680: 20 70 72 69 6e 74 28 22 54 77 6f 22 29 2c 20 70 print("Two"), p
0690: 72 69 6e 74 28 22 54 68 72 65 65 22 29 20 29 3b rint("Three") );
06a0: 0a 0a 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ..##############
06b0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
06c0: 23 23 23 23 23 23 23 23 23 23 0a 70 72 69 6e 74 ##########.print
06d0: 28 22 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 22 29 3b 0a ("----------");.
06e0: 0a 23 20 43 6f 6e 76 65 72 73 65 6c 79 2c 20 77 .# Conversely, w
06f0: 65 20 63 61 6e 20 6d 69 78 20 40 76 61 6c 75 65 e can mix @value
0700: 20 70 61 72 61 6d 65 74 65 72 20 69 6e 20 74 68 parameter in th
0710: 65 20 6d 61 63 72 6f 20 64 65 66 69 6e 69 74 69 e macro definiti
0720: 6f 6e 0a 40 6d 61 63 72 6f 20 74 69 6d 65 73 28 on.@macro times(
0730: 6e 20 40 76 61 6c 75 65 2c 20 65 29 20 7b 20 40 n @value, e) { @
0740: 76 61 6c 75 65 28 0a 09 69 66 20 6e 20 3d 3d 20 value(..if n ==
0750: 31 20 74 68 65 6e 0a 09 09 40 6d 61 63 72 6f 28 1 then...@macro(
0760: 65 29 0a 09 65 6c 73 65 0a 09 09 40 6d 61 63 72 e)..else...@macr
0770: 6f 28 65 3b 20 74 69 6d 65 73 28 6e 2d 31 2c 65 o(e; times(n-1,e
0780: 29 29 0a 29 7d 3b 0a 74 69 6d 65 73 28 37 2c 20 )).)};.times(7,
0790: 70 72 69 6e 74 28 22 49 63 68 69 6d 65 6e 20 6e print("Ichimen n
07a0: 6f 20 4e 61 6e 6f 68 61 6e 61 22 29 29 3b 0a 0a o Nanohana"));..
07b0: 23 20 48 65 72 65 2c 20 6e 20 69 73 20 62 6f 75 # Here, n is bou
07c0: 6e 64 20 74 6f 20 74 68 65 20 69 6e 74 65 67 65 nd to the intege
07d0: 72 20 37 2c 20 6e 6f 74 20 74 68 65 20 41 53 54 r 7, not the AST
07e0: 20 6f 66 20 69 74 2e 0a 0a 23 23 23 23 23 23 23 of it...#######
07f0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
0800: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
0810: 23 0a 70 72 69 6e 74 28 22 2d 2d 2d 2d 2d 2d 2d #.print("-------
0820: 2d 2d 2d 22 29 3b 0a 0a 23 20 45 78 70 6c 69 63 ---");..# Explic
0830: 69 74 20 6d 61 6e 69 70 75 6c 61 74 69 6f 6e 20 it manipulation
0840: 6f 66 20 41 53 54 2e 0a 23 20 52 65 76 65 72 73 of AST..# Revers
0850: 65 20 74 68 65 20 6f 72 64 65 72 20 6f 66 20 61 e the order of a
0860: 72 67 75 6d 65 6e 74 73 20 6f 66 20 74 68 65 20 rguments of the
0870: 66 75 6e 63 74 69 6f 6e 20 63 61 6c 6c 20 65 78 function call ex
0880: 70 72 65 73 73 69 6f 6e 0a 40 6d 61 63 72 6f 20 pression.@macro
0890: 72 65 76 65 72 73 65 41 72 67 73 28 65 29 20 7b reverseArgs(e) {
08a0: 40 76 61 6c 75 65 28 0a 09 64 65 66 20 72 65 76 @value(..def rev
08b0: 28 78 73 2c 20 61 63 63 29 20 7b 0a 09 09 63 61 (xs, acc) {...ca
08c0: 73 65 20 78 73 20 77 68 65 6e 20 7b 63 61 72 3a se xs when {car:
08d0: 78 2c 20 63 64 72 3a 78 73 7d 3a 20 72 65 76 28 x, cdr:xs}: rev(
08e0: 78 73 2c 20 7b 63 61 72 3a 78 2c 20 63 64 72 3a xs, {car:x, cdr:
08f0: 61 63 63 7d 29 20 77 68 65 6e 20 7b 7d 3a 20 61 acc}) when {}: a
0900: 63 63 0a 09 7d 3b 0a 09 63 61 73 65 20 40 6d 61 cc..};..case @ma
0910: 63 72 6f 28 65 29 0a 09 09 77 68 65 6e 20 7b 69 cro(e)...when {i
0920: 73 3a 22 41 70 70 22 2c 20 66 75 6e 3a 66 2c 20 s:"App", fun:f,
0930: 61 72 67 73 3a 61 73 7d 3a 20 7b 69 73 3a 22 41 args:as}: {is:"A
0940: 70 70 22 2c 20 66 75 6e 3a 66 2c 20 61 72 67 73 pp", fun:f, args
0950: 3a 72 65 76 28 61 73 2c 7b 7d 29 7d 0a 09 09 77 :rev(as,{})}...w
0960: 68 65 6e 20 65 20 3a 20 65 0a 29 7d 3b 0a 70 72 hen e : e.)};.pr
0970: 69 6e 74 28 20 72 65 76 65 72 73 65 41 72 67 73 int( reverseArgs
0980: 28 31 2b 32 29 20 29 3b 20 23 20 32 2b 31 20 3d (1+2) ); # 2+1 =
0990: 3d 20 33 0a 70 72 69 6e 74 28 20 72 65 76 65 72 = 3.print( rever
09a0: 73 65 41 72 67 73 28 31 2d 32 29 20 29 3b 20 23 seArgs(1-2) ); #
09b0: 20 32 2d 31 20 3d 3d 20 31 0a 0a 23 23 23 23 23 2-1 == 1..#####
09c0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
09d0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
09e0: 23 23 23 0a 70 72 69 6e 74 28 22 2d 2d 2d 2d 2d ###.print("-----
09f0: 2d 2d 2d 2d 2d 22 29 3b 0a 0a 23 20 42 6f 74 68 -----");..# Both
0a00: 20 70 72 69 6e 74 73 20 22 6f 72 69 67 69 6e 61 prints "origina
0a10: 6c 22 2e 20 4d 61 63 72 6f 20 72 65 73 70 65 63 l". Macro respec
0a20: 74 73 20 74 68 65 20 6e 65 75 74 72 61 6c 20 6c ts the neutral l
0a30: 61 79 65 72 27 73 20 22 6c 65 74 20 79 3d 22 0a ayer's "let y=".
0a40: 23 20 61 6e 64 20 22 66 75 6e 28 79 29 22 2e 20 # and "fun(y)".
0a50: 49 74 20 64 6f 65 73 20 6e 6f 74 20 61 6c 74 65 It does not alte
0a60: 72 20 74 68 65 20 69 6e 6e 65 72 20 73 63 6f 70 r the inner scop
0a70: 65 20 79 0a 40 6d 61 63 72 6f 20 74 65 73 74 31 e y.@macro test1
0a80: 28 79 29 20 7b 20 66 75 6e 28 79 29 7b 79 7d 28 (y) { fun(y){y}(
0a90: 22 6f 72 69 67 69 6e 61 6c 22 29 20 7d 3b 0a 40 "original") };.@
0aa0: 6d 61 63 72 6f 20 74 65 73 74 32 28 79 29 20 7b macro test2(y) {
0ab0: 20 6c 65 74 20 79 20 3d 20 22 6f 72 69 67 69 6e let y = "origin
0ac0: 61 6c 22 20 69 6e 20 79 20 7d 3b 0a 70 72 69 6e al" in y };.prin
0ad0: 74 28 20 74 65 73 74 31 28 22 72 65 70 6c 61 63 t( test1("replac
0ae0: 65 64 3f 22 29 20 29 3b 0a 70 72 69 6e 74 28 20 ed?") );.print(
0af0: 74 65 73 74 32 28 22 72 65 70 6c 61 63 65 64 3f test2("replaced?
0b00: 22 29 20 29 3b 0a 0a 23 23 23 23 23 23 23 23 23 ") );..#########
0b10: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 ################
0b20: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 0a ###############.
0b30: 70 72 69 6e 74 28 22 2d 2d 2d 2d 2d 2d 2d 2d 2d print("---------
0b40: 2d 22 29 3b 0a 0a 23 20 54 72 69 63 6b 20 74 6f -");..# Trick to
0b50: 20 65 78 74 72 61 63 74 20 74 68 65 20 41 53 54 extract the AST
0b60: 20 6f 66 20 61 20 66 75 6e 63 74 69 6f 6e 0a 64 of a function.d
0b70: 65 66 20 66 6f 6f 28 78 29 20 7b 20 78 20 2b 20 ef foo(x) { x +
0b80: 78 20 7d 3b 0a 70 72 69 6e 74 28 20 40 6d 61 63 x };.print( @mac
0b90: 72 6f 28 40 76 61 6c 75 65 28 66 6f 6f 29 28 61 ro(@value(foo)(a
0ba0: 72 67 31 29 29 20 29 3b 20 20 20 23 20 70 72 69 rg1)) ); # pri
0bb0: 6e 74 73 20 41 53 54 20 66 6f 72 20 22 61 72 67 nts AST for "arg
0bc0: 31 20 2b 20 61 72 67 31 22 0a 0a 23 20 49 66 20 1 + arg1"..# If
0bd0: 77 65 20 77 72 6f 74 65 20 40 6d 61 63 72 6f 28 we wrote @macro(
0be0: 66 6f 6f 28 61 72 67 31 29 29 2c 20 69 74 20 69 foo(arg1)), it i
0bf0: 73 20 74 68 65 20 41 53 54 20 6f 66 20 22 66 6f s the AST of "fo
0c00: 6f 28 61 72 67 31 29 22 0a 23 20 48 65 72 65 2c o(arg1)".# Here,
0c10: 20 62 79 20 40 76 61 6c 75 65 28 66 6f 6f 29 20 by @value(foo)
0c20: 77 65 20 6f 62 74 61 69 6e 20 74 68 65 20 22 75 we obtain the "u
0c30: 73 75 61 6c 22 20 62 65 68 61 76 69 6f 72 20 6f sual" behavior o
0c40: 66 20 66 6f 6f 2c 0a 23 20 6e 6f 74 20 74 68 65 f foo,.# not the
0c50: 20 6d 61 63 72 6f 2d 6c 69 6b 65 20 62 61 68 61 macro-like baha
0c60: 76 69 6f 72 20 74 6f 20 63 6f 6e 73 74 72 75 63 vior to construc
0c70: 74 20 41 53 54 20 22 66 6f 6f 28 3f 3f 29 22 2e t AST "foo(??)".
0c80: 0a 23 20 42 75 74 20 73 74 69 6c 6c 2c 20 62 79 .# But still, by
0c90: 20 40 6d 61 63 72 6f 28 20 2e 2e 2e 20 29 20 6c @macro( ... ) l
0ca0: 61 79 65 72 2c 20 74 68 65 20 22 75 73 75 61 6c ayer, the "usual
0cb0: 22 20 66 75 6e 63 74 69 6f 6e 20 69 73 20 72 75 " function is ru
0cc0: 6e 20 69 6e 0a 23 20 6d 61 63 72 6f 20 6d 6f 64 n in.# macro mod
0cd0: 65 2e 0a e..