Hex Artifact Content
Not logged in

Artifact caf492581281c25dbc3fd7ad5bafdbc2f5f61f09:


0000: 44 64 6f 63 0a 24 28 44 44 4f 43 5f 41 55 54 48  Ddoc.$(DDOC_AUTH
0010: 4f 52 53 20 6b 2e 69 6e 61 62 61 29 0a 24 28 44  ORS k.inaba).$(D
0020: 44 4f 43 5f 4c 49 43 45 4e 53 45 20 4e 59 53 4c  DOC_LICENSE NYSL
0030: 20 30 2e 39 39 38 32 20 28 68 74 74 70 3a 2f 2f   0.9982 (http://
0040: 77 77 77 2e 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 6e  www.kmonos.net/n
0050: 79 73 6c 2f 29 29 0a 0a 3c 70 3e 0a e3 81 93 e3  ysl/))..<p>.....
0060: 81 ae e3 83 95 e3 82 a1 e3 82 a4 e3 83 ab e3 81  ................
0070: af e3 80 81 e8 a8 80 e8 aa 9e e4 bb 95 e6 a7 98  ................
0080: e3 81 aa e3 81 a9 e3 81 ae e7 b0 a1 e5 8d 98 e3  ................
0090: 81 aa e8 aa ac e6 98 8e e3 81 a7 e3 81 99 e3 80  ................
00a0: 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 82 e3 81  ..</p>.<p>......
00b0: a8 e3 81 a4 e3 81 84 e3 81 a7 e3 81 ab e3 80 81  ................
00c0: e5 b7 a6 e3 81 ae e3 82 b5 e3 82 a4 e3 83 89 e3  ................
00d0: 83 90 e3 83 bc e3 81 ae 20 22 50 61 63 6b 61 67  ........ "Packag
00e0: 65 22 20 e3 82 bf e3 83 96 e3 82 92 e3 82 af e3  e" .............
00f0: 83 aa e3 83 83 e3 82 af e3 81 99 e3 82 8b e3 81  ................
0100: a8 e5 ae 9f e8 a3 85 e3 81 ae e3 82 bd e3 83 bc  ................
0110: e3 82 b9 e3 81 ae e3 83 89 e3 82 ad e3 83 a5 e3  ................
0120: 83 a1 e3 83 b3 e3 83 88 e3 81 8c e8 aa ad e3 82  ................
0130: 81 e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a  ...........</p>.
0140: 0a 24 28 44 44 4f 43 5f 4d 45 4d 42 45 52 53 0a  .$(DDOC_MEMBERS.
0150: 0a 24 28 53 45 43 54 49 4f 4e 20 53 79 6e 74 61  .$(SECTION Synta
0160: 78 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e  x, $(SECBODY.<p>
0170: 0a e6 96 87 e6 b3 95 e3 81 ab e3 81 a4 e3 81 84  ................
0180: e3 81 a6 e3 80 82 0a e5 ad 97 e5 8f a5 e8 a7 a3  ................
0190: e6 9e 90 e3 81 8c e3 82 8f e3 82 8a e3 81 a8 e9  ................
01a0: 81 a9 e5 bd 93 e3 81 aa e3 81 ae e3 81 a7 e3 80  ................
01b0: 81 0a e5 a4 89 e6 95 b0 e5 ae a3 e8 a8 80 e3 81  ................
01c0: ae e5 a4 89 e6 95 b0 e5 90 8d e3 81 ae e3 81 a8  ................
01d0: e3 81 93 e3 82 8d e3 81 ab e3 80 81 e6 95 b0 e5  ................
01e0: ad 97 e3 82 92 e5 a4 89 e6 95 b0 e5 90 8d e3 81  ................
01f0: a8 e3 81 97 e3 81 a6 e4 bd bf e3 81 88 e3 81 a6  ................
0200: e5 8f 82 e7 85 a7 e3 81 a7 e3 81 8d e3 81 aa e3  ................
0210: 81 84 e5 a4 89 e6 95 b0 e3 81 8c e4 bd 9c e3 82  ................
0220: 8c e3 81 9f e3 82 8a e3 80 81 0a e4 ba 88 e7 b4  ................
0230: 84 e8 aa 9e e3 81 af e4 ba 88 e7 b4 84 e8 aa 9e  ................
0240: e3 81 a8 e3 81 97 e3 81 a6 e8 a7 a3 e9 87 88 e3  ................
0250: 81 95 e3 82 8c e5 be 97 e3 81 aa e3 81 84 e3 81  ................
0260: a8 e3 81 93 e3 82 8d e3 81 a7 e3 81 af e6 99 ae  ................
0270: e9 80 9a e3 81 ab e5 a4 89 e6 95 b0 e5 90 8d e3  ................
0280: 81 a8 e3 81 97 e3 81 a6 e4 bd bf e3 81 88 e3 81  ................
0290: a1 e3 82 83 e3 81 a3 e3 81 9f e3 82 8a e3 81 97  ................
02a0: e3 81 a6 e3 80 81 0a e5 81 b6 e3 81 ab e3 81 a8  ................
02b0: e3 82 93 e3 81 a7 e3 82 82 e3 81 aa e3 81 84 e8  ................
02c0: a6 8b e3 81 8b e3 81 91 e3 81 ae e3 82 bd e3 83  ................
02d0: bc e3 82 b9 e3 81 8c e6 a7 8b e6 96 87 e8 a7 a3  ................
02e0: e6 9e 90 e9 80 9a e3 82 8a e3 81 be e3 81 99 e3  ................
02f0: 81 8c e3 80 81 e6 b0 97 e3 81 ab e3 81 97 e3 81  ................
0300: aa e3 81 84 e3 81 a7 e9 81 a9 e5 bd 93 e3 81 ab  ................
0310: e4 bd bf e3 81 a3 e3 81 a6 e4 b8 8b e3 81 95 e3  ................
0320: 81 84 e3 80 82 0a 3c 2f 70 3e 0a 0a 24 28 44 44  ......</p>..$(DD
0330: 4f 43 5f 4d 45 4d 42 45 52 53 0a 0a 24 28 53 45  OC_MEMBERS..$(SE
0340: 43 54 49 4f 4e 20 e6 96 87 e5 ad 97 e3 82 b3 e3  CTION ..........
0350: 83 bc e3 83 89 2c 20 24 28 53 45 43 42 4f 44 59  ....., $(SECBODY
0360: 0a 3c 70 3e 0a 55 54 46 2d 38 20 e3 81 ae e3 81  .<p>.UTF-8 .....
0370: bf e5 af be e5 bf 9c e3 81 a7 e3 81 99 e3 80 82  ................
0380: 0a 3c 2f 70 3e 0a 29 29 0a 0a 24 28 53 45 43 54  .</p>.))..$(SECT
0390: 49 4f 4e 20 e3 82 b3 e3 83 a1 e3 83 b3 e3 83 88  ION ............
03a0: 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a  , $(SECBODY.<p>.
03b0: e8 a1 8c e3 82 b3 e3 83 a1 e3 83 b3 e3 83 88 e3  ................
03c0: 81 af 20 3c 74 74 3e 23 3c 2f 74 74 3e 20 e3 81  .. <tt>#</tt> ..
03d0: 8b e3 82 89 e6 94 b9 e8 a1 8c e3 81 be e3 81 a7  ................
03e0: e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c  ..........</p>.<
03f0: 70 3e 0a e3 83 96 e3 83 ad e3 83 83 e3 82 af e3  p>..............
0400: 82 b3 e3 83 a1 e3 83 b3 e3 83 88 e3 81 af e3 81  ................
0410: 82 e3 82 8a e3 81 be e3 81 9b e3 82 93 e3 80 82  ................
0420: 0a 3c 2f 70 3e 0a 29 29 0a 0a 24 28 53 45 43 54  .</p>.))..$(SECT
0430: 49 4f 4e 20 42 4e 46 2c 20 24 28 53 45 43 42 4f  ION BNF, $(SECBO
0440: 44 59 0a 3c 70 72 65 3e 0a 20 49 44 20 20 20 20  DY.<pre>. ID    
0450: 3a 3a 3d 20 e9 81 a9 e5 bd 93 e3 81 ab e8 ad 98  ::= ............
0460: e5 88 a5 e5 ad 90 e3 81 a3 e3 81 bd e3 81 84 e6  ................
0470: 96 87 e5 ad 97 e5 88 97 0a 20 4c 41 59 45 52 20  ......... LAYER 
0480: 3a 3a 3d 20 22 40 22 20 49 44 0a 0a 20 45 20 3a  ::= "@" ID.. E :
0490: 3a 3d 0a 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e  :=.   $(D_COMMEN
04a0: 54 20 23 20 e5 a4 89 e6 95 b0 e5 ae a3 e8 a8 80  T # ............
04b0: 29 0a 20 20 20 20 20 7c 20 28 22 76 61 72 22 7c  ).     | ("var"|
04c0: 22 6c 65 74 22 7c 22 64 65 66 22 7c 4c 41 59 45  "let"|"def"|LAYE
04d0: 52 29 20 49 44 20 22 3d 22 20 45 20 28 22 3b 22  R) ID "=" E (";"
04e0: 7c 22 69 6e 22 29 20 45 0a 20 20 20 20 20 7c 20  |"in") E.     | 
04f0: 28 22 76 61 72 22 7c 22 6c 65 74 22 7c 22 64 65  ("var"|"let"|"de
0500: 66 22 7c 4c 41 59 45 52 29 20 49 44 20 22 28 22  f"|LAYER) ID "("
0510: 20 50 41 52 41 4d 53 20 22 29 22 20 22 7b 22 20   PARAMS ")" "{" 
0520: 45 20 22 7d 22 20 28 22 3b 22 7c 22 69 6e 22 29  E "}" (";"|"in")
0530: 20 45 0a 20 20 20 20 20 7c 20 28 22 76 61 72 22   E.     | ("var"
0540: 7c 22 6c 65 74 22 7c 22 64 65 66 22 7c 4c 41 59  |"let"|"def"|LAY
0550: 45 52 29 20 49 44 20 22 3d 22 20 45 0a 20 20 20  ER) ID "=" E.   
0560: 20 20 7c 20 28 22 76 61 72 22 7c 22 6c 65 74 22    | ("var"|"let"
0570: 7c 22 64 65 66 22 7c 4c 41 59 45 52 29 20 49 44  |"def"|LAYER) ID
0580: 20 22 28 22 20 50 41 52 41 4d 53 20 22 29 22 20   "(" PARAMS ")" 
0590: 22 7b 22 20 45 20 22 7d 22 0a 0a 20 20 20 24 28  "{" E "}"..   $(
05a0: 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 aa e3  D_COMMENT # ....
05b0: 83 86 e3 83 a9 e3 83 ab 29 0a 20 20 20 20 20 7c  ........).     |
05c0: 20 49 4e 54 45 47 45 52 20 20 20 20 20 20 20 20   INTEGER        
05d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
05e0: 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e9 9d  $(D_COMMENT # ..
05f0: 9e e8 b2 a0 e6 95 b4 e6 95 b0 29 0a 20 20 20 20  ..........).    
0600: 20 7c 20 53 54 52 49 4e 47 20 20 20 20 20 20 20   | STRING       
0610: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0620: 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20    $(D_COMMENT # 
0630: 22 22 20 e3 81 a7 e3 81 8f e3 81 8f e3 81 a3 e3  "" .............
0640: 81 9f e6 96 87 e5 ad 97 e5 88 97 e3 80 82 5c 22  ..............\"
0650: 20 e3 81 a8 20 5c 5c 20 e3 81 af e4 bd bf e3 81   ... \\ ........
0660: 88 e3 82 8b 29 0a 20 20 20 20 20 7c 20 22 7b 22  ....).     | "{"
0670: 20 45 4e 54 52 59 53 20 22 7d 22 20 20 20 20 20   ENTRYS "}"     
0680: 20 20 20 20 20 20 20 20 20 20 20 20 24 28 44 5f              $(D_
0690: 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 86 e3 83 bc  COMMENT # ......
06a0: e3 83 96 e3 83 ab 29 0a 20 20 20 20 20 7c 20 22  ......).     | "
06b0: 66 75 6e 22 20 22 28 22 20 50 41 52 41 4d 53 20  fun" "(" PARAMS 
06c0: 22 29 22 20 22 7b 22 20 45 20 22 7d 22 20 24 28  ")" "{" E "}" $(
06d0: 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e7 84 a1 e5  D_COMMENT # ....
06e0: 90 8d e9 96 a2 e6 95 b0 29 0a 20 20 20 20 20 7c  ........).     |
06f0: 20 20 22 ce bb 22 20 22 28 22 20 50 41 52 41 4d    ".." "(" PARAM
0700: 53 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 20  S ")" "{" E "}" 
0710: 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e7 84  $(D_COMMENT # ..
0720: a1 e5 90 8d e9 96 a2 e6 95 b0 29 0a 0a 20 20 20  ..........)..   
0730: 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e9 96  $(D_COMMENT # ..
0740: a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 81 97  ................
0750: 29 0a 20 20 20 20 20 7c 20 45 20 22 28 22 20 41  ).     | E "(" A
0760: 52 47 53 22 29 22 0a 0a 20 20 20 20 20 20 20 20  RGS")"..        
0770: 20 77 68 65 72 65 20 20 20 20 41 52 47 53 20 3a   where    ARGS :
0780: 3a 3d 20 45 20 22 2c 22 20 2e 2e 2e 20 22 2c 22  := E "," ... ","
0790: 20 45 0a 20 20 20 20 20 20 20 20 20 20 20 20 20   E.             
07a0: 20 20 20 50 41 52 41 4d 53 20 3a 3a 3d 20 28 49     PARAMS ::= (I
07b0: 44 7c 4c 41 59 45 52 29 2b 20 22 2c 22 20 2e 2e  D|LAYER)+ "," ..
07c0: 2e 20 22 2c 22 20 28 49 44 7c 4c 41 59 45 52 29  . "," (ID|LAYER)
07d0: 2b 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20  +.              
07e0: 20 20 45 4e 54 52 59 53 20 3a 3a 3d 20 49 44 20    ENTRYS ::= ID 
07f0: 22 3a 22 20 45 20 20 20 20 22 2c 22 20 2e 2e 2e  ":" E    "," ...
0800: 20 22 2c 22 20 49 44 20 22 3a 22 20 45 0a 0a 20   "," ID ":" E.. 
0810: 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20    $(D_COMMENT # 
0820: e6 bc 94 e7 ae 97 e5 ad 90 e3 81 aa e3 81 a9 29  ...............)
0830: 0a 20 20 20 20 20 7c 20 22 28 22 20 45 20 22 29  .     | "(" E ")
0840: 22 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  "               
0850: 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20    $(D_COMMENT # 
0860: e3 81 9f e3 81 a0 e3 81 ae e6 8b ac e5 bc a7 29  ...............)
0870: 0a 20 20 20 20 20 7c 20 45 20 42 49 4e 4f 50 20  .     | E BINOP 
0880: 45 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  E               
0890: 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20    $(D_COMMENT # 
08a0: e4 ba 8c e9 a0 85 e6 bc 94 e7 ae 97 e5 ad 90 e3  ................
08b0: 81 84 e3 82 8d e3 81 84 e3 82 8d 29 0a 20 20 20  ...........).   
08c0: 20 20 7c 20 45 20 22 2e 22 20 20 49 44 20 20 20    | E "."  ID   
08d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24 28                $(
08e0: 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 86 e3  D_COMMENT # ....
08f0: 83 bc e3 83 96 e3 83 ab e3 81 ae e3 83 95 e3 82  ................
0900: a3 e3 83 bc e3 83 ab e3 83 89 e3 82 a2 e3 82 af  ................
0910: e3 82 bb e3 82 b9 29 0a 20 20 20 20 20 7c 20 45  ......).     | E
0920: 20 22 2e 3f 22 20 49 44 20 20 20 20 20 20 20 20   ".?" ID        
0930: 20 20 20 20 20 20 20 20 20 24 28 44 5f 43 4f 4d           $(D_COM
0940: 4d 45 4e 54 20 23 20 e3 83 86 e3 83 bc e3 83 96  MENT # .........
0950: e3 83 ab e3 81 ab e3 83 95 e3 82 a3 e3 83 bc e3  ................
0960: 83 ab e3 83 89 e3 81 8c e3 81 82 e3 82 8b e3 81  ................
0970: 8b e5 90 a6 e3 81 8b 29 0a 20 20 20 20 20 7c 20  .......).     | 
0980: 45 20 22 7b 22 20 45 4e 54 52 59 53 20 22 7d 22  E "{" ENTRYS "}"
0990: 20 20 20 20 20 20 20 20 20 20 24 28 44 5f 43 4f            $(D_CO
09a0: 4d 4d 45 4e 54 20 23 20 e3 83 86 e3 83 bc e3 83  MMENT # ........
09b0: 96 e3 83 ab e6 8b a1 e5 bc b5 29 0a 20 20 20 20  ..........).    
09c0: 20 7c 20 22 69 66 22 20 45 20 28 22 74 68 65 6e   | "if" E ("then
09d0: 22 7c 22 3a 22 7c 22 74 68 65 6e 22 20 22 3a 22  "|":"|"then" ":"
09e0: 29 20 45 0a 20 20 20 20 20 7c 20 22 69 66 22 20  ) E.     | "if" 
09f0: 45 20 28 22 74 68 65 6e 22 7c 22 3a 22 7c 22 74  E ("then"|":"|"t
0a00: 68 65 6e 22 20 22 3a 22 29 20 45 20 22 65 6c 73  hen" ":") E "els
0a10: 65 22 20 22 3a 22 3f 20 45 0a 0a 20 20 20 24 28  e" ":"? E..   $(
0a20: 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 91 e3  D_COMMENT # ....
0a30: 82 bf e3 83 bc e3 83 b3 e3 83 9e e3 83 83 e3 83  ................
0a40: 81 29 0a 20 20 20 20 20 7c 20 22 63 61 73 65 22  .).     | "case"
0a50: 20 45 20 28 22 77 68 65 6e 22 20 50 41 54 54 45   E ("when" PATTE
0a60: 52 4e 20 22 3a 22 20 45 20 29 2a 20 0a 0a 20 20  RN ":" E )* ..  
0a70: 20 20 20 20 20 20 20 77 68 65 72 65 20 50 41 54         where PAT
0a80: 54 45 52 4e 20 3a 3a 3d 20 e5 bc 8f e3 81 8c e3  TERN ::= .......
0a90: 81 a0 e3 81 84 e3 81 9f e3 81 84 e3 81 aa e3 82  ................
0aa0: 93 e3 81 a7 e3 82 82 e6 9b b8 e3 81 91 e3 82 8b  ................
0ab0: e6 b0 97 e3 81 8c e3 81 99 e3 82 8b 0a 0a 20 20  ..............  
0ac0: 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3   $(D_COMMENT # .
0ad0: 83 ac e3 82 a4 e3 83 a4 e6 8c 87 e5 ae 9a e5 ae  ................
0ae0: 9f e8 a1 8c 29 0a 20 20 20 20 20 7c 20 4c 41 59  ....).     | LAY
0af0: 45 52 20 22 28 22 20 45 20 22 29 22 0a 3c 2f 70  ER "(" E ")".</p
0b00: 72 65 3e 0a 29 29 0a 0a 24 28 53 45 43 54 49 4f  re>.))..$(SECTIO
0b10: 4e 20 e7 b3 96 e8 a1 a3 e6 a7 8b e6 96 87 2c 20  N ............, 
0b20: 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e6 bc  $(SECBODY.<p>...
0b30: 94 e7 ae 97 e5 ad 90 e3 81 a8 e3 81 84 e3 81 86  ................
0b40: e3 82 82 e3 81 ae e3 81 af e3 81 82 e3 82 8a e3  ................
0b50: 81 be e3 81 9b e3 82 93 e3 80 82 e5 86 85 e9 83  ................
0b60: a8 e7 9a 84 e3 81 ab e3 81 af e5 85 a8 e3 81 a6  ................
0b70: e9 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3  ................
0b80: 81 97 e6 a7 8b e6 96 87 e3 81 ab e6 9b b8 e3 81  ................
0b90: 8d e6 8f 9b e3 81 88 e3 82 89 e3 82 8c e3 81 a6  ................
0ba0: e3 81 84 e3 81 be e3 81 99 e3 80 82 3c 74 74 3e  ............<tt>
0bb0: 69 66 3c 2f 74 74 3e 20 e3 82 82 e3 81 a7 e3 81  if</tt> ........
0bc0: 99 e3 80 82 0a 3c 62 72 2f 3e 0a e3 83 91 e3 82  .....<br/>......
0bd0: bf e3 83 bc e3 83 b3 e3 83 9e e3 83 83 e3 83 81  ................
0be0: e3 82 82 e5 85 a8 e9 83 a8 20 3c 74 74 3e 69 66  ......... <tt>if
0bf0: 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 3d 3d  </tt> ... <tt>==
0c00: 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 26 61  </tt> ... <tt>&a
0c10: 6d 70 3b 26 61 6d 70 3b 3c 2f 74 74 3e 20 e3 81  mp;&amp;</tt> ..
0c20: a8 0a 3c 74 74 3e 2e 3c 2f 74 74 3e 20 e3 81 a8  ..<tt>.</tt> ...
0c30: 20 3c 74 74 3e 2e 3f 3c 2f 74 74 3e 20 e3 82 92   <tt>.?</tt> ...
0c40: e4 bd bf e3 81 a3 e3 81 9f e9 96 a2 e6 95 b0 e5  ................
0c50: 91 bc e3 81 b3 e5 87 ba e3 81 97 e5 bc 8f e3 81  ................
0c60: ab e6 9b b8 e3 81 8d e6 8f 9b e3 81 88 e3 82 89  ................
0c70: e3 82 8c e3 81 a6 e3 81 84 e3 81 be e3 81 99 e3  ................
0c80: 81 8c e3 80 81 0a e8 a6 8f e5 89 87 e3 81 ae e8  ................
0c90: a9 b3 e7 b4 b0 e3 82 92 e8 aa ac e6 98 8e e3 81  ................
0ca0: 99 e3 82 8b e3 81 ae e3 81 8c e9 9d a2 e5 80 92  ................
0cb0: e3 81 aa e3 81 ae e3 81 a7 e9 81 a9 e5 bd 93 e3  ................
0cc0: 81 ab e6 83 b3 e5 83 8f e3 81 97 e3 81 a6 e4 b8  ................
0cd0: 8b e3 81 95 e3 81 84 e3 80 82 0a e4 bb 96 e3 81  ................
0ce0: ae e6 9b b8 e3 81 8d e6 8f 9b e3 81 88 e3 81 af  ................
0cf0: e3 81 93 e3 82 93 e3 81 aa e6 84 9f e3 81 98 e3  ................
0d00: 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70  .........</p>.<p
0d10: 72 65 3e 0a 20 20 20 20 69 66 20 45 20 74 68 65  re>.    if E the
0d20: 6e 20 45 20 20 20 20 20 20 20 20 20 e2 87 92 20  n E         ... 
0d30: 69 66 28 20 45 2c 20 66 75 6e 28 29 7b 45 7d 2c  if( E, fun(){E},
0d40: 20 66 75 6e 28 29 7b 7d 20 29 0a 20 20 20 20 69   fun(){} ).    i
0d50: 66 20 45 20 74 68 65 6e 20 45 20 65 6c 73 65 20  f E then E else 
0d60: 45 20 20 e2 87 92 20 69 66 28 20 45 2c 20 66 75  E  ... if( E, fu
0d70: 6e 28 29 7b 45 7d 2c 20 66 75 6e 28 29 7b 45 7d  n(){E}, fun(){E}
0d80: 20 29 0a 20 20 20 20 45 20 42 49 4e 4f 50 20 45   ).    E BINOP E
0d90: 20 20 20 20 20 20 20 20 20 20 20 e2 87 92 20 42             ... B
0da0: 49 4e 4f 50 28 45 2c 20 45 29 0a 20 20 20 20 7b  INOP(E, E).    {
0db0: 20 45 4e 54 52 49 45 53 20 7d 20 20 20 20 20 20   ENTRIES }      
0dc0: 20 20 20 e2 87 92 20 7b 7d 7b 20 45 4e 54 52 49     ... {}{ ENTRI
0dd0: 45 53 20 7d 0a 20 20 20 20 7b 7d 20 20 20 20 20  ES }.    {}     
0de0: 20 20 20 20 20 20 20 20 20 20 20 20 20 e2 87 92               ...
0df0: 20 7b 7d 28 29 0a 20 20 20 20 45 20 7b 49 44 3a   {}().    E {ID:
0e00: 45 2c 20 2e 2e 2e 7d 20 20 20 20 20 20 20 e2 87  E, ...}       ..
0e10: 92 20 2e 3d 28 45 2c 20 49 44 2c 20 45 29 20 7b  . .=(E, ID, E) {
0e20: 20 2e 2e 2e 20 7d 0a 3c 2f 70 72 65 3e 0a 3c 70   ... }.</pre>.<p
0e30: 3e 0a e5 a4 89 e6 95 b0 e5 ae a3 e8 a8 80 e3 81  >...............
0e40: ab e8 89 b2 e3 80 85 e3 81 82 e3 82 8a e3 81 be  ................
0e50: e3 81 99 e3 81 8c e3 80 81 3c 74 74 3e 6c 65 74  .........<tt>let
0e60: 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 76 61  </tt> ... <tt>va
0e70: 72 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 64  r</tt> ... <tt>d
0e80: 65 66 3c 2f 74 74 3e 20 e3 81 af e5 90 8c e3 81  ef</tt> ........
0e90: 98 e6 89 b1 e3 81 84 e3 81 a7 e3 80 81 0a 3c 74  ..............<t
0ea0: 74 3e 69 6e 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74  t>in</tt> ... <t
0eb0: 74 3e 3b 3c 2f 74 74 3e 20 e3 81 af e5 90 8c e3  t>;</tt> .......
0ec0: 81 98 e6 89 b1 e3 81 84 e3 81 a7 e3 81 99 e3 80  ................
0ed0: 82 e3 81 a4 e3 81 be e3 82 8a 0a 3c 2f 70 3e 0a  ...........</p>.
0ee0: 3c 70 72 65 3e 0a 20 20 20 6c 65 74 20 78 20 3d  <pre>.   let x =
0ef0: 20 45 20 69 6e 20 45 0a 20 20 20 76 61 72 20 78   E in E.   var x
0f00: 20 3d 20 45 20 69 6e 20 45 0a 20 20 20 64 65 66   = E in E.   def
0f10: 20 78 20 3d 20 45 20 69 6e 20 45 0a 20 20 20 6c   x = E in E.   l
0f20: 65 74 20 78 20 3d 20 45 20 3b 20 45 0a 20 20 20  et x = E ; E.   
0f30: 76 61 72 20 78 20 3d 20 45 20 3b 20 45 0a 20 20  var x = E ; E.  
0f40: 20 64 65 66 20 78 20 3d 20 45 20 3b 20 45 0a 3c   def x = E ; E.<
0f50: 2f 70 72 65 3e 0a 3c 70 3e 0a e4 bb a5 e4 b8 8a  /pre>.<p>.......
0f60: e3 81 ae e3 81 a9 e3 82 8c e3 82 82 e5 90 8c e3  ................
0f70: 81 98 e6 84 8f e5 91 b3 e3 81 aa e3 81 ae e3 81  ................
0f80: a7 e3 80 81 e3 81 aa e3 82 93 e3 81 a8 e3 81 aa  ................
0f90: e3 81 8f e9 96 a2 e6 95 b0 e5 9e 8b e3 81 a3 e3  ................
0fa0: 81 bd e3 81 8f e6 9b b8 e3 81 8d e3 81 9f e3 81  ................
0fb0: 84 e6 b0 97 e5 88 86 e3 81 ae e6 97 a5 e3 81 af  ................
0fc0: 20 3c 74 74 3e 6c 65 74 20 69 6e 3c 2f 74 74 3e   <tt>let in</tt>
0fd0: 20 e3 82 92 e3 80 81 0a e6 89 8b e7 b6 9a e3 81   ...............
0fe0: 8d e5 9e 8b e3 81 a3 e3 81 bd e3 81 8f e6 9b b8  ................
0ff0: e3 81 8d e3 81 9f e3 81 84 e6 b0 97 e5 88 86 e3  ................
1000: 81 ae e6 97 a5 e3 81 af 20 3c 74 74 3e 76 61 72  ........ <tt>var
1010: 20 3b 3c 2f 74 74 3e 20 e3 82 92 e4 bd bf e3 81   ;</tt> ........
1020: 86 e3 81 a8 e3 82 88 e3 81 84 e3 81 a8 e6 80 9d  ................
1030: e3 81 84 e3 81 be e3 81 99 e3 80 82 0a 3c 74 74  .............<tt
1040: 3e 69 66 20 74 68 65 6e 20 65 6c 73 65 3c 2f 74  >if then else</t
1050: 74 3e 20 e3 82 82 e5 be ae e5 a6 99 e3 81 ab e3  t> .............
1060: 82 b3 e3 83 ad e3 83 b3 e3 81 8c e3 81 82 e3 81  ................
1070: a3 e3 81 9f e3 82 8a e3 81 aa e3 81 8b e3 81 a3  ................
1080: e3 81 9f e3 82 8a e3 83 90 e3 83 aa e3 82 a8 e3  ................
1090: 83 bc e3 82 b7 e3 83 a7 e3 83 b3 e3 81 8c e3 81  ................
10a0: 82 e3 82 8a e3 81 be e3 81 99 e3 81 8c e5 a5 bd  ................
10b0: e3 81 bf e3 81 a7 e4 bd bf e3 81 84 e3 81 be e3  ................
10c0: 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e9  ......</p>.<p>..
10d0: 96 a2 e6 95 b0 e3 82 92 e5 ae a3 e8 a8 80 e3 81  ................
10e0: 99 e3 82 8b e3 81 a8 e3 81 8d e3 81 af e3 80 81  ................
10f0: 3c 74 74 3e 66 75 6e 3c 2f 74 74 3e 20 e3 82 84  <tt>fun</tt> ...
1100: 20 3c 74 74 3e ce bb 3c 2f 74 74 3e 20 e3 82 92   <tt>..</tt> ...
1110: e7 9c 81 e7 95 a5 e3 81 a7 e3 81 8d e3 81 be e3  ................
1120: 81 99 e3 80 82 0a e4 bb a5 e4 b8 8b e3 81 ae e6  ................
1130: 9b b8 e3 81 8d e6 8f 9b e3 81 88 e3 81 8c e8 a1  ................
1140: 8c e3 82 8f e3 82 8c e3 81 be e3 81 99 e3 80 82  ................
1150: 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 64  .</p>.<pre>.   d
1160: 65 66 20 66 28 20 41 52 47 53 20 29 20 7b 20 45  ef f( ARGS ) { E
1170: 20 7d 3b 20 45 20 20 20 e2 87 92 20 20 20 64 65   }; E   ...   de
1180: 66 20 66 20 3d 20 66 75 6e 28 41 52 47 53 29 7b  f f = fun(ARGS){
1190: 45 7d 3b 20 45 0a 3c 2f 70 72 65 3e 0a 3c 70 3e  E}; E.</pre>.<p>
11a0: 0a e4 bb 96 e3 81 ab e3 80 81 e3 82 82 e3 81 a3  ................
11b0: e3 81 a8 e6 89 8b e7 b6 9a e3 81 8d e5 9e 8b e3  ................
11c0: 81 a3 e3 81 bd e3 81 8f e3 81 9f e3 82 81 e3 81  ................
11d0: ae e6 9b b8 e3 81 8d e6 8f 9b e3 81 88 e8 89 b2  ................
11e0: e3 80 85 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20  ....</p>.<pre>. 
11f0: 20 20 66 75 6e 20 28 29 20 7b 20 45 3b 20 45 3b    fun () { E; E;
1200: 20 45 20 20 20 20 20 20 7d 20 20 20 e2 87 92 20   E      }   ... 
1210: 20 20 66 75 6e 20 28 29 20 7b 20 6c 65 74 20 5f    fun () { let _
1220: 20 3d 20 45 20 69 6e 20 6c 65 74 20 5f 20 3d 20   = E in let _ = 
1230: 45 20 69 6e 20 45 20 7d 0a 20 20 20 66 75 6e 20  E in E }.   fun 
1240: 28 29 20 7b 20 76 61 72 20 78 20 3d 20 31 30 30  () { var x = 100
1250: 20 20 7d 20 20 20 e2 87 92 20 20 20 66 75 6e 20    }   ...   fun 
1260: 28 29 20 7b 20 76 61 72 20 78 20 3d 20 31 30 30  () { var x = 100
1270: 3b 20 78 20 7d 0a 20 20 20 66 75 6e 20 28 29 20  ; x }.   fun () 
1280: 7b 20 76 61 72 20 78 20 3d 20 31 30 30 3b 20 7d  { var x = 100; }
1290: 20 20 20 e2 87 92 20 20 20 66 75 6e 20 28 29 20     ...   fun () 
12a0: 7b 20 76 61 72 20 78 20 3d 20 31 30 30 3b 20 78  { var x = 100; x
12b0: 20 7d 0a 20 20 20 66 75 6e 20 28 29 20 7b 20 7d   }.   fun () { }
12c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
12d0: e2 87 92 20 20 20 66 75 6e 20 28 29 20 7b 20 22  ...   fun () { "
12e0: 28 65 6d 70 74 79 20 66 75 6e 63 74 69 6f 6e 20  (empty function 
12f0: 62 6f 64 79 29 22 20 7d 0a 3c 2f 70 72 65 3e 0a  body)" }.</pre>.
1300: 3c 70 3e 0a e4 b8 ad e8 ba ab e3 81 8c e7 a9 ba  <p>.............
1310: e3 81 ae e9 96 a2 e6 95 b0 e3 81 ab e4 bd 95 e3  ................
1320: 82 92 e8 bf 94 e3 81 95 e3 81 9b e3 82 8b e3 81  ................
1330: 8b e3 81 af e9 81 a9 e5 bd 93 e3 81 a7 e3 81 99  ................
1340: e3 80 82 e4 bb 8a e3 81 af e3 81 a8 e3 82 8a e3  ................
1350: 81 82 e3 81 88 e3 81 9a e9 81 a9 e5 bd 93 e3 81  ................
1360: ab e6 96 87 e5 ad 97 e5 88 97 e8 bf 94 e3 81 97  ................
1370: e3 81 a6 e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70  .............</p
1380: 3e 0a 29 29 0a 0a 24 28 53 45 43 54 49 4f 4e 20  >.))..$(SECTION 
1390: e5 a4 89 e6 95 b0 e3 81 ae e3 82 b9 e3 82 b3 e3  ................
13a0: 83 bc e3 83 97 e8 a6 8f e5 89 87 2c 20 24 28 53  ..........., $(S
13b0: 45 43 42 4f 44 59 0a 3c 70 3e 0a e5 9f ba e6 9c  ECBODY.<p>......
13c0: ac e7 9a 84 e3 81 ab e3 81 af e3 80 81 6c 65 74  .............let
13d0: 20 e3 81 ab e3 82 88 e3 81 a3 e3 81 a6 e5 b8 b8   ...............
13e0: e8 ad 98 e7 9a 84 e3 81 aa e6 84 9f e3 81 98 e3  ................
13f0: 81 ab e5 a4 89 e6 95 b0 e3 81 ae e3 82 b9 e3 82  ................
1400: b3 e3 83 bc e3 83 97 e3 81 8c e3 83 8d e3 82 b9  ................
1410: e3 83 88 e3 81 97 e3 81 be e3 81 99 e3 80 82 0a  ................
1420: 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 6c 65  </p>.<pre>.   le
1430: 74 20 78 3d 32 31 20 69 6e 20 6c 65 74 20 78 3d  t x=21 in let x=
1440: 78 2b 78 20 69 6e 20 78 20 20 20 20 24 28 44 5f  x+x in x    $(D_
1450: 43 4f 4d 4d 45 4e 54 20 23 20 34 32 29 0a 3c 2f  COMMENT # 42).</
1460: 70 72 65 3e 0a 3c 70 3e 0a e4 b8 80 e6 96 b9 e3  pre>.<p>........
1470: 81 a7 e3 80 81 22 6c 65 74 20 72 65 63 22 20 e3  ....."let rec" .
1480: 81 ae e3 82 88 e3 81 86 e3 81 aa e7 89 b9 e5 88  ................
1490: a5 e3 81 aa e6 a7 8b e6 96 87 e3 81 af e3 81 82  ................
14a0: e3 82 8a e3 81 be e3 81 9b e3 82 93 e3 81 8c e3  ................
14b0: 80 81 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20  ...</p>.<pre>.  
14c0: 20 6c 65 74 20 66 20 3d 20 66 75 6e 28 78 29 20   let f = fun(x) 
14d0: 7b 20 69 66 20 78 3d 3d 30 20 74 68 65 6e 20 31  { if x==0 then 1
14e0: 20 65 6c 73 65 20 78 2a 66 28 78 2d 31 29 20 7d   else x*f(x-1) }
14f0: 20 69 6e 20 66 28 31 30 29 20 20 24 28 44 5f 43   in f(10)  $(D_C
1500: 4f 4d 4d 45 4e 54 20 23 20 33 36 32 38 38 30 30  OMMENT # 3628800
1510: 29 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e5 86 8d  ).</pre>.<p>....
1520: e5 b8 b0 e7 9a 84 e3 81 aa e9 96 a2 e6 95 b0 e5  ................
1530: ae 9a e7 be a9 e3 81 aa e3 81 a9 e3 82 82 e3 80  ................
1540: 81 e3 81 8a e3 81 9d e3 82 89 e3 81 8f e6 84 8f  ................
1550: e5 9b b3 e3 81 95 e3 82 8c e3 81 9f e3 81 a8 e3  ................
1560: 81 8a e3 82 8a e3 81 ab e5 8b 95 e3 81 8d e3 81  ................
1570: be e3 81 99 e3 80 82 0a e5 86 85 e9 83 a8 e3 81  ................
1580: ae e8 a9 b3 e7 b4 b0 e3 81 af e3 80 81 e8 ab b8  ................
1590: e8 88 ac e3 81 ae e4 ba 8b e6 83 85 e3 81 ab e3  ................
15a0: 82 88 e3 82 8a e3 80 81 0a e3 83 9e e3 82 b8 e3  ................
15b0: 82 ab e3 83 ab e3 81 a7 e7 a0 b4 e5 a3 8a e7 9a  ................
15c0: 84 e3 81 aa e3 82 b9 e3 82 b3 e3 83 bc e3 83 97  ................
15d0: e8 a6 8f e5 89 87 e3 81 ab e3 81 aa e3 81 a3 e3  ................
15e0: 81 a6 e3 81 84 e3 82 8b e3 81 ae e3 81 a7 e3 81  ................
15f0: 99 e3 81 8c e3 80 81 0a e5 90 8c e5 90 8d e3 81  ................
1600: ae e5 a4 89 e6 95 b0 e3 82 92 e6 bf 80 e3 81 97  ................
1610: e3 81 8f e9 87 8d e3 81 ad e3 81 a6 e4 bd bf e3  ................
1620: 81 a3 e3 81 9f e3 82 8a e3 81 97 e3 81 aa e3 81  ................
1630: 91 e3 82 8c e3 81 b0 e3 80 81 0a e3 81 a0 e3 81  ................
1640: 84 e3 81 9f e3 81 84 e8 87 aa e7 84 b6 e3 81 aa  ................
1650: e5 8b 95 e3 81 8d e3 82 92 e3 81 99 e3 82 8b e3  ................
1660: 81 a8 e6 80 9d e3 81 84 e3 81 be e3 81 99 e3 80  ................
1670: 81 e3 81 9f e3 81 b6 e3 82 93 e3 80 81 e3 81 af  ................
1680: e3 81 84 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a  .......</p>.<p>.
1690: e3 81 b2 e3 81 a8 e3 81 a4 e3 81 a0 e3 81 91 e4  ................
16a0: b8 8d e5 8f af e6 80 9d e8 ad b0 e3 81 aa e5 8b  ................
16b0: 95 e3 81 8d e3 82 92 e3 81 99 e3 82 8b e3 81 ae  ................
16c0: e3 81 af e3 80 81 e4 bb a5 e4 b8 8b e3 81 ae e3  ................
16d0: 82 b1 e3 83 bc e3 82 b9 e3 81 a7 e3 81 99 e3 80  ................
16e0: 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20  ..</p>.<pre>.   
16f0: 6c 65 74 20 78 20 3d 20 31 20 69 6e 0a 20 20 20  let x = 1 in.   
1700: 6c 65 74 20 66 20 3d 20 66 75 6e 28 29 20 7b 78  let f = fun() {x
1710: 7d 20 69 6e 0a 20 20 20 6c 65 74 20 78 20 3d 20  } in.   let x = 
1720: 32 20 69 6e 0a 20 20 20 20 20 20 66 28 29 20 20  2 in.      f()  
1730: 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20    $(D_COMMENT # 
1740: 32 21 21 29 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a  2!!).</pre>.<p>.
1750: 6c 65 74 2d 69 6e 20 e3 82 92 e7 b8 a6 e3 81 ab  let-in .........
1760: e3 83 81 e3 82 a7 e3 82 a4 e3 83 b3 e3 81 97 e3  ................
1770: 81 9f e3 81 a8 e3 81 8d e3 81 a0 e3 81 91 e3 80  ................
1780: 81 e5 90 8c e5 90 8d e5 a4 89 e6 95 b0 e3 82 92  ................
1790: e7 a0 b4 e5 a3 8a e7 9a 84 e3 81 ab e4 b8 8a e6  ................
17a0: 9b b8 e3 81 8d e3 81 97 e3 81 be e3 81 99 0a ef  ................
17b0: bc 88 e5 86 8d e5 b8 b0 e9 96 a2 e6 95 b0 e3 81  ................
17c0: ae e5 ae 9a e7 be a9 e3 81 8c 22 e3 81 86 e3 81  ..........".....
17d0: be e3 81 8f 22 e3 81 84 e3 81 a3 e3 81 a6 e3 81  ...."...........
17e0: 84 e3 82 8b e3 81 ae e3 81 af e3 81 93 e3 81 ae  ................
17f0: e4 b8 8a e6 9b b8 e3 81 8d e3 81 ae e3 81 9f e3  ................
1800: 82 81 e3 81 a7 e3 81 99 ef bc 89 e3 80 82 0a e3  ................
1810: 81 aa e3 82 93 e3 81 a7 e3 81 93 e3 82 93 e3 81  ................
1820: aa e3 81 93 e3 81 a8 e3 81 ab e3 81 aa e3 81 a3  ................
1830: e3 81 a6 e3 81 84 e3 82 8b e3 81 8b e3 81 a8 e3  ................
1840: 81 84 e3 81 86 e3 81 a8 e3 80 81 0a e5 be 8c e3  ................
1850: 81 a7 e8 aa ac e6 98 8e e3 81 99 e3 82 8b e3 80  ................
1860: 8c e3 83 ac e3 82 a4 e3 83 a4 e3 80 8d e3 82 92  ................
1870: e4 bd bf e3 81 a3 e3 81 9f e3 81 a8 e3 81 8d e3  ................
1880: 81 ab 0a 3c 74 74 3e 6c 65 74 20 66 6f 6f 20 3d  ...<tt>let foo =
1890: 20 2e 2e 2e 20 69 6e 20 40 6c 61 79 20 66 6f 6f   ... in @lay foo
18a0: 20 3d 20 2e 2e 2e 20 69 6e 20 2e 2e 2e 3c 2f 74   = ... in ...</t
18b0: 74 3e 0a e3 81 a7 e4 bb 96 e3 83 ac e3 82 a4 e3  t>..............
18c0: 83 a4 e3 81 ab e9 87 8d e3 81 ad e6 9b b8 e3 81  ................
18d0: 8d e3 81 99 e3 82 8b e3 81 9f e3 82 81 e3 81 a7  ................
18e0: e3 81 82 e3 82 8a e3 81 be e3 81 99 e3 80 82 0a  ................
18f0: 3c 2f 70 3e 0a 29 29 0a 29 0a 29 29 0a 0a 0a 0a  </p>.)).).))....
1900: 0a 24 28 53 45 43 54 49 4f 4e 20 42 61 73 69 63  .$(SECTION Basic
1910: 20 46 65 61 74 75 72 65 73 2c 20 24 28 53 45 43   Features, $(SEC
1920: 42 4f 44 59 0a 3c 70 3e 0a e7 89 b9 e3 81 ab e7  BODY.<p>........
1930: 89 b9 e5 be b4 e7 9a 84 e3 81 a7 e3 82 82 e3 81  ................
1940: aa e3 81 84 e9 83 a8 e5 88 86 e3 82 92 e7 b0 a1  ................
1950: e5 8d 98 e3 81 ab e3 81 be e3 81 a8 e3 82 81 e3  ................
1960: 80 82 0a 3c 2f 70 3e 0a 3c 75 6c 3e 0a 20 20 3c  ...</p>.<ul>.  <
1970: 6c 69 3e e9 9d 99 e7 9a 84 e5 9e 8b e3 82 b7 e3  li>.............
1980: 82 b9 e3 83 86 e3 83 a0 e3 81 af e3 81 82 e3 82  ................
1990: 8a e3 81 be e3 81 9b e3 82 93 e3 80 82 3c 2f 6c  .............</l
19a0: 69 3e 0a 20 20 3c 6c 69 3e 22 e3 81 bb e3 81 bc  i>.  <li>"......
19b0: 22 20 e7 b4 94 e7 b2 8b e9 96 a2 e6 95 b0 e5 9e  " ..............
19c0: 8b e8 a8 80 e8 aa 9e e3 81 a7 e3 81 99 e3 80 82  ................
19d0: e5 a4 89 e6 95 b0 e3 82 84 e3 83 86 e3 83 bc e3  ................
19e0: 83 96 e3 83 ab e3 81 ae e3 83 95 e3 82 a3 e3 83  ................
19f0: bc e3 83 ab e3 83 89 e3 81 ae e7 a0 b4 e5 a3 8a  ................
1a00: e7 9a 84 e3 81 aa e6 9b b8 e3 81 8d e6 8f 9b e3  ................
1a10: 81 88 e3 81 af e3 81 a7 e3 81 8d e3 81 be e3 81  ................
1a20: 9b e3 82 93 e3 80 82 3c 62 72 2f 3e 0a 20 20 20  .......<br/>.   
1a30: 20 20 20 e3 81 9f e3 81 a0 e3 81 97 e3 80 81 e7     .............
1a40: b5 84 e3 81 bf e8 be bc e3 81 bf e9 96 a2 e6 95  ................
1a50: b0 ef bc 88 3c 74 74 3e 70 72 69 6e 74 3c 2f 74  ....<tt>print</t
1a60: 74 3e ef bc 89 e3 81 a8 e3 80 81 e5 a4 89 e6 95  t>..............
1a70: b0 e3 81 ae e3 82 b9 e3 82 b3 e3 83 bc e3 83 97  ................
1a80: e8 a6 8f e5 89 87 e3 81 ae e3 83 9e e3 82 b8 e3  ................
1a90: 82 ab e3 83 ab e3 81 aa e7 89 87 e9 9a 85 e3 81  ................
1aa0: ab e5 89 af e4 bd 9c e7 94 a8 e3 81 8c e3 81 82  ................
1ab0: e3 82 8a e3 81 be e3 81 99 e3 80 82 3c 2f 6c 69  ............</li
1ac0: 3e 0a 3c 2f 75 6c 3e 0a 3c 70 3e 0a e9 9d 99 e7  >.</ul>.<p>.....
1ad0: 9a 84 e5 9e 8b e3 82 b7 e3 82 b9 e3 83 86 e3 83  ................
1ae0: a0 e3 81 8c e3 81 aa e3 81 84 e3 81 ae e3 81 af  ................
1af0: e6 84 8f e5 9b b3 e7 9a 84 e3 81 a7 e3 81 99 e3  ................
1b00: 81 8c e3 80 81 e7 a0 b4 e5 a3 8a e7 9a 84 e4 bb  ................
1b10: a3 e5 85 a5 e3 81 8c e3 81 aa e3 81 84 e3 81 ae  ................
1b20: e3 81 af e3 80 81 e5 8d 98 e3 81 ab e5 ae 9f e8  ................
1b30: a3 85 e3 81 8c e3 82 81 e3 82 93 e3 81 a9 e3 81  ................
1b40: 8b e3 81 a3 e3 81 9f e3 81 a0 e3 81 91 e3 81 aa  ................
1b50: e3 81 ae e3 81 a7 e3 80 81 0a e4 bb 8a e5 be 8c  ................
1b60: e4 bd 95 e3 81 8b e5 a2 97 e3 81 88 e3 82 8b e3  ................
1b70: 81 8b e3 82 82 e3 81 97 e3 82 8c e3 81 be e3 81  ................
1b80: 9b e3 82 93 e3 80 82 e5 a2 97 e3 81 88 e3 81 aa  ................
1b90: e3 81 84 e3 81 8b e3 82 82 e3 81 97 e3 82 8c e3  ................
1ba0: 81 be e3 81 9b e3 82 93 e3 80 82 0a 3c 2f 70 3e  ............</p>
1bb0: 0a 24 28 44 44 4f 43 5f 4d 45 4d 42 45 52 53 0a  .$(DDOC_MEMBERS.
1bc0: 24 28 53 45 43 54 49 4f 4e 20 e3 83 87 e3 83 bc  $(SECTION ......
1bd0: e3 82 bf e5 9e 8b 2c 20 24 28 53 45 43 42 4f 44  ......, $(SECBOD
1be0: 59 0a 3c 70 3e 0a e4 bb a5 e4 b8 8b e3 81 ae e3  Y.<p>...........
1bf0: 83 87 e3 83 bc e3 82 bf e5 9e 8b e3 81 8c e3 81  ................
1c00: 82 e3 82 8a e3 81 be e3 81 99 e3 80 82 0a 3c 2f  ..............</
1c10: 70 3e 0a 3c 75 6c 3e 0a 20 20 3c 6c 69 3e e6 95  p>.<ul>.  <li>..
1c20: b4 e6 95 b0 3a 20 20 20 20 20 3c 74 74 3e 30 3c  ....:     <tt>0<
1c30: 2f 74 74 3e 2c 20 3c 74 74 3e 31 32 33 3c 2f 74  /tt>, <tt>123</t
1c40: 74 3e 2c 20 3c 74 74 3e 34 35 36 36 36 36 36 36  t>, <tt>45666666
1c50: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36  6666666666666666
1c60: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 37  6666666666666667
1c70: 38 39 3c 2f 74 74 3e 2c 20 2e 2e 2e 3c 2f 6c 69  89</tt>, ...</li
1c80: 3e 0a 20 20 3c 6c 69 3e e6 96 87 e5 ad 97 e5 88  >.  <li>........
1c90: 97 3a 20 20 20 3c 74 74 3e 22 68 65 6c 6c 6f 2c  .:   <tt>"hello,
1ca0: 20 77 6f 72 6c 64 21 22 3c 2f 74 74 3e 2c 20 2e   world!"</tt>, .
1cb0: 2e 2e 3c 2f 6c 69 3e 0a 20 20 3c 6c 69 3e e9 96  ..</li>.  <li>..
1cc0: a2 e6 95 b0 3a 20 20 20 20 20 3c 74 74 3e 66 75  ....:     <tt>fu
1cd0: 6e 28 78 29 7b 78 2b 31 7d 3c 2f 74 74 3e 3c 2f  n(x){x+1}</tt></
1ce0: 6c 69 3e 0a 20 20 3c 6c 69 3e e3 83 86 e3 83 bc  li>.  <li>......
1cf0: e3 83 96 e3 83 ab 3a 20 3c 74 74 3e 7b 63 61 72  ......: <tt>{car
1d00: 3a 20 31 2c 20 63 64 72 3a 20 7b 63 61 72 3a 20  : 1, cdr: {car: 
1d10: 32 2c 20 63 64 72 3a 20 7b 7d 7d 7d 3c 2f 74 74  2, cdr: {}}}</tt
1d20: 3e 3c 2f 6c 69 3e 0a 20 20 3c 6c 69 3e e6 9c aa  ></li>.  <li>...
1d30: e5 ae 9a e7 be a9 e5 80 a4 3a 20 28 75 6e 64 65  .........: (unde
1d40: 66 69 6e 65 64 e3 80 82 e7 89 b9 e6 ae 8a e3 81  fined...........
1d50: aa e3 82 b1 e3 83 bc e3 82 b9 e3 81 a7 e4 bd 9c  ................
1d60: e3 82 89 e3 82 8c e3 81 be e3 81 99 29 3c 2f 6c  ............)</l
1d70: 69 3e 0a 3c 2f 75 6c 3e 0a 3c 70 3e 0a e9 96 a2  i>.</ul>.<p>....
1d80: e6 95 b0 e3 81 af e3 81 84 e3 82 8f e3 82 86 e3  ................
1d90: 82 8b e3 80 8c e3 82 af e3 83 ad e3 83 bc e3 82  ................
1da0: b8 e3 83 a3 e3 80 8d e3 81 a7 e3 81 99 e3 80 82  ................
1db0: e9 9d 99 e7 9a 84 e3 82 b9 e3 82 b3 e3 83 bc e3  ................
1dc0: 83 97 e3 81 a7 e5 a4 96 e5 81 b4 e3 81 ae e7 92  ................
1dd0: b0 e5 a2 83 e3 81 ab e3 82 a2 e3 82 af e3 82 bb  ................
1de0: e3 82 b9 e3 81 a7 e3 81 8d e3 81 be e3 81 99 e3  ................
1df0: 80 82 0a e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3  ................
1e00: 81 af e3 81 84 e3 82 8f e3 82 86 e3 82 8b e3 83  ................
1e10: 97 e3 83 ad e3 83 88 e3 82 bf e3 82 a4 e3 83 97  ................
1e20: e3 83 81 e3 82 a7 e3 83 bc e3 83 b3 e3 82 92 e6  ................
1e30: 8c 81 e3 81 a3 e3 81 a6 e3 81 84 e3 81 a6 e3 80  ................
1e40: 81 0a e8 87 aa e5 88 86 e3 81 ab e3 81 aa e3 81  ................
1e50: 84 e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89  ................
1e60: e3 81 ae e5 a0 b4 e5 90 88 e3 81 af e8 a6 aa e3  ................
1e70: 81 ab e5 95 8f e3 81 84 e5 90 88 e3 82 8f e3 81  ................
1e80: 9b e3 81 8c e8 a1 8c e3 81 8f e6 84 9f e3 81 98  ................
1e90: e3 81 ab e3 81 aa e3 81 a3 e3 81 a6 e3 81 84 e3  ................
1ea0: 81 be e3 81 99 e3 81 8c e3 80 81 0a e3 83 95 e3  ................
1eb0: 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ae e6 9b  ................
1ec0: b8 e3 81 8d e6 8f 9b e3 81 88 e3 81 8c e3 81 aa  ................
1ed0: e3 81 84 e3 81 ae e3 81 a7 e3 80 81 e3 81 93 e3  ................
1ee0: 82 8c e3 81 af e7 89 b9 e3 81 ab e6 84 8f e5 91  ................
1ef0: b3 e3 81 aa e3 81 84 e3 81 8b e3 82 82 e3 81 97  ................
1f00: e3 82 8c e3 81 aa e3 81 84 e2 80 a6 e3 80 82 0a  ................
1f10: 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 be e3 81 9f e3  </p>.<p>........
1f20: 80 81 e3 83 aa e3 82 b9 e3 83 88 e3 82 92 e6 89  ................
1f30: b1 e3 81 86 e3 81 9f e3 82 81 e3 81 ab e3 80 81  ................
1f40: e3 81 84 e3 82 8f e3 82 86 e3 82 8b e3 80 8c 63  ...............c
1f50: 6f 6e 73 20 e3 83 aa e3 82 b9 e3 83 88 e3 80 8d  ons ............
1f60: e3 82 92 e4 bd bf e3 81 84 e3 81 be e3 81 99 e3  ................
1f70: 80 82 0a e7 a9 ba e3 83 aa e3 82 b9 e3 83 88 e3  ................
1f80: 82 92 20 3c 74 74 3e 7b 7d 3c 2f 74 74 3e e3 80  .. <tt>{}</tt>..
1f90: 81 ef bc 91 e5 80 8b e4 bb a5 e4 b8 8a e8 a6 81  ................
1fa0: e7 b4 a0 e3 81 8c e3 81 82 e3 82 8b e3 82 82 e3  ................
1fb0: 81 ae e3 82 92 20 3c 74 74 3e 7b 63 61 72 3a 20  ..... <tt>{car: 
1fc0: e5 85 88 e9 a0 ad e8 a6 81 e7 b4 a0 2c 20 63 64  ............, cd
1fd0: 72 3a 20 e4 ba 8c e7 95 aa e7 9b ae e4 bb a5 e9  r: .............
1fe0: 99 8d e3 81 ae e3 83 aa e3 82 b9 e3 83 88 7d 3c  ..............}<
1ff0: 2f 74 74 3e 0a e3 81 a8 e3 81 84 e3 81 86 e5 bd  /tt>............
2000: a2 e3 81 a7 e3 80 82 e3 81 93 e3 81 ae e5 bd a2  ................
2010: e3 81 a7 e3 83 aa e3 82 b9 e3 83 88 e3 82 92 e6  ................
2020: 89 b1 e3 82 8f e3 81 aa e3 81 91 e3 82 8c e3 81  ................
2030: b0 e3 81 aa e3 82 89 e3 81 aa e3 81 84 e3 81 a8  ................
2040: e3 81 84 e3 81 86 e6 b1 ba e3 81 be e3 82 8a e3  ................
2050: 81 af e3 81 82 e3 82 8a e3 81 be e3 81 9b e3 82  ................
2060: 93 e3 81 8c e3 80 81 0a e3 81 93 e3 81 ae e5 bd  ................
2070: a2 e3 81 af e7 89 b9 e5 88 a5 e6 89 b1 e3 81 84  ................
2080: e3 81 95 e3 82 8c e3 81 a6 20 3c 74 74 3e 70 72  ......... <tt>pr
2090: 69 6e 74 3c 2f 74 74 3e 20 e3 81 a7 e7 b6 ba e9  int</tt> .......
20a0: ba 97 e3 81 ab e5 87 ba e5 8a 9b e3 81 95 e3 82  ................
20b0: 8c e3 81 9f e3 82 8a e3 81 97 e3 81 be e3 81 99  ................
20c0: e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 24 28 53 45  ....</p>.)).$(SE
20d0: 43 54 49 4f 4e 20 e3 83 91 e3 82 bf e3 83 bc e3  CTION ..........
20e0: 83 b3 e3 83 9e e3 83 83 e3 83 81 2c 20 24 28 53  ..........., $(S
20f0: 45 43 42 4f 44 59 0a 3c 70 3e 0a e9 81 a9 e5 bd  ECBODY.<p>......
2100: 93 e3 81 ab e5 ae 9f e8 a3 85 e3 81 95 e3 82 8c  ................
2110: e3 81 9f e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3  ................
2120: 83 9e e3 83 83 e3 83 81 e3 81 8c e3 81 82 e3 82  ................
2130: 8a e3 81 be e3 81 99 e3 80 82 0a e3 83 aa e3 82  ................
2140: b9 e3 83 88 e3 81 ae 20 32 6e 20 e7 95 aa e7 9b  ....... 2n .....
2150: ae e3 81 a8 20 32 6e 2b 31 20 e7 95 aa e7 9b ae  .... 2n+1 ......
2160: e3 82 92 e8 b6 b3 e3 81 97 e3 81 a6 e9 95 b7 e3  ................
2170: 81 95 e3 82 92 e5 8d 8a e5 88 86 e3 81 ab e3 81  ................
2180: 99 e3 82 8b e9 96 a2 e6 95 b0 ef bc 9a 0a 3c 2f  ..............</
2190: 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 64 65 66  p>.<pre>.    def
21a0: 20 61 64 6a 53 75 6d 28 6c 73 74 29 0a 20 20 20   adjSum(lst).   
21b0: 20 7b 0a 20 20 20 20 20 20 63 61 73 65 20 6c 73   {.      case ls
21c0: 74 0a 20 20 20 20 20 20 20 20 77 68 65 6e 20 7b  t.        when {
21d0: 63 61 72 3a 78 2c 20 63 64 72 3a 7b 63 61 72 3a  car:x, cdr:{car:
21e0: 20 79 2c 20 63 64 72 3a 7a 7d 7d 3a 20 7b 63 61   y, cdr:z}}: {ca
21f0: 72 3a 20 78 2b 79 2c 20 63 64 72 3a 20 61 64 6a  r: x+y, cdr: adj
2200: 53 75 6d 28 7a 29 7d 0a 20 20 20 20 20 20 20 20  Sum(z)}.        
2210: 77 68 65 6e 20 7b 63 61 72 3a 78 2c 20 63 64 72  when {car:x, cdr
2220: 3a 7b 7d 7d 3a 20 6c 73 74 0a 20 20 20 20 20 20  :{}}: lst.      
2230: 20 20 77 68 65 6e 20 7b 7d 3a 20 7b 7d 0a 20 20    when {}: {}.  
2240: 20 20 7d 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e5    }.</pre>.<p>..
2250: 8b 95 e3 81 8b e3 81 99 e3 81 a8 e3 81 8d e3 81  ................
2260: ab e3 81 af e3 80 81 e5 87 a6 e7 90 86 e7 b3 bb  ................
2270: e3 81 8c e3 81 9d e3 82 8c e3 81 a3 e3 81 bd e3  ................
2280: 81 84 20 69 66 2d 74 68 65 6e 2d 65 6c 73 65 20  .. if-then-else 
2290: e3 81 ab e5 b1 95 e9 96 8b e3 81 97 e3 81 a6 e3  ................
22a0: 81 84 e3 81 be e3 81 99 e3 80 82 0a 3c 74 74 3e  ............<tt>
22b0: 77 68 65 6e 3c 2f 74 74 3e 20 e3 82 92 e4 b8 8a  when</tt> ......
22c0: e3 81 8b e3 82 89 e8 a9 a6 e3 81 97 e3 81 a6 e3  ................
22d0: 81 84 e3 81 a3 e3 81 a6 e3 80 81 e6 9c 80 e5 88  ................
22e0: 9d e3 81 ab e3 83 9e e3 83 83 e3 83 81 e3 81 97  ................
22f0: e3 81 9f e3 81 a8 e3 81 93 e3 82 8d e3 82 92 e5  ................
2300: ae 9f e8 a1 8c e3 81 97 e3 81 be e3 81 99 e3 80  ................
2310: 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20  ..</p>.<pre>.   
2320: 50 41 54 20 3a 3a 3d 20 22 5f 22 20 20 20 20 20  PAT ::= "_"     
2330: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2340: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2350: 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3   $(D_COMMENT # .
2360: 83 af e3 82 a4 e3 83 ab e3 83 89 e3 82 ab e3 83  ................
2370: bc e3 83 89 29 0a 20 20 20 20 20 20 20 20 20 7c  ....).         |
2380: 20 49 44 20 20 20 20 20 20 20 20 20 20 20 20 20   ID             
2390: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
23a0: 20 20 20 20 20 20 20 20 20 20 24 28 44 5f 43 4f            $(D_CO
23b0: 4d 4d 45 4e 54 20 23 20 e5 a4 89 e6 95 b0 e3 83  MMENT # ........
23c0: 91 e3 82 bf e3 83 bc e3 83 b3 29 0a 20 20 20 20  ..........).    
23d0: 20 20 20 20 20 7c 20 22 7b 22 20 49 44 20 22 3a       | "{" ID ":
23e0: 22 20 50 41 54 20 22 2c 22 20 2e 2e 2e 20 22 2c  " PAT "," ... ",
23f0: 22 20 49 44 20 3a 20 50 41 54 20 22 7d 22 20 20  " ID : PAT "}"  
2400: 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83  $(D_COMMENT # ..
2410: 86 e3 83 bc e3 83 96 e3 83 ab e3 83 91 e3 82 bf  ................
2420: e3 83 bc e3 83 b3 29 0a 20 20 20 20 20 20 20 20  ......).        
2430: 20 7c 20 45 20 20 20 20 20 20 20 20 20 20 20 20   | E            
2440: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2450: 20 20 20 20 20 20 20 20 20 20 20 20 24 28 44 5f              $(D_
2460: 43 4f 4d 4d 45 4e 54 20 23 20 e5 80 a4 e3 83 91  COMMENT # ......
2470: e3 82 bf e3 83 bc e3 83 b3 29 0a 3c 2f 70 72 65  .........).</pre
2480: 3e 0a 3c 70 3e 0a e5 a4 89 e6 95 b0 e3 83 91 e3  >.<p>...........
2490: 82 bf e3 83 bc e3 83 b3 e3 81 af e5 b8 b8 e3 81  ................
24a0: ab e3 83 9e e3 83 83 e3 83 81 e3 81 97 e3 81 a6  ................
24b0: e3 80 81 e5 80 a4 e3 82 92 e3 81 9d e3 81 ae e5  ................
24c0: a4 89 e6 95 b0 e3 81 ab e6 9d 9f e7 b8 9b e3 81  ................
24d0: 97 e3 81 be e3 81 99 e3 80 82 0a e3 83 af e3 82  ................
24e0: a4 e3 83 ab e3 83 89 e3 82 ab e3 83 bc e3 83 89  ................
24f0: e3 82 82 e5 b8 b8 e3 81 ab e3 83 9e e3 83 83 e3  ................
2500: 83 81 e3 81 97 e3 81 be e3 81 99 e3 81 8c e3 80  ................
2510: 81 e5 a4 89 e6 95 b0 e6 9d 9f e7 b8 9b e3 81 97  ................
2520: e3 81 be e3 81 9b e3 82 93 e3 80 82 0a e5 80 a4  ................
2530: e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3 81 af e3  ................
2540: 80 81 e4 bb bb e6 84 8f e3 81 ae e5 bc 8f e3 81  ................
2550: 8c e6 9b b8 e3 81 91 e3 81 be e3 81 99 e3 80 82  ................
2560: e3 81 9d e3 81 ae e5 bc 8f e3 82 92 e8 a9 95 e4  ................
2570: be a1 e3 81 97 e3 81 9f e7 b5 90 e6 9e 9c e3 81  ................
2580: a8 20 3c 74 74 3e 3d 3d 3c 2f 74 74 3e 20 e3 81  . <tt>==</tt> ..
2590: aa e3 82 89 e3 83 9e e3 83 83 e3 83 81 e3 81 97  ................
25a0: e3 81 be e3 81 99 e3 80 82 0a e5 a4 96 e3 81 a7  ................
25b0: e6 9d 9f e7 b8 9b e3 81 95 e3 82 8c e3 81 9f e5  ................
25c0: a4 89 e6 95 b0 e3 82 92 e5 80 a4 e3 83 91 e3 82  ................
25d0: bf e3 83 bc e3 83 b3 e3 81 a8 e3 81 97 e3 81 a6  ................
25e0: e9 85 8d e7 bd ae e3 80 81 e3 81 af e7 9b b4 e6  ................
25f0: 8e a5 e3 81 af e3 81 a7 e3 81 8d e3 81 aa e3 81  ................
2600: 84 e3 81 ae e3 81 a7 0a 3c 2f 70 3e 0a 3c 70 72  ........</p>.<pr
2610: 65 3e 0a 20 20 20 76 61 72 20 78 20 3d 20 31 32  e>.   var x = 12
2620: 33 3b 0a 20 20 20 63 61 73 65 20 66 6f 6f 0a 20  3;.   case foo. 
2630: 20 20 20 20 77 68 65 6e 20 7b 76 61 6c 3a 20 78      when {val: x
2640: 2b 30 7d 3a 20 2e 2e 2e 20 24 28 44 5f 43 4f 4d  +0}: ... $(D_COM
2650: 4d 45 4e 54 20 23 20 e3 81 93 e3 82 8c e3 81 af  MENT # .........
2660: 20 7b 76 61 6c 3a 31 32 33 7d 20 e3 81 a8 e5 90   {val:123} .....
2670: 8c e3 81 98 29 0a 20 20 20 20 20 77 68 65 6e 20  ....).     when 
2680: 7b 76 61 6c 3a 20 78 7d 3a 20 20 20 2e 2e 2e 20  {val: x}:   ... 
2690: 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 81  $(D_COMMENT # ..
26a0: 93 e3 82 8c e3 81 af e4 bb bb e6 84 8f e3 81 ae  ................
26b0: 20 66 6f 6f 2e 3f 76 61 6c 20 e3 81 aa e3 82 89   foo.?val ......
26c0: e5 b8 b8 e3 81 ab e3 83 9e e3 83 83 e3 83 81 29  ...............)
26d0: 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e9 81 a9 e5  .</pre>.<p>.....
26e0: bd 93 e3 81 ab e3 81 a1 e3 82 87 e3 81 a3 e3 81  ................
26f0: a8 e8 a4 87 e9 9b 91 e3 81 aa e5 bc 8f e3 81 ab  ................
2700: e3 81 97 e3 81 a6 e3 82 84 e3 82 8b e3 81 a8 e3  ................
2710: 82 88 e3 81 84 e3 81 8b e3 82 82 ef bc 88 e8 a3  ................
2720: 8f e6 8a 80 ef bc 89 e3 80 82 0a 3c 2f 70 3e 0a  ...........</p>.
2730: 3c 70 3e 0a e3 83 86 e3 83 bc e3 83 96 e3 83 ab  <p>.............
2740: e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3 81 af e3  ................
2750: 80 81 e6 9b b8 e3 81 8b e3 82 8c e3 81 9f e3 82  ................
2760: ad e3 83 bc e3 81 8c e5 85 a8 e3 81 a6 e3 81 82  ................
2770: e3 82 8c e3 81 b0 e3 83 9e e3 83 83 e3 83 81 e3  ................
2780: 81 97 e3 81 be e3 81 99 e3 80 82 0a 3c 74 74 3e  ............<tt>
2790: 7b 61 3a 20 5f 7d 3c 2f 74 74 3e 20 e3 81 af e3  {a: _}</tt> ....
27a0: 80 81 3c 74 74 3e 2e 61 3c 2f 74 74 3e 20 e3 82  ..<tt>.a</tt> ..
27b0: 92 e6 8c 81 e3 81 a3 e3 81 a6 e3 81 95 e3 81 88  ................
27c0: e3 81 84 e3 82 8c e3 81 b0 e3 83 9e e3 83 83 e3  ................
27d0: 83 81 e3 81 99 e3 82 8b e3 81 ae e3 81 a7 e3 80  ................
27e0: 81 0a 3c 74 74 3e 7b 61 3a 20 31 32 33 2c 20 62  ..<tt>{a: 123, b
27f0: 3a 20 34 35 36 7d 3c 2f 74 74 3e 20 e3 81 aa e3  : 456}</tt> ....
2800: 82 93 e3 81 8b e3 81 ab e3 82 82 e3 83 9e e3 83  ................
2810: 83 e3 83 81 e3 81 97 e3 81 be e3 81 99 e3 80 82  ................
2820: 0a e3 81 aa e3 81 ae e3 81 a7 e3 80 81 e3 83 aa  ................
2830: e3 82 b9 e3 83 88 e3 81 ab e5 af be e3 81 99 e3  ................
2840: 82 8b e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3 82  ................
2850: 92 e6 9b b8 e3 81 8f e3 81 a8 e3 81 8d e3 81 ab  ................
2860: e3 81 af e3 80 81 63 61 72 2f 63 64 72 20 e3 81  ......car/cdr ..
2870: ae e5 a0 b4 e5 90 88 e3 82 92 e5 85 88 e3 81 ab  ................
2880: e6 9b b8 e3 81 8b e3 81 aa e3 81 84 e3 81 a8 0a  ................
2890: 3c 74 74 3e 77 68 65 6e 20 7b 7d 3c 2f 74 74 3e  <tt>when {}</tt>
28a0: 20 e3 82 92 e4 b8 8a e3 81 ab e6 9b b8 e3 81 8f   ...............
28b0: e3 81 a8 e5 85 a8 e9 83 a8 e3 83 9e e3 83 83 e3  ................
28c0: 83 81 e3 81 97 e3 81 a1 e3 82 83 e3 81 84 e3 81  ................
28d0: be e3 81 99 e3 80 82 e6 b3 a8 e6 84 8f e3 80 82  ................
28e0: 0a 3c 2f 70 3e 0a 29 29 0a 29 0a 29 29 0a 0a 0a  .</p>.)).).))...
28f0: 0a 0a 0a 24 28 53 45 43 54 49 4f 4e 20 4c 61 79  ...$(SECTION Lay
2900: 65 72 73 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c  ers, $(SECBODY.<
2910: 70 72 65 3e 0a 5b 4c 61 79 65 72 73 20 3a 3a 20  pre>.[Layers :: 
2920: 4f 76 65 72 76 69 65 77 5d 0a 0a 20 20 50 6f 6c  Overview]..  Pol
2930: 65 6d 79 27 73 20 72 75 6e 74 69 6d 65 20 65 6e  emy's runtime en
2940: 76 69 72 6f 6e 6d 65 6e 74 20 68 61 73 20 6d 61  vironment has ma
2950: 6e 79 20 22 6c 61 79 65 72 22 73 2e 0a 20 20 55  ny "layer"s..  U
2960: 73 75 61 6c 20 65 78 65 63 75 74 69 6f 6e 20 72  sual execution r
2970: 75 6e 20 69 6e 20 74 68 65 20 40 76 61 6c 75 65  un in the @value
2980: 20 6c 61 79 65 72 2e 0a 0a 20 20 20 20 3e 3e 20   layer...    >> 
2990: 31 20 2b 20 32 0a 20 20 20 20 33 0a 20 20 20 20  1 + 2.    3.    
29a0: 3e 3e 20 40 76 61 6c 75 65 28 20 31 20 2b 20 32  >> @value( 1 + 2
29b0: 20 29 0a 20 20 20 20 33 0a 0a 20 20 48 65 72 65   ).    3..  Here
29c0: 20 79 6f 75 20 63 61 6e 20 73 65 65 20 74 68 61   you can see tha
29d0: 74 20 40 4c 61 79 65 72 4e 61 6d 65 28 20 45 78  t @LayerName( Ex
29e0: 70 72 65 73 73 69 6f 6e 20 29 20 65 78 65 63 75  pression ) execu
29f0: 74 65 73 20 74 68 65 20 69 6e 6e 65 72 20 45 78  tes the inner Ex
2a00: 70 72 65 73 73 69 6f 6e 20 69 6e 0a 20 20 74 68  pression in.  th
2a10: 65 20 40 4c 61 79 65 72 4e 61 6d 65 20 6c 61 79  e @LayerName lay
2a20: 65 72 2e 20 4f 74 68 65 72 20 74 68 61 6e 20 40  er. Other than @
2a30: 76 61 6c 75 65 2c 20 6f 6e 65 20 6f 74 68 65 72  value, one other
2a40: 20 70 72 65 64 65 66 69 6e 65 64 20 6c 61 79 65   predefined laye
2a50: 72 20 65 78 69 73 74 73 3a 20 40 6d 61 63 72 6f  r exists: @macro
2a60: 2e 0a 0a 20 20 20 20 3e 3e 20 40 6d 61 63 72 6f  ...    >> @macro
2a70: 28 20 31 2b 32 20 29 0a 20 20 20 20 7b 70 6f 73  ( 1+2 ).    {pos
2a80: 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76  @value:{lineno@v
2a90: 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76  alue:3, column@v
2aa0: 61 6c 75 65 3a 39 2c 20 66 69 6c 65 6e 61 6d 65  alue:9, filename
2ab0: 40 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a  @value:<REPL>},.
2ac0: 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 3a 61        is@value:a
2ad0: 70 70 2c 0a 20 20 20 20 61 72 67 73 40 76 61 6c  pp,.    args@val
2ae0: 75 65 3a 7b 63 61 72 40 76 61 6c 75 65 3a 7b 70  ue:{car@value:{p
2af0: 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f  os@value:{lineno
2b00: 40 76 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e  @value:3, column
2b10: 40 76 61 6c 75 65 3a 39 2c 20 66 69 6c 65 6e 61  @value:9, filena
2b20: 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d  me@value:<REPL>}
2b30: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ,.              
2b40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 69 73                is
2b50: 40 76 61 6c 75 65 3a 69 6e 74 2c 0a 20 20 20 20  @value:int,.    
2b60: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2b70: 20 20 20 20 20 20 64 61 74 61 40 76 61 6c 75 65        data@value
2b80: 3a 31 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 20  :1},.           
2b90: 20 20 20 20 20 63 64 72 40 76 61 6c 75 65 3a 7b       cdr@value:{
2ba0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  .               
2bb0: 20 20 20 63 61 72 40 76 61 6c 75 65 3a 7b 70 6f     car@value:{po
2bc0: 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40  s@value:{lineno@
2bd0: 76 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40  value:3, column@
2be0: 76 61 6c 75 65 3a 31 31 2c 20 66 69 6c 65 6e 61  value:11, filena
2bf0: 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d  me@value:<REPL>}
2c00: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ,.              
2c10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2c20: 69 73 40 76 61 6c 75 65 3a 69 6e 74 2c 0a 20 20  is@value:int,.  
2c30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2c40: 20 20 20 20 20 20 20 20 20 20 64 61 74 61 40 76            data@v
2c50: 61 6c 75 65 3a 32 7d 2c 0a 20 20 20 20 20 20 20  alue:2},.       
2c60: 20 20 20 20 20 20 20 20 20 20 20 63 64 72 40 76             cdr@v
2c70: 61 6c 75 65 3a 7b 7d 7d 7d 2c 0a 20 20 20 20 20  alue:{}}},.     
2c80: 66 75 6e 40 76 61 6c 75 65 3a 7b 70 6f 73 40 76  fun@value:{pos@v
2c90: 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c  alue:{lineno@val
2ca0: 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c  ue:3, column@val
2cb0: 75 65 3a 31 30 2c 20 66 69 6c 65 6e 61 6d 65 40  ue:10, filename@
2cc0: 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20  value:<REPL>},. 
2cd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2ce0: 69 73 40 76 61 6c 75 65 3a 76 61 72 2c 0a 20 20  is@value:var,.  
2cf0: 20 20 20 20 20 20 20 20 20 20 20 20 20 6e 61 6d               nam
2d00: 65 40 76 61 6c 75 65 3a 2b 7d 7d 0a 0a 20 20 28  e@value:+}}..  (
2d10: 53 6f 72 72 79 2c 20 74 68 69 73 20 70 72 65 74  Sorry, this pret
2d20: 74 79 20 70 72 69 6e 74 69 6e 67 20 69 73 20 6e  ty printing is n
2d30: 6f 74 20 61 76 61 69 6c 61 62 6c 65 20 6f 6e 20  ot available on 
2d40: 74 68 65 20 61 63 74 75 61 6c 20 69 6e 74 65 72  the actual inter
2d50: 70 72 65 74 65 72 2e 2e 2e 29 0a 20 20 54 68 69  preter...).  Thi
2d60: 73 20 65 76 61 6c 75 61 74 65 73 20 74 68 65 20  s evaluates the 
2d70: 65 78 70 72 65 73 73 69 6f 6e 20 31 2b 32 20 69  expression 1+2 i
2d80: 6e 20 74 68 65 20 40 6d 61 63 72 6f 20 6c 61 79  n the @macro lay
2d90: 65 72 2e 20 49 6e 20 74 68 69 73 20 6c 61 79 65  er. In this laye
2da0: 72 2c 20 74 68 65 20 6d 65 61 6e 69 6e 67 20 6f  r, the meaning o
2db0: 66 0a 20 20 74 68 65 20 70 72 6f 67 72 61 6d 20  f.  the program 
2dc0: 69 73 20 69 74 73 20 61 62 73 74 72 61 63 74 20  is its abstract 
2dd0: 73 79 6e 74 61 78 20 74 72 65 65 2e 0a 0a 20 20  syntax tree...  
2de0: 59 6f 75 20 63 61 6e 20 69 6e 74 65 72 6c 65 61  You can interlea
2df0: 76 65 20 6c 61 79 65 72 73 2e 0a 20 20 54 68 65  ve layers..  The
2e00: 20 72 6f 6f 74 20 6e 6f 64 65 20 6f 66 20 74 68   root node of th
2e10: 65 20 61 62 73 74 72 61 63 74 20 73 79 6e 74 61  e abstract synta
2e20: 78 20 74 72 65 65 20 69 73 20 66 75 6e 63 74 69  x tree is functi
2e30: 6f 6e 20 22 61 70 70 22 6c 69 63 61 74 69 6f 6e  on "app"lication
2e40: 2e 0a 0a 20 20 20 20 3e 3e 20 40 76 61 6c 75 65  ...    >> @value
2e50: 28 40 6d 61 63 72 6f 28 20 31 2b 32 20 29 2e 69  (@macro( 1+2 ).i
2e60: 73 29 0a 20 20 20 20 61 70 70 0a 0a 0a 0a 5b 4c  s).    app....[L
2e70: 61 79 65 72 73 20 3a 3a 20 44 65 66 69 6e 69 6e  ayers :: Definin
2e80: 67 20 61 20 6e 65 77 20 6c 61 79 65 72 5d 0a 0a  g a new layer]..
2e90: 20 20 54 6f 20 64 65 66 69 6e 65 20 61 20 6e 65    To define a ne
2ea0: 77 20 6c 61 79 65 72 2c 20 79 6f 75 20 73 68 6f  w layer, you sho
2eb0: 75 6c 64 20 66 69 72 73 74 20 74 65 6c 6c 20 68  uld first tell h
2ec0: 6f 77 20 74 6f 20 22 6c 69 66 74 22 20 65 78 69  ow to "lift" exi
2ed0: 73 74 69 6e 67 20 76 61 6c 75 65 73 20 74 77 6f  sting values two
2ee0: 20 74 68 65 20 6e 65 77 20 6c 61 79 65 72 2e 0a   the new layer..
2ef0: 20 20 4c 65 74 20 75 73 20 64 65 66 69 6e 65 20    Let us define 
2f00: 74 68 65 20 22 40 74 79 70 65 22 20 6c 61 79 65  the "@type" laye
2f10: 72 2c 20 77 68 65 72 65 20 74 68 65 20 6d 65 61  r, where the mea
2f20: 6e 69 6e 67 20 6f 66 20 70 72 6f 67 72 61 6d 73  ning of programs
2f30: 20 69 73 20 74 68 65 69 72 20 73 74 61 74 69 63   is their static
2f40: 20 74 79 70 65 2e 0a 0a 20 20 20 20 3e 3e 20 40   type...    >> @
2f50: 40 74 79 70 65 20 3d 20 66 75 6e 28 78 29 20 7b  @type = fun(x) {
2f60: 0a 20 20 20 20 3e 3e 20 20 20 69 66 28 20 5f 69  .    >>   if( _i
2f70: 73 69 6e 74 28 78 29 20 29 20 7b 20 22 69 6e 74  sint(x) ) { "int
2f80: 22 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20 20 3e  " } else {.    >
2f90: 3e 20 20 20 69 66 28 20 5f 69 73 66 75 6e 28 78  >   if( _isfun(x
2fa0: 29 20 29 20 7b 20 78 20 7d 20 65 6c 73 65 20 7b  ) ) { x } else {
2fb0: 20 22 75 6e 6b 6e 6f 77 6e 22 20 7d 20 7d 0a 20   "unknown" } }. 
2fc0: 20 20 20 3e 3e 20 7d 0a 20 20 20 20 28 4e 6f 74     >> }.    (Not
2fd0: 65 3a 20 70 6f 6c 65 6d 79 20 52 45 50 4c 20 6d  e: polemy REPL m
2fe0: 61 79 20 77 61 72 6e 20 73 6f 6d 65 20 65 78 63  ay warn some exc
2ff0: 65 70 74 69 6f 6e 20 68 65 72 65 20 62 75 74 20  eption here but 
3000: 70 6c 65 61 73 65 20 69 67 6e 6f 72 65 29 0a 0a  please ignore)..
3010: 20 20 46 6f 72 20 73 69 6d 70 6c 69 63 69 74 79    For simplicity
3020: 2c 20 49 20 68 65 72 65 20 64 65 61 6c 20 6f 6e  , I here deal on
3030: 6c 79 20 77 69 74 68 20 69 6e 74 65 67 65 72 73  ly with integers
3040: 2e 0a 20 20 5f 69 73 69 6e 74 20 69 73 20 61 20  ..  _isint is a 
3050: 70 72 69 6d 69 74 69 76 65 20 66 75 6e 63 74 69  primitive functi
3060: 6f 6e 20 6f 66 20 50 6f 6c 65 6d 79 20 74 68 61  on of Polemy tha
3070: 74 20 63 68 65 63 6b 73 20 74 68 65 20 64 79 6e  t checks the dyn
3080: 61 6d 69 63 20 74 79 70 65 20 6f 66 20 61 20 76  amic type of a v
3090: 61 6c 75 65 2e 0a 20 20 46 6f 72 20 66 75 6e 63  alue..  For func
30a0: 74 69 6f 6e 2c 20 6c 65 61 76 69 6e 67 20 69 74  tion, leaving it
30b0: 20 75 6e 74 6f 75 63 68 65 64 20 77 6f 72 6b 73   untouched works
30c0: 20 77 65 6c 6c 20 66 6f 72 20 61 6c 6d 6f 73 74   well for almost
30d0: 20 61 6c 6c 20 6c 61 79 65 72 73 2e 0a 0a 20 20   all layers...  
30e0: 20 20 3e 3e 20 40 74 79 70 65 28 20 31 20 29 0a    >> @type( 1 ).
30f0: 20 20 20 20 69 6e 74 0a 20 20 20 20 3e 3e 20 40      int.    >> @
3100: 74 79 70 65 28 20 32 20 29 0a 20 20 20 20 69 6e  type( 2 ).    in
3110: 74 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 28 20  t.    >> @type( 
3120: 22 66 6f 6f 22 20 29 0a 20 20 20 20 75 6e 6b 6e  "foo" ).    unkn
3130: 6f 77 6e 0a 0a 20 20 46 69 6e 65 21 20 4c 65 74  own..  Fine! Let
3140: 27 73 20 74 72 79 20 74 6f 20 74 79 70 65 20 31  's try to type 1
3150: 2b 32 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 70  +2...    >> @typ
3160: 65 28 20 31 20 2b 20 32 20 29 0a 20 20 20 20 2e  e( 1 + 2 ).    .
3170: 2e 2e 5c 76 61 6c 75 65 2e 64 28 31 31 39 29 3a  ..\value.d(119):
3180: 20 5b 3c 52 45 50 4c 3e 3a 36 3a 38 5d 20 6f 6e   [<REPL>:6:8] on
3190: 6c 79 20 40 76 61 6c 75 65 20 6c 61 79 65 72 20  ly @value layer 
31a0: 63 61 6e 20 63 61 6c 6c 20 6e 61 74 69 76 65 20  can call native 
31b0: 66 75 6e 63 74 69 6f 6e 0a 0a 20 20 4e 6f 74 65  function..  Note
31c0: 20 74 68 61 74 20 74 68 65 20 62 65 68 61 76 69   that the behavi
31d0: 6f 72 20 6f 66 20 74 68 69 73 20 70 72 6f 67 72  or of this progr
31e0: 61 6d 20 69 73 0a 20 20 20 20 2d 20 72 75 6e 20  am is.    - run 
31f0: 31 2b 32 20 69 6e 20 74 68 65 20 40 74 79 70 65  1+2 in the @type
3200: 20 6c 61 79 65 72 0a 20 20 61 6e 64 20 4e 4f 54   layer.  and NOT
3210: 0a 20 20 20 20 2d 20 72 75 6e 20 31 2b 32 20 69  .    - run 1+2 i
3220: 6e 20 40 76 61 6c 75 65 20 61 6e 64 20 6f 62 74  n @value and obt
3230: 61 69 6e 20 33 20 61 6e 64 20 72 75 6e 20 33 20  ain 3 and run 3 
3240: 69 6e 20 74 68 65 20 40 74 79 70 65 2e 0a 20 20  in the @type..  
3250: 54 68 65 20 70 72 6f 62 6c 65 6d 20 69 73 2c 20  The problem is, 
3260: 74 68 65 20 76 61 72 69 61 62 6c 65 20 22 2b 22  the variable "+"
3270: 20 69 73 20 64 65 66 69 6e 65 64 20 6f 6e 6c 79   is defined only
3280: 20 69 6e 20 74 68 65 20 40 76 61 6c 75 65 20 6c   in the @value l
3290: 61 79 65 72 2e 0a 20 20 54 6f 20 63 61 72 72 79  ayer..  To carry
32a0: 20 6f 75 74 20 63 6f 6d 70 75 74 61 74 69 6f 6e   out computation
32b0: 20 69 6e 20 74 68 65 20 40 74 79 70 65 20 6c 61   in the @type la
32c0: 79 65 72 2e 20 57 65 20 6e 65 65 64 20 74 6f 20  yer. We need to 
32d0: 64 65 66 69 6e 65 20 69 74 20 61 6c 73 6f 0a 20  define it also. 
32e0: 20 69 6e 20 74 68 65 20 40 74 79 70 65 20 6c 61   in the @type la
32f0: 79 65 72 2e 0a 0a 20 20 54 6f 20 64 65 66 69 6e  yer...  To defin
3300: 65 20 73 6f 6d 65 20 76 61 72 69 61 62 6c 65 20  e some variable 
3310: 69 6e 20 61 20 73 70 65 63 69 66 69 63 20 6c 61  in a specific la
3320: 79 65 72 2c 20 75 73 65 20 40 4c 61 79 65 72 4e  yer, use @LayerN
3330: 61 6d 65 20 69 6e 20 70 6c 61 63 65 20 6f 66 0a  ame in place of.
3340: 20 20 28 6c 65 74 7c 76 61 72 7c 64 65 66 29 73    (let|var|def)s
3350: 2e 0a 0a 20 20 20 20 3e 3e 20 6c 65 74 20 78 20  ...    >> let x 
3360: 3d 20 32 0a 20 20 20 20 3e 3e 20 40 76 61 6c 75  = 2.    >> @valu
3370: 65 20 78 20 3d 20 32 0a 20 20 20 20 3e 3e 20 40  e x = 2.    >> @
3380: 74 79 70 65 20 78 20 3d 20 22 69 6e 74 22 0a 20  type x = "int". 
3390: 20 20 20 3e 3e 20 40 68 6f 67 65 20 78 20 3d 20     >> @hoge x = 
33a0: 22 66 75 67 61 22 0a 0a 20 20 46 6f 72 20 22 2b  "fuga"..  For "+
33b0: 22 2c 20 64 6f 20 69 74 20 6c 69 6b 65 20 74 68  ", do it like th
33c0: 69 73 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 70  is...    >> @typ
33d0: 65 20 22 2b 22 20 3d 20 66 75 6e 28 78 2c 79 29  e "+" = fun(x,y)
33e0: 20 7b 40 76 61 6c 75 65 28 0a 20 20 20 20 3e 3e   {@value(.    >>
33f0: 20 20 20 69 66 28 20 40 74 79 70 65 28 78 29 3d     if( @type(x)=
3400: 3d 22 69 6e 74 22 20 26 26 20 40 74 79 70 65 28  ="int" && @type(
3410: 79 29 3d 3d 22 69 6e 74 22 20 29 20 7b 20 22 69  y)=="int" ) { "i
3420: 6e 74 22 20 7d 20 65 6c 73 65 20 7b 20 22 74 79  nt" } else { "ty
3430: 70 65 65 72 72 6f 72 22 20 7d 0a 20 20 20 20 3e  peerror" }.    >
3440: 3e 20 29 7d 0a 20 20 20 20 70 6f 6c 65 6d 79 2e  > )}.    polemy.
3450: 76 61 6c 75 65 2e 6e 61 74 69 76 65 21 28 49 6e  value.native!(In
3460: 74 56 61 6c 75 65 2c 49 6e 74 56 61 6c 75 65 2c  tValue,IntValue,
3470: 49 6e 74 56 61 6c 75 65 29 2e 6e 61 74 69 76 65  IntValue).native
3480: 2e 5f 5f 61 6e 6f 6e 63 6c 61 73 73 32 34 0a 0a  .__anonclass24..
3490: 20 20 49 74 20 69 73 20 6a 75 73 74 20 63 6f 6d    It is just com
34a0: 70 75 74 69 6e 67 20 74 68 65 20 72 65 74 75 72  puting the retur
34b0: 6e 20 74 79 70 65 20 66 72 6f 6d 20 74 68 65 20  n type from the 
34c0: 69 6e 70 75 74 20 74 79 70 65 2e 0a 20 20 4e 6f  input type..  No
34d0: 74 20 68 65 72 65 20 74 68 61 74 20 74 68 65 20  t here that the 
34e0: 69 6e 74 65 6e 64 65 64 20 22 6d 65 61 6e 69 6e  intended "meanin
34f0: 67 22 20 6f 66 20 69 66 2d 74 68 65 6e 2d 65 6c  g" of if-then-el
3500: 73 65 20 69 73 20 74 68 65 20 72 75 6e 74 69 6d  se is the runtim
3510: 65 2d 62 72 61 6e 63 68 69 6e 67 2c 0a 20 20 61  e-branching,.  a
3520: 6e 64 20 74 68 65 20 6d 65 61 6e 69 6e 67 20 6f  nd the meaning o
3530: 66 20 22 3d 3d 22 20 69 73 20 74 68 65 20 76 61  f "==" is the va
3540: 6c 75 65 2d 63 6f 6d 70 61 72 69 73 6f 6e 2e 20  lue-comparison. 
3550: 54 68 65 73 65 20 61 72 65 20 74 68 65 20 40 76  These are the @v
3560: 61 6c 75 65 20 6c 61 79 65 72 0a 20 20 62 65 68  alue layer.  beh
3570: 61 76 69 6f 72 2e 20 53 6f 20 77 65 20 68 61 76  avior. So we hav
3580: 65 20 64 65 66 69 6e 65 64 20 74 68 65 20 66 75  e defined the fu
3590: 6e 63 74 69 6f 6e 20 62 6f 64 79 20 69 6e 73 69  nction body insi
35a0: 64 65 20 40 76 61 6c 75 65 20 6c 61 79 65 72 2e  de @value layer.
35b0: 0a 20 20 42 75 74 20 77 68 65 6e 20 77 65 20 72  .  But when we r
35c0: 65 66 65 72 20 74 68 65 20 76 61 72 69 61 62 6c  efer the variabl
35d0: 65 73 20 78 20 61 6e 64 20 79 2c 20 77 65 20 6e  es x and y, we n
35e0: 65 65 64 20 69 74 73 20 40 74 79 70 65 20 6c 61  eed its @type la
35f0: 79 65 72 20 6d 65 61 6e 69 6e 67 2e 0a 20 20 48  yer meaning..  H
3600: 65 6e 63 65 20 77 65 20 75 73 65 20 40 74 79 70  ence we use @typ
3610: 65 28 29 20 74 68 65 72 65 2e 0a 0a 20 20 4e 6f  e() there...  No
3620: 77 20 77 65 20 67 65 74 20 69 74 2e 0a 0a 20 20  w we get it...  
3630: 20 20 3e 3e 20 40 74 79 70 65 28 20 31 20 2b 20    >> @type( 1 + 
3640: 32 20 29 0a 20 20 20 20 69 6e 74 0a 0a 20 20 57  2 ).    int..  W
3650: 65 6c 6c 2c 20 62 75 74 20 64 6f 20 77 65 20 68  ell, but do we h
3660: 61 76 65 20 74 6f 20 64 65 66 69 6e 65 20 74 68  ave to define th
3670: 65 20 40 74 79 70 65 20 6c 61 79 65 72 20 6d 65  e @type layer me
3680: 61 6e 69 6e 67 20 66 6f 72 20 65 76 65 72 79 20  aning for every 
3690: 76 61 72 69 61 62 6c 65 73 3f 3f 3f 0a 20 20 4e  variables???.  N
36a0: 6f 2e 20 41 66 74 65 72 20 79 6f 75 20 64 65 66  o. After you def
36b0: 69 6e 65 64 20 40 74 79 70 65 20 22 2b 22 2c 20  ined @type "+", 
36c0: 79 6f 75 27 6c 6c 20 61 75 74 6f 6d 61 74 69 63  you'll automatic
36d0: 61 6c 6c 79 20 67 65 74 20 74 68 65 20 66 6f 6c  ally get the fol
36e0: 6c 6f 77 69 6e 67 3a 0a 0a 20 20 20 20 3e 3e 20  lowing:..    >> 
36f0: 64 65 66 20 64 6f 75 62 6c 65 28 78 29 20 7b 20  def double(x) { 
3700: 78 20 2b 20 78 20 7d 0a 20 20 20 20 28 66 75 6e  x + x }.    (fun
3710: 63 74 69 6f 6e 3a 31 37 65 34 37 34 30 3a 31 37  ction:17e4740:17
3720: 38 39 37 32 30 29 0a 0a 20 20 20 20 3e 3e 20 40  89720)..    >> @
3730: 74 79 70 65 28 20 64 6f 75 62 6c 65 28 31 32 33  type( double(123
3740: 29 20 29 0a 20 20 20 20 69 6e 74 0a 0a 20 20 45  ) ).    int..  E
3750: 76 65 72 79 20 75 73 65 72 2d 64 65 66 69 6e 65  very user-define
3760: 64 20 66 75 6e 63 74 69 6f 6e 73 20 61 72 65 20  d functions are 
3770: 61 75 74 6f 6d 61 74 69 63 61 6c 6c 79 20 22 6c  automatically "l
3780: 69 66 74 22 65 64 20 74 6f 20 74 68 65 20 61 70  ift"ed to the ap
3790: 70 72 6f 70 72 69 61 74 65 20 6c 61 79 65 72 2e  propriate layer.
37a0: 0a 20 20 4f 6e 6c 79 20 70 72 69 6d 69 74 69 76  .  Only primitiv
37b0: 65 20 66 75 6e 63 74 69 6f 6e 73 20 6c 69 6b 65  e functions like
37c0: 20 22 2b 22 20 72 65 71 75 69 72 65 73 20 40 79   "+" requires @y
37d0: 6f 75 72 4e 65 77 4c 61 79 65 72 20 61 6e 6e 6f  ourNewLayer anno
37e0: 74 61 74 69 6f 6e 2e 0a 0a 0a 0a 5b 4c 61 79 65  tation.....[Laye
37f0: 72 73 20 3a 3a 20 6e 65 75 74 72 61 6c 2d 6c 61  rs :: neutral-la
3800: 79 65 72 5d 0a 0a 20 20 6c 65 74 7c 76 61 72 7c  yer]..  let|var|
3810: 64 65 66 20 69 73 20 74 6f 20 64 65 66 69 6e 65  def is to define
3820: 20 61 20 76 61 72 69 61 62 6c 65 20 69 6e 20 74   a variable in t
3830: 68 65 20 22 63 75 72 72 65 6e 74 22 20 6c 61 79  he "current" lay
3840: 65 72 2e 0a 20 20 4e 6f 74 20 6e 65 63 65 73 73  er..  Not necess
3850: 61 72 79 20 74 6f 20 74 68 65 20 40 76 61 6c 75  ary to the @valu
3860: 65 20 6c 61 79 65 72 2e 0a 0a 20 20 20 20 3e 3e  e layer...    >>
3870: 20 40 76 61 6c 75 65 28 20 6c 65 74 20 78 20 3d   @value( let x =
3880: 20 31 20 69 6e 20 40 76 61 6c 75 65 28 78 29 20   1 in @value(x) 
3890: 29 0a 20 20 20 20 31 0a 0a 20 20 20 20 3e 3e 20  ).    1..    >> 
38a0: 40 6d 61 63 72 6f 28 20 6c 65 74 20 78 20 3d 20  @macro( let x = 
38b0: 31 20 69 6e 20 40 76 61 6c 75 65 28 78 29 20 29  1 in @value(x) )
38c0: 0a 20 20 20 20 70 6f 6c 65 6d 79 2e 66 61 69 6c  .    polemy.fail
38d0: 75 72 65 2e 52 75 6e 74 69 6d 65 45 78 63 65 70  ure.RuntimeExcep
38e0: 74 69 6f 6e 3a 20 5b 3c 52 45 50 4c 3e 3a 31 34  tion: [<REPL>:14
38f0: 3a 32 39 5d 20 76 61 72 69 61 62 6c 65 20 78 20  :29] variable x 
3900: 6e 6f 74 20 66 6f 75 6e 64 0a 0a 20 20 20 20 3e  not found..    >
3910: 3e 20 40 6d 61 63 72 6f 28 20 6c 65 74 20 78 20  > @macro( let x 
3920: 3d 20 31 20 69 6e 20 40 6d 61 63 72 6f 28 78 29  = 1 in @macro(x)
3930: 20 29 0a 20 20 20 20 7b 70 6f 73 40 76 61 6c 75   ).    {pos@valu
3940: 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a  e:{lineno@value:
3950: 31 35 2c 20 2e 2e 2e 0a 0a 0a 0a 5b 4c 61 79 65  15, .......[Laye
3960: 72 73 20 3a 3a 20 4c 61 79 65 72 65 64 2d 50 61  rs :: Layered-Pa
3970: 72 61 6d 65 74 65 72 73 5d 0a 0a 20 20 20 20 3e  rameters]..    >
3980: 3e 20 64 65 66 20 66 6f 6f 28 78 20 40 6d 61 63  > def foo(x @mac
3990: 72 6f 20 40 76 61 6c 75 65 29 20 7b 20 7b 66 73  ro @value) { {fs
39a0: 74 3a 20 78 2c 20 73 6e 64 3a 20 40 6d 61 63 72  t: x, snd: @macr
39b0: 6f 28 78 29 7d 20 7d 0a 20 20 20 20 28 66 75 6e  o(x)} }.    (fun
39c0: 63 74 69 6f 6e 3a 31 37 33 30 33 36 30 3a 31 37  ction:1730360:17
39d0: 38 39 37 32 30 29 0a 0a 20 20 49 66 20 79 6f 75  89720)..  If you
39e0: 20 61 6e 6e 6f 74 61 74 65 20 66 75 6e 63 74 69   annotate functi
39f0: 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 20 62 79  on parameters by
3a00: 20 40 4c 61 79 65 72 4e 61 6d 65 73 2c 20 77 68   @LayerNames, wh
3a10: 65 6e 20 79 6f 75 20 69 6e 76 6f 6b 65 20 74 68  en you invoke th
3a20: 65 20 66 75 6e 63 74 69 6f 6e 2e 2e 2e 0a 0a 20  e function..... 
3a30: 20 20 20 3e 3e 20 66 6f 6f 28 31 2b 32 29 0a 20     >> foo(1+2). 
3a40: 20 20 20 7b 73 6e 64 40 76 61 6c 75 65 3a 20 7b     {snd@value: {
3a50: 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e  pos@value:{linen
3a60: 6f 40 76 61 6c 75 65 3a 31 37 2c 20 63 6f 6c 75  o@value:17, colu
3a70: 6d 6e 40 76 61 6c 75 65 3a 35 2c 20 66 69 6c 65  mn@value:5, file
3a80: 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 4c  name@value:<REPL
3a90: 3e 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  >},.            
3aa0: 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 3a 61        is@value:a
3ab0: 70 70 2c 20 61 72 67 40 76 61 6c 75 65 3a 7b 2e  pp, arg@value:{.
3ac0: 2e 2e 0a 20 20 20 20 2f 66 73 74 40 76 61 6c 75  ...    /fst@valu
3ad0: 65 3a 33 0a 20 20 20 20 2f 7d 0a 0a 20 20 69 74  e:3.    /}..  it
3ae0: 73 20 63 6f 72 72 65 73 70 6f 6e 64 69 6e 67 20  s corresponding 
3af0: 61 72 67 75 6d 65 6e 74 73 20 61 72 65 20 65 76  arguments are ev
3b00: 61 6c 75 61 74 65 64 20 69 6e 20 74 68 65 20 6c  aluated in the l
3b10: 61 79 65 72 20 61 6e 64 20 70 61 73 73 65 64 20  ayer and passed 
3b20: 74 6f 20 69 74 2e 0a 20 20 49 66 20 79 6f 75 20  to it..  If you 
3b30: 73 70 65 63 69 66 79 20 6d 75 6c 74 69 70 6c 65  specify multiple
3b40: 20 6c 61 79 65 72 73 2c 20 74 68 65 20 61 72 67   layers, the arg
3b50: 75 6d 65 6e 74 20 65 78 70 72 65 73 73 69 6f 6e  ument expression
3b60: 20 69 73 20 72 75 6e 20 6d 75 6c 74 69 70 6c 65   is run multiple
3b70: 20 74 69 6d 65 73 2e 0a 20 20 49 66 20 79 6f 75   times..  If you
3b80: 20 64 6f 20 6e 6f 74 20 73 70 65 63 69 66 79 20   do not specify 
3b90: 61 6e 79 20 6c 61 79 65 72 20 66 6f 72 20 61 20  any layer for a 
3ba0: 70 61 72 61 6d 65 74 65 72 2c 20 69 74 20 77 6f  parameter, it wo
3bb0: 72 6b 73 20 69 6e 20 74 68 65 20 6e 65 75 74 72  rks in the neutr
3bc0: 61 6c 20 6c 61 79 65 72 2e 0a 3c 2f 70 72 65 3e  al layer..</pre>
3bd0: 0a 29 29 0a 0a 0a 24 28 53 45 43 54 49 4f 4e 20  .))...$(SECTION 
3be0: 4d 61 63 72 6f 20 4c 61 79 65 72 73 2c 20 24 28  Macro Layers, $(
3bf0: 53 45 43 42 4f 44 59 0a 3c 70 3e 0a 50 6f 6c 65  SECBODY.<p>.Pole
3c00: 6d 79 20 e8 a8 80 e8 aa 9e e7 b5 84 e3 81 bf e8  my .............
3c10: be bc e3 81 bf e3 81 ae e3 83 ac e3 82 a4 e3 83  ................
3c20: a4 e3 81 af 20 3c 63 6f 64 65 3e 40 76 61 6c 75  .... <code>@valu
3c30: 65 3c 2f 63 6f 64 65 3e 20 e3 81 a8 20 3c 63 6f  e</code> ... <co
3c40: 64 65 3e 40 6d 61 63 72 6f 3c 2f 63 6f 64 65 3e  de>@macro</code>
3c50: 20 e3 81 ae e4 ba 8c e3 81 a4 e3 81 a7 e3 81 99   ...............
3c60: e3 80 82 0a ef bc 88 e5 86 85 e9 83 a8 e7 9a 84  ................
3c70: e3 81 ab e3 81 af e3 82 82 e3 81 86 e3 81 84 e3  ................
3c80: 81 8f e3 81 a4 e3 81 8b e3 81 82 e3 82 8a e3 81  ................
3c90: be e3 81 99 e3 81 8c e3 80 81 e3 83 a6 e3 83 bc  ................
3ca0: e3 82 b6 e3 81 8b e3 82 89 e7 9b b4 e6 8e a5 e3  ................
3cb0: 81 af e4 bd bf e3 81 88 e3 81 be e3 81 9b e3 82  ................
3cc0: 93 e3 80 82 ef bc 89 0a 3c 63 6f 64 65 3e 40 76  ........<code>@v
3cd0: 61 6c 75 65 3c 2f 63 6f 64 65 3e 20 e3 81 af e3  alue</code> ....
3ce0: 80 81 e3 80 8c e6 99 ae e9 80 9a e3 81 ab e3 80  ................
3cf0: 8d e6 99 ae e9 80 9a e3 81 ae e3 82 bb e3 83 9e  ................
3d00: e3 83 b3 e3 83 86 e3 82 a3 e3 82 af e3 82 b9 e3  ................
3d10: 81 a7 e3 83 97 e3 83 ad e3 82 b0 e3 83 a9 e3 83  ................
3d20: a0 e3 82 92 e5 ae 9f e8 a1 8c e3 81 99 e3 82 8b  ................
3d30: e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81 97 e3  ................
3d40: 81 9f e3 80 82 0a 3c 63 6f 64 65 3e 40 6d 61 63  ......<code>@mac
3d50: 72 6f 3c 2f 63 6f 64 65 3e 20 e3 81 af e3 80 81  ro</code> ......
3d60: e5 ae 9f e3 81 af e3 80 81 3c 63 6f 64 65 3e 40  .........<code>@
3d70: 76 61 6c 75 65 3c 2f 63 6f 64 65 3e 20 e3 82 88  value</code> ...
3d80: e3 82 8a e3 82 82 e5 89 8d e3 81 ab e5 ae 9f e8  ................
3d90: a1 8c e3 81 95 e3 82 8c e3 82 8b e3 83 ac e3 82  ................
3da0: a4 e3 83 a4 e3 81 a7 e3 80 81 0a e3 80 8c e3 83  ................
3db0: 97 e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e3 82 92  ................
3dc0: e5 ae 9f e8 a1 8c e3 81 99 e3 82 8b e3 81 a8 e3  ................
3dd0: 81 9d e3 81 ae e6 a7 8b e6 96 87 e6 9c a8 e3 82  ................
3de0: 92 e8 bf 94 e3 81 99 e3 80 8d e3 81 a8 e3 81 84  ................
3df0: e3 81 86 e3 82 bb e3 83 9e e3 83 b3 e3 83 86 e3  ................
3e00: 82 a3 e3 82 af e3 82 b9 e3 81 a7 e5 8b 95 e3 81  ................
3e10: 8d e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a  ...........</p>.
3e20: 3c 70 72 65 3e 0a 20 20 20 20 28 e3 81 93 e3 81  <pre>.    (.....
3e30: 93 e3 81 ab e4 be 8b 29 0a 3c 2f 70 72 65 3e 0a  .......).</pre>.
3e40: 3c 70 3e 0a e5 8b 95 e3 81 8d e3 81 a8 e3 81 97  <p>.............
3e50: e3 81 a6 e3 81 af e3 81 93 e3 81 86 e3 81 a7 e3  ................
3e60: 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 6f 6c 3e 0a  ......</p>.<ol>.
3e70: 3c 6c 69 3e e9 96 a2 e6 95 b0 e5 91 bc e3 81 b3  <li>............
3e80: e5 87 ba e3 81 97 e6 99 82 ef bc 88 e3 81 a8 e3  ................
3e90: 83 88 e3 83 83 e3 83 97 e3 83 ac e3 83 99 e3 83  ................
3ea0: ab e7 92 b0 e5 a2 83 e3 81 ae e5 ae 9f e8 a1 8c  ................
3eb0: e9 96 8b e5 a7 8b e6 99 82 ef bc 89 e3 81 ab e3  ................
3ec0: 80 81 0a 09 e3 81 be e3 81 9a e3 80 81 3c 63 6f  .............<co
3ed0: 64 65 3e 40 6d 61 63 72 6f 3c 2f 63 6f 64 65 3e  de>@macro</code>
3ee0: 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 82 b3   ...............
3ef0: e3 83 bc e3 83 89 e3 82 92 e5 ae 9f e8 a1 8c e3  ................
3f00: 80 82 3c 2f 6c 69 3e 0a 3c 6c 69 3e e8 bf 94 e3  ..</li>.<li>....
3f10: 81 a3 e3 81 a6 e3 81 8d e3 81 9f e6 a7 8b e6 96  ................
3f20: 87 e6 9c a8 e3 82 92 e3 80 81 3c 63 6f 64 65 3e  ..........<code>
3f30: 40 76 61 6c 75 65 3c 2f 63 6f 64 65 3e 20 e3 83  @value</code> ..
3f40: ac e3 82 a4 e3 83 a4 e3 80 81 0a 09 e3 81 be e3  ................
3f50: 81 9f e3 81 af e3 81 9d e3 81 ae e9 96 a2 e6 95  ................
3f60: b0 e3 82 92 e5 91 bc e3 81 b3 e5 87 ba e3 81 97  ................
3f70: e3 81 9f e3 81 a8 e3 81 8d e3 81 ae e3 83 ac e3  ................
3f80: 82 a4 e3 83 a4 e3 81 a7 e5 ae 9f e8 a1 8c e3 80  ................
3f90: 82 3c 2f 6c 69 3e 0a 3c 2f 6f 6c 3e 0a 3c 70 3e  .</li>.</ol>.<p>
3fa0: 0a 3c 63 6f 64 65 3e 40 6d 61 63 72 6f 3c 2f 63  .<code>@macro</c
3fb0: 6f 64 65 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 82  ode> ...........
3fc0: 82 e6 89 80 e8 a9 ae e3 81 9f e3 81 a0 e3 81 ae  ................
3fd0: e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81 99 e3  ................
3fe0: 81 ae e3 81 a7 e3 80 81 0a e4 b8 8a e3 81 a7 e8  ................
3ff0: aa ac e6 98 8e e3 81 97 e3 81 9f e6 96 b9 e6 b3  ................
4000: 95 e3 81 a7 20 3c 63 6f 64 65 3e 40 6d 61 63 72  .... <code>@macr
4010: 6f 3c 2f 63 6f 64 65 3e 20 e3 83 ac e3 82 a4 e3  o</code> .......
4020: 83 a4 e3 81 ab e9 96 a2 e6 95 b0 e3 81 aa e3 81  ................
4030: a9 e3 82 92 e7 99 bb e9 8c b2 e3 81 97 e3 81 a6  ................
4040: e3 81 8a e3 81 8f e3 81 93 e3 81 a8 e3 81 a7 e3  ................
4050: 80 81 0a e6 a7 8b e6 96 87 e6 9c a8 e3 81 ae e7  ................
4060: 94 9f e6 88 90 e3 82 92 e3 81 84 e3 81 98 e3 82  ................
4070: 8b e3 81 93 e3 81 a8 e3 81 8c e5 8f af e8 83 bd  ................
4080: e3 81 a7 e3 81 99 e3 80 82 e3 81 be e3 81 95 e3  ................
4090: 81 ab e3 83 9e e3 82 af e3 83 ad e3 80 82 0a 3c  ...............<
40a0: 2f 70 3e 0a 0a 24 28 44 44 4f 43 5f 4d 45 4d 42  /p>..$(DDOC_MEMB
40b0: 45 52 53 0a 24 28 53 45 43 54 49 4f 4e 20 e4 bd  ERS.$(SECTION ..
40c0: bf e3 81 84 e6 96 b9 2c 20 24 28 53 45 43 42 4f  ......., $(SECBO
40d0: 44 59 0a 3c 70 72 65 3e 0a 20 20 20 57 68 65 6e  DY.<pre>.   When
40e0: 20 66 75 6e 63 74 69 6f 6e 20 69 73 20 69 6e 76   function is inv
40f0: 6f 6b 65 64 2c 20 69 74 20 66 69 72 73 74 20 72  oked, it first r
4100: 75 6e 20 69 6e 20 74 68 65 20 40 6d 61 63 72 6f  un in the @macro
4110: 20 6c 61 79 65 72 2c 20 61 6e 64 20 61 66 74 65   layer, and afte
4120: 72 20 74 68 61 74 2c 0a 20 20 20 69 74 20 72 75  r that,.   it ru
4130: 6e 20 69 6e 20 74 68 65 20 6e 65 75 74 72 61 6c  n in the neutral
4140: 20 6c 61 79 65 72 2e 20 48 65 72 65 20 69 73 20   layer. Here is 
4150: 61 6e 20 65 78 61 6d 70 6c 65 2e 0a 0a 20 20 20  an example...   
4160: 20 20 3e 3e 20 40 6d 61 63 72 6f 20 74 77 69 63    >> @macro twic
4170: 65 28 78 29 20 7b 20 78 3b 20 78 20 7d 0a 20 20  e(x) { x; x }.  
4180: 20 20 20 3e 3e 20 64 65 66 20 66 28 29 20 7b 20     >> def f() { 
4190: 74 77 69 63 65 28 70 72 69 6e 74 28 22 48 65 6c  twice(print("Hel
41a0: 6c 6f 22 29 29 3b 20 39 39 39 20 7d 0a 20 20 20  lo")); 999 }.   
41b0: 20 20 28 66 75 6e 63 74 69 6f 6e 3a 31 37 33 62    (function:173b
41c0: 36 61 30 3a 31 37 38 39 37 32 30 29 0a 20 20 20  6a0:1789720).   
41d0: 20 20 3e 3e 20 66 28 29 0a 20 20 20 20 20 48 65    >> f().     He
41e0: 6c 6c 6f 0a 20 20 20 20 20 48 65 6c 6c 6f 0a 20  llo.     Hello. 
41f0: 20 20 20 20 39 39 39 0a 0a 20 20 20 57 68 65 6e      999..   When
4200: 20 74 68 65 20 69 6e 74 65 72 70 72 65 74 65 72   the interpreter
4210: 20 65 76 61 6c 75 61 74 65 73 20 66 28 29 2c 20   evaluates f(), 
4220: 69 74 20 66 69 72 73 74 20 65 78 65 63 75 74 65  it first execute
4230: 73 0a 20 20 20 20 20 22 74 77 69 63 65 28 70 72  s.     "twice(pr
4240: 69 6e 74 28 22 48 65 6c 6c 6f 22 29 29 3b 20 39  int("Hello")); 9
4250: 39 39 22 0a 20 20 20 69 6e 20 74 68 65 20 40 6d  99".   in the @m
4260: 61 63 72 6f 20 6c 61 79 65 72 2e 20 42 61 73 69  acro layer. Basi
4270: 63 61 6c 6c 79 20 77 68 61 74 20 69 74 20 64 6f  cally what it do
4280: 65 73 20 69 73 20 74 6f 20 6a 75 73 74 20 63 6f  es is to just co
4290: 6e 73 74 72 75 63 74 20 69 74 73 20 73 79 6e 74  nstruct its synt
42a0: 61 78 20 74 72 65 65 2e 0a 20 20 20 42 75 74 2c  ax tree..   But,
42b0: 20 73 69 6e 63 65 20 77 65 20 68 61 76 65 20 64   since we have d
42c0: 65 66 69 6e 65 64 20 74 68 65 20 22 74 77 69 63  efined the "twic
42d0: 65 22 20 66 75 6e 63 74 69 6f 6e 20 69 6e 20 74  e" function in t
42e0: 68 65 20 40 6d 61 63 72 6f 20 6c 61 79 65 72 2c  he @macro layer,
42f0: 20 69 74 20 69 73 0a 20 20 20 65 78 65 63 75 74   it is.   execut
4300: 65 20 61 73 20 61 20 66 75 6e 63 74 69 6f 6e 2e  e as a function.
4310: 20 52 65 73 75 6c 74 69 6e 67 20 73 79 6e 74 61   Resulting synta
4320: 78 20 74 72 65 65 20 69 73 0a 20 20 20 20 20 22  x tree is.     "
4330: 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 3b 20  print("Hello"); 
4340: 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 3b 20  print("Hello"); 
4350: 39 39 39 22 0a 20 20 20 61 6e 64 20 74 68 69 73  999".   and this
4360: 20 69 73 20 65 78 65 63 75 74 65 64 20 6f 6e 20   is executed on 
4370: 74 68 65 20 6e 65 75 74 72 61 6c 20 28 69 6e 20  the neutral (in 
4380: 74 68 69 73 20 65 78 61 6d 70 6c 65 2c 20 40 76  this example, @v
4390: 61 6c 75 65 29 20 6c 61 79 65 72 2e 0a 20 20 20  alue) layer..   
43a0: 54 68 69 73 20 69 73 20 74 68 65 20 72 65 61 73  This is the reas
43b0: 6f 6e 20 77 68 79 20 79 6f 75 20 73 65 65 20 74  on why you see t
43c0: 77 6f 20 22 48 65 6c 6c 6f 22 73 2e 0a 0a 20 20  wo "Hello"s...  
43d0: 20 20 20 20 5b 5b 71 75 6f 74 65 20 61 6e 64 20      [[quote and 
43e0: 75 6e 71 75 6f 74 65 5d 5d 0a 0a 20 20 20 48 65  unquote]]..   He
43f0: 72 65 20 69 73 20 6d 6f 72 65 20 69 6e 76 6f 6c  re is more invol
4400: 76 65 64 20 65 78 61 6d 70 6c 65 20 6f 66 20 63  ved example of c
4410: 6f 64 65 20 67 65 6e 72 61 74 69 6f 6e 2e 0a 20  ode genration.. 
4420: 20 20 46 72 6f 6d 20 22 78 22 2c 20 69 74 20 67    From "x", it g
4430: 65 6e 65 72 61 74 65 73 20 22 78 2a 78 2a 78 2a  enerates "x*x*x*
4440: 78 2a 78 2a 78 2a 78 2a 78 2a 78 2a 78 22 2e 0a  x*x*x*x*x*x*x"..
4450: 0a 20 20 20 20 20 40 6d 61 63 72 6f 20 70 6f 77  .     @macro pow
4460: 31 30 28 78 29 20 7b 0a 20 20 20 20 20 20 20 40  10(x) {.       @
4470: 76 61 6c 75 65 28 0a 20 20 20 20 20 20 20 20 20  value(.         
4480: 64 65 66 20 70 6f 77 28 78 2c 20 6e 29 20 7b 0a  def pow(x, n) {.
4490: 20 20 20 20 20 20 20 20 20 20 20 69 66 28 20 6e             if( n
44a0: 20 3d 3d 20 31 20 29 20 7b 20 78 20 7d 0a 20 20   == 1 ) { x }.  
44b0: 20 20 20 20 20 20 20 20 20 65 6c 73 65 20 7b 0a           else {.
44c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 40 6d 61               @ma
44d0: 63 72 6f 28 20 40 76 61 6c 75 65 28 78 29 20 2a  cro( @value(x) *
44e0: 20 40 76 61 6c 75 65 28 70 6f 77 28 78 2c 6e 2d   @value(pow(x,n-
44f0: 31 29 29 20 29 0a 20 20 20 20 20 20 20 20 20 20  1)) ).          
4500: 20 7d 0a 20 20 20 20 20 20 20 20 20 7d 0a 20 20   }.         }.  
4510: 20 20 20 20 20 20 20 69 6e 0a 20 20 20 20 20 20         in.      
4520: 20 20 20 20 20 70 6f 77 28 40 6d 61 63 72 6f 28       pow(@macro(
4530: 78 29 2c 31 30 29 0a 20 20 20 20 20 20 20 29 0a  x),10).       ).
4540: 20 20 20 20 20 7d 3b 0a 0a 20 20 20 48 65 72 65       };..   Here
4550: 2c 20 78 20 69 73 20 61 20 73 79 6e 74 61 78 20  , x is a syntax 
4560: 74 72 65 65 20 62 75 74 20 6e 20 69 73 20 61 6e  tree but n is an
4570: 20 61 63 74 75 61 6c 20 69 6e 74 65 67 65 72 2e   actual integer.
4580: 20 49 66 20 79 6f 75 20 72 65 61 64 20 63 61 72   If you read car
4590: 65 66 75 6c 6c 79 2c 0a 20 20 20 79 6f 75 20 73  efully,.   you s
45a0: 68 6f 75 6c 64 20 67 65 74 20 77 68 61 74 20 69  hould get what i
45b0: 73 20 67 6f 69 6e 67 20 6f 6e 2e 20 42 61 73 69  s going on. Basi
45c0: 63 61 6c 6c 79 2c 20 40 6d 61 63 72 6f 20 63 61  cally, @macro ca
45d0: 6e 20 62 65 20 63 6f 6e 73 69 64 65 72 65 64 20  n be considered 
45e0: 6c 69 6b 65 0a 20 20 20 71 75 61 73 69 71 75 6f  like.   quasiquo
45f0: 74 69 6e 67 20 61 6e 64 20 40 76 61 6c 75 65 20  ting and @value 
4600: 74 6f 20 62 65 20 61 6e 20 65 73 63 61 70 65 20  to be an escape 
4610: 66 72 6f 6d 20 69 74 2e 0a 3c 2f 70 72 65 3e 0a  from it..</pre>.
4620: 3c 70 3e 0a e6 a7 8b e6 96 87 e6 9c a8 e3 81 8c  <p>.............
4630: e3 81 a9 e3 81 ae e3 82 88 e3 81 86 e3 81 aa e3  ................
4640: 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81 a7 e6 b8  ................
4650: a1 e3 81 95 e3 82 8c e3 81 a6 e3 81 8f e3 82 8b  ................
4660: e3 81 8b e3 81 ab e3 81 a4 e3 81 84 e3 81 a6 e3  ................
4670: 81 af e3 80 81 e3 82 bd e3 83 bc e3 82 b9 e3 83  ................
4680: 89 e3 82 ad e3 83 a5 e3 83 a1 e3 83 b3 e3 83 88  ................
4690: e3 81 ae 0a 3c 61 20 68 72 65 66 3d 22 68 74 74  ....<a href="htt
46a0: 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f 73 2e 6e  p://www.kmonos.n
46b0: 65 74 2f 72 65 70 6f 73 2f 70 6f 6c 65 6d 79 2f  et/repos/polemy/
46c0: 64 6f 63 2f 74 69 70 2f 64 6f 63 2f 61 73 74 2e  doc/tip/doc/ast.
46d0: 68 74 6d 6c 22 3e 70 6f 6c 65 6d 79 2e 61 73 74  html">polemy.ast
46e0: 3c 2f 61 3e 0a e3 81 ae e3 83 9a e3 83 bc e3 82  </a>............
46f0: b8 e3 82 92 e3 81 94 e8 a6 a7 e4 b8 8b e3 81 95  ................
4700: e3 81 84 e3 80 82 e4 be 8b e3 81 88 e3 81 b0 e5  ................
4710: a4 89 e6 95 b0 e5 90 8d e3 82 92 e8 a1 a8 e3 81  ................
4720: 99 20 3c 63 6f 64 65 3e 56 61 72 3c 2f 63 6f 64  . <code>Var</cod
4730: 65 3e 20 e3 82 af e3 83 a9 e3 82 b9 e3 81 ab e3  e> .............
4740: 81 af e3 80 81 0a e7 b6 99 e6 89 bf e3 81 ae e5  ................
4750: 88 86 e3 82 82 e5 90 88 e3 82 8f e3 81 9b e3 81  ................
4760: a6 0a 3c 74 74 3e 3c 61 20 68 72 65 66 3d 22 68  ..<tt><a href="h
4770: 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f 73  ttp://www.kmonos
4780: 2e 6e 65 74 2f 72 65 70 6f 73 2f 70 6f 6c 65 6d  .net/repos/polem
4790: 79 2f 64 6f 63 2f 74 69 70 2f 64 6f 63 2f 66 61  y/doc/tip/doc/fa
47a0: 69 6c 75 72 65 2e 68 74 6d 6c 22 3e 4c 65 78 50  ilure.html">LexP
47b0: 6f 73 69 74 69 6f 6e 3c 2f 61 3e 20 70 6f 73 3b  osition</a> pos;
47c0: 3c 2f 74 74 3e 0a e3 81 a8 20 3c 74 74 3e 73 74  </tt>.... <tt>st
47d0: 72 69 6e 67 20 6e 61 6d 65 3b 3c 2f 74 74 3e 20  ring name;</tt> 
47e0: e3 81 ae ef bc 92 e3 81 a4 e3 81 ae e3 83 a1 e3  ................
47f0: 83 b3 e3 83 90 e3 81 8c e3 81 82 e3 82 8b e3 81  ................
4800: ae e3 81 a7 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a  .....</p>.<pre>.
4810: 20 20 20 20 7b 20 69 73 3a 20 20 20 22 56 61 72      { is:   "Var
4820: 22 2c 0a 20 20 20 20 20 20 70 6f 73 3a 20 20 7b  ",.      pos:  {
4830: 66 69 6c 65 6e 61 6d 65 3a 22 66 6f 6f 2e 70 6d  filename:"foo.pm
4840: 79 22 2c 20 6c 69 6e 65 6e 6f 3a 31 32 33 2c 20  y", lineno:123, 
4850: 63 6f 6c 75 6d 6e 3a 34 35 7d 2c 0a 20 20 20 20  column:45},.    
4860: 20 20 6e 61 6d 65 3a 20 22 78 22 20 7d 0a 3c 2f    name: "x" }.</
4870: 70 72 65 3e 0a 3c 70 3e 0a e3 81 93 e3 82 93 e3  pre>.<p>........
4880: 81 aa e6 84 9f e3 81 98 e3 81 ae e3 83 86 e3 83  ................
4890: bc e3 83 96 e3 83 ab e3 81 ab e3 81 aa e3 82 8a  ................
48a0: e3 81 be e3 81 99 e3 80 82 0a e3 82 af e3 83 a9  ................
48b0: e3 82 b9 e5 90 8d e3 81 8c 20 3c 74 74 3e 69 73  ......... <tt>is
48c0: 3c 2f 74 74 3e 20 e3 83 95 e3 82 a3 e3 83 bc e3  </tt> ..........
48d0: 83 ab e3 83 89 e3 81 ab e3 80 81 e3 83 a1 e3 83  ................
48e0: b3 e3 83 90 e5 a4 89 e6 95 b0 e3 81 af e3 81 9d  ................
48f0: e3 81 ae e3 81 be e3 81 be e3 81 ae e5 90 8d e5  ................
4900: 89 8d e3 81 a7 e5 85 a5 e3 82 8a e3 81 be e3 81  ................
4910: 99 e3 80 82 0a e9 85 8d e5 88 97 e3 83 a1 e3 83  ................
4920: b3 e3 83 90 e3 81 af 20 63 6f 6e 73 20 e3 83 aa  ....... cons ...
4930: e3 82 b9 e3 83 88 e3 81 ab e3 81 aa e3 81 a3 e3  ................
4940: 81 a6 e5 85 a5 e3 81 a3 e3 81 a6 e3 81 8d e3 81  ................
4950: be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a  ........</p>.)).
4960: 24 28 53 45 43 54 49 4f 4e 20 e5 be ae e5 a6 99  $(SECTION ......
4970: e3 81 aa e6 8c 99 e5 8b 95 2c 20 24 28 53 45 43  ........., $(SEC
4980: 42 4f 44 59 0a 3c 70 72 65 3e 0a 20 20 20 28 72  BODY.<pre>.   (r
4990: 61 77 6d 61 63 72 6f 29 20 e3 83 ac e3 82 a4 e3  awmacro) .......
49a0: 83 a4 e3 81 ae e8 a9 b1 0a 0a 20 20 20 20 20 20  ..........      
49b0: 5b 5b 6c 69 6d 69 74 61 74 69 6f 6e 73 5d 5d 0a  [[limitations]].
49c0: 0a 20 20 20 54 68 69 73 20 40 6d 61 63 72 6f 20  .   This @macro 
49d0: 6c 61 79 65 72 20 69 73 20 61 20 76 65 72 79 20  layer is a very 
49e0: 70 72 69 6d 69 74 69 76 65 20 6f 6e 65 2c 20 61  primitive one, a
49f0: 6e 64 20 6e 6f 74 20 61 20 70 65 72 66 65 63 74  nd not a perfect
4a00: 20 6d 61 63 72 6f 20 6c 61 6e 67 75 61 67 65 2e   macro language.
4a10: 0a 20 20 20 54 77 6f 20 6d 61 6a 6f 72 20 6c 69  .   Two major li
4a20: 6d 69 74 61 74 69 6f 6e 73 20 61 72 65 20 73 65  mitations are se
4a30: 65 6e 20 69 6e 20 74 68 65 20 66 6f 6c 6c 6f 77  en in the follow
4a40: 69 6e 67 20 22 69 74 22 20 65 78 61 6d 70 6c 65  ing "it" example
4a50: 2e 0a 0a 20 20 20 20 20 3e 3e 20 40 6d 61 63 72  ...     >> @macr
4a60: 6f 20 4c 65 74 49 74 42 65 28 78 2c 20 79 29 20  o LetItBe(x, y) 
4a70: 7b 20 6c 65 74 20 69 74 20 3d 20 78 20 69 6e 20  { let it = x in 
4a80: 79 20 7d 3b 0a 0a 20 20 20 54 68 65 20 76 61 72  y };..   The var
4a90: 69 61 62 6c 65 20 6e 61 6d 65 20 69 73 20 6e 6f  iable name is no
4aa0: 74 20 68 79 67 65 6e 69 63 2c 20 61 6e 64 20 73  t hygenic, and s
4ab0: 6f 20 77 69 74 68 6f 75 74 20 61 6e 79 20 65 66  o without any ef
4ac0: 66 6f 72 74 2c 20 74 68 65 20 73 79 6e 74 61 78  fort, the syntax
4ad0: 20 74 72 65 65 20 22 79 22 0a 20 20 20 63 61 6e   tree "y".   can
4ae0: 20 61 63 63 65 73 73 20 74 68 65 20 6f 75 74 65   access the oute
4af0: 72 20 76 61 72 69 61 62 6c 65 20 22 69 74 22 2e  r variable "it".
4b00: 0a 0a 20 20 20 20 20 3e 3e 20 64 65 66 20 66 6f  ..     >> def fo
4b10: 6f 28 29 20 7b 20 4c 65 74 49 74 42 65 28 20 31  o() { LetItBe( 1
4b20: 2b 32 2b 33 2c 20 69 74 2a 69 74 20 29 20 7d 0a  +2+3, it*it ) }.
4b30: 20 20 20 20 20 3e 3e 20 66 6f 6f 28 29 0a 20 20       >> foo().  
4b40: 20 20 20 33 36 0a 0a 20 20 20 4f 66 20 63 6f 75     36..   Of cou
4b50: 72 73 65 2c 20 74 68 69 73 20 69 73 20 6e 6f 74  rse, this is not
4b60: 20 6a 75 73 74 20 61 20 6c 69 6d 69 74 61 74 69   just a limitati
4b70: 6f 6e 3b 20 69 74 20 63 61 6e 20 73 6f 6d 65 74  on; it can somet
4b80: 69 6d 65 73 20 61 6c 6c 6f 77 20 75 73 20 74 6f  imes allow us to
4b90: 20 77 72 69 74 65 0a 20 20 20 6d 61 6e 79 20 69   write.   many i
4ba0: 6e 74 65 72 65 73 74 69 6e 67 20 6d 61 63 72 6f  nteresting macro
4bb0: 73 2e 0a 0a 20 20 20 54 68 65 20 6f 74 68 65 72  s...   The other
4bc0: 20 70 72 6f 62 6c 65 6d 20 69 73 20 74 68 61 74   problem is that
4bd0: 20 74 68 65 20 6d 61 63 72 6f 20 65 78 70 61 6e   the macro expan
4be0: 73 69 6f 6e 20 69 73 20 6f 6e 6c 79 20 64 6f 6e  sion is only don
4bf0: 65 20 61 74 20 66 75 6e 63 74 69 6f 6e 20 73 74  e at function st
4c00: 61 72 74 75 70 2e 0a 20 20 20 53 6f 20 0a 0a 20  artup..   So .. 
4c10: 20 20 20 20 3e 3e 20 4c 65 74 49 74 42 65 28 20      >> LetItBe( 
4c20: 31 2b 32 2b 33 2c 20 69 74 2a 69 74 20 29 0a 20  1+2+3, it*it ). 
4c30: 20 20 20 20 2e 2e 2e 5c 76 61 6c 75 65 2e 64 28      ...\value.d(
4c40: 31 37 33 29 3a 20 5b 3c 52 45 50 4c 3e 3a 32 34  173): [<REPL>:24
4c50: 3a 31 5d 20 76 61 72 69 61 62 6c 65 20 4c 65 74  :1] variable Let
4c60: 49 74 42 65 20 69 73 20 6e 6f 74 20 73 65 74 20  ItBe is not set 
4c70: 69 6e 20 6c 61 79 65 72 20 40 76 61 6c 75 65 0a  in layer @value.
4c80: 0a 20 20 20 79 6f 75 20 63 61 6e 6e 6f 74 20 64  .   you cannot d
4c90: 69 72 65 63 74 6c 79 20 75 73 65 20 74 68 65 20  irectly use the 
4ca0: 6d 61 63 72 6f 20 69 6e 20 74 68 65 20 73 61 6d  macro in the sam
4cb0: 65 20 73 63 6f 70 65 20 61 73 20 74 68 65 20 64  e scope as the d
4cc0: 65 66 69 6e 69 74 69 6f 6e 2e 0a 20 20 20 59 6f  efinition..   Yo
4cd0: 75 20 6e 65 65 64 20 74 6f 20 77 72 61 70 20 69  u need to wrap i
4ce0: 74 20 75 70 20 69 6e 20 61 20 66 75 6e 63 74 69  t up in a functi
4cf0: 6f 6e 20 28 6c 69 6b 65 20 74 68 65 20 66 6f 6f  on (like the foo
4d00: 28 29 20 69 6e 20 74 68 65 20 61 62 6f 76 65 20  () in the above 
4d10: 65 78 61 6d 70 6c 65 29 2e 0a 3c 2f 70 72 65 3e  example)..</pre>
4d20: 0a 29 29 0a 29 0a 29 29 0a 0a 0a 24 28 53 45 43  .)).).))...$(SEC
4d30: 54 49 4f 4e 20 42 75 69 6c 74 2d 69 6e 20 50 72  TION Built-in Pr
4d40: 69 6d 69 74 69 76 65 73 2c 20 24 28 53 45 43 42  imitives, $(SECB
4d50: 4f 44 59 0a 3c 70 3e 0a e7 b5 84 e3 81 bf e8 be  ODY.<p>.........
4d60: bc e3 81 bf e9 96 a2 e6 95 b0 e3 83 bb e5 a4 89  ................
4d70: e6 95 b0 e3 81 ae e4 b8 80 e8 a6 a7 e3 80 82 0a  ................
4d80: 3c 2f 70 3e 0a 24 28 44 44 4f 43 5f 4d 45 4d 42  </p>.$(DDOC_MEMB
4d90: 45 52 53 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e3  ERS..$(SECTION .
4da0: 83 86 e3 83 bc e3 83 96 e3 83 ab e6 93 8d e4 bd  ................
4db0: 9c 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 20 24  ., $(SECBODY.  $
4dc0: 28 54 41 42 4c 45 0a 20 20 20 20 24 28 54 52 20  (TABLE.    $(TR 
4dd0: 24 28 54 48 20 7b 7d 29 20 24 28 54 44 20 28 29  $(TH {}) $(TD ()
4de0: 29 20 24 28 54 44 20 e7 a9 ba e3 81 ae e3 83 86  ) $(TD .........
4df0: e3 83 bc e3 83 96 e3 83 ab e3 82 92 e4 bd 9c e3  ................
4e00: 82 8b 29 29 0a 20 20 20 20 24 28 54 52 20 24 28  ..)).    $(TR $(
4e10: 54 48 20 2e 29 20 24 28 54 44 20 28 74 2c 20 73  TH .) $(TD (t, s
4e20: 29 29 20 24 28 54 44 20 e3 83 86 e3 83 bc e3 83  )) $(TD ........
4e30: 96 e3 83 ab 20 74 20 e3 81 ae e5 90 8d e5 89 8d  .... t .........
4e40: 20 73 20 e3 81 ae e3 83 95 e3 82 a3 e3 83 bc e3   s .............
4e50: 83 ab e3 83 89 e3 81 ae e5 80 a4 e3 82 92 e5 8f  ................
4e60: 96 e5 be 97 e3 80 82 e3 81 aa e3 81 91 e3 82 8c  ................
4e70: e3 81 b0 20 3c 74 74 3e 75 6e 64 65 66 69 6e 65  ... <tt>undefine
4e80: 64 3c 2f 74 74 3e 29 29 0a 20 20 20 20 24 28 54  d</tt>)).    $(T
4e90: 52 20 24 28 54 48 20 2e 3f 29 20 24 28 54 44 20  R $(TH .?) $(TD 
4ea0: 28 74 2c 20 73 29 29 20 24 28 54 44 20 e3 83 86  (t, s)) $(TD ...
4eb0: e3 83 bc e3 83 96 e3 83 ab 20 74 20 e3 81 ab e5  ......... t ....
4ec0: 90 8d e5 89 8d 20 73 20 e3 81 ae e3 83 95 e3 82  ..... s ........
4ed0: a3 e3 83 bc e3 83 ab e3 83 89 e3 81 8c e3 81 82  ................
4ee0: e3 82 8c e3 81 b0 20 31 e3 80 81 e3 81 aa e3 81  ...... 1........
4ef0: 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 20 20  ....... 0)).    
4f00: 24 28 54 52 20 24 28 54 48 20 2e 3d 29 20 24 28  $(TR $(TH .=) $(
4f10: 54 44 20 28 74 2c 20 73 2c 20 76 29 29 20 24 28  TD (t, s, v)) $(
4f20: 54 44 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab 20  TD ............ 
4f30: 74 20 e3 82 92 e8 a6 aa e3 81 ab e6 8c 81 e3 81  t ..............
4f40: a1 e3 80 81 e5 90 8d e5 89 8d 20 73 20 e3 81 ae  .......... s ...
4f50: e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3  ................
4f60: 81 ab 20 76 20 e3 81 8c e5 85 a5 e3 81 a3 e3 81  .. v ...........
4f70: 9f e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 82 92  ................
4f80: e4 bd 9c e3 82 8b 29 29 0a 20 20 29 0a 29 29 0a  ......)).  ).)).
4f90: 3c 62 72 20 2f 3e 0a 0a 24 28 53 45 43 54 49 4f  <br />..$(SECTIO
4fa0: 4e 20 e5 88 b6 e5 be a1 e3 83 95 e3 83 ad e3 83  N ..............
4fb0: bc 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 20 24  ., $(SECBODY.  $
4fc0: 28 54 41 42 4c 45 0a 20 20 20 20 24 28 54 52 20  (TABLE.    $(TR 
4fd0: 24 28 54 48 20 69 66 29 20 24 28 54 44 20 28 6e  $(TH if) $(TD (n
4fe0: 2c 20 66 74 2c 20 66 65 29 29 20 24 28 54 44 20  , ft, fe)) $(TD 
4ff0: 6e 20 e3 81 8c e9 9d 9e 20 30 20 e3 81 aa e3 82  n ...... 0 .....
5000: 89 20 3c 74 74 3e 66 74 28 29 3c 2f 74 3e e3 80  . <tt>ft()</t>..
5010: 81 30 20 e3 81 aa e3 82 89 20 3c 74 74 3e 66 65  .0 ...... <tt>fe
5020: 28 29 3c 2f 74 74 3e 20 e3 82 92 e5 ae 9f e8 a1  ()</tt> ........
5030: 8c 29 29 0a 20 20 29 0a 29 29 0a 3c 62 72 20 2f  .)).  ).)).<br /
5040: 3e 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e6 bc 94  >..$(SECTION ...
5050: e7 ae 97 2c 20 24 28 53 45 43 42 4f 44 59 0a 20  ..., $(SECBODY. 
5060: 20 24 28 54 41 42 4c 45 0a 20 20 20 20 24 28 54   $(TABLE.    $(T
5070: 52 20 24 28 54 48 20 2b 29 20 24 28 54 44 20 28  R $(TH +) $(TD (
5080: 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6  n, m)) $(TD ....
5090: 95 b0 20 6e 20 e3 81 a8 e6 95 b4 e6 95 b0 20 6d  .. n ......... m
50a0: 20 e3 82 92 e8 b6 b3 e3 81 97 e3 81 a6 e8 bf 94   ...............
50b0: e3 81 99 29 29 0a 20 20 20 20 24 28 54 52 20 24  ...)).    $(TR $
50c0: 28 54 48 20 2d 29 20 24 28 54 44 20 28 6e 2c 20  (TH -) $(TD (n, 
50d0: 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 e3  m)) $(TD .......
50e0: 81 ae e5 bc 95 e3 81 8d e7 ae 97 29 29 0a 20 20  ...........)).  
50f0: 20 20 24 28 54 52 20 24 28 54 48 20 2a 29 20 24    $(TR $(TH *) $
5100: 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44  (TD (n, m)) $(TD
5110: 20 e6 95 b4 e6 95 b0 e3 81 ae e6 8e 9b e3 81 91   ...............
5120: e7 ae 97 29 29 0a 20 20 20 20 24 28 54 52 20 24  ...)).    $(TR $
5130: 28 54 48 20 2f 29 20 24 28 54 44 20 28 6e 2c 20  (TH /) $(TD (n, 
5140: 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 e3  m)) $(TD .......
5150: 81 ae e5 89 b2 e3 82 8a e7 ae 97 29 29 0a 20 20  ...........)).  
5160: 20 20 24 28 54 52 20 24 28 54 48 20 25 29 20 24    $(TR $(TH %) $
5170: 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44  (TD (n, m)) $(TD
5180: 20 e6 95 b4 e6 95 b0 e3 81 ae e5 89 b0 e4 bd 99   ...............
5190: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48  )).    $(TR $(TH
51a0: 20 26 61 6d 70 3b 26 61 6d 70 3b 29 20 24 28 54   &amp;&amp;) $(T
51b0: 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6  D (n, m)) $(TD .
51c0: 95 b4 e6 95 b0 20 6e 20 e3 81 a8 20 6d 20 e3 81  ..... n ... m ..
51d0: 8c e4 b8 a1 e6 96 b9 e9 9d 9e 20 30 20 e3 81 aa  .......... 0 ...
51e0: e3 82 89 20 31 e3 80 81 e3 81 9d e3 82 8c e4 bb  ... 1...........
51f0: a5 e5 a4 96 e3 81 a7 e3 81 af 20 30 29 29 0a 20  .......... 0)). 
5200: 20 20 20 24 28 54 52 20 24 28 54 48 20 7c 7c 29     $(TR $(TH ||)
5210: 20 24 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 28   $(TD (n, m)) $(
5220: 54 44 20 e6 95 b4 e6 95 b0 20 6e 20 e3 81 a8 20  TD ...... n ... 
5230: 6d 20 e3 81 8c e3 81 a9 e3 81 a1 e3 82 89 e3 81  m ..............
5240: 8b e9 9d 9e 20 30 20 e3 81 aa e3 82 89 20 31 e3  .... 0 ...... 1.
5250: 80 81 e3 81 9d e3 82 8c e4 bb a5 e5 a4 96 e3 81  ................
5260: a7 e3 81 af 20 30 29 29 0a 20 20 20 20 24 28 54  .... 0)).    $(T
5270: 52 20 24 28 54 48 20 7e 29 20 24 28 54 44 20 28  R $(TH ~) $(TD (
5280: 61 2c 20 62 29 29 20 24 28 54 44 20 61 20 e3 81  a, b)) $(TD a ..
5290: a8 20 62 20 e3 82 92 e6 96 87 e5 ad 97 e5 88 97  . b ............
52a0: e5 8c 96 e3 81 97 e3 81 a6 e7 b5 90 e5 90 88 29  ...............)
52b0: 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20  ).    $(TR $(TH 
52c0: 26 6c 74 3b 29 20 24 28 54 44 20 28 61 2c 20 62  &lt;) $(TD (a, b
52d0: 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20  )) $(TD a ... b 
52e0: e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 20 20  .........)).    
52f0: 24 28 54 52 20 24 28 54 48 20 26 6c 74 3b 3d 29  $(TR $(TH &lt;=)
5300: 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 28   $(TD (a, b)) $(
5310: 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af  TD a ... b .....
5320: 94 e8 bc 83 29 29 0a 20 20 20 20 24 28 54 52 20  ....)).    $(TR 
5330: 24 28 54 48 20 26 67 74 3b 29 20 24 28 54 44 20  $(TH &gt;) $(TD 
5340: 28 61 2c 20 62 29 29 20 24 28 54 44 20 61 20 e3  (a, b)) $(TD a .
5350: 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 29 29  .. b .........))
5360: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 26  .    $(TR $(TH &
5370: 67 74 3b 3d 29 20 24 28 54 44 20 28 61 2c 20 62  gt;=) $(TD (a, b
5380: 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20  )) $(TD a ... b 
5390: e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 20 20  .........)).    
53a0: 24 28 54 52 20 24 28 54 48 20 3d 3d 29 20 24 28  $(TR $(TH ==) $(
53b0: 54 44 20 28 61 2c 20 62 29 29 20 24 28 54 44 20  TD (a, b)) $(TD 
53c0: 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc  a ... b ........
53d0: 83 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54  .)).    $(TR $(T
53e0: 48 20 21 3d 29 20 24 28 54 44 20 28 61 2c 20 62  H !=) $(TD (a, b
53f0: 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20  )) $(TD a ... b 
5400: e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 29 0a  .........)).  ).
5410: 3c 70 3e 0a e6 b3 a8 e6 84 8f e7 82 b9 e3 81 a8  <p>.............
5420: e3 81 97 e3 81 a6 e3 80 81 e4 bd 9c e8 80 85 e3  ................
5430: 81 ae e8 b6 a3 e5 91 b3 e3 81 ae e5 95 8f e9 a1  ................
5440: 8c e3 81 a7 e3 80 81 3c 74 74 3e 26 61 6d 70 3b  .......<tt>&amp;
5450: 26 61 6d 70 3b 3c 2f 74 74 3e 20 e3 81 a8 20 3c  &amp;</tt> ... <
5460: 74 74 3e 7c 7c 3c 2f 74 74 3e 20 e3 81 af 20 73  tt>||</tt> ... s
5470: 68 6f 72 74 2d 63 69 72 63 75 69 74 20 e8 a9 95  hort-circuit ...
5480: e4 be a1 e3 82 92 e3 81 97 e3 81 be e3 81 9b e3  ................
5490: 82 93 e3 80 82 0a e6 95 b4 e6 95 b0 e6 bc 94 e7  ................
54a0: ae 97 e3 81 ae e7 a8 ae e9 a1 9e e3 81 8c e5 b0  ................
54b0: 91 e3 81 aa e3 81 84 e3 81 ae e3 81 af e3 80 81  ................
54c0: 44 20 e8 a8 80 e8 aa 9e e3 81 ae 20 73 74 64 2e  D ......... std.
54d0: 62 69 67 69 6e 74 20 e3 81 8c e3 83 93 e3 83 83  bigint .........
54e0: e3 83 88 e6 bc 94 e7 ae 97 e3 81 aa e3 81 a9 e3  ................
54f0: 82 92 e3 82 b5 e3 83 9d e3 83 bc e3 83 88 e3 81  ................
5500: 97 e3 81 a6 e3 81 aa e3 81 84 e3 81 9f e3 82 81  ................
5510: e3 81 a7 e3 81 99 e3 80 82 0a e6 96 87 e5 ad 97  ................
5520: e5 88 97 e3 81 8c e7 b5 90 e5 90 88 e3 81 97 e3  ................
5530: 81 8b e3 81 a7 e3 81 8d e3 81 aa e3 81 84 e3 81  ................
5540: ae e3 81 af e3 80 81 e5 8d 98 e3 81 ab e6 89 8b  ................
5550: e6 8a 9c e3 81 8d e3 81 a7 e3 81 99 e3 80 82 0a  ................
5560: 3c 2f 70 3e 0a 29 29 0a 0a 24 28 53 45 43 54 49  </p>.))..$(SECTI
5570: 4f 4e 20 e5 a4 96 e9 83 a8 e3 81 a8 e3 81 ae e3  ON .............
5580: 82 84 e3 82 8a e3 81 a8 e3 82 8a 2c 20 24 28 53  ..........., $(S
5590: 45 43 42 4f 44 59 0a 20 20 24 28 54 41 42 4c 45  ECBODY.  $(TABLE
55a0: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 70  .    $(TR $(TH p
55b0: 72 69 6e 74 29 20 24 28 54 44 20 28 61 29 29 20  rint) $(TD (a)) 
55c0: 24 28 54 44 20 61 20 e3 82 92 e6 96 87 e5 ad 97  $(TD a .........
55d0: e5 88 97 e5 8c 96 e6 a8 99 e6 ba 96 e5 87 ba e5  ................
55e0: 8a 9b e3 81 ab e6 94 b9 e8 a1 8c e4 bb 98 e3 81  ................
55f0: 8d e3 81 a7 e8 a1 a8 e7 a4 ba e3 81 97 e3 81 a6  ................
5600: e3 80 81 61 20 e3 82 92 e8 bf 94 e3 81 99 29 29  ...a .........))
5610: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 61  .    $(TR $(TH a
5620: 72 67 76 29 20 24 28 54 44 20 29 20 24 28 54 44  rgv) $(TD ) $(TD
5630: 20 e3 82 b9 e3 82 af e3 83 aa e3 83 97 e3 83 88   ...............
5640: e3 81 ab e6 b8 a1 e3 81 95 e3 82 8c e3 81 9f e5  ................
5650: bc 95 e6 95 b0 e6 96 87 e5 ad 97 e5 88 97 e3 81  ................
5660: ae 63 6f 6e 73 e3 83 aa e3 82 b9 e3 83 88 29 29  .cons.........))
5670: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 67  .    $(TR $(TH g
5680: 65 6e 73 79 6d 29 20 24 28 54 44 20 28 29 29 20  ensym) $(TD ()) 
5690: 24 28 54 44 20 e3 82 a8 e3 82 bb 67 65 6e 73 79  $(TD ......gensy
56a0: 6d e3 80 82 e5 a4 89 e6 95 b0 e5 90 8d e3 81 a8  m...............
56b0: e3 81 97 e3 81 a6 e4 bb 96 e3 81 a8 e3 81 8b e3  ................
56c0: 81 b6 e3 82 89 e3 81 aa e3 81 9d e3 81 86 e3 81  ................
56d0: aa e6 96 87 e5 ad 97 e5 88 97 e3 82 92 e8 bf 94  ................
56e0: e3 81 97 e3 81 be e3 81 99 29 29 0a 20 20 20 20  .........)).    
56f0: 24 28 54 52 20 24 28 54 48 20 72 61 6e 64 29 20  $(TR $(TH rand) 
5700: 24 28 54 44 20 28 6e 29 29 20 24 28 54 44 20 30  $(TD (n)) $(TD 0
5710: 20 e4 bb a5 e4 b8 8a 20 6e 20 e6 9c aa e6 ba 80   ...... n ......
5720: e3 81 ae e8 87 aa e7 84 b6 e6 95 b0 e3 82 92 33  ...............3
5730: 31 62 69 74 e4 bb a5 e5 86 85 e3 81 a7 e3 83 a9  1bit............
5740: e3 83 b3 e3 83 80 e3 83 a0 e3 81 ab e7 94 9f e6  ................
5750: 88 90 e3 81 97 e3 81 be e3 81 99 29 29 0a 20 20  ...........)).  
5760: 29 0a 29 29 0a 3c 62 72 20 2f 3e 0a 0a 24 28 53  ).)).<br />..$(S
5770: 45 43 54 49 4f 4e 20 e3 83 87 e3 83 bc e3 82 bf  ECTION .........
5780: e5 9e 8b e5 88 a4 e5 ae 9a 2c 20 24 28 53 45 43  ........., $(SEC
5790: 42 4f 44 59 0a 20 20 24 28 54 41 42 4c 45 0a 20  BODY.  $(TABLE. 
57a0: 20 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 73     $(TR $(TH _is
57b0: 69 6e 74 29 20 24 28 54 44 20 28 61 29 29 20 24  int) $(TD (a)) $
57c0: 28 54 44 20 61 20 e3 81 8c e6 95 b4 e6 95 b0 e3  (TD a ..........
57d0: 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa  ..... 1.........
57e0: e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 20  ......... 0)).  
57f0: 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 73 73    $(TR $(TH _iss
5800: 74 72 29 20 24 28 54 44 20 28 61 29 29 20 24 28  tr) $(TD (a)) $(
5810: 54 44 20 61 20 e3 81 8c e6 96 87 e5 ad 97 e5 88  TD a ...........
5820: 97 e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3  ....... 1.......
5830: 81 aa e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a  ........... 0)).
5840: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 5f 69      $(TR $(TH _i
5850: 73 66 75 6e 29 20 24 28 54 44 20 28 61 29 29 20  sfun) $(TD (a)) 
5860: 24 28 54 44 20 61 20 e3 81 8c e9 96 a2 e6 95 b0  $(TD a .........
5870: e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81  ...... 1........
5880: aa e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20  .......... 0)). 
5890: 20 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 73     $(TR $(TH _is
58a0: 74 61 62 6c 65 29 20 24 28 54 44 20 28 61 29 29  table) $(TD (a))
58b0: 20 24 28 54 44 20 61 20 e3 81 8c e3 83 86 e3 83   $(TD a ........
58c0: bc e3 83 96 e3 83 ab e3 81 aa e3 82 89 20 31 e3  ............. 1.
58d0: 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c e3 81  ................
58e0: b0 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 24  . 0)).    $(TR $
58f0: 28 54 48 20 5f 69 73 75 6e 64 65 66 69 6e 65 64  (TH _isundefined
5900: 29 20 24 28 54 44 20 28 61 29 29 20 24 28 54 44  ) $(TD (a)) $(TD
5910: 20 61 20 e3 81 8c e6 9c aa e5 ae 9a e7 be a9 e5   a .............
5920: 80 a4 e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7  ........ 1......
5930: e3 81 aa e3 81 91 e3 82 8c e3 81 b0 20 30 29 29  ............ 0))
5940: 0a 20 20 29 0a 29 29 0a 29 0a 29 29 0a 0a 29 0a  .  ).)).).))..).
5950: 4d 61 63 72 6f 73 3a 0a 20 20 20 20 54 49 54 4c  Macros:.    TITL
5960: 45 3d 50 6f 6c 65 6d 79 20 52 65 66 65 72 65 6e  E=Polemy Referen
5970: 63 65 20 4d 61 6e 75 61 6c 0a 20 20 20 20 44 4f  ce Manual.    DO
5980: 43 46 49 4c 45 4e 41 4d 45 3d 69 6e 64 65 78 2e  CFILENAME=index.
5990: 68 74 6d 6c 0a 20 20 20 20 53 45 43 54 49 4f 4e  html.    SECTION
59a0: 3d 24 28 44 44 4f 43 5f 44 45 43 4c 20 24 28 44  =$(DDOC_DECL $(D
59b0: 44 4f 43 5f 50 53 59 4d 42 4f 4c 20 24 31 29 29  DOC_PSYMBOL $1))
59c0: 20 24 28 44 44 4f 43 5f 44 45 43 4c 5f 44 44 20   $(DDOC_DECL_DD 
59d0: 24 32 29 0a 20 20 20 20 53 45 43 42 4f 44 59 3d  $2).    SECBODY=
59e0: 24 30 0a                                         $0.