Hex Artifact Content
Not logged in

Artifact fe180b545227dcdefc0d8e3ebb786f98493ef5bb:


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..