Polemy: Hex Artifact Content

Artifact 388d91fa67a7c4030a0e98059528f6897e718fa4:

File index.dd
- 2010-11-27 14:23:54 - part of checkin [005474ba5b] on branch trunk - changed: not to lift _|_ (user: kinaba) [annotate]
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 e5 b7 a6 e3  ysl/))..<p>.....
0060: 81 ae e3 82 b5 e3 82 a4 e3 83 89 e3 83 90 e3 83  ................
0070: bc e3 81 ae 20 22 50 61 63 6b 61 67 65 22 20 e3  .... "Package" .
0080: 82 bf e3 83 96 e3 82 92 e3 82 af e3 83 aa e3 83  ................
0090: 83 e3 82 af e3 81 99 e3 82 8b e3 81 a8 e5 ae 9f  ................
00a0: e8 a3 85 e3 81 ae e3 82 bd e3 83 bc e3 82 b9 e3  ................
00b0: 81 ae e3 83 89 e3 82 ad e3 83 a5 e3 83 a1 e3 83  ................
00c0: b3 e3 83 88 e3 81 8c e8 aa ad e3 82 81 e3 81 be  ................
00d0: e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a  .......</p>.<p>.
00e0: e3 81 93 e3 81 ae e3 83 95 e3 82 a1 e3 82 a4 e3  ................
00f0: 83 ab e3 81 af e3 80 81 e8 a8 80 e8 aa 9e e4 bb  ................
0100: 95 e6 a7 98 e3 81 aa e3 81 a9 e3 81 ae e3 80 81  ................
0110: e3 82 84 e3 82 84 e8 be 9e e6 9b b8 e7 9a 84 e3  ................
0120: 81 aa e8 aa ac e6 98 8e e3 81 a7 e3 81 99 e3 80  ................
0130: 82 3c 62 72 20 2f 3e 0a e3 82 82 e3 81 a3 e3 81  .<br />.........
0140: a8 e3 81 96 e3 81 a3 e3 81 8f e3 82 8a e3 81 a8  ................
0150: e3 81 97 e3 81 9f e3 80 81 e8 a8 80 e8 aa 9e e3  ................
0160: 83 87 e3 82 b6 e3 82 a4 e3 83 b3 e3 81 ae e6 96  ................
0170: b9 e5 90 91 e6 80 a7 e3 81 ae e9 ad 82 e7 9a 84  ................
0180: e3 81 aa e3 82 82 e3 81 ae e3 81 ab e3 81 a4 e3  ................
0190: 81 84 e3 81 a6 e3 81 af e3 80 81 0a e3 80 8c e3  ................
01a0: 83 a1 e3 82 bf e3 83 97 e3 83 ad e3 82 b0 e3 83  ................
01b0: a9 e3 83 9f e3 83 b3 e3 82 b0 e3 81 ae e4 bc 9a  ................
01c0: e3 80 8d e3 81 ae e7 99 ba e8 a1 a8 e3 82 b9 e3  ................
01d0: 83 a9 e3 82 a4 e3 83 89 e3 82 92 e3 81 94 e8 a6  ................
01e0: a7 e4 b8 8b e3 81 95 e3 81 84 e3 80 82 0a 3c 2f  ..............</
01f0: 70 3e 0a 3c 70 3e 0a e3 81 82 e3 81 a8 e3 80 81  p>.<p>..........
0200: 20 e3 82 84 e3 81 9f e3 82 89 e3 81 a8 e3 83 9e   ...............
0210: e3 82 af e3 83 ad e3 81 ae e7 ab a0 e3 81 8c e9  ................
0220: 95 b7 e3 81 8f e3 81 aa e3 81 a3 e3 81 a6 e3 81  ................
0230: 84 e3 81 be e3 81 99 e3 81 8c e3 80 81 20 e3 81  ............. ..
0240: 93 e3 81 ae e9 83 a8 e5 88 86 e3 81 af e3 80 81  ................
0250: 0a e3 83 ac e3 82 a4 e3 83 a4 e6 a9 9f e8 83 bd  ................
0260: e3 82 92 e5 85 a5 e3 82 8c e3 81 9f e3 82 89 e8  ................
0270: 87 aa e5 8b 95 e7 9a 84 e3 81 ab e3 81 99 e3 81  ................
0280: 94 e3 81 8f e8 87 aa e7 84 b6 e3 81 ab e3 83 9e  ................
0290: e3 82 af e3 83 ad e3 81 8c e5 85 a5 e3 82 8b e3  ................
02a0: 81 aa e3 83 bc e3 81 a8 e6 80 9d e3 81 a3 e3 81  ................
02b0: a6 e3 80 81 0a e3 81 8a e3 81 be e3 81 91 e3 81  ................
02c0: a7 e5 ae 9f e8 a3 85 e3 81 97 e3 81 a6 e3 81 bf  ................
02d0: e3 81 9f e7 a8 8b e5 ba a6 e3 81 ae e3 82 82 e3  ................
02e0: 81 ae e3 81 a7 e3 81 99 e3 80 82 0a e3 81 82 e3  ................
02f0: 82 93 e3 81 be e3 82 8a e9 87 8d e8 a6 81 e3 81  ................
0300: a7 e3 81 af e3 81 aa e3 81 84 e3 81 ae e3 81 a7  ................
0310: e3 80 81 e9 81 a9 e5 bd 93 e3 81 ab e3 82 b9 e3  ................
0320: 83 ab e3 83 bc e3 81 97 e3 81 a6 e4 b8 8b e3 81  ................
0330: 95 e3 81 84 e3 81 be e3 81 9b e3 80 82 0a e5 8d  ................
0340: 98 e3 81 ab e3 80 81 e9 81 a9 e5 bd 93 e3 81 ab  ................
0350: e5 85 a5 e3 82 8c e3 81 9f e3 82 89 e9 81 a9 e5  ................
0360: bd 93 e3 81 a7 e5 be ae e5 a6 99 e3 81 aa e9 83  ................
0370: a8 e5 88 86 e3 81 8c e5 a4 9a e3 81 8f e6 ae 8b  ................
0380: e3 81 a3 e3 81 a6 e3 81 97 e3 81 be e3 81 a3 e3  ................
0390: 81 9f e3 81 ae e3 81 a7 e6 b3 a8 e6 84 8f e6 9b  ................
03a0: b8 e3 81 8d e3 81 8c e5 a2 97 e3 81 88 e3 81 a6  ................
03b0: e3 81 84 e3 82 8b e3 81 a0 e3 81 91 e3 81 a7 e2  ................
03c0: 80 a6 e3 80 82 0a 3c 2f 70 3e 0a 0a 24 28 44 44  ......</p>..$(DD
03d0: 4f 43 5f 4d 45 4d 42 45 52 53 0a 0a 24 28 53 45  OC_MEMBERS..$(SE
03e0: 43 54 49 4f 4e 20 53 79 6e 74 61 78 2c 20 24 28  CTION Syntax, $(
03f0: 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e6 96 87 e6  SECBODY.<p>.....
0400: b3 95 e3 81 ab e3 81 a4 e3 81 84 e3 81 a6 e3 80  ................
0410: 82 0a e5 ad 97 e5 8f a5 e8 a7 a3 e6 9e 90 e3 81  ................
0420: 8c e3 82 8f e3 82 8a e3 81 a8 e9 81 a9 e5 bd 93  ................
0430: e3 81 aa e3 81 ae e3 81 a7 e3 80 81 0a e5 a4 89  ................
0440: e6 95 b0 e5 ae a3 e8 a8 80 e3 81 ae e5 a4 89 e6  ................
0450: 95 b0 e5 90 8d e3 81 ae e3 81 a8 e3 81 93 e3 82  ................
0460: 8d e3 81 ab e3 80 81 e6 95 b0 e5 ad 97 e3 82 92  ................
0470: e5 a4 89 e6 95 b0 e5 90 8d e3 81 a8 e3 81 97 e3  ................
0480: 81 a6 e4 bd bf e3 81 88 e3 81 a6 e5 8f 82 e7 85  ................
0490: a7 e3 81 a7 e3 81 8d e3 81 aa e3 81 84 e5 a4 89  ................
04a0: e6 95 b0 e3 81 8c e4 bd 9c e3 82 8c e3 81 9f e3  ................
04b0: 82 8a e3 80 81 0a e4 ba 88 e7 b4 84 e8 aa 9e e3  ................
04c0: 81 af e4 ba 88 e7 b4 84 e8 aa 9e e3 81 a8 e3 81  ................
04d0: 97 e3 81 a6 e8 a7 a3 e9 87 88 e3 81 95 e3 82 8c  ................
04e0: e5 be 97 e3 81 aa e3 81 84 e3 81 a8 e3 81 93 e3  ................
04f0: 82 8d e3 81 a7 e3 81 af e6 99 ae e9 80 9a e3 81  ................
0500: ab e5 a4 89 e6 95 b0 e5 90 8d e3 81 a8 e3 81 97  ................
0510: e3 81 a6 e4 bd bf e3 81 88 e3 81 a1 e3 82 83 e3  ................
0520: 81 a3 e3 81 9f e3 82 8a e3 81 97 e3 81 a6 e3 80  ................
0530: 81 0a e5 81 b6 e3 81 ab e3 81 a8 e3 82 93 e3 81  ................
0540: a7 e3 82 82 e3 81 aa e3 81 84 e8 a6 8b e3 81 8b  ................
0550: e3 81 91 e3 81 ae e3 82 bd e3 83 bc e3 82 b9 e3  ................
0560: 81 8c e6 a7 8b e6 96 87 e8 a7 a3 e6 9e 90 e9 80  ................
0570: 9a e3 82 8a e3 81 be e3 81 99 e3 81 8c e3 80 81  ................
0580: e6 b0 97 e3 81 ab e3 81 97 e3 81 aa e3 81 84 e3  ................
0590: 81 a7 e9 81 a9 e5 bd 93 e3 81 ab e4 bd bf e3 81  ................
05a0: a3 e3 81 a6 e4 b8 8b e3 81 95 e3 81 84 e3 80 82  ................
05b0: 0a 3c 2f 70 3e 0a 0a 24 28 44 44 4f 43 5f 4d 45  .</p>..$(DDOC_ME
05c0: 4d 42 45 52 53 0a 0a 24 28 53 45 43 54 49 4f 4e  MBERS..$(SECTION
05d0: 20 e6 96 87 e5 ad 97 e3 82 b3 e3 83 bc e3 83 89   ...............
05e0: 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a  , $(SECBODY.<p>.
05f0: 55 54 46 2d 38 20 e3 81 ae e3 81 bf e5 af be e5  UTF-8 ..........
0600: bf 9c e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e  ............</p>
0610: 0a 29 29 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e3  .))..$(SECTION .
0620: 82 b3 e3 83 a1 e3 83 b3 e3 83 88 2c 20 24 28 53  ..........., $(S
0630: 45 43 42 4f 44 59 0a 3c 70 3e 0a e8 a1 8c e3 82  ECBODY.<p>......
0640: b3 e3 83 a1 e3 83 b3 e3 83 88 e3 81 af 20 3c 74  ............. <t
0650: 74 3e 23 3c 2f 74 74 3e 20 e3 81 8b e3 82 89 e6  t>#</tt> .......
0660: 94 b9 e8 a1 8c e3 81 be e3 81 a7 e3 81 a7 e3 81  ................
0670: 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 83  .....</p>.<p>...
0680: 96 e3 83 ad e3 83 83 e3 82 af e3 82 b3 e3 83 a1  ................
0690: e3 83 b3 e3 83 88 e3 81 af e3 81 82 e3 82 8a e3  ................
06a0: 81 be e3 81 9b e3 82 93 e3 80 82 0a 3c 2f 70 3e  ............</p>
06b0: 0a 29 29 0a 0a 24 28 53 45 43 54 49 4f 4e 20 42  .))..$(SECTION B
06c0: 4e 46 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70  NF, $(SECBODY.<p
06d0: 72 65 3e 0a 20 49 44 20 20 20 20 3a 3a 3d 20 e9  re>. ID    ::= .
06e0: 81 a9 e5 bd 93 e3 81 ab e8 ad 98 e5 88 a5 e5 ad  ................
06f0: 90 e3 81 a3 e3 81 bd e3 81 84 e6 96 87 e5 ad 97  ................
0700: e5 88 97 0a 20 4c 41 59 45 52 20 3a 3a 3d 20 22  .... LAYER ::= "
0710: 40 22 20 49 44 0a 0a 20 45 20 3a 3a 3d 0a 20 20  @" ID.. E ::=.  
0720: 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e5   $(D_COMMENT # .
0730: a4 89 e6 95 b0 e5 ae a3 e8 a8 80 29 0a 20 20 20  ...........).   
0740: 20 20 7c 20 44 45 43 4c 20 22 3d 22 20 45 20 28    | DECL "=" E (
0750: 22 3b 22 7c 22 69 6e 22 29 20 45 0a 20 20 20 20  ";"|"in") E.    
0760: 20 7c 20 44 45 43 4c 20 22 28 22 20 50 41 52 41   | DECL "(" PARA
0770: 4d 53 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22  MS ")" "{" E "}"
0780: 20 28 22 3b 22 7c 22 69 6e 22 29 20 45 0a 20 20   (";"|"in") E.  
0790: 20 20 20 7c 20 44 45 43 4c 20 22 3d 22 20 45 0a     | DECL "=" E.
07a0: 20 20 20 20 20 7c 20 44 45 43 4c 20 22 28 22 20       | DECL "(" 
07b0: 50 41 52 41 4d 53 20 22 29 22 20 22 7b 22 20 45  PARAMS ")" "{" E
07c0: 20 22 7d 22 0a 0a 20 20 20 20 20 20 20 20 20 77   "}"..         w
07d0: 68 65 72 65 20 44 45 43 4c 20 3a 3a 3d 20 28 22  here DECL ::= ("
07e0: 76 61 72 22 7c 22 6c 65 74 22 7c 22 64 65 66 22  var"|"let"|"def"
07f0: 7c 4c 41 59 45 52 29 20 49 44 20 7c 20 22 40 22  |LAYER) ID | "@"
0800: 20 4c 41 59 45 52 0a 0a 20 20 20 24 28 44 5f 43   LAYER..   $(D_C
0810: 4f 4d 4d 45 4e 54 20 23 20 e3 83 aa e3 83 86 e3  OMMENT # .......
0820: 83 a9 e3 83 ab 29 0a 20 20 20 20 20 7c 20 49 4e  .....).     | IN
0830: 54 45 47 45 52 20 20 20 20 20 20 20 20 20 20 20  TEGER           
0840: 20 20 20 20 20 20 20 20 20 20 20 20 20 24 28 44               $(D
0850: 5f 43 4f 4d 4d 45 4e 54 20 23 20 e9 9d 9e e8 b2  _COMMENT # .....
0860: a0 e6 95 b4 e6 95 b0 29 0a 20 20 20 20 20 7c 20  .......).     | 
0870: 53 54 52 49 4e 47 20 20 20 20 20 20 20 20 20 20  STRING          
0880: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24                 $
0890: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 22 22 20  (D_COMMENT # "" 
08a0: e3 81 a7 e3 81 8f e3 81 8f e3 81 a3 e3 81 9f e6  ................
08b0: 96 87 e5 ad 97 e5 88 97 e3 80 82 5c 22 20 e3 81  ...........\" ..
08c0: a8 20 5c 5c 20 e3 81 af e4 bd bf e3 81 88 e3 82  . \\ ...........
08d0: 8b 29 0a 20 20 20 20 20 7c 20 22 7b 22 20 45 4e  .).     | "{" EN
08e0: 54 52 59 53 20 22 7d 22 20 20 20 20 20 20 20 20  TRYS "}"        
08f0: 20 20 20 20 20 20 20 20 20 24 28 44 5f 43 4f 4d           $(D_COM
0900: 4d 45 4e 54 20 23 20 e3 83 86 e3 83 bc e3 83 96  MENT # .........
0910: e3 83 ab 29 0a 20 20 20 20 20 7c 20 22 66 75 6e  ...).     | "fun
0920: 22 20 22 28 22 20 50 41 52 41 4d 53 20 22 29 22  " "(" PARAMS ")"
0930: 20 22 7b 22 20 45 20 22 7d 22 20 24 28 44 5f 43   "{" E "}" $(D_C
0940: 4f 4d 4d 45 4e 54 20 23 20 e7 84 a1 e5 90 8d e9  OMMENT # .......
0950: 96 a2 e6 95 b0 29 0a 20 20 20 20 20 7c 20 20 22  .....).     |  "
0960: ce bb 22 20 22 28 22 20 50 41 52 41 4d 53 20 22  .." "(" PARAMS "
0970: 29 22 20 22 7b 22 20 45 20 22 7d 22 20 24 28 44  )" "{" E "}" $(D
0980: 5f 43 4f 4d 4d 45 4e 54 20 23 20 e7 84 a1 e5 90  _COMMENT # .....
0990: 8d e9 96 a2 e6 95 b0 29 0a 0a 20 20 20 24 28 44  .......)..   $(D
09a0: 5f 43 4f 4d 4d 45 4e 54 20 23 20 e9 96 a2 e6 95  _COMMENT # .....
09b0: b0 e5 91 bc e3 81 b3 e5 87 ba e3 81 97 29 0a 20  .............). 
09c0: 20 20 20 20 7c 20 45 20 22 28 22 20 41 52 47 53      | E "(" ARGS
09d0: 22 29 22 0a 0a 20 20 20 20 20 20 20 20 20 77 68  ")"..         wh
09e0: 65 72 65 20 20 20 20 41 52 47 53 20 3a 3a 3d 20  ere    ARGS ::= 
09f0: 45 20 22 2c 22 20 2e 2e 2e 20 22 2c 22 20 45 0a  E "," ... "," E.
0a00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0a10: 50 41 52 41 4d 53 20 3a 3a 3d 20 28 49 44 7c 4c  PARAMS ::= (ID|L
0a20: 41 59 45 52 29 2b 20 22 2c 22 20 2e 2e 2e 20 22  AYER)+ "," ... "
0a30: 2c 22 20 28 49 44 7c 4c 41 59 45 52 29 2b 0a 20  ," (ID|LAYER)+. 
0a40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 45                 E
0a50: 4e 54 52 59 53 20 3a 3a 3d 20 49 44 20 22 3a 22  NTRYS ::= ID ":"
0a60: 20 45 20 20 20 20 22 2c 22 20 2e 2e 2e 20 22 2c   E    "," ... ",
0a70: 22 20 49 44 20 22 3a 22 20 45 0a 0a 20 20 20 24  " ID ":" E..   $
0a80: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e6 bc 94  (D_COMMENT # ...
0a90: e7 ae 97 e5 ad 90 e3 81 aa e3 81 a9 29 0a 20 20  ............).  
0aa0: 20 20 20 7c 20 22 28 22 20 45 20 22 29 22 20 20     | "(" E ")"  
0ab0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24                 $
0ac0: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 81 9f  (D_COMMENT # ...
0ad0: e3 81 a0 e3 81 ae e6 8b ac e5 bc a7 29 0a 20 20  ............).  
0ae0: 20 20 20 7c 20 22 2e 2e 2e 22 20 20 20 20 20 20     | "..."      
0af0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24                 $
0b00: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 81 93  (D_COMMENT # ...
0b10: e3 82 8c e3 82 92 e5 ae 9f e8 a1 8c e3 81 99 e3  ................
0b20: 82 8b e3 81 a8 64 69 65 29 0a 20 20 20 20 20 7c  .....die).     |
0b30: 20 45 20 42 49 4e 4f 50 20 45 20 20 20 20 20 20   E BINOP E      
0b40: 20 20 20 20 20 20 20 20 20 20 20 24 28 44 5f 43             $(D_C
0b50: 4f 4d 4d 45 4e 54 20 23 20 e4 ba 8c e9 a0 85 e6  OMMENT # .......
0b60: bc 94 e7 ae 97 e5 ad 90 e3 81 84 e3 82 8d e3 81  ................
0b70: 84 e3 82 8d 29 0a 20 20 20 20 20 7c 20 45 20 22  ....).     | E "
0b80: 2e 22 20 20 49 44 20 20 20 20 20 20 20 20 20 20  ."  ID          
0b90: 20 20 20 20 20 20 20 24 28 44 5f 43 4f 4d 4d 45         $(D_COMME
0ba0: 4e 54 20 23 20 e3 83 86 e3 83 bc e3 83 96 e3 83  NT # ...........
0bb0: ab e3 81 ae e3 83 95 e3 82 a3 e3 83 bc e3 83 ab  ................
0bc0: e3 83 89 e3 82 a2 e3 82 af e3 82 bb e3 82 b9 29  ...............)
0bd0: 0a 20 20 20 20 20 7c 20 45 20 22 2e 3f 22 20 49  .     | E ".?" I
0be0: 44 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  D               
0bf0: 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20    $(D_COMMENT # 
0c00: e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81 ab e3  ................
0c10: 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81  ................
0c20: 8c e3 81 82 e3 82 8b e3 81 8b e5 90 a6 e3 81 8b  ................
0c30: 29 0a 20 20 20 20 20 7c 20 45 20 22 7b 22 20 45  ).     | E "{" E
0c40: 4e 54 52 59 53 20 22 7d 22 20 20 20 20 20 20 20  NTRYS "}"       
0c50: 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23     $(D_COMMENT #
0c60: 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab e6 8b a1   ...............
0c70: e5 bc b5 29 0a 20 20 20 20 20 7c 20 22 69 66 22  ...).     | "if"
0c80: 20 45 20 28 22 74 68 65 6e 22 7c 22 3a 22 7c 22   E ("then"|":"|"
0c90: 74 68 65 6e 22 20 22 3a 22 29 20 45 0a 20 20 20  then" ":") E.   
0ca0: 20 20 7c 20 22 69 66 22 20 45 20 28 22 74 68 65    | "if" E ("the
0cb0: 6e 22 7c 22 3a 22 7c 22 74 68 65 6e 22 20 22 3a  n"|":"|"then" ":
0cc0: 22 29 20 45 20 22 65 6c 73 65 22 20 22 3a 22 3f  ") E "else" ":"?
0cd0: 20 45 0a 0a 20 20 20 24 28 44 5f 43 4f 4d 4d 45   E..   $(D_COMME
0ce0: 4e 54 20 23 20 e3 83 91 e3 82 bf e3 83 bc e3 83  NT # ...........
0cf0: b3 e3 83 9e e3 83 83 e3 83 81 29 0a 20 20 20 20  ..........).    
0d00: 20 7c 20 22 63 61 73 65 22 20 45 20 28 22 77 68   | "case" E ("wh
0d10: 65 6e 22 20 50 41 54 54 45 52 4e 20 22 3a 22 20  en" PATTERN ":" 
0d20: 45 20 29 2a 20 0a 0a 20 20 20 20 20 20 20 20 20  E )* ..         
0d30: 77 68 65 72 65 20 50 41 54 54 45 52 4e 20 3a 3a  where PATTERN ::
0d40: 3d 20 e5 bc 8f e3 81 8c e3 81 a0 e3 81 84 e3 81  = ..............
0d50: 9f e3 81 84 e3 81 aa e3 82 93 e3 81 a7 e3 82 82  ................
0d60: e6 9b b8 e3 81 91 e3 82 8b e6 b0 97 e3 81 8c e3  ................
0d70: 81 99 e3 82 8b 0a 0a 20 20 20 24 28 44 5f 43 4f  .......   $(D_CO
0d80: 4d 4d 45 4e 54 20 23 20 e3 83 ac e3 82 a4 e3 83  MMENT # ........
0d90: a4 e6 8c 87 e5 ae 9a e5 ae 9f e8 a1 8c 29 0a 20  .............). 
0da0: 20 20 20 20 7c 20 4c 41 59 45 52 20 22 28 22 20      | LAYER "(" 
0db0: 45 20 22 29 22 0a 3c 2f 70 72 65 3e 0a 29 29 0a  E ")".</pre>.)).
0dc0: 0a 24 28 53 45 43 54 49 4f 4e 20 e7 b3 96 e8 a1  .$(SECTION .....
0dd0: a3 e6 a7 8b e6 96 87 2c 20 24 28 53 45 43 42 4f  ......., $(SECBO
0de0: 44 59 0a 3c 70 3e 0a e6 bc 94 e7 ae 97 e5 ad 90  DY.<p>..........
0df0: e3 81 a8 e3 81 84 e3 81 86 e3 82 82 e3 81 ae e3  ................
0e00: 81 af e3 81 82 e3 82 8a e3 81 be e3 81 9b e3 82  ................
0e10: 93 e3 80 82 e5 86 85 e9 83 a8 e7 9a 84 e3 81 ab  ................
0e20: e3 81 af e5 85 a8 e3 81 a6 e9 96 a2 e6 95 b0 e5  ................
0e30: 91 bc e3 81 b3 e5 87 ba e3 81 97 e6 a7 8b e6 96  ................
0e40: 87 e3 81 ab e6 9b b8 e3 81 8d e6 8f 9b e3 81 88  ................
0e50: e3 82 89 e3 82 8c e3 81 a6 e3 81 84 e3 81 be e3  ................
0e60: 81 99 e3 80 82 3c 74 74 3e 69 66 3c 2f 74 74 3e  .....<tt>if</tt>
0e70: 20 e3 82 82 e3 81 a7 e3 81 99 e3 80 82 0a 3c 62   .............<b
0e80: 72 2f 3e 0a e3 83 91 e3 82 bf e3 83 bc e3 83 b3  r/>.............
0e90: e3 83 9e e3 83 83 e3 83 81 e3 82 82 e5 85 a8 e9  ................
0ea0: 83 a8 20 3c 74 74 3e 69 66 3c 2f 74 74 3e 20 e3  .. <tt>if</tt> .
0eb0: 81 a8 20 3c 74 74 3e 3d 3d 3c 2f 74 74 3e 20 e3  .. <tt>==</tt> .
0ec0: 81 a8 20 3c 74 74 3e 26 61 6d 70 3b 26 61 6d 70  .. <tt>&amp;&amp
0ed0: 3b 3c 2f 74 74 3e 20 e3 81 a8 0a 3c 74 74 3e 2e  ;</tt> ....<tt>.
0ee0: 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 2e 3f  </tt> ... <tt>.?
0ef0: 3c 2f 74 74 3e 20 e3 82 92 e4 bd bf e3 81 a3 e3  </tt> ..........
0f00: 81 9f e9 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87  ................
0f10: ba e3 81 97 e5 bc 8f e3 81 ab e6 9b b8 e3 81 8d  ................
0f20: e6 8f 9b e3 81 88 e3 82 89 e3 82 8c e3 81 a6 e3  ................
0f30: 81 84 e3 81 be e3 81 99 e3 81 8c e3 80 81 0a e8  ................
0f40: a6 8f e5 89 87 e3 81 ae e8 a9 b3 e7 b4 b0 e3 82  ................
0f50: 92 e8 aa ac e6 98 8e e3 81 99 e3 82 8b e3 81 ae  ................
0f60: e3 81 8c e9 9d a2 e5 80 92 e3 81 aa e3 81 ae e3  ................
0f70: 81 a7 e9 81 a9 e5 bd 93 e3 81 ab e6 83 b3 e5 83  ................
0f80: 8f e3 81 97 e3 81 a6 e4 b8 8b e3 81 95 e3 81 84  ................
0f90: e3 80 82 0a e4 bb 96 e3 81 ae e6 9b b8 e3 81 8d  ................
0fa0: e6 8f 9b e3 81 88 e3 81 af e3 81 93 e3 82 93 e3  ................
0fb0: 81 aa e6 84 9f e3 81 98 e3 81 a7 e3 81 99 e3 80  ................
0fc0: 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20  ..</p>.<pre>.   
0fd0: 20 69 66 20 45 20 74 68 65 6e 20 45 20 20 20 20   if E then E    
0fe0: 20 20 20 20 20 e2 87 92 20 69 66 28 20 45 2c 20       ... if( E, 
0ff0: 66 75 6e 28 29 7b 45 7d 2c 20 66 75 6e 28 29 7b  fun(){E}, fun(){
1000: 7d 20 29 0a 20 20 20 20 69 66 20 45 20 74 68 65  } ).    if E the
1010: 6e 20 45 20 65 6c 73 65 20 45 20 20 e2 87 92 20  n E else E  ... 
1020: 69 66 28 20 45 2c 20 66 75 6e 28 29 7b 45 7d 2c  if( E, fun(){E},
1030: 20 66 75 6e 28 29 7b 45 7d 20 29 0a 20 20 20 20   fun(){E} ).    
1040: 45 20 42 49 4e 4f 50 20 45 20 20 20 20 20 20 20  E BINOP E       
1050: 20 20 20 20 e2 87 92 20 42 49 4e 4f 50 28 45 2c      ... BINOP(E,
1060: 20 45 29 0a 20 20 20 20 7b 20 45 4e 54 52 49 45   E).    { ENTRIE
1070: 53 20 7d 20 20 20 20 20 20 20 20 20 e2 87 92 20  S }         ... 
1080: 7b 7d 7b 20 45 4e 54 52 49 45 53 20 7d 0a 20 20  {}{ ENTRIES }.  
1090: 20 20 7b 7d 20 20 20 20 20 20 20 20 20 20 20 20    {}            
10a0: 20 20 20 20 20 20 e2 87 92 20 7b 7d 28 29 0a 20        ... {}(). 
10b0: 20 20 20 45 20 7b 49 44 3a 45 2c 20 2e 2e 2e 7d     E {ID:E, ...}
10c0: 20 20 20 20 20 20 20 e2 87 92 20 2e 3d 28 45 2c         ... .=(E,
10d0: 20 49 44 2c 20 45 29 20 7b 20 2e 2e 2e 20 7d 0a   ID, E) { ... }.
10e0: 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e5 a4 89 e6 95  </pre>.<p>......
10f0: b0 e5 ae a3 e8 a8 80 e3 81 ab e8 89 b2 e3 80 85  ................
1100: e3 81 82 e3 82 8a e3 81 be e3 81 99 e3 81 8c e3  ................
1110: 80 81 3c 74 74 3e 6c 65 74 3c 2f 74 74 3e 20 e3  ..<tt>let</tt> .
1120: 81 a8 20 3c 74 74 3e 76 61 72 3c 2f 74 74 3e 20  .. <tt>var</tt> 
1130: e3 81 a8 20 3c 74 74 3e 64 65 66 3c 2f 74 74 3e  ... <tt>def</tt>
1140: 20 e3 81 af e5 90 8c e3 81 98 e6 89 b1 e3 81 84   ...............
1150: e3 81 a7 e3 80 81 0a 3c 74 74 3e 69 6e 3c 2f 74  .......<tt>in</t
1160: 74 3e 20 e3 81 a8 20 3c 74 74 3e 3b 3c 2f 74 74  t> ... <tt>;</tt
1170: 3e 20 e3 81 af e5 90 8c e3 81 98 e6 89 b1 e3 81  > ..............
1180: 84 e3 81 a7 e3 81 99 e3 80 82 e3 81 a4 e3 81 be  ................
1190: e3 82 8a 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20  ....</p>.<pre>. 
11a0: 20 20 6c 65 74 20 78 20 3d 20 45 20 69 6e 20 45    let x = E in E
11b0: 0a 20 20 20 76 61 72 20 78 20 3d 20 45 20 69 6e  .   var x = E in
11c0: 20 45 0a 20 20 20 64 65 66 20 78 20 3d 20 45 20   E.   def x = E 
11d0: 69 6e 20 45 0a 20 20 20 6c 65 74 20 78 20 3d 20  in E.   let x = 
11e0: 45 20 3b 20 45 0a 20 20 20 76 61 72 20 78 20 3d  E ; E.   var x =
11f0: 20 45 20 3b 20 45 0a 20 20 20 64 65 66 20 78 20   E ; E.   def x 
1200: 3d 20 45 20 3b 20 45 0a 3c 2f 70 72 65 3e 0a 3c  = E ; E.</pre>.<
1210: 70 3e 0a e4 bb a5 e4 b8 8a e3 81 ae e3 81 a9 e3  p>..............
1220: 82 8c e3 82 82 e5 90 8c e3 81 98 e6 84 8f e5 91  ................
1230: b3 e3 81 aa e3 81 ae e3 81 a7 e3 80 81 e3 81 aa  ................
1240: e3 82 93 e3 81 a8 e3 81 aa e3 81 8f e9 96 a2 e6  ................
1250: 95 b0 e5 9e 8b e3 81 a3 e3 81 bd e3 81 8f e6 9b  ................
1260: b8 e3 81 8d e3 81 9f e3 81 84 e6 b0 97 e5 88 86  ................
1270: e3 81 ae e6 97 a5 e3 81 af 20 3c 74 74 3e 6c 65  ......... <tt>le
1280: 74 20 69 6e 3c 2f 74 74 3e 20 e3 82 92 e3 80 81  t in</tt> ......
1290: 0a e6 89 8b e7 b6 9a e3 81 8d e5 9e 8b e3 81 a3  ................
12a0: e3 81 bd e3 81 8f e6 9b b8 e3 81 8d e3 81 9f e3  ................
12b0: 81 84 e6 b0 97 e5 88 86 e3 81 ae e6 97 a5 e3 81  ................
12c0: af 20 3c 74 74 3e 76 61 72 20 3b 3c 2f 74 74 3e  . <tt>var ;</tt>
12d0: 20 e3 82 92 e4 bd bf e3 81 86 e3 81 a8 e3 82 88   ...............
12e0: e3 81 84 e3 81 a8 e6 80 9d e3 81 84 e3 81 be e3  ................
12f0: 81 99 e3 80 82 0a 3c 74 74 3e 69 66 20 74 68 65  ......<tt>if the
1300: 6e 20 65 6c 73 65 3c 2f 74 74 3e 20 e3 82 82 e5  n else</tt> ....
1310: be ae e5 a6 99 e3 81 ab e3 82 b3 e3 83 ad e3 83  ................
1320: b3 e3 81 8c e3 81 82 e3 81 a3 e3 81 9f e3 82 8a  ................
1330: e3 81 aa e3 81 8b e3 81 a3 e3 81 9f e3 82 8a e3  ................
1340: 83 90 e3 83 aa e3 82 a8 e3 83 bc e3 82 b7 e3 83  ................
1350: a7 e3 83 b3 e3 81 8c e3 81 82 e3 82 8a e3 81 be  ................
1360: e3 81 99 e3 81 8c e5 a5 bd e3 81 bf e3 81 a7 e4  ................
1370: bd bf e3 81 84 e3 81 be e3 81 99 e3 80 82 0a 3c  ...............<
1380: 2f 70 3e 0a 3c 70 3e 0a e9 96 a2 e6 95 b0 e3 82  /p>.<p>.........
1390: 92 e5 ae a3 e8 a8 80 e3 81 99 e3 82 8b e3 81 a8  ................
13a0: e3 81 8d e3 81 af e3 80 81 3c 74 74 3e 66 75 6e  .........<tt>fun
13b0: 3c 2f 74 74 3e 20 e3 82 84 20 3c 74 74 3e ce bb  </tt> ... <tt>..
13c0: 3c 2f 74 74 3e 20 e3 82 92 e7 9c 81 e7 95 a5 e3  </tt> ..........
13d0: 81 a7 e3 81 8d e3 81 be e3 81 99 e3 80 82 0a e4  ................
13e0: bb a5 e4 b8 8b e3 81 ae e6 9b b8 e3 81 8d e6 8f  ................
13f0: 9b e3 81 88 e3 81 8c e8 a1 8c e3 82 8f e3 82 8c  ................
1400: e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c  ..........</p>.<
1410: 70 72 65 3e 0a 20 20 20 64 65 66 20 66 28 20 41  pre>.   def f( A
1420: 52 47 53 20 29 20 7b 20 45 20 7d 3b 20 45 20 20  RGS ) { E }; E  
1430: 20 e2 87 92 20 20 20 64 65 66 20 66 20 3d 20 66   ...   def f = f
1440: 75 6e 28 41 52 47 53 29 7b 45 7d 3b 20 45 0a 3c  un(ARGS){E}; E.<
1450: 2f 70 72 65 3e 0a 3c 70 3e 0a e4 bb 96 e3 81 ab  /pre>.<p>.......
1460: e3 80 81 e3 82 82 e3 81 a3 e3 81 a8 e6 89 8b e7  ................
1470: b6 9a e3 81 8d e5 9e 8b e3 81 a3 e3 81 bd e3 81  ................
1480: 8f e3 81 9f e3 82 81 e3 81 ae e6 9b b8 e3 81 8d  ................
1490: e6 8f 9b e3 81 88 e8 89 b2 e3 80 85 0a 3c 2f 70  .............</p
14a0: 3e 0a 3c 70 72 65 3e 0a 20 20 20 66 75 6e 20 28  >.<pre>.   fun (
14b0: 29 20 7b 20 45 3b 20 45 3b 20 45 20 20 20 20 20  ) { E; E; E     
14c0: 20 7d 20 20 20 e2 87 92 20 20 20 66 75 6e 20 28   }   ...   fun (
14d0: 29 20 7b 20 6c 65 74 20 5f 20 3d 20 45 20 69 6e  ) { let _ = E in
14e0: 20 6c 65 74 20 5f 20 3d 20 45 20 69 6e 20 45 20   let _ = E in E 
14f0: 7d 0a 20 20 20 66 75 6e 20 28 29 20 7b 20 76 61  }.   fun () { va
1500: 72 20 78 20 3d 20 31 30 30 20 20 7d 20 20 20 e2  r x = 100  }   .
1510: 87 92 20 20 20 66 75 6e 20 28 29 20 7b 20 76 61  ..   fun () { va
1520: 72 20 78 20 3d 20 31 30 30 3b 20 78 20 7d 0a 20  r x = 100; x }. 
1530: 20 20 66 75 6e 20 28 29 20 7b 20 76 61 72 20 78    fun () { var x
1540: 20 3d 20 31 30 30 3b 20 7d 20 20 20 e2 87 92 20   = 100; }   ... 
1550: 20 20 66 75 6e 20 28 29 20 7b 20 76 61 72 20 78    fun () { var x
1560: 20 3d 20 31 30 30 3b 20 78 20 7d 0a 20 20 20 66   = 100; x }.   f
1570: 75 6e 20 28 29 20 7b 20 7d 20 20 20 20 20 20 20  un () { }       
1580: 20 20 20 20 20 20 20 20 20 e2 87 92 20 20 20 66           ...   f
1590: 75 6e 20 28 29 20 7b 20 22 28 65 6d 70 74 79 20  un () { "(empty 
15a0: 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 29 22 20  function body)" 
15b0: 7d 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e4 b8 ad  }.</pre>.<p>....
15c0: e8 ba ab e3 81 8c e7 a9 ba e3 81 ae e9 96 a2 e6  ................
15d0: 95 b0 e3 81 ab e4 bd 95 e3 82 92 e8 bf 94 e3 81  ................
15e0: 95 e3 81 9b e3 82 8b e3 81 8b e3 81 af e9 81 a9  ................
15f0: e5 bd 93 e3 81 a7 e3 81 99 e3 80 82 e4 bb 8a e3  ................
1600: 81 af e3 81 a8 e3 82 8a e3 81 82 e3 81 88 e3 81  ................
1610: 9a e9 81 a9 e5 bd 93 e3 81 ab e6 96 87 e5 ad 97  ................
1620: e5 88 97 e8 bf 94 e3 81 97 e3 81 a6 e3 81 be e3  ................
1630: 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 0a 24  ......</p>.))..$
1640: 28 53 45 43 54 49 4f 4e 20 e5 a4 89 e6 95 b0 e3  (SECTION .......
1650: 81 ae e3 82 b9 e3 82 b3 e3 83 bc e3 83 97 e8 a6  ................
1660: 8f e5 89 87 2c 20 24 28 53 45 43 42 4f 44 59 0a  ...., $(SECBODY.
1670: 3c 70 3e 0a e5 9f ba e6 9c ac e7 9a 84 e3 81 ab  <p>.............
1680: e3 81 af e3 80 81 6c 65 74 20 e3 81 ab e3 82 88  ......let ......
1690: e3 81 a3 e3 81 a6 e5 b8 b8 e8 ad 98 e7 9a 84 e3  ................
16a0: 81 aa e6 84 9f e3 81 98 e3 81 ab e5 a4 89 e6 95  ................
16b0: b0 e3 81 ae e3 82 b9 e3 82 b3 e3 83 bc e3 83 97  ................
16c0: e3 81 8c e3 83 8d e3 82 b9 e3 83 88 e3 81 97 e3  ................
16d0: 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70  .........</p>.<p
16e0: 72 65 3e 0a 20 20 20 6c 65 74 20 78 3d 32 31 20  re>.   let x=21 
16f0: 69 6e 20 6c 65 74 20 78 3d 78 2b 78 20 69 6e 20  in let x=x+x in 
1700: 78 20 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54  x    $(D_COMMENT
1710: 20 23 20 34 32 29 0a 3c 2f 70 72 65 3e 0a 3c 70   # 42).</pre>.<p
1720: 3e 0a e4 b8 80 e6 96 b9 e3 81 a7 e3 80 81 22 6c  >............."l
1730: 65 74 20 72 65 63 22 20 e3 81 ae e3 82 88 e3 81  et rec" ........
1740: 86 e3 81 aa e7 89 b9 e5 88 a5 e3 81 aa e6 a7 8b  ................
1750: e6 96 87 e3 81 af e3 81 82 e3 82 8a e3 81 be e3  ................
1760: 81 9b e3 82 93 e3 81 8c e3 80 81 0a 3c 2f 70 3e  ............</p>
1770: 0a 3c 70 72 65 3e 0a 20 20 20 6c 65 74 20 66 20  .<pre>.   let f 
1780: 3d 20 66 75 6e 28 78 29 20 7b 20 69 66 20 78 3d  = fun(x) { if x=
1790: 3d 30 20 74 68 65 6e 20 31 20 65 6c 73 65 20 78  =0 then 1 else x
17a0: 2a 66 28 78 2d 31 29 20 7d 20 69 6e 20 66 28 31  *f(x-1) } in f(1
17b0: 30 29 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20  0)  $(D_COMMENT 
17c0: 23 20 33 36 32 38 38 30 30 29 0a 3c 2f 70 72 65  # 3628800).</pre
17d0: 3e 0a 3c 70 3e 0a e5 86 8d e5 b8 b0 e7 9a 84 e3  >.<p>...........
17e0: 81 aa e9 96 a2 e6 95 b0 e5 ae 9a e7 be a9 e3 81  ................
17f0: aa e3 81 a9 e3 82 82 e3 80 81 e3 81 8a e3 81 9d  ................
1800: e3 82 89 e3 81 8f e6 84 8f e5 9b b3 e3 81 95 e3  ................
1810: 82 8c e3 81 9f e3 81 a8 e3 81 8a e3 82 8a e3 81  ................
1820: ab e5 8b 95 e3 81 8d e3 81 be e3 81 99 e3 80 82  ................
1830: 0a e5 86 85 e9 83 a8 e3 81 ae e8 a9 b3 e7 b4 b0  ................
1840: e3 81 af e3 80 81 e8 ab b8 e8 88 ac e3 81 ae e4  ................
1850: ba 8b e6 83 85 e3 81 ab e3 82 88 e3 82 8a e3 80  ................
1860: 81 0a e3 83 9e e3 82 b8 e3 82 ab e3 83 ab e3 81  ................
1870: a7 e7 a0 b4 e5 a3 8a e7 9a 84 e3 81 aa e3 82 b9  ................
1880: e3 82 b3 e3 83 bc e3 83 97 e8 a6 8f e5 89 87 e3  ................
1890: 81 ab e3 81 aa e3 81 a3 e3 81 a6 e3 81 84 e3 82  ................
18a0: 8b e3 81 ae e3 81 a7 e3 81 99 e3 81 8c e3 80 81  ................
18b0: 0a e5 90 8c e5 90 8d e3 81 ae e5 a4 89 e6 95 b0  ................
18c0: e3 82 92 e6 bf 80 e3 81 97 e3 81 8f e9 87 8d e3  ................
18d0: 81 ad e3 81 a6 e4 bd bf e3 81 a3 e3 81 9f e3 82  ................
18e0: 8a e3 81 97 e3 81 aa e3 81 91 e3 82 8c e3 81 b0  ................
18f0: e3 80 81 0a e3 81 a0 e3 81 84 e3 81 9f e3 81 84  ................
1900: e8 87 aa e7 84 b6 e3 81 aa e5 8b 95 e3 81 8d e3  ................
1910: 82 92 e3 81 99 e3 82 8b e3 81 a8 e6 80 9d e3 81  ................
1920: 84 e3 81 be e3 81 99 e3 80 81 e3 81 9f e3 81 b6  ................
1930: e3 82 93 e3 80 81 e3 81 af e3 81 84 e3 80 82 0a  ................
1940: 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 b2 e3 81 a8 e3  </p>.<p>........
1950: 81 a4 e3 81 a0 e3 81 91 e4 b8 8d e5 8f af e6 80  ................
1960: 9d e8 ad b0 e3 81 aa e5 8b 95 e3 81 8d e3 82 92  ................
1970: e3 81 99 e3 82 8b e3 81 ae e3 81 af e3 80 81 e4  ................
1980: bb a5 e4 b8 8b e3 81 ae e3 82 b1 e3 83 bc e3 82  ................
1990: b9 e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a  ...........</p>.
19a0: 3c 70 72 65 3e 0a 20 20 20 6c 65 74 20 78 20 3d  <pre>.   let x =
19b0: 20 31 20 69 6e 0a 20 20 20 6c 65 74 20 66 20 3d   1 in.   let f =
19c0: 20 66 75 6e 28 29 20 7b 78 7d 20 69 6e 0a 20 20   fun() {x} in.  
19d0: 20 6c 65 74 20 78 20 3d 20 32 20 69 6e 0a 20 20   let x = 2 in.  
19e0: 20 20 20 20 66 28 29 20 20 20 20 24 28 44 5f 43      f()    $(D_C
19f0: 4f 4d 4d 45 4e 54 20 23 20 32 21 21 29 0a 3c 2f  OMMENT # 2!!).</
1a00: 70 72 65 3e 0a 3c 70 3e 0a 6c 65 74 2d 69 6e 20  pre>.<p>.let-in 
1a10: e3 82 92 e7 b8 a6 e3 81 ab e3 83 81 e3 82 a7 e3  ................
1a20: 82 a4 e3 83 b3 e3 81 97 e3 81 9f e3 81 a8 e3 81  ................
1a30: 8d e3 81 a0 e3 81 91 e3 80 81 e5 90 8c e5 90 8d  ................
1a40: e5 a4 89 e6 95 b0 e3 82 92 e7 a0 b4 e5 a3 8a e7  ................
1a50: 9a 84 e3 81 ab e4 b8 8a e6 9b b8 e3 81 8d e3 81  ................
1a60: 97 e3 81 be e3 81 99 0a ef bc 88 e5 86 8d e5 b8  ................
1a70: b0 e9 96 a2 e6 95 b0 e3 81 ae e5 ae 9a e7 be a9  ................
1a80: e3 81 8c 22 e3 81 86 e3 81 be e3 81 8f 22 e3 81  ..."........."..
1a90: 84 e3 81 a3 e3 81 a6 e3 81 84 e3 82 8b e3 81 ae  ................
1aa0: e3 81 af e3 81 93 e3 81 ae e4 b8 8a e6 9b b8 e3  ................
1ab0: 81 8d e3 81 ae e3 81 9f e3 82 81 e3 81 a7 e3 81  ................
1ac0: 99 ef bc 89 e3 80 82 0a e3 81 aa e3 82 93 e3 81  ................
1ad0: a7 e3 81 93 e3 82 93 e3 81 aa e3 81 93 e3 81 a8  ................
1ae0: e3 81 ab e3 81 aa e3 81 a3 e3 81 a6 e3 81 84 e3  ................
1af0: 82 8b e3 81 8b e3 81 a8 e3 81 84 e3 81 86 e3 81  ................
1b00: a8 e3 80 81 0a e5 be 8c e3 81 a7 e8 aa ac e6 98  ................
1b10: 8e e3 81 99 e3 82 8b e3 80 8c e3 83 ac e3 82 a4  ................
1b20: e3 83 a4 e3 80 8d e3 82 92 e4 bd bf e3 81 a3 e3  ................
1b30: 81 9f e3 81 a8 e3 81 8d e3 81 ab 0a 3c 74 74 3e  ............<tt>
1b40: 6c 65 74 20 66 6f 6f 20 3d 20 2e 2e 2e 20 69 6e  let foo = ... in
1b50: 20 40 6c 61 79 20 66 6f 6f 20 3d 20 2e 2e 2e 20   @lay foo = ... 
1b60: 69 6e 20 2e 2e 2e 3c 2f 74 74 3e 0a e3 81 a7 e4  in ...</tt>.....
1b70: bb 96 e3 83 ac e3 82 a4 e3 83 a4 e3 81 ab e9 87  ................
1b80: 8d e3 81 ad e6 9b b8 e3 81 8d e3 81 99 e3 82 8b  ................
1b90: e3 81 9f e3 82 81 e3 80 81 e3 81 ae e3 81 a4 e3  ................
1ba0: 82 82 e3 82 8a e3 81 a7 e3 81 99 e3 80 82 e8 a9  ................
1bb0: b3 e3 81 97 e3 81 8f e3 81 af e5 be 8c e3 81 a7  ................
1bc0: e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 29 0a 29 29  ....</p>.)).).))
1bd0: 0a 0a 0a 0a 0a 24 28 53 45 43 54 49 4f 4e 20 42  .....$(SECTION B
1be0: 61 73 69 63 20 46 65 61 74 75 72 65 73 2c 20 24  asic Features, $
1bf0: 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e7 89 b9  (SECBODY.<p>....
1c00: e3 81 ab e7 89 b9 e5 be b4 e7 9a 84 e3 81 a7 e3  ................
1c10: 82 82 e3 81 aa e3 81 84 e9 83 a8 e5 88 86 e3 82  ................
1c20: 92 e7 b0 a1 e5 8d 98 e3 81 ab e3 81 be e3 81 a8  ................
1c30: e3 82 81 e3 80 82 0a 3c 2f 70 3e 0a 3c 75 6c 3e  .......</p>.<ul>
1c40: 0a 20 20 3c 6c 69 3e e9 9d 99 e7 9a 84 e5 9e 8b  .  <li>.........
1c50: e3 82 b7 e3 82 b9 e3 83 86 e3 83 a0 e3 81 af e3  ................
1c60: 81 82 e3 82 8a e3 81 be e3 81 9b e3 82 93 e3 80  ................
1c70: 82 3c 2f 6c 69 3e 0a 20 20 3c 6c 69 3e 22 e3 81  .</li>.  <li>"..
1c80: bb e3 81 bc 22 20 e7 b4 94 e7 b2 8b e9 96 a2 e6  ...." ..........
1c90: 95 b0 e5 9e 8b e8 a8 80 e8 aa 9e e3 81 a7 e3 81  ................
1ca0: 99 e3 80 82 e5 a4 89 e6 95 b0 e3 82 84 e3 83 86  ................
1cb0: e3 83 bc e3 83 96 e3 83 ab e3 81 ae e3 83 95 e3  ................
1cc0: 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ae e7 a0  ................
1cd0: b4 e5 a3 8a e7 9a 84 e3 81 aa e6 9b b8 e3 81 8d  ................
1ce0: e6 8f 9b e3 81 88 e3 81 af e3 81 a7 e3 81 8d e3  ................
1cf0: 81 be e3 81 9b e3 82 93 e3 80 82 3c 62 72 2f 3e  ...........<br/>
1d00: 0a 20 20 20 20 20 20 e3 81 9f e3 81 a0 e3 81 97  .      .........
1d10: e3 80 81 e7 b5 84 e3 81 bf e8 be bc e3 81 bf e9  ................
1d20: 96 a2 e6 95 b0 ef bc 88 3c 74 74 3e 70 72 69 6e  ........<tt>prin
1d30: 74 3c 2f 74 74 3e ef bc 89 e3 81 a8 e3 80 81 e5  t</tt>..........
1d40: a4 89 e6 95 b0 e3 81 ae e3 82 b9 e3 82 b3 e3 83  ................
1d50: bc e3 83 97 e8 a6 8f e5 89 87 e3 81 ae e3 83 9e  ................
1d60: e3 82 b8 e3 82 ab e3 83 ab e3 81 aa e7 89 87 e9  ................
1d70: 9a 85 e3 81 ab e5 89 af e4 bd 9c e7 94 a8 e3 81  ................
1d80: 8c e3 81 82 e3 82 8a e3 81 be e3 81 99 e3 80 82  ................
1d90: 3c 2f 6c 69 3e 0a 3c 2f 75 6c 3e 0a 3c 70 3e 0a  </li>.</ul>.<p>.
1da0: e9 9d 99 e7 9a 84 e5 9e 8b e3 82 b7 e3 82 b9 e3  ................
1db0: 83 86 e3 83 a0 e3 81 8c e3 81 aa e3 81 84 e3 81  ................
1dc0: ae e3 81 af e6 84 8f e5 9b b3 e7 9a 84 e3 81 a7  ................
1dd0: e3 81 99 e3 81 8c e3 80 81 e7 a0 b4 e5 a3 8a e7  ................
1de0: 9a 84 e4 bb a3 e5 85 a5 e3 81 8c e3 81 aa e3 81  ................
1df0: 84 e3 81 ae e3 81 af e3 80 81 e5 8d 98 e3 81 ab  ................
1e00: e5 ae 9f e8 a3 85 e3 81 8c e3 82 81 e3 82 93 e3  ................
1e10: 81 a9 e3 81 8b e3 81 a3 e3 81 9f e3 81 a0 e3 81  ................
1e20: 91 e3 81 aa e3 81 ae e3 81 a7 e3 80 81 0a e4 bb  ................
1e30: 8a e5 be 8c e4 bd 95 e3 81 8b e5 a2 97 e3 81 88  ................
1e40: e3 82 8b e3 81 8b e3 82 82 e3 81 97 e3 82 8c e3  ................
1e50: 81 be e3 81 9b e3 82 93 e3 80 82 e5 a2 97 e3 81  ................
1e60: 88 e3 81 aa e3 81 84 e3 81 8b e3 82 82 e3 81 97  ................
1e70: e3 82 8c e3 81 be e3 81 9b e3 82 93 e3 80 82 0a  ................
1e80: 3c 2f 70 3e 0a 24 28 44 44 4f 43 5f 4d 45 4d 42  </p>.$(DDOC_MEMB
1e90: 45 52 53 0a 24 28 53 45 43 54 49 4f 4e 20 e3 83  ERS.$(SECTION ..
1ea0: 87 e3 83 bc e3 82 bf e5 9e 8b 2c 20 24 28 53 45  .........., $(SE
1eb0: 43 42 4f 44 59 0a 3c 70 3e 0a e4 bb a5 e4 b8 8b  CBODY.<p>.......
1ec0: e3 81 ae e3 83 87 e3 83 bc e3 82 bf e5 9e 8b e3  ................
1ed0: 81 8c e3 81 82 e3 82 8a e3 81 be e3 81 99 e3 80  ................
1ee0: 82 0a 3c 2f 70 3e 0a 3c 75 6c 3e 0a 20 20 3c 6c  ..</p>.<ul>.  <l
1ef0: 69 3e e6 95 b4 e6 95 b0 3a 20 20 20 20 20 3c 74  i>......:     <t
1f00: 74 3e 30 3c 2f 74 74 3e 2c 20 3c 74 74 3e 31 32  t>0</tt>, <tt>12
1f10: 33 3c 2f 74 74 3e 2c 20 3c 74 74 3e 34 35 36 36  3</tt>, <tt>4566
1f20: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36  6666666666666666
1f30: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36  6666666666666666
1f40: 36 36 36 37 38 39 3c 2f 74 74 3e 2c 20 2e 2e 2e  666789</tt>, ...
1f50: 3c 2f 6c 69 3e 0a 20 20 3c 6c 69 3e e6 96 87 e5  </li>.  <li>....
1f60: ad 97 e5 88 97 3a 20 20 20 3c 74 74 3e 22 68 65  .....:   <tt>"he
1f70: 6c 6c 6f 2c 20 77 6f 72 6c 64 21 22 3c 2f 74 74  llo, world!"</tt
1f80: 3e 2c 20 2e 2e 2e 3c 2f 6c 69 3e 0a 20 20 3c 6c  >, ...</li>.  <l
1f90: 69 3e e9 96 a2 e6 95 b0 3a 20 20 20 20 20 3c 74  i>......:     <t
1fa0: 74 3e 66 75 6e 28 78 29 7b 78 2b 31 7d 3c 2f 74  t>fun(x){x+1}</t
1fb0: 74 3e 3c 2f 6c 69 3e 0a 20 20 3c 6c 69 3e e3 83  t></li>.  <li>..
1fc0: 86 e3 83 bc e3 83 96 e3 83 ab 3a 20 3c 74 74 3e  ..........: <tt>
1fd0: 7b 63 61 72 3a 20 31 2c 20 63 64 72 3a 20 7b 63  {car: 1, cdr: {c
1fe0: 61 72 3a 20 32 2c 20 63 64 72 3a 20 7b 7d 7d 7d  ar: 2, cdr: {}}}
1ff0: 3c 2f 74 74 3e 3c 2f 6c 69 3e 0a 20 20 3c 6c 69  </tt></li>.  <li
2000: 3e e3 83 9c e3 83 88 e3 83 a0 3a 20 20 20 28 e7  >.........:   (.
2010: 89 b9 e6 ae 8a e3 81 aa e3 82 b1 e3 83 bc e3 82  ................
2020: b9 e3 81 a7 e4 bd 9c e3 82 89 e3 82 8c e3 81 be  ................
2030: e3 81 99 e3 80 82 e3 80 8c e3 83 ac e3 82 a4 e3  ................
2040: 83 a4 e3 80 8d e3 81 ae e8 aa ac e6 98 8e e5 8f  ................
2050: 82 e7 85 a7 e3 81 ae e3 81 93 e3 81 a8 e3 80 82  ................
2060: 29 3c 2f 6c 69 3e 0a 3c 2f 75 6c 3e 0a 3c 70 3e  )</li>.</ul>.<p>
2070: 0a e9 96 a2 e6 95 b0 e3 81 af e3 81 84 e3 82 8f  ................
2080: e3 82 86 e3 82 8b e3 80 8c e3 82 af e3 83 ad e3  ................
2090: 83 bc e3 82 b8 e3 83 a3 e3 80 8d e3 81 a7 e3 81  ................
20a0: 99 e3 80 82 e9 9d 99 e7 9a 84 e3 82 b9 e3 82 b3  ................
20b0: e3 83 bc e3 83 97 e3 81 a7 e5 a4 96 e5 81 b4 e3  ................
20c0: 81 ae e7 92 b0 e5 a2 83 e3 81 ab e3 82 a2 e3 82  ................
20d0: af e3 82 bb e3 82 b9 e3 81 a7 e3 81 8d e3 81 be  ................
20e0: e3 81 99 e3 80 82 0a e3 83 86 e3 83 bc e3 83 96  ................
20f0: e3 83 ab e3 81 af e3 81 84 e3 82 8f e3 82 86 e3  ................
2100: 82 8b e3 83 97 e3 83 ad e3 83 88 e3 82 bf e3 82  ................
2110: a4 e3 83 97 e3 83 81 e3 82 a7 e3 83 bc e3 83 b3  ................
2120: e3 82 92 e6 8c 81 e3 81 a3 e3 81 a6 e3 81 84 e3  ................
2130: 81 a6 e3 80 81 0a e8 87 aa e5 88 86 e3 81 ab e3  ................
2140: 81 aa e3 81 84 e3 83 95 e3 82 a3 e3 83 bc e3 83  ................
2150: ab e3 83 89 e3 81 ae e5 a0 b4 e5 90 88 e3 81 af  ................
2160: e8 a6 aa e3 81 ab e5 95 8f e3 81 84 e5 90 88 e3  ................
2170: 82 8f e3 81 9b e3 81 8c e8 a1 8c e3 81 8f e6 84  ................
2180: 9f e3 81 98 e3 81 ab e3 81 aa e3 81 a3 e3 81 a6  ................
2190: e3 81 84 e3 81 be e3 81 99 e3 81 8c e3 80 81 0a  ................
21a0: e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3  ................
21b0: 81 ae e6 9b b8 e3 81 8d e6 8f 9b e3 81 88 e3 81  ................
21c0: 8c e3 81 aa e3 81 84 e3 81 ae e3 81 a7 e3 80 81  ................
21d0: e3 81 93 e3 82 8c e3 81 af e7 89 b9 e3 81 ab e6  ................
21e0: 84 8f e5 91 b3 e3 81 aa e3 81 84 e3 81 8b e3 82  ................
21f0: 82 e3 81 97 e3 82 8c e3 81 aa e3 81 84 e2 80 a6  ................
2200: e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 be  ....</p>.<p>....
2210: e3 81 9f e3 80 81 e3 83 aa e3 82 b9 e3 83 88 e3  ................
2220: 82 92 e6 89 b1 e3 81 86 e3 81 9f e3 82 81 e3 81  ................
2230: ab e3 80 81 e3 81 84 e3 82 8f e3 82 86 e3 82 8b  ................
2240: e3 80 8c 63 6f 6e 73 20 e3 83 aa e3 82 b9 e3 83  ...cons ........
2250: 88 e3 80 8d e3 82 92 e4 bd bf e3 81 84 e3 81 be  ................
2260: e3 81 99 e3 80 82 0a e7 a9 ba e3 83 aa e3 82 b9  ................
2270: e3 83 88 e3 82 92 20 3c 74 74 3e 7b 7d 3c 2f 74  ...... <tt>{}</t
2280: 74 3e e3 80 81 ef bc 91 e5 80 8b e4 bb a5 e4 b8  t>..............
2290: 8a e8 a6 81 e7 b4 a0 e3 81 8c e3 81 82 e3 82 8b  ................
22a0: e3 82 82 e3 81 ae e3 82 92 20 3c 74 74 3e 7b 63  ......... <tt>{c
22b0: 61 72 3a 20 e5 85 88 e9 a0 ad e8 a6 81 e7 b4 a0  ar: ............
22c0: 2c 20 63 64 72 3a 20 e4 ba 8c e7 95 aa e7 9b ae  , cdr: .........
22d0: e4 bb a5 e9 99 8d e3 81 ae e3 83 aa e3 82 b9 e3  ................
22e0: 83 88 7d 3c 2f 74 74 3e 0a e3 81 a8 e3 81 84 e3  ..}</tt>........
22f0: 81 86 e5 bd a2 e3 81 a7 e3 80 82 e3 81 93 e3 81  ................
2300: ae e5 bd a2 e3 81 a7 e3 83 aa e3 82 b9 e3 83 88  ................
2310: e3 82 92 e6 89 b1 e3 82 8f e3 81 aa e3 81 91 e3  ................
2320: 82 8c e3 81 b0 e3 81 aa e3 82 89 e3 81 aa e3 81  ................
2330: 84 e3 81 a8 e3 81 84 e3 81 86 e6 b1 ba e3 81 be  ................
2340: e3 82 8a e3 81 af e3 81 82 e3 82 8a e3 81 be e3  ................
2350: 81 9b e3 82 93 e3 81 8c e3 80 81 0a e3 81 93 e3  ................
2360: 81 ae e5 bd a2 e3 81 af e7 89 b9 e5 88 a5 e6 89  ................
2370: b1 e3 81 84 e3 81 95 e3 82 8c e3 81 a6 20 3c 74  ............. <t
2380: 74 3e 70 72 69 6e 74 3c 2f 74 74 3e 20 e3 81 a7  t>print</tt> ...
2390: e7 b6 ba e9 ba 97 e3 81 ab e5 87 ba e5 8a 9b e3  ................
23a0: 81 95 e3 82 8c e3 81 9f e3 82 8a e3 81 97 e3 81  ................
23b0: be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a  ........</p>.)).
23c0: 24 28 53 45 43 54 49 4f 4e 20 e3 83 91 e3 82 bf  $(SECTION ......
23d0: e3 83 bc e3 83 b3 e3 83 9e e3 83 83 e3 83 81 2c  ...............,
23e0: 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e9   $(SECBODY.<p>..
23f0: 81 a9 e5 bd 93 e3 81 ab e5 ae 9f e8 a3 85 e3 81  ................
2400: 95 e3 82 8c e3 81 9f e3 83 91 e3 82 bf e3 83 bc  ................
2410: e3 83 b3 e3 83 9e e3 83 83 e3 83 81 e3 81 8c e3  ................
2420: 81 82 e3 82 8a e3 81 be e3 81 99 e3 80 82 0a e3  ................
2430: 83 aa e3 82 b9 e3 83 88 e3 81 ae 20 32 6e 20 e7  ........... 2n .
2440: 95 aa e7 9b ae e3 81 a8 20 32 6e 2b 31 20 e7 95  ........ 2n+1 ..
2450: aa e7 9b ae e3 82 92 e8 b6 b3 e3 81 97 e3 81 a6  ................
2460: e9 95 b7 e3 81 95 e3 82 92 e5 8d 8a e5 88 86 e3  ................
2470: 81 ab e3 81 99 e3 82 8b e9 96 a2 e6 95 b0 ef bc  ................
2480: 9a 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20  ..</p>.<pre>.   
2490: 20 64 65 66 20 61 64 6a 53 75 6d 28 6c 73 74 29   def adjSum(lst)
24a0: 0a 20 20 20 20 7b 0a 20 20 20 20 20 20 63 61 73  .    {.      cas
24b0: 65 20 6c 73 74 0a 20 20 20 20 20 20 20 20 77 68  e lst.        wh
24c0: 65 6e 20 7b 63 61 72 3a 78 2c 20 63 64 72 3a 7b  en {car:x, cdr:{
24d0: 63 61 72 3a 20 79 2c 20 63 64 72 3a 7a 7d 7d 3a  car: y, cdr:z}}:
24e0: 20 7b 63 61 72 3a 20 78 2b 79 2c 20 63 64 72 3a   {car: x+y, cdr:
24f0: 20 61 64 6a 53 75 6d 28 7a 29 7d 0a 20 20 20 20   adjSum(z)}.    
2500: 20 20 20 20 77 68 65 6e 20 7b 63 61 72 3a 78 2c      when {car:x,
2510: 20 63 64 72 3a 7b 7d 7d 3a 20 6c 73 74 0a 20 20   cdr:{}}: lst.  
2520: 20 20 20 20 20 20 77 68 65 6e 20 7b 7d 3a 20 7b        when {}: {
2530: 7d 0a 20 20 20 20 7d 0a 3c 2f 70 72 65 3e 0a 3c  }.    }.</pre>.<
2540: 70 3e 0a e5 8b 95 e3 81 8b e3 81 99 e3 81 a8 e3  p>..............
2550: 81 8d e3 81 ab e3 81 af e3 80 81 e5 87 a6 e7 90  ................
2560: 86 e7 b3 bb e3 81 8c e3 81 9d e3 82 8c e3 81 a3  ................
2570: e3 81 bd e3 81 84 20 69 66 2d 74 68 65 6e 2d 65  ...... if-then-e
2580: 6c 73 65 20 e3 81 ab e5 b1 95 e9 96 8b e3 81 97  lse ............
2590: e3 81 a6 e3 81 84 e3 81 be e3 81 99 e3 80 82 0a  ................
25a0: 3c 74 74 3e 77 68 65 6e 3c 2f 74 74 3e 20 e3 82  <tt>when</tt> ..
25b0: 92 e4 b8 8a e3 81 8b e3 82 89 e8 a9 a6 e3 81 97  ................
25c0: e3 81 a6 e3 81 84 e3 81 a3 e3 81 a6 e3 80 81 e6  ................
25d0: 9c 80 e5 88 9d e3 81 ab e3 83 9e e3 83 83 e3 83  ................
25e0: 81 e3 81 97 e3 81 9f e3 81 a8 e3 81 93 e3 82 8d  ................
25f0: e3 82 92 e5 ae 9f e8 a1 8c e3 81 97 e3 81 be e3  ................
2600: 81 99 e3 80 82 0a e3 81 a9 e3 82 8c e3 81 ab e3  ................
2610: 82 82 e3 83 9e e3 83 83 e3 83 81 e3 81 97 e3 81  ................
2620: aa e3 81 84 e3 81 a8 e3 82 a8 e3 83 a9 e3 83 bc  ................
2630: e3 81 a7 e3 83 97 e3 83 ad e3 82 b0 e3 83 a9 e3  ................
2640: 83 a0 e7 b5 82 e4 ba 86 e3 81 97 e3 81 be e3 81  ................
2650: 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a  .....</p>.<pre>.
2660: 20 20 20 50 41 54 20 3a 3a 3d 20 22 5f 22 20 20     PAT ::= "_"  
2670: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2680: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2690: 20 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20      $(D_COMMENT 
26a0: 23 20 e3 83 af e3 82 a4 e3 83 ab e3 83 89 e3 82  # ..............
26b0: ab e3 83 bc e3 83 89 29 0a 20 20 20 20 20 20 20  .......).       
26c0: 20 20 7c 20 49 44 20 20 20 20 20 20 20 20 20 20    | ID          
26d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
26e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 24 28 44               $(D
26f0: 5f 43 4f 4d 4d 45 4e 54 20 23 20 e5 a4 89 e6 95  _COMMENT # .....
2700: b0 e3 83 91 e3 82 bf e3 83 bc e3 83 b3 29 0a 20  .............). 
2710: 20 20 20 20 20 20 20 20 7c 20 22 7b 22 20 49 44          | "{" ID
2720: 20 22 3a 22 20 50 41 54 20 22 2c 22 20 2e 2e 2e   ":" PAT "," ...
2730: 20 22 2c 22 20 49 44 20 3a 20 50 41 54 20 22 7d   "," ID : PAT "}
2740: 22 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23  "  $(D_COMMENT #
2750: 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 83 91   ...............
2760: e3 82 bf e3 83 bc e3 83 b3 29 0a 20 20 20 20 20  .........).     
2770: 20 20 20 20 7c 20 45 20 20 20 20 20 20 20 20 20      | E         
2780: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2790: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24                 $
27a0: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e5 80 a4  (D_COMMENT # ...
27b0: e3 83 91 e3 82 bf e3 83 bc e3 83 b3 29 0a 3c 2f  ............).</
27c0: 70 72 65 3e 0a 3c 70 3e 0a e5 a4 89 e6 95 b0 e3  pre>.<p>........
27d0: 83 91 e3 82 bf e3 83 bc e3 83 b3 e3 81 af e5 b8  ................
27e0: b8 e3 81 ab e3 83 9e e3 83 83 e3 83 81 e3 81 97  ................
27f0: e3 81 a6 e3 80 81 e5 80 a4 e3 82 92 e3 81 9d e3  ................
2800: 81 ae e5 a4 89 e6 95 b0 e3 81 ab e6 9d 9f e7 b8  ................
2810: 9b e3 81 97 e3 81 be e3 81 99 e3 80 82 0a e3 83  ................
2820: af e3 82 a4 e3 83 ab e3 83 89 e3 82 ab e3 83 bc  ................
2830: e3 83 89 e3 82 82 e5 b8 b8 e3 81 ab e3 83 9e e3  ................
2840: 83 83 e3 83 81 e3 81 97 e3 81 be e3 81 99 e3 81  ................
2850: 8c e3 80 81 e5 a4 89 e6 95 b0 e6 9d 9f e7 b8 9b  ................
2860: e3 81 97 e3 81 be e3 81 9b e3 82 93 e3 80 82 0a  ................
2870: e5 80 a4 e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3  ................
2880: 81 af e3 80 81 e4 bb bb e6 84 8f e3 81 ae e5 bc  ................
2890: 8f e3 81 8c e6 9b b8 e3 81 91 e3 81 be e3 81 99  ................
28a0: e3 80 82 e3 81 9d e3 81 ae e5 bc 8f e3 82 92 e8  ................
28b0: a9 95 e4 be a1 e3 81 97 e3 81 9f e7 b5 90 e6 9e  ................
28c0: 9c e3 81 a8 20 3c 74 74 3e 3d 3d 3c 2f 74 74 3e  .... <tt>==</tt>
28d0: 20 e3 81 aa e3 82 89 e3 83 9e e3 83 83 e3 83 81   ...............
28e0: e3 81 97 e3 81 be e3 81 99 e3 80 82 0a e5 a4 96  ................
28f0: e3 81 a7 e6 9d 9f e7 b8 9b e3 81 95 e3 82 8c e3  ................
2900: 81 9f e5 a4 89 e6 95 b0 e3 82 92 e5 80 a4 e3 83  ................
2910: 91 e3 82 bf e3 83 bc e3 83 b3 e3 81 a8 e3 81 97  ................
2920: e3 81 a6 e9 85 8d e7 bd ae e3 80 81 e3 81 af e7  ................
2930: 9b b4 e6 8e a5 e3 81 af e3 81 a7 e3 81 8d e3 81  ................
2940: aa e3 81 84 e3 81 ae e3 81 a7 0a 3c 2f 70 3e 0a  ...........</p>.
2950: 3c 70 72 65 3e 0a 20 20 20 76 61 72 20 78 20 3d  <pre>.   var x =
2960: 20 31 32 33 3b 0a 20 20 20 63 61 73 65 20 66 6f   123;.   case fo
2970: 6f 0a 20 20 20 20 20 77 68 65 6e 20 7b 76 61 6c  o.     when {val
2980: 3a 20 78 2b 30 7d 3a 20 2e 2e 2e 20 24 28 44 5f  : x+0}: ... $(D_
2990: 43 4f 4d 4d 45 4e 54 20 23 20 e3 81 93 e3 82 8c  COMMENT # ......
29a0: e3 81 af 20 7b 76 61 6c 3a 31 32 33 7d 20 e3 81  ... {val:123} ..
29b0: a8 e5 90 8c e3 81 98 29 0a 20 20 20 20 20 77 68  .......).     wh
29c0: 65 6e 20 7b 76 61 6c 3a 20 78 7d 3a 20 20 20 2e  en {val: x}:   .
29d0: 2e 2e 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23  .. $(D_COMMENT #
29e0: 20 e3 81 93 e3 82 8c e3 81 af e4 bb bb e6 84 8f   ...............
29f0: e3 81 ae 20 66 6f 6f 2e 3f 76 61 6c 20 e3 81 aa  ... foo.?val ...
2a00: e3 82 89 e5 b8 b8 e3 81 ab e3 83 9e e3 83 83 e3  ................
2a10: 83 81 29 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e9  ..).</pre>.<p>..
2a20: 81 a9 e5 bd 93 e3 81 ab e3 81 a1 e3 82 87 e3 81  ................
2a30: a3 e3 81 a8 e8 a4 87 e9 9b 91 e3 81 aa e5 bc 8f  ................
2a40: e3 81 ab e3 81 97 e3 81 a6 e3 82 84 e3 82 8b e3  ................
2a50: 81 a8 e3 82 88 e3 81 84 e3 81 8b e3 82 82 ef bc  ................
2a60: 88 e8 a3 8f e6 8a 80 ef bc 89 e3 80 82 0a 3c 2f  ..............</
2a70: 70 3e 0a 3c 70 3e 0a e3 83 86 e3 83 bc e3 83 96  p>.<p>..........
2a80: e3 83 ab e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3  ................
2a90: 81 af e3 80 81 e6 9b b8 e3 81 8b e3 82 8c e3 81  ................
2aa0: 9f e3 82 ad e3 83 bc e3 81 8c e5 85 a8 e3 81 a6  ................
2ab0: e3 81 82 e3 82 8c e3 81 b0 e3 83 9e e3 83 83 e3  ................
2ac0: 83 81 e3 81 97 e3 81 be e3 81 99 e3 80 82 0a 3c  ...............<
2ad0: 74 74 3e 7b 61 3a 20 5f 7d 3c 2f 74 74 3e 20 e3  tt>{a: _}</tt> .
2ae0: 81 af e3 80 81 3c 74 74 3e 2e 61 3c 2f 74 74 3e  .....<tt>.a</tt>
2af0: 20 e3 82 92 e6 8c 81 e3 81 a3 e3 81 a6 e3 81 95   ...............
2b00: e3 81 88 e3 81 84 e3 82 8c e3 81 b0 e3 83 9e e3  ................
2b10: 83 83 e3 83 81 e3 81 99 e3 82 8b e3 81 ae e3 81  ................
2b20: a7 e3 80 81 0a 3c 74 74 3e 7b 61 3a 20 31 32 33  .....<tt>{a: 123
2b30: 2c 20 62 3a 20 34 35 36 7d 3c 2f 74 74 3e 20 e3  , b: 456}</tt> .
2b40: 81 aa e3 82 93 e3 81 8b e3 81 ab e3 82 82 e3 83  ................
2b50: 9e e3 83 83 e3 83 81 e3 81 97 e3 81 be e3 81 99  ................
2b60: e3 80 82 0a e3 81 aa e3 81 ae e3 81 a7 e3 80 81  ................
2b70: e3 83 aa e3 82 b9 e3 83 88 e3 81 ab e5 af be e3  ................
2b80: 81 99 e3 82 8b e3 83 91 e3 82 bf e3 83 bc e3 83  ................
2b90: b3 e3 82 92 e6 9b b8 e3 81 8f e3 81 a8 e3 81 8d  ................
2ba0: e3 81 ab e3 81 af e3 80 81 63 61 72 2f 63 64 72  .........car/cdr
2bb0: 20 e3 81 ae e5 a0 b4 e5 90 88 e3 82 92 e5 85 88   ...............
2bc0: e3 81 ab e6 9b b8 e3 81 8b e3 81 aa e3 81 84 e3  ................
2bd0: 81 a8 0a 3c 74 74 3e 77 68 65 6e 20 7b 7d 3c 2f  ...<tt>when {}</
2be0: 74 74 3e 20 e3 82 92 e4 b8 8a e3 81 ab e6 9b b8  tt> ............
2bf0: e3 81 8f e3 81 a8 e5 85 a8 e9 83 a8 e3 83 9e e3  ................
2c00: 83 83 e3 83 81 e3 81 97 e3 81 a1 e3 82 83 e3 81  ................
2c10: 84 e3 81 be e3 81 99 e3 80 82 e6 b3 a8 e6 84 8f  ................
2c20: e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 29 0a 29 29  ....</p>.)).).))
2c30: 0a 0a 0a 0a 0a 0a 24 28 53 45 43 54 49 4f 4e 20  ......$(SECTION 
2c40: 4c 61 79 65 72 73 2c 20 24 28 53 45 43 42 4f 44  Layers, $(SECBOD
2c50: 59 0a 3c 70 3e 0a e3 81 93 e3 81 ae e8 a8 80 e8  Y.<p>...........
2c60: aa 9e e3 81 ae e5 94 af e4 b8 80 e3 81 ae e7 89  ................
2c70: b9 e5 be b4 e7 9a 84 e3 81 aa e9 83 a8 e5 88 86  ................
2c80: e3 81 af e3 80 81 e3 80 8c e3 83 ac e3 82 a4 e3  ................
2c90: 83 a4 e3 80 8d e6 a9 9f e8 83 bd e3 81 a7 e3 81  ................
2ca0: 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 81  .....</p>.<p>...
2cb0: b2 e3 81 a8 e3 81 a4 e3 81 ae e3 82 b3 e3 83 bc  ................
2cc0: e3 83 89 e3 81 ab e8 a4 87 e6 95 b0 e3 81 ae e3  ................
2cd0: 80 8c e6 84 8f e5 91 b3 e3 80 8d e3 82 92 e6 8c  ................
2ce0: 81 e3 81 9f e3 81 9b e3 82 8b e3 81 ae e3 81 8c  ................
2cf0: e3 80 81 e3 83 ac e3 82 a4 e3 83 a4 e6 a9 9f e8  ................
2d00: 83 bd e3 81 ae e7 9b ae e7 9a 84 e3 81 a7 e3 81  ................
2d10: 99 e3 80 82 0a 3c 2f 70 3e 0a 24 28 44 44 4f 43  .....</p>.$(DDOC
2d20: 5f 4d 45 4d 42 45 52 53 0a 24 28 53 45 43 54 49  _MEMBERS.$(SECTI
2d30: 4f 4e 20 e6 a6 82 e8 a6 81 2c 20 24 28 53 45 43  ON ......, $(SEC
2d40: 42 4f 44 59 0a 3c 70 3e 0a e6 99 ae e9 80 9a e3  BODY.<p>........
2d50: 81 ab 20 50 6f 6c 65 6d 79 20 e3 81 ae e3 82 b3  .. Polemy ......
2d60: e3 83 bc e3 83 89 e3 82 92 e5 8b 95 e3 81 8b e3  ................
2d70: 81 99 e3 81 a8 e3 80 81 e3 81 9d e3 81 ae e3 82  ................
2d80: b3 e3 83 bc e3 83 89 e3 81 af e3 80 8c 3c 74 74  .............<tt
2d90: 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e3 83 ac  >@value</tt> ...
2da0: e3 82 a4 e3 83 a4 e3 80 8d e3 81 a7 e5 8b 95 e4  ................
2db0: bd 9c e3 81 97 e3 81 be e3 81 99 e3 80 82 0a e3  ................
2dc0: 82 a4 e3 83 b3 e3 82 bf e3 83 97 e3 83 aa e3 82  ................
2dd0: bf e3 81 a7 e5 ae 9f e9 a8 93 e3 80 82 0a 3c 2f  ..............</
2de0: 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 24 20 62  p>.<pre>.    $ b
2df0: 69 6e 2f 70 6f 6c 65 6d 79 0a 20 20 20 20 57 65  in/polemy.    We
2e00: 6c 63 6f 6d 65 20 74 6f 20 50 6f 6c 65 6d 79 20  lcome to Polemy 
2e10: 30 2e 31 2e 30 0a 20 20 20 20 26 67 74 3b 26 67  0.1.0.    &gt;&g
2e20: 74 3b 20 31 20 2b 20 32 0a 20 20 20 20 33 0a 3c  t; 1 + 2.    3.<
2e30: 2f 70 72 65 3e 0a e3 81 93 e3 81 ae e3 80 81 e6  /pre>...........
2e40: 99 ae e9 80 9a e3 81 ab e3 80 81 e6 95 b0 e5 ad  ................
2e50: 97 e3 81 ae 20 31 20 e3 81 af e6 95 b0 e5 ad 97  .... 1 .........
2e60: e3 81 ae 20 31 20 e3 81 a8 e3 81 97 e3 81 a6 e3  ... 1 ..........
2e70: 80 81 32 20 e3 81 af 20 32 20 e3 81 a8 e3 81 97  ..2 ... 2 ......
2e80: e3 81 a6 e3 80 81 e8 b6 b3 e3 81 97 e7 ae 97 e3  ................
2e90: 81 af e8 b6 b3 e3 81 97 e7 ae 97 e3 81 a8 e3 81  ................
2ea0: 97 e3 81 a6 e5 ae 9f e8 a1 8c e3 81 99 e3 82 8b  ................
2eb0: e3 81 ae e3 81 8c e3 80 81 0a e3 80 8c 3c 74 74  .............<tt
2ec0: 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e3 83 ac  >@value</tt> ...
2ed0: e3 82 a4 e3 83 a4 e3 80 8d e3 81 a7 e3 81 99 e3  ................
2ee0: 80 82 0a e3 83 ac e3 82 a4 e3 83 a4 e3 82 92 e6  ................
2ef0: 98 8e e7 a4 ba e7 9a 84 e3 81 ab e6 8c 87 e5 ae  ................
2f00: 9a e3 81 99 e3 82 8b e3 81 ab e3 81 af e3 80 81  ................
2f10: 3c 74 74 3e e3 83 ac e3 82 a4 e3 83 a4 e5 90 8d  <tt>............
2f20: 28 20 2e 2e 2e 20 29 3c 2f 74 74 3e 20 e3 81 a8  ( ... )</tt> ...
2f30: e3 81 84 e3 81 86 e6 a7 8b e6 96 87 e3 82 92 e4  ................
2f40: bd bf e3 81 84 e3 81 be e3 81 99 e3 80 82 0a 24  ...............$
2f50: 28 52 45 44 20 24 28 42 20 e3 83 ac e3 82 a4 e3  (RED $(B .......
2f60: 83 a4 e6 8c 87 e5 ae 9a e5 bc 8f 29 29 20 e3 81  ...........)) ..
2f70: a8 e8 aa ad e3 82 93 e3 81 a7 e3 81 84 e3 81 be  ................
2f80: e3 81 99 e3 80 82 0a e3 81 a4 e3 81 be e3 82 8a  ................
2f90: e3 80 81 e3 81 95 e3 81 a3 e3 81 8d e3 81 ae e3  ................
2fa0: 82 b3 e3 83 bc e3 83 89 e3 81 af e4 bb a5 e4 b8  ................
2fb0: 8b e3 81 ae e3 82 88 e3 81 86 e3 81 ab e3 82 82  ................
2fc0: e6 9b b8 e3 81 91 e3 81 be e3 81 99 e3 80 82 0a  ................
2fd0: 3c 70 72 65 3e 0a 20 20 20 20 26 67 74 3b 26 67  <pre>.    &gt;&g
2fe0: 74 3b 20 40 76 61 6c 75 65 28 20 31 20 2b 20 32  t; @value( 1 + 2
2ff0: 20 29 0a 20 20 20 20 33 0a 3c 2f 70 72 65 3e 0a   ).    3.</pre>.
3000: e4 bb 96 e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e3  ................
3010: 81 a7 e5 8b 95 e3 81 8b e3 81 97 e3 81 a6 e3 81  ................
3020: bf e3 81 be e3 81 97 e3 82 87 e3 81 86 e3 80 82  ................
3030: e9 81 a9 e5 bd 93 e3 81 ab e3 80 82 e3 80 8c 3c  ...............<
3040: 74 74 3e 40 68 6f 67 65 3c 2f 74 74 3e 20 e3 83  tt>@hoge</tt> ..
3050: ac e3 82 a4 e3 83 a4 e3 80 8d e3 81 a7 e3 80 82  ................
3060: 0a 3c 70 72 65 3e 0a 20 20 20 20 26 67 74 3b 26  .<pre>.    &gt;&
3070: 67 74 3b 20 40 68 6f 67 65 28 20 33 20 29 0a 20  gt; @hoge( 3 ). 
3080: 20 20 20 70 6f 6c 65 6d 79 2e 66 61 69 6c 75 72     polemy.failur
3090: 65 2e 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69  e.RuntimeExcepti
30a0: 6f 6e 40 43 3a 5c 44 65 76 65 6c 6f 70 5c 50 72  on@C:\Develop\Pr
30b0: 6f 6a 65 63 74 73 5c 50 6f 6c 65 6d 79 5c 70 6f  ojects\Polemy\po
30c0: 6c 65 6d 79 5c 65 76 61 6c 2e 64 28 31 33 38 29  lemy\eval.d(138)
30d0: 3a 0a 20 20 20 20 5b 3c 52 45 50 4c 3e 3a 34 3a  :.    [<REPL>:4:
30e0: 38 5d 20 6c 69 66 74 20 66 75 6e 63 74 69 6f 6e  8] lift function
30f0: 20 66 6f 72 20 40 68 6f 67 65 20 69 73 20 6e 6f   for @hoge is no
3100: 74 20 72 65 67 69 73 74 65 72 65 64 0a 3c 2f 70  t registered.</p
3110: 72 65 3e 0a 3c 70 3e 0a e3 82 a8 e3 83 a9 e3 83  re>.<p>.........
3120: bc e3 81 ab e3 81 aa e3 82 8a e3 81 be e3 81 97  ................
3130: e3 81 9f e3 80 82 50 6f 6c 65 6d 79 20 e3 81 ae  ......Polemy ...
3140: e3 82 a4 e3 83 b3 e3 82 bf e3 83 97 e3 83 aa e3  ................
3150: 82 bf e3 81 af e3 80 81 e8 b5 b7 e5 8b 95 e6 99  ................
3160: 82 e3 81 ab e3 81 af e3 80 81 3c 74 74 3e 40 76  ..........<tt>@v
3170: 61 6c 75 65 3c 2f 74 74 3e 0a e3 83 ac e3 82 a4  alue</tt>.......
3180: e3 83 a4 e3 81 a7 e3 81 ae e3 82 b3 e3 83 bc e3  ................
3190: 83 89 e3 81 ae e6 84 8f e5 91 b3 e3 81 97 e3 81  ................
31a0: 8b e7 9f a5 e3 82 8a e3 81 be e3 81 9b e3 82 93  ................
31b0: e3 80 82 3c 74 74 3e 40 68 6f 67 65 3c 2f 74 74  ...<tt>@hoge</tt
31c0: 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81  > ..............
31d0: af 20 3c 74 74 3e 33 3c 2f 74 74 3e 0a e3 81 a8  . <tt>3</tt>....
31e0: e3 81 84 e3 81 86 e3 81 ae e3 81 8c e3 81 a9 e3  ................
31f0: 82 93 e3 81 aa e6 84 8f e5 91 b3 e3 81 aa e3 81  ................
3200: ae e3 81 8b e3 80 81 e3 82 8f e3 81 8b e3 82 8a  ................
3210: e3 81 be e3 81 9b e3 82 93 ef bc 81 e3 81 a8 e3  ................
3220: 81 84 e3 81 86 e3 82 a8 e3 83 a9 e3 83 bc e3 81  ................
3230: 8c e5 87 ba e3 81 a6 e3 81 84 e3 81 be e3 81 99  ................
3240: e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 93  ....</p>.<p>....
3250: e3 82 8c e3 82 92 e6 95 99 e3 81 88 e3 81 a6 e3  ................
3260: 81 82 e3 81 92 e3 82 8b e3 81 9f e3 82 81 e3 81  ................
3270: ab e3 81 af e3 80 81 3c 74 74 3e 40 68 6f 67 65  .......<tt>@hoge
3280: 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3  </tt> ..........
3290: 81 ae 20 24 28 52 45 44 20 24 28 42 20 e3 83 aa  .. $(RED $(B ...
32a0: e3 83 95 e3 83 88 e9 96 a2 e6 95 b0 29 29 20 e3  ............)) .
32b0: 81 a8 e3 81 84 e3 81 86 e3 82 82 e3 81 ae e3 82  ................
32c0: 92 e5 ae 9a e7 be a9 e3 81 97 e3 81 be e3 81 99  ................
32d0: e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20  ....</p>.<pre>. 
32e0: 20 20 20 26 67 74 3b 26 67 74 3b 20 40 40 68 6f     &gt;&gt; @@ho
32f0: 67 65 20 3d 20 66 75 6e 28 78 29 7b 20 78 2a 32  ge = fun(x){ x*2
3300: 20 7d 0a 20 20 20 20 28 66 75 6e 63 74 69 6f 6e   }.    (function
3310: 3a 31 62 64 63 35 63 30 3a 31 62 61 38 35 38 30  :1bdc5c0:1ba8580
3320: 29 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a 3c 74 74  ).</pre>.<p>.<tt
3330: 3e 40 68 6f 67 65 3c 2f 74 74 3e 20 e3 83 ac e3  >@hoge</tt> ....
3340: 82 a4 e3 83 a4 e3 81 a7 e3 81 af e3 80 81 3c 74  ..............<t
3350: 74 3e 31 3c 2f 74 74 3e 20 e3 81 a8 e3 81 84 e3  t>1</tt> .......
3360: 81 86 e3 82 b3 e3 83 bc e3 83 89 e3 81 ae e6 84  ................
3370: 8f e5 91 b3 e3 81 af 20 3c 74 74 3e 32 3c 2f 74  ....... <tt>2</t
3380: 74 3e e3 80 81 0a 3c 74 74 3e 32 3c 2f 74 74 3e  t>....<tt>2</tt>
3390: 20 e3 81 a8 e3 81 84 e3 81 86 e3 82 b3 e3 83 bc   ...............
33a0: e3 83 89 e3 81 ae e6 84 8f e5 91 b3 e3 81 af 20  ............... 
33b0: 3c 74 74 3e 34 3c 2f 74 74 3e e3 80 81 e2 80 a6  <tt>4</tt>......
33c0: e3 80 81 e3 81 a8 e3 81 84 e3 81 86 e3 80 81 e5  ................
33d0: 85 a8 e9 83 a8 e3 80 8c ef bc 92 e5 80 8d e3 81  ................
33e0: 97 e3 81 9f e6 84 8f e5 91 b3 e3 80 8d e3 82 92  ................
33f0: e6 8c 81 e3 81 a3 e3 81 a6 e3 81 84 e3 82 8b e3  ................
3400: 81 93 e3 81 a8 e3 81 ab e3 81 97 e3 81 be e3 81  ................
3410: 99 e3 80 82 0a e3 80 8c 3c 74 74 3e 40 20 e3 83  ........<tt>@ ..
3420: ac e3 82 a4 e3 83 a4 e5 90 8d 20 3d 20 2e 2e 2e  .......... = ...
3430: 3c 2f 74 74 3e e3 80 8d 20 e3 81 a8 e3 81 84 e3  </tt>... .......
3440: 81 86 e6 a7 8b e6 96 87 e3 82 92 e4 bd bf e3 81  ................
3450: 84 e3 81 be e3 81 99 e3 80 82 0a e3 81 93 e3 81  ................
3460: 93 e3 81 ab e3 81 af e3 80 81 e3 80 8c 3c 74 74  .............<tt
3470: 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e3 83 ac  >@value</tt> ...
3480: e3 82 a4 e3 83 a4 e3 81 a7 e3 81 ae e5 80 a4 20  ............... 
3490: 3c 74 74 3e 78 3c 2f 74 74 3e 20 e3 81 af 20 3c  <tt>x</tt> ... <
34a0: 74 74 3e 40 68 6f 67 65 3c 2f 74 74 3e 20 e3 83  tt>@hoge</tt> ..
34b0: ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81 af e3 81 a9  ................
34c0: e3 81 86 e3 81 84 e3 81 86 e6 84 8f e5 91 b3 e3  ................
34d0: 81 ab e3 81 aa e3 82 8b e3 81 8b ef bc 9f e3 80  ................
34e0: 8d 0a e3 82 92 e8 a8 88 e7 ae 97 e3 81 97 e3 81  ................
34f0: a6 e8 bf 94 e3 81 99 e9 96 a2 e6 95 b0 e3 82 92  ................
3500: e7 99 bb e9 8c b2 e3 81 97 e3 81 be e3 81 99 e3  ................
3510: 80 82 0a e3 81 93 e3 82 8c e3 81 a7 e3 80 81 50  ...............P
3520: 6f 6c 65 6d 79 20 e3 81 ab e3 82 82 e3 80 81 3c  olemy .........<
3530: 74 74 3e 40 68 6f 67 65 3c 2f 74 74 3e 20 e3 83  tt>@hoge</tt> ..
3540: ac e3 82 a4 e3 83 a4 e3 81 ae e6 84 8f e5 91 b3  ................
3550: e3 81 8c e3 82 8f e3 81 8b e3 82 8b e3 82 88 e3  ................
3560: 81 86 e3 81 ab e3 81 aa e3 82 8a e3 81 be e3 81  ................
3570: 97 e3 81 9f e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72  ........</p>.<pr
3580: 65 3e 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20  e>.    &gt;&gt; 
3590: 40 68 6f 67 65 28 20 33 20 29 0a 20 20 20 20 36  @hoge( 3 ).    6
35a0: 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e3 81 a7 e3  .</pre>.<p>.....
35b0: 81 af e3 80 81 31 2b 32 20 e3 82 92 20 3c 74 74  .....1+2 ... <tt
35c0: 3e 40 68 6f 67 65 3c 2f 74 74 3e 20 e3 83 ac e3  >@hoge</tt> ....
35d0: 82 a4 e3 83 a4 e3 81 a7 e5 8b 95 e3 81 8b e3 81  ................
35e0: 97 e3 81 a6 e3 81 bf e3 81 be e3 81 97 e3 82 87  ................
35f0: e3 81 86 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65  .......</p>.<pre
3600: 3e 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20 40  >.    &gt;&gt; @
3610: 68 6f 67 65 28 20 31 20 2b 20 32 20 29 0a 20 20  hoge( 1 + 2 ).  
3620: 20 20 70 6f 6c 65 6d 79 2e 66 61 69 6c 75 72 65    polemy.failure
3630: 2e 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f  .RuntimeExceptio
3640: 6e 40 43 3a 5c 44 65 76 65 6c 6f 70 5c 50 72 6f  n@C:\Develop\Pro
3650: 6a 65 63 74 73 5c 50 6f 6c 65 6d 79 5c 70 6f 6c  jects\Polemy\pol
3660: 65 6d 79 5c 65 76 61 6c 2e 64 28 34 36 36 29 3a  emy\eval.d(466):
3670: 0a 20 20 20 20 5b 3c 52 45 50 4c 3e 3a 33 3a 37  .    [<REPL>:3:7
3680: 5d 20 6f 6e 6c 79 20 40 76 61 6c 75 65 20 6c 61  ] only @value la
3690: 79 65 72 20 63 61 6e 20 63 61 6c 6c 20 6e 61 74  yer can call nat
36a0: 69 76 65 20 66 75 6e 63 74 69 6f 6e 3a 20 2b 0a  ive function: +.
36b0: 20 20 20 20 5b 3c 52 45 50 4c 3e 3a 33 3a 37 5d      [<REPL>:3:7]
36c0: 20 2b 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e3 81   +.</pre>.<p>...
36d0: be e3 81 a0 e3 82 a8 e3 83 a9 e3 83 bc e3 81 a7  ................
36e0: e3 81 99 e3 81 ad e3 80 82 e3 81 93 e3 82 8c e3  ................
36f0: 81 af 20 e5 ae 9f e3 81 af e3 80 81 e3 83 aa e3  .. .............
3700: 83 95 e3 83 88 e9 96 a2 e6 95 b0 e3 81 af 0a 3c  ...............<
3710: 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 26 67  /p>.<pre>.    &g
3720: 74 3b 26 67 74 3b 20 40 68 6f 67 65 20 22 2b 22  t;&gt; @hoge "+"
3730: 20 3d 20 66 75 6e 28 78 2c 20 79 29 20 7b 78 7d   = fun(x, y) {x}
3740: 0a 3c 2f 70 72 65 3e 0a 3c 70 72 65 3e 0a 5b 4c  .</pre>.<pre>.[L
3750: 61 79 65 72 73 20 3a 3a 20 4f 76 65 72 76 69 65  ayers :: Overvie
3760: 77 5d 0a 0a 20 20 50 6f 6c 65 6d 79 27 73 20 72  w]..  Polemy's r
3770: 75 6e 74 69 6d 65 20 65 6e 76 69 72 6f 6e 6d 65  untime environme
3780: 6e 74 20 68 61 73 20 6d 61 6e 79 20 22 6c 61 79  nt has many "lay
3790: 65 72 22 73 2e 0a 20 20 55 73 75 61 6c 20 65 78  er"s..  Usual ex
37a0: 65 63 75 74 69 6f 6e 20 72 75 6e 20 69 6e 20 74  ecution run in t
37b0: 68 65 20 40 76 61 6c 75 65 20 6c 61 79 65 72 2e  he @value layer.
37c0: 0a 0a 20 20 20 20 3e 3e 20 31 20 2b 20 32 0a 20  ..    >> 1 + 2. 
37d0: 20 20 20 33 0a 20 20 20 20 3e 3e 20 40 76 61 6c     3.    >> @val
37e0: 75 65 28 20 31 20 2b 20 32 20 29 0a 20 20 20 20  ue( 1 + 2 ).    
37f0: 33 0a 0a 20 20 48 65 72 65 20 79 6f 75 20 63 61  3..  Here you ca
3800: 6e 20 73 65 65 20 74 68 61 74 20 40 4c 61 79 65  n see that @Laye
3810: 72 4e 61 6d 65 28 20 45 78 70 72 65 73 73 69 6f  rName( Expressio
3820: 6e 20 29 20 65 78 65 63 75 74 65 73 20 74 68 65  n ) executes the
3830: 20 69 6e 6e 65 72 20 45 78 70 72 65 73 73 69 6f   inner Expressio
3840: 6e 20 69 6e 0a 20 20 74 68 65 20 40 4c 61 79 65  n in.  the @Laye
3850: 72 4e 61 6d 65 20 6c 61 79 65 72 2e 20 4f 74 68  rName layer. Oth
3860: 65 72 20 74 68 61 6e 20 40 76 61 6c 75 65 2c 20  er than @value, 
3870: 6f 6e 65 20 6f 74 68 65 72 20 70 72 65 64 65 66  one other predef
3880: 69 6e 65 64 20 6c 61 79 65 72 20 65 78 69 73 74  ined layer exist
3890: 73 3a 20 40 6d 61 63 72 6f 2e 0a 0a 20 20 20 20  s: @macro...    
38a0: 3e 3e 20 40 6d 61 63 72 6f 28 20 31 2b 32 20 29  >> @macro( 1+2 )
38b0: 0a 20 20 20 20 7b 70 6f 73 40 76 61 6c 75 65 3a  .    {pos@value:
38c0: 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 2c  {lineno@value:3,
38d0: 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 39 2c   column@value:9,
38e0: 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a   filename@value:
38f0: 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 69  <REPL>},.      i
3900: 73 40 76 61 6c 75 65 3a 61 70 70 2c 0a 20 20 20  s@value:app,.   
3910: 20 61 72 67 73 40 76 61 6c 75 65 3a 7b 63 61 72   args@value:{car
3920: 40 76 61 6c 75 65 3a 7b 70 6f 73 40 76 61 6c 75  @value:{pos@valu
3930: 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a  e:{lineno@value:
3940: 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a  3, column@value:
3950: 39 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75  9, filename@valu
3960: 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20  e:<REPL>},.     
3970: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3980: 20 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 3a         is@value:
3990: 69 6e 74 2c 0a 20 20 20 20 20 20 20 20 20 20 20  int,.           
39a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 64                 d
39b0: 61 74 61 40 76 61 6c 75 65 3a 31 7d 2c 0a 20 20  ata@value:1},.  
39c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 63 64                cd
39d0: 72 40 76 61 6c 75 65 3a 7b 0a 20 20 20 20 20 20  r@value:{.      
39e0: 20 20 20 20 20 20 20 20 20 20 20 20 63 61 72 40              car@
39f0: 76 61 6c 75 65 3a 7b 70 6f 73 40 76 61 6c 75 65  value:{pos@value
3a00: 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 33  :{lineno@value:3
3a10: 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 31  , column@value:1
3a20: 31 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75  1, filename@valu
3a30: 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20  e:<REPL>},.     
3a40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3a50: 20 20 20 20 20 20 20 20 20 69 73 40 76 61 6c 75           is@valu
3a60: 65 3a 69 6e 74 2c 0a 20 20 20 20 20 20 20 20 20  e:int,.         
3a70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3a80: 20 20 20 64 61 74 61 40 76 61 6c 75 65 3a 32 7d     data@value:2}
3a90: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ,.              
3aa0: 20 20 20 20 63 64 72 40 76 61 6c 75 65 3a 7b 7d      cdr@value:{}
3ab0: 7d 7d 2c 0a 20 20 20 20 20 66 75 6e 40 76 61 6c  }},.     fun@val
3ac0: 75 65 3a 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c  ue:{pos@value:{l
3ad0: 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 63  ineno@value:3, c
3ae0: 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 31 30 2c 20  olumn@value:10, 
3af0: 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c  filename@value:<
3b00: 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20  REPL>},.        
3b10: 20 20 20 20 20 20 20 20 20 69 73 40 76 61 6c 75           is@valu
3b20: 65 3a 76 61 72 2c 0a 20 20 20 20 20 20 20 20 20  e:var,.         
3b30: 20 20 20 20 20 20 6e 61 6d 65 40 76 61 6c 75 65        name@value
3b40: 3a 2b 7d 7d 0a 0a 20 20 28 53 6f 72 72 79 2c 20  :+}}..  (Sorry, 
3b50: 74 68 69 73 20 70 72 65 74 74 79 20 70 72 69 6e  this pretty prin
3b60: 74 69 6e 67 20 69 73 20 6e 6f 74 20 61 76 61 69  ting is not avai
3b70: 6c 61 62 6c 65 20 6f 6e 20 74 68 65 20 61 63 74  lable on the act
3b80: 75 61 6c 20 69 6e 74 65 72 70 72 65 74 65 72 2e  ual interpreter.
3b90: 2e 2e 29 0a 20 20 54 68 69 73 20 65 76 61 6c 75  ..).  This evalu
3ba0: 61 74 65 73 20 74 68 65 20 65 78 70 72 65 73 73  ates the express
3bb0: 69 6f 6e 20 31 2b 32 20 69 6e 20 74 68 65 20 40  ion 1+2 in the @
3bc0: 6d 61 63 72 6f 20 6c 61 79 65 72 2e 20 49 6e 20  macro layer. In 
3bd0: 74 68 69 73 20 6c 61 79 65 72 2c 20 74 68 65 20  this layer, the 
3be0: 6d 65 61 6e 69 6e 67 20 6f 66 0a 20 20 74 68 65  meaning of.  the
3bf0: 20 70 72 6f 67 72 61 6d 20 69 73 20 69 74 73 20   program is its 
3c00: 61 62 73 74 72 61 63 74 20 73 79 6e 74 61 78 20  abstract syntax 
3c10: 74 72 65 65 2e 0a 0a 20 20 59 6f 75 20 63 61 6e  tree...  You can
3c20: 20 69 6e 74 65 72 6c 65 61 76 65 20 6c 61 79 65   interleave laye
3c30: 72 73 2e 0a 20 20 54 68 65 20 72 6f 6f 74 20 6e  rs..  The root n
3c40: 6f 64 65 20 6f 66 20 74 68 65 20 61 62 73 74 72  ode of the abstr
3c50: 61 63 74 20 73 79 6e 74 61 78 20 74 72 65 65 20  act syntax tree 
3c60: 69 73 20 66 75 6e 63 74 69 6f 6e 20 22 61 70 70  is function "app
3c70: 22 6c 69 63 61 74 69 6f 6e 2e 0a 0a 20 20 20 20  "lication...    
3c80: 3e 3e 20 40 76 61 6c 75 65 28 40 6d 61 63 72 6f  >> @value(@macro
3c90: 28 20 31 2b 32 20 29 2e 69 73 29 0a 20 20 20 20  ( 1+2 ).is).    
3ca0: 61 70 70 0a 0a 0a 0a 5b 4c 61 79 65 72 73 20 3a  app....[Layers :
3cb0: 3a 20 44 65 66 69 6e 69 6e 67 20 61 20 6e 65 77  : Defining a new
3cc0: 20 6c 61 79 65 72 5d 0a 0a 20 20 54 6f 20 64 65   layer]..  To de
3cd0: 66 69 6e 65 20 61 20 6e 65 77 20 6c 61 79 65 72  fine a new layer
3ce0: 2c 20 79 6f 75 20 73 68 6f 75 6c 64 20 66 69 72  , you should fir
3cf0: 73 74 20 74 65 6c 6c 20 68 6f 77 20 74 6f 20 22  st tell how to "
3d00: 6c 69 66 74 22 20 65 78 69 73 74 69 6e 67 20 76  lift" existing v
3d10: 61 6c 75 65 73 20 74 77 6f 20 74 68 65 20 6e 65  alues two the ne
3d20: 77 20 6c 61 79 65 72 2e 0a 20 20 4c 65 74 20 75  w layer..  Let u
3d30: 73 20 64 65 66 69 6e 65 20 74 68 65 20 22 40 74  s define the "@t
3d40: 79 70 65 22 20 6c 61 79 65 72 2c 20 77 68 65 72  ype" layer, wher
3d50: 65 20 74 68 65 20 6d 65 61 6e 69 6e 67 20 6f 66  e the meaning of
3d60: 20 70 72 6f 67 72 61 6d 73 20 69 73 20 74 68 65   programs is the
3d70: 69 72 20 73 74 61 74 69 63 20 74 79 70 65 2e 0a  ir static type..
3d80: 0a 20 20 20 20 3e 3e 20 40 40 74 79 70 65 20 3d  .    >> @@type =
3d90: 20 66 75 6e 28 78 29 20 7b 0a 20 20 20 20 3e 3e   fun(x) {.    >>
3da0: 20 20 20 69 66 28 20 5f 69 73 69 6e 74 28 78 29     if( _isint(x)
3db0: 20 29 20 7b 20 22 69 6e 74 22 20 7d 20 65 6c 73   ) { "int" } els
3dc0: 65 20 7b 0a 20 20 20 20 3e 3e 20 20 20 69 66 28  e {.    >>   if(
3dd0: 20 5f 69 73 66 75 6e 28 78 29 20 29 20 7b 20 78   _isfun(x) ) { x
3de0: 20 7d 20 65 6c 73 65 20 7b 20 22 75 6e 6b 6e 6f   } else { "unkno
3df0: 77 6e 22 20 7d 20 7d 0a 20 20 20 20 3e 3e 20 7d  wn" } }.    >> }
3e00: 0a 20 20 20 20 28 4e 6f 74 65 3a 20 70 6f 6c 65  .    (Note: pole
3e10: 6d 79 20 52 45 50 4c 20 6d 61 79 20 77 61 72 6e  my REPL may warn
3e20: 20 73 6f 6d 65 20 65 78 63 65 70 74 69 6f 6e 20   some exception 
3e30: 68 65 72 65 20 62 75 74 20 70 6c 65 61 73 65 20  here but please 
3e40: 69 67 6e 6f 72 65 29 0a 0a 20 20 46 6f 72 20 73  ignore)..  For s
3e50: 69 6d 70 6c 69 63 69 74 79 2c 20 49 20 68 65 72  implicity, I her
3e60: 65 20 64 65 61 6c 20 6f 6e 6c 79 20 77 69 74 68  e deal only with
3e70: 20 69 6e 74 65 67 65 72 73 2e 0a 20 20 5f 69 73   integers..  _is
3e80: 69 6e 74 20 69 73 20 61 20 70 72 69 6d 69 74 69  int is a primiti
3e90: 76 65 20 66 75 6e 63 74 69 6f 6e 20 6f 66 20 50  ve function of P
3ea0: 6f 6c 65 6d 79 20 74 68 61 74 20 63 68 65 63 6b  olemy that check
3eb0: 73 20 74 68 65 20 64 79 6e 61 6d 69 63 20 74 79  s the dynamic ty
3ec0: 70 65 20 6f 66 20 61 20 76 61 6c 75 65 2e 0a 20  pe of a value.. 
3ed0: 20 46 6f 72 20 66 75 6e 63 74 69 6f 6e 2c 20 6c   For function, l
3ee0: 65 61 76 69 6e 67 20 69 74 20 75 6e 74 6f 75 63  eaving it untouc
3ef0: 68 65 64 20 77 6f 72 6b 73 20 77 65 6c 6c 20 66  hed works well f
3f00: 6f 72 20 61 6c 6d 6f 73 74 20 61 6c 6c 20 6c 61  or almost all la
3f10: 79 65 72 73 2e 0a 0a 20 20 20 20 3e 3e 20 40 74  yers...    >> @t
3f20: 79 70 65 28 20 31 20 29 0a 20 20 20 20 69 6e 74  ype( 1 ).    int
3f30: 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 28 20 32  .    >> @type( 2
3f40: 20 29 0a 20 20 20 20 69 6e 74 0a 20 20 20 20 3e   ).    int.    >
3f50: 3e 20 40 74 79 70 65 28 20 22 66 6f 6f 22 20 29  > @type( "foo" )
3f60: 0a 20 20 20 20 75 6e 6b 6e 6f 77 6e 0a 0a 20 20  .    unknown..  
3f70: 46 69 6e 65 21 20 4c 65 74 27 73 20 74 72 79 20  Fine! Let's try 
3f80: 74 6f 20 74 79 70 65 20 31 2b 32 2e 0a 0a 20 20  to type 1+2...  
3f90: 20 20 3e 3e 20 40 74 79 70 65 28 20 31 20 2b 20    >> @type( 1 + 
3fa0: 32 20 29 0a 20 20 20 20 2e 2e 2e 5c 76 61 6c 75  2 ).    ...\valu
3fb0: 65 2e 64 28 31 31 39 29 3a 20 5b 3c 52 45 50 4c  e.d(119): [<REPL
3fc0: 3e 3a 36 3a 38 5d 20 6f 6e 6c 79 20 40 76 61 6c  >:6:8] only @val
3fd0: 75 65 20 6c 61 79 65 72 20 63 61 6e 20 63 61 6c  ue layer can cal
3fe0: 6c 20 6e 61 74 69 76 65 20 66 75 6e 63 74 69 6f  l native functio
3ff0: 6e 0a 0a 20 20 4e 6f 74 65 20 74 68 61 74 20 74  n..  Note that t
4000: 68 65 20 62 65 68 61 76 69 6f 72 20 6f 66 20 74  he behavior of t
4010: 68 69 73 20 70 72 6f 67 72 61 6d 20 69 73 0a 20  his program is. 
4020: 20 20 20 2d 20 72 75 6e 20 31 2b 32 20 69 6e 20     - run 1+2 in 
4030: 74 68 65 20 40 74 79 70 65 20 6c 61 79 65 72 0a  the @type layer.
4040: 20 20 61 6e 64 20 4e 4f 54 0a 20 20 20 20 2d 20    and NOT.    - 
4050: 72 75 6e 20 31 2b 32 20 69 6e 20 40 76 61 6c 75  run 1+2 in @valu
4060: 65 20 61 6e 64 20 6f 62 74 61 69 6e 20 33 20 61  e and obtain 3 a
4070: 6e 64 20 72 75 6e 20 33 20 69 6e 20 74 68 65 20  nd run 3 in the 
4080: 40 74 79 70 65 2e 0a 20 20 54 68 65 20 70 72 6f  @type..  The pro
4090: 62 6c 65 6d 20 69 73 2c 20 74 68 65 20 76 61 72  blem is, the var
40a0: 69 61 62 6c 65 20 22 2b 22 20 69 73 20 64 65 66  iable "+" is def
40b0: 69 6e 65 64 20 6f 6e 6c 79 20 69 6e 20 74 68 65  ined only in the
40c0: 20 40 76 61 6c 75 65 20 6c 61 79 65 72 2e 0a 20   @value layer.. 
40d0: 20 54 6f 20 63 61 72 72 79 20 6f 75 74 20 63 6f   To carry out co
40e0: 6d 70 75 74 61 74 69 6f 6e 20 69 6e 20 74 68 65  mputation in the
40f0: 20 40 74 79 70 65 20 6c 61 79 65 72 2e 20 57 65   @type layer. We
4100: 20 6e 65 65 64 20 74 6f 20 64 65 66 69 6e 65 20   need to define 
4110: 69 74 20 61 6c 73 6f 0a 20 20 69 6e 20 74 68 65  it also.  in the
4120: 20 40 74 79 70 65 20 6c 61 79 65 72 2e 0a 0a 20   @type layer... 
4130: 20 54 6f 20 64 65 66 69 6e 65 20 73 6f 6d 65 20   To define some 
4140: 76 61 72 69 61 62 6c 65 20 69 6e 20 61 20 73 70  variable in a sp
4150: 65 63 69 66 69 63 20 6c 61 79 65 72 2c 20 75 73  ecific layer, us
4160: 65 20 40 4c 61 79 65 72 4e 61 6d 65 20 69 6e 20  e @LayerName in 
4170: 70 6c 61 63 65 20 6f 66 0a 20 20 28 6c 65 74 7c  place of.  (let|
4180: 76 61 72 7c 64 65 66 29 73 2e 0a 0a 20 20 20 20  var|def)s...    
4190: 3e 3e 20 6c 65 74 20 78 20 3d 20 32 0a 20 20 20  >> let x = 2.   
41a0: 20 3e 3e 20 40 76 61 6c 75 65 20 78 20 3d 20 32   >> @value x = 2
41b0: 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 20 78 20  .    >> @type x 
41c0: 3d 20 22 69 6e 74 22 0a 20 20 20 20 3e 3e 20 40  = "int".    >> @
41d0: 68 6f 67 65 20 78 20 3d 20 22 66 75 67 61 22 0a  hoge x = "fuga".
41e0: 0a 20 20 46 6f 72 20 22 2b 22 2c 20 64 6f 20 69  .  For "+", do i
41f0: 74 20 6c 69 6b 65 20 74 68 69 73 2e 0a 0a 20 20  t like this...  
4200: 20 20 3e 3e 20 40 74 79 70 65 20 22 2b 22 20 3d    >> @type "+" =
4210: 20 66 75 6e 28 78 2c 79 29 20 7b 40 76 61 6c 75   fun(x,y) {@valu
4220: 65 28 0a 20 20 20 20 3e 3e 20 20 20 69 66 28 20  e(.    >>   if( 
4230: 40 74 79 70 65 28 78 29 3d 3d 22 69 6e 74 22 20  @type(x)=="int" 
4240: 26 26 20 40 74 79 70 65 28 79 29 3d 3d 22 69 6e  && @type(y)=="in
4250: 74 22 20 29 20 7b 20 22 69 6e 74 22 20 7d 20 65  t" ) { "int" } e
4260: 6c 73 65 20 7b 20 22 74 79 70 65 65 72 72 6f 72  lse { "typeerror
4270: 22 20 7d 0a 20 20 20 20 3e 3e 20 29 7d 0a 20 20  " }.    >> )}.  
4280: 20 20 70 6f 6c 65 6d 79 2e 76 61 6c 75 65 2e 6e    polemy.value.n
4290: 61 74 69 76 65 21 28 49 6e 74 56 61 6c 75 65 2c  ative!(IntValue,
42a0: 49 6e 74 56 61 6c 75 65 2c 49 6e 74 56 61 6c 75  IntValue,IntValu
42b0: 65 29 2e 6e 61 74 69 76 65 2e 5f 5f 61 6e 6f 6e  e).native.__anon
42c0: 63 6c 61 73 73 32 34 0a 0a 20 20 49 74 20 69 73  class24..  It is
42d0: 20 6a 75 73 74 20 63 6f 6d 70 75 74 69 6e 67 20   just computing 
42e0: 74 68 65 20 72 65 74 75 72 6e 20 74 79 70 65 20  the return type 
42f0: 66 72 6f 6d 20 74 68 65 20 69 6e 70 75 74 20 74  from the input t
4300: 79 70 65 2e 0a 20 20 4e 6f 74 20 68 65 72 65 20  ype..  Not here 
4310: 74 68 61 74 20 74 68 65 20 69 6e 74 65 6e 64 65  that the intende
4320: 64 20 22 6d 65 61 6e 69 6e 67 22 20 6f 66 20 69  d "meaning" of i
4330: 66 2d 74 68 65 6e 2d 65 6c 73 65 20 69 73 20 74  f-then-else is t
4340: 68 65 20 72 75 6e 74 69 6d 65 2d 62 72 61 6e 63  he runtime-branc
4350: 68 69 6e 67 2c 0a 20 20 61 6e 64 20 74 68 65 20  hing,.  and the 
4360: 6d 65 61 6e 69 6e 67 20 6f 66 20 22 3d 3d 22 20  meaning of "==" 
4370: 69 73 20 74 68 65 20 76 61 6c 75 65 2d 63 6f 6d  is the value-com
4380: 70 61 72 69 73 6f 6e 2e 20 54 68 65 73 65 20 61  parison. These a
4390: 72 65 20 74 68 65 20 40 76 61 6c 75 65 20 6c 61  re the @value la
43a0: 79 65 72 0a 20 20 62 65 68 61 76 69 6f 72 2e 20  yer.  behavior. 
43b0: 53 6f 20 77 65 20 68 61 76 65 20 64 65 66 69 6e  So we have defin
43c0: 65 64 20 74 68 65 20 66 75 6e 63 74 69 6f 6e 20  ed the function 
43d0: 62 6f 64 79 20 69 6e 73 69 64 65 20 40 76 61 6c  body inside @val
43e0: 75 65 20 6c 61 79 65 72 2e 0a 20 20 42 75 74 20  ue layer..  But 
43f0: 77 68 65 6e 20 77 65 20 72 65 66 65 72 20 74 68  when we refer th
4400: 65 20 76 61 72 69 61 62 6c 65 73 20 78 20 61 6e  e variables x an
4410: 64 20 79 2c 20 77 65 20 6e 65 65 64 20 69 74 73  d y, we need its
4420: 20 40 74 79 70 65 20 6c 61 79 65 72 20 6d 65 61   @type layer mea
4430: 6e 69 6e 67 2e 0a 20 20 48 65 6e 63 65 20 77 65  ning..  Hence we
4440: 20 75 73 65 20 40 74 79 70 65 28 29 20 74 68 65   use @type() the
4450: 72 65 2e 0a 0a 20 20 4e 6f 77 20 77 65 20 67 65  re...  Now we ge
4460: 74 20 69 74 2e 0a 0a 20 20 20 20 3e 3e 20 40 74  t it...    >> @t
4470: 79 70 65 28 20 31 20 2b 20 32 20 29 0a 20 20 20  ype( 1 + 2 ).   
4480: 20 69 6e 74 0a 0a 20 20 57 65 6c 6c 2c 20 62 75   int..  Well, bu
4490: 74 20 64 6f 20 77 65 20 68 61 76 65 20 74 6f 20  t do we have to 
44a0: 64 65 66 69 6e 65 20 74 68 65 20 40 74 79 70 65  define the @type
44b0: 20 6c 61 79 65 72 20 6d 65 61 6e 69 6e 67 20 66   layer meaning f
44c0: 6f 72 20 65 76 65 72 79 20 76 61 72 69 61 62 6c  or every variabl
44d0: 65 73 3f 3f 3f 0a 20 20 4e 6f 2e 20 41 66 74 65  es???.  No. Afte
44e0: 72 20 79 6f 75 20 64 65 66 69 6e 65 64 20 40 74  r you defined @t
44f0: 79 70 65 20 22 2b 22 2c 20 79 6f 75 27 6c 6c 20  ype "+", you'll 
4500: 61 75 74 6f 6d 61 74 69 63 61 6c 6c 79 20 67 65  automatically ge
4510: 74 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 3a  t the following:
4520: 0a 0a 20 20 20 20 3e 3e 20 64 65 66 20 64 6f 75  ..    >> def dou
4530: 62 6c 65 28 78 29 20 7b 20 78 20 2b 20 78 20 7d  ble(x) { x + x }
4540: 0a 20 20 20 20 28 66 75 6e 63 74 69 6f 6e 3a 31  .    (function:1
4550: 37 65 34 37 34 30 3a 31 37 38 39 37 32 30 29 0a  7e4740:1789720).
4560: 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 28 20 64  .    >> @type( d
4570: 6f 75 62 6c 65 28 31 32 33 29 20 29 0a 20 20 20  ouble(123) ).   
4580: 20 69 6e 74 0a 0a 20 20 45 76 65 72 79 20 75 73   int..  Every us
4590: 65 72 2d 64 65 66 69 6e 65 64 20 66 75 6e 63 74  er-defined funct
45a0: 69 6f 6e 73 20 61 72 65 20 61 75 74 6f 6d 61 74  ions are automat
45b0: 69 63 61 6c 6c 79 20 22 6c 69 66 74 22 65 64 20  ically "lift"ed 
45c0: 74 6f 20 74 68 65 20 61 70 70 72 6f 70 72 69 61  to the appropria
45d0: 74 65 20 6c 61 79 65 72 2e 0a 20 20 4f 6e 6c 79  te layer..  Only
45e0: 20 70 72 69 6d 69 74 69 76 65 20 66 75 6e 63 74   primitive funct
45f0: 69 6f 6e 73 20 6c 69 6b 65 20 22 2b 22 20 72 65  ions like "+" re
4600: 71 75 69 72 65 73 20 40 79 6f 75 72 4e 65 77 4c  quires @yourNewL
4610: 61 79 65 72 20 61 6e 6e 6f 74 61 74 69 6f 6e 2e  ayer annotation.
4620: 0a 0a 0a 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 6e  ....[Layers :: n
4630: 65 75 74 72 61 6c 2d 6c 61 79 65 72 5d 0a 0a 20  eutral-layer].. 
4640: 20 6c 65 74 7c 76 61 72 7c 64 65 66 20 69 73 20   let|var|def is 
4650: 74 6f 20 64 65 66 69 6e 65 20 61 20 76 61 72 69  to define a vari
4660: 61 62 6c 65 20 69 6e 20 74 68 65 20 22 63 75 72  able in the "cur
4670: 72 65 6e 74 22 20 6c 61 79 65 72 2e 0a 20 20 4e  rent" layer..  N
4680: 6f 74 20 6e 65 63 65 73 73 61 72 79 20 74 6f 20  ot necessary to 
4690: 74 68 65 20 40 76 61 6c 75 65 20 6c 61 79 65 72  the @value layer
46a0: 2e 0a 0a 20 20 20 20 3e 3e 20 40 76 61 6c 75 65  ...    >> @value
46b0: 28 20 6c 65 74 20 78 20 3d 20 31 20 69 6e 20 40  ( let x = 1 in @
46c0: 76 61 6c 75 65 28 78 29 20 29 0a 20 20 20 20 31  value(x) ).    1
46d0: 0a 0a 20 20 20 20 3e 3e 20 40 6d 61 63 72 6f 28  ..    >> @macro(
46e0: 20 6c 65 74 20 78 20 3d 20 31 20 69 6e 20 40 76   let x = 1 in @v
46f0: 61 6c 75 65 28 78 29 20 29 0a 20 20 20 20 70 6f  alue(x) ).    po
4700: 6c 65 6d 79 2e 66 61 69 6c 75 72 65 2e 52 75 6e  lemy.failure.Run
4710: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 3a 20 5b  timeException: [
4720: 3c 52 45 50 4c 3e 3a 31 34 3a 32 39 5d 20 76 61  <REPL>:14:29] va
4730: 72 69 61 62 6c 65 20 78 20 6e 6f 74 20 66 6f 75  riable x not fou
4740: 6e 64 0a 0a 20 20 20 20 3e 3e 20 40 6d 61 63 72  nd..    >> @macr
4750: 6f 28 20 6c 65 74 20 78 20 3d 20 31 20 69 6e 20  o( let x = 1 in 
4760: 40 6d 61 63 72 6f 28 78 29 20 29 0a 20 20 20 20  @macro(x) ).    
4770: 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65  {pos@value:{line
4780: 6e 6f 40 76 61 6c 75 65 3a 31 35 2c 20 2e 2e 2e  no@value:15, ...
4790: 0a 0a 0a 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 4c  ....[Layers :: L
47a0: 61 79 65 72 65 64 2d 50 61 72 61 6d 65 74 65 72  ayered-Parameter
47b0: 73 5d 0a 0a 20 20 20 20 3e 3e 20 64 65 66 20 66  s]..    >> def f
47c0: 6f 6f 28 78 20 40 6d 61 63 72 6f 20 40 76 61 6c  oo(x @macro @val
47d0: 75 65 29 20 7b 20 7b 66 73 74 3a 20 78 2c 20 73  ue) { {fst: x, s
47e0: 6e 64 3a 20 40 6d 61 63 72 6f 28 78 29 7d 20 7d  nd: @macro(x)} }
47f0: 0a 20 20 20 20 28 66 75 6e 63 74 69 6f 6e 3a 31  .    (function:1
4800: 37 33 30 33 36 30 3a 31 37 38 39 37 32 30 29 0a  730360:1789720).
4810: 0a 20 20 49 66 20 79 6f 75 20 61 6e 6e 6f 74 61  .  If you annota
4820: 74 65 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61  te function para
4830: 6d 65 74 65 72 73 20 62 79 20 40 4c 61 79 65 72  meters by @Layer
4840: 4e 61 6d 65 73 2c 20 77 68 65 6e 20 79 6f 75 20  Names, when you 
4850: 69 6e 76 6f 6b 65 20 74 68 65 20 66 75 6e 63 74  invoke the funct
4860: 69 6f 6e 2e 2e 2e 0a 0a 20 20 20 20 3e 3e 20 66  ion.....    >> f
4870: 6f 6f 28 31 2b 32 29 0a 20 20 20 20 7b 73 6e 64  oo(1+2).    {snd
4880: 40 76 61 6c 75 65 3a 20 7b 70 6f 73 40 76 61 6c  @value: {pos@val
4890: 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65  ue:{lineno@value
48a0: 3a 31 37 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75  :17, column@valu
48b0: 65 3a 35 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61  e:5, filename@va
48c0: 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20  lue:<REPL>},.   
48d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 69                 i
48e0: 73 40 76 61 6c 75 65 3a 61 70 70 2c 20 61 72 67  s@value:app, arg
48f0: 40 76 61 6c 75 65 3a 7b 2e 2e 2e 0a 20 20 20 20  @value:{....    
4900: 2f 66 73 74 40 76 61 6c 75 65 3a 33 0a 20 20 20  /fst@value:3.   
4910: 20 2f 7d 0a 0a 20 20 69 74 73 20 63 6f 72 72 65   /}..  its corre
4920: 73 70 6f 6e 64 69 6e 67 20 61 72 67 75 6d 65 6e  sponding argumen
4930: 74 73 20 61 72 65 20 65 76 61 6c 75 61 74 65 64  ts are evaluated
4940: 20 69 6e 20 74 68 65 20 6c 61 79 65 72 20 61 6e   in the layer an
4950: 64 20 70 61 73 73 65 64 20 74 6f 20 69 74 2e 0a  d passed to it..
4960: 20 20 49 66 20 79 6f 75 20 73 70 65 63 69 66 79    If you specify
4970: 20 6d 75 6c 74 69 70 6c 65 20 6c 61 79 65 72 73   multiple layers
4980: 2c 20 74 68 65 20 61 72 67 75 6d 65 6e 74 20 65  , the argument e
4990: 78 70 72 65 73 73 69 6f 6e 20 69 73 20 72 75 6e  xpression is run
49a0: 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 2e   multiple times.
49b0: 0a 20 20 49 66 20 79 6f 75 20 64 6f 20 6e 6f 74  .  If you do not
49c0: 20 73 70 65 63 69 66 79 20 61 6e 79 20 6c 61 79   specify any lay
49d0: 65 72 20 66 6f 72 20 61 20 70 61 72 61 6d 65 74  er for a paramet
49e0: 65 72 2c 20 69 74 20 77 6f 72 6b 73 20 69 6e 20  er, it works in 
49f0: 74 68 65 20 6e 65 75 74 72 61 6c 20 6c 61 79 65  the neutral laye
4a00: 72 2e 0a 3c 2f 70 72 65 3e 0a 29 29 0a 29 0a 29  r..</pre>.)).).)
4a10: 29 0a 0a 0a 24 28 53 45 43 54 49 4f 4e 20 4d 61  )...$(SECTION Ma
4a20: 63 72 6f 20 4c 61 79 65 72 73 2c 20 24 28 53 45  cro Layers, $(SE
4a30: 43 42 4f 44 59 0a 3c 70 3e 0a 50 6f 6c 65 6d 79  CBODY.<p>.Polemy
4a40: 20 e8 a8 80 e8 aa 9e e7 b5 84 e3 81 bf e8 be bc   ...............
4a50: e3 81 bf e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e3  ................
4a60: 81 af 20 3c 63 6f 64 65 3e 40 76 61 6c 75 65 3c  .. <code>@value<
4a70: 2f 63 6f 64 65 3e 20 e3 81 a8 20 3c 63 6f 64 65  /code> ... <code
4a80: 3e 40 6d 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3  >@macro</code> .
4a90: 81 ae e4 ba 8c e3 81 a4 e3 81 a7 e3 81 99 e3 80  ................
4aa0: 82 0a ef bc 88 e5 86 85 e9 83 a8 e7 9a 84 e3 81  ................
4ab0: ab e3 81 af e3 82 82 e3 81 86 e3 81 84 e3 81 8f  ................
4ac0: e3 81 a4 e3 81 8b e3 81 82 e3 82 8a e3 81 be e3  ................
4ad0: 81 99 e3 81 8c e3 80 81 e3 83 a6 e3 83 bc e3 82  ................
4ae0: b6 e3 81 8b e3 82 89 e7 9b b4 e6 8e a5 e3 81 af  ................
4af0: e4 bd bf e3 81 88 e3 81 be e3 81 9b e3 82 93 e3  ................
4b00: 80 82 ef bc 89 0a 3c 63 6f 64 65 3e 40 76 61 6c  ......<code>@val
4b10: 75 65 3c 2f 63 6f 64 65 3e 20 e3 81 af e3 80 81  ue</code> ......
4b20: e3 80 8c e6 99 ae e9 80 9a e3 81 ab e3 80 8d e6  ................
4b30: 99 ae e9 80 9a e3 81 ae e3 82 bb e3 83 9e e3 83  ................
4b40: b3 e3 83 86 e3 82 a3 e3 82 af e3 82 b9 e3 81 a7  ................
4b50: e3 83 97 e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e3  ................
4b60: 82 92 e5 ae 9f e8 a1 8c e3 81 99 e3 82 8b e3 83  ................
4b70: ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81 97 e3 81 9f  ................
4b80: e3 80 82 0a 3c 63 6f 64 65 3e 40 6d 61 63 72 6f  ....<code>@macro
4b90: 3c 2f 63 6f 64 65 3e 20 e3 81 af e3 80 81 e5 ae  </code> ........
4ba0: 9f e3 81 af e3 80 81 3c 63 6f 64 65 3e 40 76 61  .......<code>@va
4bb0: 6c 75 65 3c 2f 63 6f 64 65 3e 20 e3 82 88 e3 82  lue</code> .....
4bc0: 8a e3 82 82 e5 89 8d e3 81 ab e5 ae 9f e8 a1 8c  ................
4bd0: e3 81 95 e3 82 8c e3 82 8b e3 83 ac e3 82 a4 e3  ................
4be0: 83 a4 e3 81 a7 e3 80 81 0a e3 80 8c e3 83 97 e3  ................
4bf0: 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e3 82 92 e5 ae  ................
4c00: 9f e8 a1 8c e3 81 99 e3 82 8b e3 81 a8 e3 81 9d  ................
4c10: e3 81 ae e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 e8  ................
4c20: bf 94 e3 81 99 e3 80 8d e3 81 a8 e3 81 84 e3 81  ................
4c30: 86 e3 82 bb e3 83 9e e3 83 b3 e3 83 86 e3 82 a3  ................
4c40: e3 82 af e3 82 b9 e3 81 a7 e5 8b 95 e3 81 8d e3  ................
4c50: 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70  .........</p>.<p
4c60: 72 65 3e 0a 20 20 20 20 28 e3 81 93 e3 81 93 e3  re>.    (.......
4c70: 81 ab e4 be 8b 29 0a 3c 2f 70 72 65 3e 0a 3c 70  .....).</pre>.<p
4c80: 3e 0a e5 8b 95 e3 81 8d e3 81 a8 e3 81 97 e3 81  >...............
4c90: a6 e3 81 af e3 81 93 e3 81 86 e3 81 a7 e3 81 99  ................
4ca0: e3 80 82 0a 3c 2f 70 3e 0a 3c 6f 6c 3e 0a 3c 6c  ....</p>.<ol>.<l
4cb0: 69 3e e9 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87  i>..............
4cc0: ba e3 81 97 e6 99 82 ef bc 88 e3 81 a8 e3 83 88  ................
4cd0: e3 83 83 e3 83 97 e3 83 ac e3 83 99 e3 83 ab e7  ................
4ce0: 92 b0 e5 a2 83 e3 81 ae e5 ae 9f e8 a1 8c e9 96  ................
4cf0: 8b e5 a7 8b e6 99 82 ef bc 89 e3 81 ab e3 80 81  ................
4d00: 0a 09 e3 81 be e3 81 9a e3 80 81 3c 63 6f 64 65  ...........<code
4d10: 3e 40 6d 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3  >@macro</code> .
4d20: 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 82 b3 e3 83  ................
4d30: bc e3 83 89 e3 82 92 e5 ae 9f e8 a1 8c e3 80 82  ................
4d40: 3c 2f 6c 69 3e 0a 3c 6c 69 3e e8 bf 94 e3 81 a3  </li>.<li>......
4d50: e3 81 a6 e3 81 8d e3 81 9f e6 a7 8b e6 96 87 e6  ................
4d60: 9c a8 e3 82 92 e3 80 81 e3 81 9d e3 81 ae e9 96  ................
4d70: a2 e6 95 b0 e3 82 92 e5 91 bc e3 81 b3 e5 87 ba  ................
4d80: e3 81 97 e3 81 9f e3 81 a8 e3 81 8d e3 81 ae e3  ................
4d90: 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e5 ae 9f e8 a1  ................
4da0: 8c e3 80 82 3c 2f 6c 69 3e 0a 3c 2f 6f 6c 3e 0a  ....</li>.</ol>.
4db0: 3c 70 3e 0a 3c 63 6f 64 65 3e 40 6d 61 63 72 6f  <p>.<code>@macro
4dc0: 3c 2f 63 6f 64 65 3e 20 e3 83 ac e3 82 a4 e3 83  </code> ........
4dd0: a4 e3 82 82 e6 89 80 e8 a9 ae e3 81 9f e3 81 a0  ................
4de0: e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3  ................
4df0: 81 99 e3 81 ae e3 81 a7 e3 80 81 0a e4 b8 8a e3  ................
4e00: 81 a7 e8 aa ac e6 98 8e e3 81 97 e3 81 9f e6 96  ................
4e10: b9 e6 b3 95 e3 81 a7 20 3c 63 6f 64 65 3e 40 6d  ....... <code>@m
4e20: 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3 83 ac e3  acro</code> ....
4e30: 82 a4 e3 83 a4 e3 81 ab e9 96 a2 e6 95 b0 e3 81  ................
4e40: aa e3 81 a9 e3 82 92 e7 99 bb e9 8c b2 e3 81 97  ................
4e50: e3 81 a6 e3 81 8a e3 81 8f e3 81 93 e3 81 a8 e3  ................
4e60: 81 a7 e3 80 81 0a e6 a7 8b e6 96 87 e6 9c a8 e3  ................
4e70: 81 ae e7 94 9f e6 88 90 e3 82 92 e3 81 84 e3 81  ................
4e80: 98 e3 82 8b e3 81 93 e3 81 a8 e3 81 8c e5 8f af  ................
4e90: e8 83 bd e3 81 a7 e3 81 99 e3 80 82 e3 81 be e3  ................
4ea0: 81 95 e3 81 ab e3 83 9e e3 82 af e3 83 ad e3 80  ................
4eb0: 82 0a 3c 2f 70 3e 0a 0a 24 28 44 44 4f 43 5f 4d  ..</p>..$(DDOC_M
4ec0: 45 4d 42 45 52 53 0a 24 28 53 45 43 54 49 4f 4e  EMBERS.$(SECTION
4ed0: 20 e6 a6 82 e8 a6 81 2c 20 24 28 53 45 43 42 4f   ......, $(SECBO
4ee0: 44 59 0a 3c 70 3e 0a 73 61 6d 70 6c 65 73 2f 6d  DY.<p>.samples/m
4ef0: 61 63 72 6f 2e 70 6d 79 20 e3 81 ab e3 81 84 e3  acro.pmy .......
4f00: 81 8f e3 81 a4 e3 81 8b e4 bd bf e3 81 84 e6 96  ................
4f10: b9 e3 82 b5 e3 83 b3 e3 83 97 e3 83 ab e3 81 8c  ................
4f20: e7 bd ae e3 81 84 e3 81 a6 e3 81 82 e3 82 8a e3  ................
4f30: 81 be e3 81 99 e3 81 ae e3 81 a7 e3 80 81 e8 a9  ................
4f40: b3 e3 81 97 e3 81 8f e3 81 af e3 81 9d e3 81 a1  ................
4f50: e3 82 89 e3 82 92 e3 81 a9 e3 81 86 e3 81 9e e3  ................
4f60: 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20  ...</p>.<pre>.  
4f70: 20 20 26 67 74 3b 26 67 74 3b 20 40 6d 61 63 72    &gt;&gt; @macr
4f80: 6f 28 20 74 77 69 63 65 28 70 72 69 6e 74 28 22  o( twice(print("
4f90: 48 65 6c 6c 6f 22 29 29 20 29 0a 20 20 20 20 7b  Hello")) ).    {
4fa0: 0a 20 20 20 20 20 20 70 6f 73 3a 20 7b 6c 69 6e  .      pos: {lin
4fb0: 65 6e 6f 3a 31 2c 20 63 6f 6c 75 6d 6e 3a 39 2c  eno:1, column:9,
4fc0: 20 66 69 6c 65 6e 61 6d 65 3a 3c 52 45 50 4c 3e   filename:<REPL>
4fd0: 7d 2c 0a 20 20 20 20 20 61 72 67 73 3a 20 5b 20  },.     args: [ 
4fe0: 7b 20 70 6f 73 3a 20 7b 6c 69 6e 65 6e 6f 3a 31  { pos: {lineno:1
4ff0: 2c 20 63 6f 6c 75 6d 6e 3a 31 35 2c 20 66 69 6c  , column:15, fil
5000: 65 6e 61 6d 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20  ename:<REPL>},. 
5010: 20 20 20 20 20 20 20 20 20 20 20 20 20 61 72 67               arg
5020: 73 3a 20 5b 7b 70 6f 73 3a 7b 6c 69 6e 65 6e 6f  s: [{pos:{lineno
5030: 3a 31 2c 20 63 6f 6c 75 6d 6e 3a 32 31 2c 20 66  :1, column:21, f
5040: 69 6c 65 6e 61 6d 65 3a 3c 52 45 50 4c 3e 7d 2c  ilename:<REPL>},
5050: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  .               
5060: 20 20 20 20 20 20 20 20 69 73 3a 53 74 72 2c 0a          is:Str,.
5070: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
5080: 20 20 20 20 20 64 61 74 61 3a 48 65 6c 6c 6f 7d       data:Hello}
5090: 5d 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20  ],.             
50a0: 20 20 20 69 73 3a 20 41 70 70 2c 0a 20 20 20 20     is: App,.    
50b0: 20 20 20 20 20 20 20 20 20 20 20 66 75 6e 3a 20             fun: 
50c0: 7b 70 6f 73 3a 7b 6c 69 6e 65 6e 6f 3a 31 2c 20  {pos:{lineno:1, 
50d0: 63 6f 6c 75 6d 6e 3a 31 35 2c 20 66 69 6c 65 6e  column:15, filen
50e0: 61 6d 65 3a 3c 52 45 50 4c 3e 7d 2c 20 69 73 3a  ame:<REPL>}, is:
50f0: 56 61 72 2c 20 6e 61 6d 65 3a 70 72 69 6e 74 7d  Var, name:print}
5100: 7d 0a 20 20 20 20 20 20 20 20 20 20 20 5d 2c 0a  }.           ],.
5110: 20 20 20 20 20 20 20 69 73 3a 20 41 70 70 2c 0a         is: App,.
5120: 20 20 20 20 20 20 66 75 6e 3a 20 7b 70 6f 73 3a        fun: {pos:
5130: 7b 6c 69 6e 65 6e 6f 3a 31 2c 20 63 6f 6c 75 6d  {lineno:1, colum
5140: 6e 3a 39 2c 20 66 69 6c 65 6e 61 6d 65 3a 3c 52  n:9, filename:<R
5150: 45 50 4c 3e 7d 2c 20 69 73 3a 56 61 72 2c 20 6e  EPL>}, is:Var, n
5160: 61 6d 65 3a 74 77 69 63 65 7d 0a 20 20 20 20 7d  ame:twice}.    }
5170: 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e8 a9 b3 e7  .</pre>.<p>.....
5180: b4 b0 e3 81 af e6 b0 97 e3 81 ab e3 81 97 e3 81  ................
5190: aa e3 81 8f e3 81 a6 e6 a7 8b e3 81 84 e3 81 be  ................
51a0: e3 81 9b e3 82 93 e3 81 8c e3 80 81 e3 81 a8 e3  ................
51b0: 81 ab e3 81 8b e3 81 8f e3 80 81 3c 74 74 3e 40  ...........<tt>@
51c0: 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82  macro</tt> .....
51d0: a4 e3 83 a4 e3 81 a7 e3 81 af e3 80 81 0a e5 9f  ................
51e0: ba e6 9c ac e7 9a 84 e3 81 ab e3 81 af e3 80 81  ................
51f0: e3 82 b3 e3 83 bc e3 83 89 e3 82 92 e5 ae 9f e8  ................
5200: a1 8c e3 81 99 e3 82 8b e3 81 a8 e3 81 9d e3 81  ................
5210: ae e3 82 b3 e3 83 bc e3 83 89 e3 81 ae e6 a7 8b  ................
5220: e6 96 87 e6 9c a8 e3 81 8c e3 81 a7 e3 81 a6 e3  ................
5230: 81 8d e3 81 be e3 81 99 e3 80 82 0a e3 81 93 e3  ................
5240: 81 ae e6 8c 99 e5 8b 95 e3 81 af 20 3c 74 74 3e  ........... <tt>
5250: 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3  @macro</tt> ....
5260: 82 a4 e3 83 a4 e3 81 ae e5 a4 89 e6 95 b0 e3 82  ................
5270: 92 e3 82 bb e3 83 83 e3 83 88 e3 81 99 e3 82 8b  ................
5280: e3 81 93 e3 81 a8 e3 81 a7 e3 80 81 e3 82 ab e3  ................
5290: 82 b9 e3 82 bf e3 83 9e e3 82 a4 e3 82 ba e3 81  ................
52a0: a7 e3 81 8d e3 81 be e3 81 99 e3 80 82 0a 3c 2f  ..............</
52b0: 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 26 67 74  p>.<pre>.    &gt
52c0: 3b 26 67 74 3b 20 40 6d 61 63 72 6f 20 74 77 69  ;&gt; @macro twi
52d0: 63 65 28 78 29 20 7b 20 78 3b 20 78 20 7d 20 69  ce(x) { x; x } i
52e0: 6e 20 74 77 69 63 65 28 70 72 69 6e 74 28 22 48  n twice(print("H
52f0: 65 6c 6c 6f 22 29 29 0a 20 20 20 20 48 65 6c 6c  ello")).    Hell
5300: 6f 0a 20 20 20 20 48 65 6c 6c 6f 0a 20 20 20 20  o.    Hello.    
5310: 48 65 6c 6c 6f 0a 3c 2f 70 72 65 3e 0a 3c 70 3e  Hello.</pre>.<p>
5320: 0a ef bc 88 ef bc 93 e5 9b 9e e5 87 ba e5 8a 9b  ................
5330: e3 81 95 e3 82 8c e3 81 a6 e3 81 be e3 81 99 e3  ................
5340: 81 8c e3 80 81 ef bc 93 e5 80 8b e7 9b ae e3 81  ................
5350: af 20 3c 74 74 3e 70 72 69 6e 74 28 78 29 3c 2f  . <tt>print(x)</
5360: 74 74 3e 20 e3 81 ae e8 bf 94 e5 80 a4 e3 81 af  tt> ............
5370: 20 3c 74 74 3e 78 3c 2f 74 74 3e 20 e3 81 aa e3   <tt>x</tt> ....
5380: 81 ae e3 81 a7 e3 80 81 0a e3 81 9d e3 82 8c e3  ................
5390: 81 8c 52 45 50 4c e3 81 ab e3 82 88 e3 81 a3 e3  ..REPL..........
53a0: 81 a6 e5 8d b0 e5 ad 97 e3 81 95 e3 82 8c e3 81  ................
53b0: a6 e3 81 84 e3 82 8b e3 81 a0 e3 81 91 e3 81 a7  ................
53c0: e3 81 99 e3 80 82 ef bc 89 0a 3c 74 74 3e 40 6d  ..........<tt>@m
53d0: 61 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4  acro</tt> ......
53e0: e3 83 a4 e3 81 a7 20 3c 74 74 3e 69 6e 3c 2f 74  ...... <tt>in</t
53f0: 74 3e 20 e4 bb a5 e9 99 8d e3 82 92 e5 ae 9f e8  t> .............
5400: a1 8c e3 81 99 e3 82 8b e3 81 a8 e3 80 81 3c 74  ..............<t
5410: 74 3e 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29  t>print("Hello")
5420: 3c 2f 74 74 3e 20 e3 81 a8 e3 81 84 e3 81 86 e5  </tt> ..........
5430: bc 8f e3 82 92 e8 a1 a8 e3 81 99 e6 a7 8b e6 96  ................
5440: 87 e6 9c a8 e3 81 8c e4 bd 9c e3 82 89 e3 82 8c  ................
5450: e3 80 81 0a e3 81 9d e3 82 8c e3 81 8c 20 3c 74  ............. <t
5460: 74 3e 74 77 69 63 65 3c 2f 74 74 3e 20 e9 96 a2  t>twice</tt> ...
5470: e6 95 b0 e3 81 ab e6 b8 a1 e3 81 95 e3 82 8c e3  ................
5480: 81 be e3 81 99 e3 80 82 3c 74 74 3e 74 77 69 63  ........<tt>twic
5490: 65 3c 2f 74 74 3e 20 e3 81 ae e4 b8 ad e8 ba ab  e</tt> .........
54a0: e3 82 82 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f  ... <tt>@macro</
54b0: 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7  tt> ............
54c0: e5 ae 9f e8 a1 8c e3 81 95 e3 82 8c e3 82 8b e3  ................
54d0: 81 ae e3 81 a7 e3 80 81 0a e6 a7 8b e6 96 87 e6  ................
54e0: 9c a8 e3 82 92 e4 bd 9c e3 82 8d e3 81 86 e3 81  ................
54f0: a8 e3 81 97 e3 81 be e3 81 99 e3 81 8c e3 80 81  ................
5500: e5 a4 89 e6 95 b0 20 3c 74 74 3e 78 3c 2f 74 74  ...... <tt>x</tt
5510: 3e 20 e3 81 ab e3 81 af 20 3c 74 74 3e 40 6d 61  > ...... <tt>@ma
5520: 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3  cro</tt> .......
5530: 83 a4 e3 81 a7 e5 80 a4 e3 81 8c e5 85 a5 e3 81  ................
5540: a3 e3 81 a6 e3 81 84 e3 82 8b e3 81 ae e3 81 a7  ................
5550: e3 80 81 0a e3 81 9d e3 81 ae e5 80 a4 e3 82 92  ................
5560: e8 aa ad e3 81 bf e5 8f 96 e3 81 a3 e3 81 a6 e6  ................
5570: a7 8b e6 96 87 e6 9c a8 e3 82 92 e4 bd 9c e6 88  ................
5580: 90 e3 81 97 e3 81 be e3 81 99 e3 80 82 0a e7 b5  ................
5590: 90 e6 9e 9c e3 81 a8 e3 81 97 e3 81 a6 e3 80 81  ................
55a0: ef bc 92 e5 9b 9e 20 3c 74 74 3e 70 72 69 6e 74  ...... <tt>print
55b0: 28 22 48 65 6c 6c 6f 22 29 3c 2f 74 74 3e 20 e3  ("Hello")</tt> .
55c0: 81 99 e3 82 8b e6 a7 8b e6 96 87 e6 9c a8 e3 81  ................
55d0: 8c e4 bd 9c e3 82 89 e3 82 8c e3 81 a6 e3 80 81  ................
55e0: 0a e3 81 9d e3 81 ae e5 be 8c e3 81 a7 e3 80 81  ................
55f0: e3 81 9d e3 82 8c e3 81 8c 20 3c 74 74 3e 40 76  ......... <tt>@v
5600: 61 6c 75 65 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4  alue</tt> ......
5610: e3 83 a4 e3 81 a7 e5 ae 9f e8 a1 8c e3 81 95 e3  ................
5620: 82 8c e3 81 a6 e3 81 84 e3 81 be e3 81 99 e3 80  ................
5630: 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e6 9c ac e5 bd  ..</p>.<p>......
5640: 93 e3 81 ab e3 83 99 e3 82 bf e3 81 ab e6 a7 8b  ................
5650: e6 96 87 e6 9c a8 e3 82 92 e4 bd 9c e3 82 8b e3  ................
5660: 81 a0 e3 81 91 e3 81 aa e3 81 ae e3 81 a7 e3 80  ................
5670: 81 e5 a4 89 e6 95 b0 e5 90 8d e3 81 ae e8 a1 9d  ................
5680: e7 aa 81 e3 81 aa e3 81 a9 e3 81 aa e3 81 a9 e3  ................
5690: 81 af e6 b0 97 e3 81 ab e3 81 97 e3 81 be e3 81  ................
56a0: 9b e3 82 93 e3 80 82 e3 80 8c e8 a1 9b e7 94 9f  ................
56b0: e7 9a 84 e3 81 a7 e3 81 aa e3 81 84 e3 80 8d e3  ................
56c0: 83 9e e3 82 af e3 83 ad e3 81 a7 e3 81 99 e3 80  ................
56d0: 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20  ..</p>.<pre>.   
56e0: 20 40 6d 61 63 72 6f 20 4c 65 74 49 74 42 65 28   @macro LetItBe(
56f0: 78 2c 20 79 29 20 7b 20 76 61 72 20 24 28 42 20  x, y) { var $(B 
5700: 69 74 29 20 3d 20 78 3b 20 79 20 7d 3b 20 20 24  it) = x; y };  $
5710: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 79 20 e3  (D_COMMENT # y .
5720: 81 ae e4 b8 ad e3 81 a7 e5 a4 89 e6 95 b0 20 69  .............. i
5730: 74 20 e3 81 8c e4 bd bf e3 81 88 e3 82 8b 29 0a  t ............).
5740: 20 20 20 20 70 72 69 6e 74 28 20 4c 65 74 49 74      print( LetIt
5750: 42 65 28 22 6d 79 73 65 6c 66 22 2c 20 20 22 77  Be("myself",  "w
5760: 68 65 6e 20 49 20 66 69 6e 64 20 22 20 7e 20 24  hen I find " ~ $
5770: 28 42 20 69 74 29 20 7e 20 22 20 69 6e 20 74 69  (B it) ~ " in ti
5780: 6d 65 73 20 6f 66 20 74 72 6f 75 62 6c 65 22 29  mes of trouble")
5790: 20 29 3b 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e5   );.</pre>.<p>..
57a0: a4 89 e6 95 b0 e5 90 8d e3 81 ab e6 b0 97 e3 82  ................
57b0: 92 e3 81 a4 e3 81 91 e3 82 8b e3 81 ab e3 81 af  ................
57c0: e3 80 81 e7 b5 84 e3 81 bf e8 be bc e3 81 bf e9  ................
57d0: 96 a2 e6 95 b0 20 3c 74 74 3e 67 65 6e 73 79 6d  ..... <tt>gensym
57e0: 28 29 3c 2f 74 74 3e 20 e3 82 92 e4 bd bf e3 81  ()</tt> ........
57f0: a3 e3 81 a6 e9 a0 91 e5 bc b5 e3 81 a3 e3 81 a6  ................
5800: e4 b8 8b e3 81 95 e3 81 84 e3 80 82 0a 3c 2f 70  .............</p
5810: 3e 0a 29 29 0a 24 28 53 45 43 54 49 4f 4e 20 e3  >.)).$(SECTION .
5820: 83 ac e3 82 a4 e3 83 a4 e5 88 87 e3 82 8a e6 9b  ................
5830: bf e3 81 88 2c 20 24 28 53 45 43 42 4f 44 59 0a  ...., $(SECBODY.
5840: 3c 70 3e 0a e4 bb 96 e3 81 ae e3 83 ac e3 82 a4  <p>.............
5850: e3 83 a4 e5 90 8c e6 a7 98 e3 80 81 3c 74 74 3e  ............<tt>
5860: 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3  @macro</tt> ....
5870: 82 a4 e3 83 a4 e3 82 92 e5 ae 9f e8 a1 8c e4 b8  ................
5880: ad e3 81 ab 20 3c 74 74 3e 40 6c 61 79 65 72 28  .... <tt>@layer(
5890: 20 2e 2e 2e 20 29 3c 2f 74 74 3e 20 e6 a7 8b e6   ... )</tt> ....
58a0: 96 87 e3 82 92 e4 bd bf e3 81 86 e3 81 93 e3 81  ................
58b0: a8 e3 81 a7 e3 80 81 0a e5 88 a5 e3 81 ae e3 83  ................
58c0: ac e3 82 a4 e3 83 a4 e3 81 a7 e3 82 b3 e3 83 bc  ................
58d0: e3 83 89 e3 82 92 e5 8b 95 e3 81 8b e3 81 99 e3  ................
58e0: 81 93 e3 81 a8 e3 82 82 e3 81 a7 e3 81 8d e3 81  ................
58f0: be e3 81 99 e3 80 82 e3 82 88 e3 81 8f e4 bd bf  ................
5900: e3 81 86 e4 be 8b e3 81 af e3 80 81 3c 74 74 3e  ............<tt>
5910: 40 76 61 6c 75 65 3c 2f 74 74 3e 0a e3 83 ac e3  @value</tt>.....
5920: 82 a4 e3 83 a4 e3 81 ab e7 a7 bb e3 82 8b e3 81  ................
5930: 93 e3 81 a8 e3 81 a7 e6 a7 8b e6 96 87 e6 9c a8  ................
5940: e3 82 92 e6 99 ae e9 80 9a e3 81 ab e8 a8 88 e7  ................
5950: ae 97 e3 81 97 e3 81 a6 e8 89 b2 e3 80 85 e3 83  ................
5960: 97 e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e7 9a 84  ................
5970: e3 81 ab e3 81 84 e3 81 98 e3 82 8b e7 94 a8 e9  ................
5980: 80 94 e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e  ............</p>
5990: 0a 3c 70 72 65 3e 0a 20 20 20 20 40 6d 61 63 72  .<pre>.    @macr
59a0: 6f 20 72 65 76 65 72 73 65 41 72 67 73 28 65 29  o reverseArgs(e)
59b0: 20 7b 24 28 42 20 40 76 61 6c 75 65 29 28 0a 20   {$(B @value)(. 
59c0: 20 20 20 20 20 20 20 64 65 66 20 72 65 76 28 78         def rev(x
59d0: 73 2c 20 61 63 63 29 20 7b 0a 20 20 20 20 20 20  s, acc) {.      
59e0: 20 20 20 20 63 61 73 65 20 78 73 20 77 68 65 6e      case xs when
59f0: 20 7b 63 61 72 3a 78 2c 20 63 64 72 3a 78 73 7d   {car:x, cdr:xs}
5a00: 3a 20 72 65 76 28 78 73 2c 20 7b 63 61 72 3a 78  : rev(xs, {car:x
5a10: 2c 20 63 64 72 3a 61 63 63 7d 29 20 77 68 65 6e  , cdr:acc}) when
5a20: 20 7b 7d 3a 20 61 63 63 0a 20 20 20 20 20 20 20   {}: acc.       
5a30: 20 7d 3b 0a 20 20 20 20 20 20 20 20 63 61 73 65   };.        case
5a40: 20 40 6d 61 63 72 6f 28 65 29 0a 20 20 20 20 20   @macro(e).     
5a50: 20 20 20 20 20 77 68 65 6e 20 7b 69 73 3a 22 41       when {is:"A
5a60: 70 70 22 2c 20 66 75 6e 3a 66 2c 20 61 72 67 73  pp", fun:f, args
5a70: 3a 61 73 7d 3a 20 7b 69 73 3a 22 41 70 70 22 2c  :as}: {is:"App",
5a80: 20 66 75 6e 3a 66 2c 20 61 72 67 73 3a 72 65 76   fun:f, args:rev
5a90: 28 61 73 2c 7b 7d 29 7d 0a 20 20 20 20 20 20 20  (as,{})}.       
5aa0: 20 20 20 77 68 65 6e 20 65 3a 20 65 0a 20 20 20     when e: e.   
5ab0: 20 29 7d 3b 0a 20 20 20 20 70 72 69 6e 74 28 20   )};.    print( 
5ac0: 72 65 76 65 72 73 65 41 72 67 73 28 31 2d 32 29  reverseArgs(1-2)
5ad0: 20 29 3b 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20   ); $(D_COMMENT 
5ae0: 23 20 32 2d 31 20 3d 3d 20 31 29 0a 3c 2f 70 72  # 2-1 == 1).</pr
5af0: 65 3e 0a 3c 70 3e 0a 3c 74 74 3e 72 65 76 65 72  e>.<p>.<tt>rever
5b00: 73 65 41 72 67 73 3c 2f 74 74 3e 20 e3 81 af e3  seArgs</tt> ....
5b10: 80 81 e9 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87  ................
5b20: ba e3 81 97 e3 81 ae e6 a7 8b e6 96 87 e6 9c a8  ................
5b30: e3 81 ae e3 80 81 e5 bc 95 e6 95 b0 e3 81 ae e9  ................
5b40: a0 86 e7 95 aa e3 82 92 e9 80 86 e8 bb a2 e3 81  ................
5b50: 99 e3 82 8b e9 96 a2 e6 95 b0 e3 81 a7 e3 81 99  ................
5b60: e3 80 82 0a 3c 74 74 3e 40 6d 61 63 72 6f 28 65  ....<tt>@macro(e
5b70: 29 3c 2f 74 74 3e 20 e3 81 ab e3 82 88 e3 81 a3  )</tt> .........
5b80: e3 81 a6 e3 83 9e e3 82 af e3 83 ad e3 83 ac e3  ................
5b90: 82 a4 e3 83 a4 e3 81 ab e3 82 bb e3 83 83 e3 83  ................
5ba0: 88 e3 81 95 e3 82 8c e3 81 a6 e3 81 84 e3 82 8b  ................
5bb0: e6 a7 8b e6 96 87 e6 9c a8 e5 bc 95 e6 95 b0 e3  ................
5bc0: 82 92 e5 8f 96 e3 82 8a e5 87 ba e3 81 97 e3 80  ................
5bd0: 81 0a e3 81 9d e3 82 8c e3 82 92 20 3c 74 74 3e  ........... <tt>
5be0: 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e3 83 ac e3  @value</tt> ....
5bf0: 82 a4 e3 83 a4 e3 81 ab e3 82 88 e3 82 8b e6 99  ................
5c00: ae e9 80 9a e3 81 ae e8 a8 88 e7 ae 97 e3 83 97  ................
5c10: e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e3 81 a7 e6  ................
5c20: 93 8d e4 bd 9c e3 81 97 e3 81 a6 e3 81 84 e3 81  ................
5c30: be e3 81 99 e3 80 82 0a 3c 74 74 3e 40 6d 61 63  ........<tt>@mac
5c40: 72 6f 28 2e 2e 2e 29 3c 2f 74 74 3e 20 e3 81 af  ro(...)</tt> ...
5c50: e3 81 84 e3 82 8f e3 82 86 e3 82 8b e3 80 8c e6  ................
5c60: ba 96 e3 82 af e3 82 aa e3 83 bc e3 83 88 20 28  .............. (
5c70: 71 75 61 73 69 71 75 6f 74 65 29 e3 80 8d e3 80  quasiquote).....
5c80: 81 0a 3c 74 74 3e 40 76 61 6c 75 65 28 2e 2e 2e  ..<tt>@value(...
5c90: 29 3c 2f 74 74 3e 20 e3 81 af e3 80 8c e9 80 86  )</tt> .........
5ca0: e3 82 af e3 82 aa e3 83 bc e3 83 88 20 28 75 6e  ............ (un
5cb0: 71 75 6f 74 65 29 e3 80 8d e3 81 ab e3 81 a1 e3  quote)..........
5cc0: 82 87 e3 81 a3 e3 81 a8 e8 bf 91 e3 81 84 e3 81  ................
5cd0: 8b e3 82 82 e3 81 97 e3 82 8c e3 81 be e3 81 9b  ................
5ce0: e3 82 93 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a  .......</p>.<p>.
5cf0: 3c 74 74 3e 40 6c 61 79 65 72 28 2e 2e 2e 29 3c  <tt>@layer(...)<
5d00: 2f 74 74 3e 20 e3 81 a0 e3 81 91 e3 81 a7 e3 81  /tt> ...........
5d10: aa e3 81 8f e3 80 81 e9 96 a2 e6 95 b0 e3 81 ae  ................
5d20: e3 83 ac e3 82 a4 e3 83 a4 e6 8c 87 e5 ae 9a e5  ................
5d30: bc 95 e6 95 b0 e3 81 aa e3 81 a9 e3 82 82 e5 90  ................
5d40: 8c e6 a7 98 e3 81 ab e4 bd bf e3 81 86 e3 81 93  ................
5d50: e3 81 a8 e3 81 8c e3 81 a7 e3 81 8d e3 82 8b e3  ................
5d60: 81 ae e3 81 a7 e3 80 81 0a e4 b8 80 e9 83 a8 e3  ................
5d70: 81 ae e5 bc 95 e6 95 b0 e3 81 af 20 3c 74 74 3e  ........... <tt>
5d80: 40 6d 61 63 72 6f 3c 2f 74 74 3e e3 80 81 e4 b8  @macro</tt>.....
5d90: 80 e9 83 a8 e3 81 ae e5 bc 95 e6 95 b0 e3 81 af  ................
5da0: 20 3c 74 74 3e 40 76 61 6c 75 65 3c 2f 74 74 3e   <tt>@value</tt>
5db0: 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e5 8f 97   ...............
5dc0: e3 81 91 e5 8f 96 e3 82 8b e9 96 a2 e6 95 b0 e3  ................
5dd0: 82 92 e6 9b b8 e3 81 8f e3 81 aa e3 81 a9 e3 80  ................
5de0: 81 0a e3 81 95 e3 82 89 e3 81 ab e8 89 b2 e3 80  ................
5df0: 85 e9 9d a2 e7 99 bd e3 81 84 e3 81 93 e3 81 a8  ................
5e00: e3 81 8c e5 8f af e8 83 bd e3 81 a7 e3 81 99 e3  ................
5e10: 80 82 0a 3c 2f 70 3e 0a 29 29 0a 24 28 53 45 43  ...</p>.)).$(SEC
5e20: 54 49 4f 4e 20 e6 a7 8b e6 96 87 e6 9c a8 e3 81  TION ...........
5e30: ae e6 a7 8b e9 80 a0 2c 20 24 28 53 45 43 42 4f  ......., $(SECBO
5e40: 44 59 0a 3c 70 3e 0a e6 a7 8b e6 96 87 e6 9c a8  DY.<p>..........
5e50: e3 81 8c e3 81 a9 e3 81 ae e3 82 88 e3 81 86 e3  ................
5e60: 81 aa e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81  ................
5e70: a7 e6 b8 a1 e3 81 95 e3 82 8c e3 81 a6 e3 81 8f  ................
5e80: e3 82 8b e3 81 8b e3 81 ab e3 81 a4 e3 81 84 e3  ................
5e90: 81 a6 e3 81 af e3 80 81 e3 82 bd e3 83 bc e3 82  ................
5ea0: b9 e3 83 89 e3 82 ad e3 83 a5 e3 83 a1 e3 83 b3  ................
5eb0: e3 83 88 e3 81 ae 0a 3c 61 20 68 72 65 66 3d 22  .......<a href="
5ec0: 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f  http://www.kmono
5ed0: 73 2e 6e 65 74 2f 72 65 70 6f 73 2f 70 6f 6c 65  s.net/repos/pole
5ee0: 6d 79 2f 64 6f 63 2f 74 69 70 2f 64 6f 63 2f 61  my/doc/tip/doc/a
5ef0: 73 74 2e 68 74 6d 6c 22 3e 70 6f 6c 65 6d 79 2e  st.html">polemy.
5f00: 61 73 74 3c 2f 61 3e 0a e3 81 ae e3 83 9a e3 83  ast</a>.........
5f10: bc e3 82 b8 e3 82 92 e3 81 94 e8 a6 a7 e4 b8 8b  ................
5f20: e3 81 95 e3 81 84 e3 80 82 e4 be 8b e3 81 88 e3  ................
5f30: 81 b0 e5 a4 89 e6 95 b0 e5 90 8d e3 82 92 e8 a1  ................
5f40: a8 e3 81 99 20 3c 63 6f 64 65 3e 56 61 72 3c 2f  .... <code>Var</
5f50: 63 6f 64 65 3e 20 e3 82 af e3 83 a9 e3 82 b9 e3  code> ..........
5f60: 81 ab e3 81 af e3 80 81 0a e7 b6 99 e6 89 bf e3  ................
5f70: 81 ae e5 88 86 e3 82 82 e5 90 88 e3 82 8f e3 81  ................
5f80: 9b e3 81 a6 0a 3c 74 74 3e 3c 61 20 68 72 65 66  .....<tt><a href
5f90: 3d 22 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f  ="http://www.kmo
5fa0: 6e 6f 73 2e 6e 65 74 2f 72 65 70 6f 73 2f 70 6f  nos.net/repos/po
5fb0: 6c 65 6d 79 2f 64 6f 63 2f 74 69 70 2f 64 6f 63  lemy/doc/tip/doc
5fc0: 2f 66 61 69 6c 75 72 65 2e 68 74 6d 6c 22 3e 4c  /failure.html">L
5fd0: 65 78 50 6f 73 69 74 69 6f 6e 3c 2f 61 3e 20 70  exPosition</a> p
5fe0: 6f 73 3b 3c 2f 74 74 3e 0a e3 81 a8 20 3c 74 74  os;</tt>.... <tt
5ff0: 3e 73 74 72 69 6e 67 20 6e 61 6d 65 3b 3c 2f 74  >string name;</t
6000: 74 3e 20 e3 81 ae ef bc 92 e3 81 a4 e3 81 ae e3  t> .............
6010: 83 a1 e3 83 b3 e3 83 90 e3 81 8c e3 81 82 e3 82  ................
6020: 8b e3 81 ae e3 81 a7 0a 3c 2f 70 3e 0a 3c 70 72  ........</p>.<pr
6030: 65 3e 0a 20 20 20 20 7b 20 69 73 3a 20 20 20 22  e>.    { is:   "
6040: 56 61 72 22 2c 0a 20 20 20 20 20 20 70 6f 73 3a  Var",.      pos:
6050: 20 20 7b 66 69 6c 65 6e 61 6d 65 3a 22 66 6f 6f    {filename:"foo
6060: 2e 70 6d 79 22 2c 20 6c 69 6e 65 6e 6f 3a 31 32  .pmy", lineno:12
6070: 33 2c 20 63 6f 6c 75 6d 6e 3a 34 35 7d 2c 0a 20  3, column:45},. 
6080: 20 20 20 20 20 6e 61 6d 65 3a 20 22 78 22 20 7d       name: "x" }
6090: 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e3 81 93 e3  .</pre>.<p>.....
60a0: 82 93 e3 81 aa e6 84 9f e3 81 98 e3 81 ae e3 83  ................
60b0: 86 e3 83 bc e3 83 96 e3 83 ab e3 81 ab e3 81 aa  ................
60c0: e3 82 8a e3 81 be e3 81 99 e3 80 82 0a e3 82 af  ................
60d0: e3 83 a9 e3 82 b9 e5 90 8d e3 81 8c 20 3c 74 74  ............ <tt
60e0: 3e 69 73 3c 2f 74 74 3e 20 e3 83 95 e3 82 a3 e3  >is</tt> .......
60f0: 83 bc e3 83 ab e3 83 89 e3 81 ab e3 80 81 e3 83  ................
6100: a1 e3 83 b3 e3 83 90 e5 a4 89 e6 95 b0 e3 81 af  ................
6110: e3 81 9d e3 81 ae e3 81 be e3 81 be e3 81 ae e5  ................
6120: 90 8d e5 89 8d e3 81 a7 e5 85 a5 e3 82 8a e3 81  ................
6130: be e3 81 99 e3 80 82 0a e9 85 8d e5 88 97 e3 83  ................
6140: a1 e3 83 b3 e3 83 90 e3 81 af 20 63 6f 6e 73 20  .......... cons 
6150: e3 83 aa e3 82 b9 e3 83 88 e3 81 ab e3 81 aa e3  ................
6160: 81 a3 e3 81 a6 e5 85 a5 e3 81 a3 e3 81 a6 e3 81  ................
6170: 8d e3 81 be e3 81 99 e3 80 82 0a e8 87 aa e5 88  ................
6180: 86 e3 81 a7 e6 a7 8b e6 96 87 e6 9c a8 e3 82 92  ................
6190: e4 bd 9c e3 82 8b e6 99 82 e3 81 af e3 80 81 3c  ...............<
61a0: 74 74 3e 70 6f 73 3c 2f 74 74 3e 20 e3 83 95 e3  tt>pos</tt> ....
61b0: 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 a0 e3 81  ................
61c0: 91 e3 81 af e7 9c 81 e7 95 a5 e3 81 97 e3 81 a6  ................
61d0: e3 82 82 e6 a7 8b e3 81 84 e3 81 be e3 81 9b e3  ................
61e0: 82 93 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 24 28  ......</p>.)).$(
61f0: 53 45 43 54 49 4f 4e 20 e5 be ae e5 a6 99 e3 81  SECTION ........
6200: aa e3 81 a8 e3 81 93 e3 82 8d ef bc 91 2c 20 24  ............., $
6210: 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e3 81 93  (SECBODY.<p>....
6220: e3 81 93 e3 81 be e3 81 a7 e3 80 81 3c 74 74 3e  ............<tt>
6230: 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 81 8c e6  @macro</tt> ....
6240: 9c ac e5 bd 93 e3 81 ab e3 81 9f e3 81 a0 e3 81  ................
6250: ae ef bc 91 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a8  ................
6260: e8 aa ac e6 98 8e e3 81 97 e3 81 a6 e3 81 8d e3  ................
6270: 81 be e3 81 97 e3 81 9f e3 81 8c e3 80 81 0a e5  ................
6280: ae 9f e3 81 af e3 81 a1 e3 82 87 e3 81 a3 e3 81  ................
6290: a8 e3 83 88 e3 83 aa e3 83 83 e3 82 af e3 81 8c  ................
62a0: e6 bd 9c e3 82 93 e3 81 a7 e3 81 84 e3 81 be e3  ................
62b0: 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e  ......</p>.<pre>
62c0: 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20 40 6d  .    &gt;&gt; @m
62d0: 61 63 72 6f 20 74 77 69 63 65 28 78 29 20 7b 78  acro twice(x) {x
62e0: 3b 20 78 7d 20 69 6e 20 74 77 69 63 65 28 24 28  ; x} in twice($(
62f0: 42 20 40 76 61 6c 75 65 29 28 70 72 69 6e 74 28  B @value)(print(
6300: 22 48 65 6c 6c 6f 22 29 29 29 0a 20 20 20 20 48  "Hello"))).    H
6310: 65 6c 6c 6f 0a 20 20 20 20 48 65 6c 6c 6f 0a 20  ello.    Hello. 
6320: 20 20 20 48 65 6c 6c 6f 0a 3c 2f 70 72 65 3e 0a     Hello.</pre>.
6330: 3c 70 3e 0a e5 85 88 e3 81 bb e3 81 a9 e3 81 ae  <p>.............
6340: e4 be 8b e3 81 ab 20 3c 74 74 3e 40 76 61 6c 75  ...... <tt>@valu
6350: 65 3c 2f 74 74 3e 20 e3 82 92 e5 a2 97 e3 82 84  e</tt> .........
6360: e3 81 97 e3 81 9f e3 82 82 e3 81 ae e3 81 a7 e3  ................
6370: 81 99 e3 81 8c e3 80 81 e3 81 93 e3 82 8c e3 81  ................
6380: a7 e3 82 82 e3 82 84 e3 81 af e3 82 8a e3 80 81  ................
6390: 48 65 6c 6c 6f 0a e3 81 8c ef bc 92 e5 9b 9e 20  Hello.......... 
63a0: 70 72 69 6e 74 20 e3 81 95 e3 82 8c e3 82 8b e3  print ..........
63b0: 82 88 e3 81 86 e3 81 ab e3 81 aa e3 82 8a e3 81  ................
63c0: be e3 81 99 e3 80 82 e3 81 93 e3 82 8c e3 81 af  ................
63d0: e6 9c ac e6 9d a5 e3 81 af e3 81 8a e3 81 8b e3  ................
63e0: 81 97 e3 81 aa e8 a9 b1 e3 81 a7 e3 80 81 3c 74  ..............<t
63f0: 74 3e 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29  t>print("Hello")
6400: 3c 2f 74 74 3e 0a e3 81 af 20 3c 74 74 3e 40 76  </tt>.... <tt>@v
6410: 61 6c 75 65 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4  alue</tt> ......
6420: e3 83 a4 e3 81 a7 e5 ae 9f e8 a1 8c e3 81 95 e3  ................
6430: 82 8c e3 81 a6 e5 80 a4 e3 81 ab e8 90 bd e3 81  ................
6440: a1 e3 82 8b e3 81 af e3 81 9a e3 81 aa e3 81 ae  ................
6450: e3 81 a7 e3 80 81 ef bc 91 e5 9b 9e e3 81 97 e3  ................
6460: 81 8b 20 70 72 69 6e 74 20 e3 81 95 e3 82 8c e3  .. print .......
6470: 81 aa e3 81 84 e3 81 af e3 81 9a e3 80 82 0a 3c  ...............<
6480: 2f 70 3e 0a 3c 70 3e 0a e5 ae 9f e3 81 af e3 80  /p>.<p>.........
6490: 81 50 6f 6c 65 6d 79 20 e3 81 ae e4 b8 ad e3 81  .Polemy ........
64a0: a7 e3 81 af e3 80 81 3c 74 74 3e 40 6d 61 63 72  .......<tt>@macr
64b0: 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4  o</tt> .........
64c0: e3 81 a8 20 3c 74 74 3e 28 72 61 77 6d 61 63 72  ... <tt>(rawmacr
64d0: 6f 29 3c 2f 74 74 3e 0a e3 83 ac e3 82 a4 e3 83  o)</tt>.........
64e0: a4 e3 81 a8 e3 81 84 e3 81 86 e4 ba 8c e3 81 a4  ................
64f0: e3 81 ae e7 95 b0 e3 81 aa e3 82 8b e3 83 9e e3  ................
6500: 82 af e3 83 ad e7 94 a8 e3 83 ac e3 82 a4 e3 83  ................
6510: a4 e3 81 8c e5 8b 95 e3 81 84 e3 81 a6 e3 81 84  ................
6520: e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c  ..........</p>.<
6530: 75 6c 3e 0a 09 3c 6c 69 3e 3c 74 74 3e 28 72 61  ul>..<li><tt>(ra
6540: 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 82 82  wmacro)</tt> ...
6550: 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e   <tt>@macro</tt>
6560: 20 e3 82 82 e3 80 81 e3 82 b3 e3 83 bc e3 83 89   ...............
6570: e3 82 92 e5 8b 95 e3 81 8b e3 81 99 e3 81 a8 e3  ................
6580: 81 9d e3 81 ae e6 a7 8b e6 96 87 e6 9c a8 e3 82  ................
6590: 92 e8 bf 94 e3 81 99 e6 84 8f e5 91 b3 e8 ab 96  ................
65a0: e3 80 82 3c 2f 6c 69 3e 0a 09 3c 6c 69 3e e3 81  ...</li>..<li>..
65b0: 9f e3 81 a0 e3 81 97 e3 80 81 3c 74 74 3e 28 72  ..........<tt>(r
65c0: 61 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 82  awmacro)</tt> ..
65d0: 82 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74  . <tt>@macro</tt
65e0: 3e 20 e3 82 82 e3 80 81 0a 09 09 3c 74 74 3e 40  > .........<tt>@
65f0: 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82  macro</tt> .....
6600: a4 e3 83 a4 e3 81 ab e5 80 a4 e3 81 ae e3 82 bb  ................
6610: e3 83 83 e3 83 88 e3 81 95 e3 82 8c e3 81 9f e5  ................
6620: a4 89 e6 95 b0 e3 82 92 e3 81 bf e3 81 a4 e3 81  ................
6630: 91 e3 81 9f e3 81 a8 e3 81 8d e3 81 af e3 80 81  ................
6640: 0a 09 09 e3 81 9d e3 81 ae e5 a4 89 e6 95 b0 e3  ................
6650: 81 a8 e3 81 84 e3 81 86 e6 a7 8b e6 96 87 e6 9c  ................
6660: a8 e3 82 92 e4 bd 9c e3 82 8b e3 81 ae e3 81 a7  ................
6670: e3 81 af e3 81 aa e3 81 8f e3 80 81 e5 a4 89 e6  ................
6680: 95 b0 e3 81 ae e5 86 85 e5 ae b9 e3 82 92 e5 b1  ................
6690: 95 e9 96 8b e3 80 82 3c 2f 6c 69 3e 0a 09 3c 6c  .......</li>..<l
66a0: 69 3e e3 81 be e3 81 9f 20 3c 74 74 3e 40 6d 61  i>...... <tt>@ma
66b0: 63 72 6f 3c 2f 74 74 3e 20 e3 81 af e3 80 81 0a  cro</tt> .......
66c0: 09 09 e3 83 ac e3 82 a4 e3 83 a4 e6 8c 87 e5 ae  ................
66d0: 9a e5 bc 8f e3 82 92 e8 a6 8b e3 82 8b e3 81 a8  ................
66e0: e5 ae 9f e8 a1 8c e3 83 ac e3 82 a4 e3 83 a4 e3  ................
66f0: 82 92 e5 88 87 e3 82 8a e6 9b bf e3 81 a6 e3 80  ................
6700: 81 e6 a7 8b e6 96 87 e6 9c a8 e7 94 9f e6 88 90  ................
6710: e3 83 a2 e3 83 bc e3 83 89 e3 82 92 e3 82 84 e3  ................
6720: 82 81 e3 81 a6 e3 81 97 e3 81 be e3 81 86 e3 80  ................
6730: 82 3c 2f 6c 69 3e 0a 09 3c 6c 69 3e 3c 74 74 3e  .</li>..<li><tt>
6740: 28 72 61 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20  (rawmacro)</tt> 
6750: e3 81 af e3 80 81 0a 09 09 e3 83 ac e3 82 a4 e3  ................
6760: 83 a4 e6 8c 87 e5 ae 9a e5 bc 8f e3 82 92 e8 a6  ................
6770: 8b e3 81 a6 e3 82 82 e5 ae 9f e8 a1 8c e3 83 ac  ................
6780: e3 82 a4 e3 83 a4 e3 82 92 e5 88 87 e3 82 8a e6  ................
6790: 9b bf e3 81 88 e3 81 aa e3 81 84 e3 81 a7 e6 a7  ................
67a0: 8b e6 96 87 e6 9c a8 e3 81 ab e3 81 99 e3 82 8b  ................
67b0: e3 80 82 3c 2f 6c 69 3e 0a 3c 2f 75 6c 3e 0a 3c  ...</li>.</ul>.<
67c0: 70 3e 0a e3 83 a6 e3 83 bc e3 82 b6 e3 83 bc e3  p>..............
67d0: 81 8b e3 82 89 e7 9b b4 e6 8e a5 20 3c 74 74 3e  ........... <tt>
67e0: 28 72 61 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20  (rawmacro)</tt> 
67f0: e3 81 af e5 91 bc e3 81 b9 e3 81 be e3 81 9b e3  ................
6800: 82 93 e3 81 8c e3 80 81 0a e3 80 8c e9 96 a2 e6  ................
6810: 95 b0 e3 82 84 e3 83 88 e3 83 83 e3 83 97 e3 83  ................
6820: ac e3 83 99 e3 83 ab e5 ae 9f e8 a1 8c e9 96 8b  ................
6830: e5 a7 8b e5 89 8d e3 81 ae e3 83 9e e3 82 af e3  ................
6840: 83 ad e5 87 a6 e7 90 86 e3 81 af 20 3c 74 74 3e  ........... <tt>
6850: 28 72 61 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20  (rawmacro)</tt> 
6860: e3 81 a7 e5 ae 9f e8 a1 8c e9 96 8b e5 a7 8b e3  ................
6870: 80 8d 0a e3 80 8c 3c 74 74 3e 40 6d 61 63 72 6f  ......<tt>@macro
6880: 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e4  </tt> ..........
6890: bb a5 e5 a4 96 e3 81 a7 e5 91 bc e3 81 b3 e5 87  ................
68a0: ba e3 81 97 e3 81 9f e9 96 a2 e6 95 b0 e3 81 ae  ................
68b0: e4 bb ae e5 bc 95 e6 95 b0 e3 81 ab 20 3c 74 74  ............ <tt
68c0: 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 81 8c  >@macro</tt> ...
68d0: e3 81 a4 e3 81 84 e3 81 a6 e3 81 84 e3 81 9f e3  ................
68e0: 82 89 e3 80 81 0a e3 81 9d e3 81 ae e5 ae 9f e5  ................
68f0: bc 95 e6 95 b0 e3 81 af 20 3c 74 74 3e 28 72 61  ........ <tt>(ra
6900: 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 81 a7  wmacro)</tt> ...
6910: e5 ae 9f e8 a1 8c e3 80 8d 0a e3 81 a8 e3 81 84  ................
6920: e3 81 86 ef bc 92 e3 81 a4 e3 81 ae e3 82 bf e3  ................
6930: 82 a4 e3 83 9f e3 83 b3 e3 82 b0 e3 81 a7 20 3c  .............. <
6940: 74 74 3e 28 72 61 77 6d 61 63 72 6f 29 3c 2f 74  tt>(rawmacro)</t
6950: 74 3e 20 e3 81 8c e5 8b 95 e3 81 8d e5 87 ba e3  t> .............
6960: 81 97 e3 81 be e3 81 99 e3 80 82 0a 3c 74 74 3e  ............<tt>
6970: 28 72 61 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20  (rawmacro)</tt> 
6980: e3 81 8c 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f  ... <tt>@macro</
6990: 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 8b  tt> ............
69a0: e3 82 89 e5 a4 89 e6 95 b0 e3 82 92 e8 a6 8b e3  ................
69b0: 81 a4 e3 81 91 e3 81 a6 e3 83 9e e3 82 af e3 83  ................
69c0: ad e3 81 97 e5 a7 8b e3 82 81 e3 82 8b e6 99 82  ................
69d0: e3 81 ab e3 80 81 0a e3 81 9d e3 81 93 e3 81 a7  ................
69e0: 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e   <tt>@macro</tt>
69f0: 20 e3 81 ab e5 8b 95 e4 bd 9c e3 81 8c e7 a7 bb   ...............
6a00: e3 82 8a e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70  .............</p
6a10: 3e 0a 3c 70 3e 0a e3 81 93 e3 81 86 e3 81 aa e3  >.<p>...........
6a20: 81 a3 e3 81 a6 e3 81 84 e3 82 8b e3 81 ae e3 81  ................
6a30: af e3 80 81 e5 85 a8 e9 83 a8 e3 81 8c e3 83 ac  ................
6a40: e3 82 a4 e3 83 a4 e6 8c 87 e5 ae 9a e5 bc 8f e3  ................
6a50: 81 ab e5 8f 8d e5 bf 9c e3 81 99 e3 82 8b 20 3c  .............. <
6a60: 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3  tt>@macro</tt> .
6a70: 81 ae e5 8b 95 e4 bd 9c e3 81 a0 e3 81 a8 e3 80  ................
6a80: 81 0a e3 83 ac e3 82 a4 e3 83 a4 e3 82 92 e4 bd  ................
6a90: bf e3 81 a3 e3 81 9f e3 83 97 e3 83 ad e3 82 b0  ................
6aa0: e3 83 a9 e3 83 a0 e3 81 8c e5 85 a8 e3 81 a6 20  ............... 
6ab0: 3c 74 74 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20  <tt>@value</tt> 
6ac0: e5 ae 9f e8 a1 8c e6 99 82 e3 81 a7 e3 81 af e3  ................
6ad0: 81 aa e3 81 8f e3 80 81 0a e3 83 9e e3 82 af e3  ................
6ae0: 83 ad e5 b1 95 e9 96 8b e3 81 ae e6 99 82 e7 82  ................
6af0: b9 e3 81 a7 e5 8b 95 e3 81 8d e5 a7 8b e3 82 81  ................
6b00: e3 81 a6 e3 81 97 e3 81 be e3 81 a3 e3 81 a6 e3  ................
6b10: 80 81 e3 81 8a e3 81 8b e3 81 97 e3 81 aa e3 81  ................
6b20: 93 e3 81 a8 e3 81 ab e3 81 aa e3 82 8b e3 81 9f  ................
6b30: e3 82 81 e3 81 a7 e3 81 99 e3 80 82 0a e8 89 b2  ................
6b40: e3 80 85 e8 80 83 e3 81 88 e3 81 9f e7 b5 90 e6  ................
6b50: 9e 9c e3 80 81 e3 81 a8 e3 82 8a e3 81 82 e3 81  ................
6b60: 88 e3 81 9a e3 81 93 e3 81 ae e4 b8 ad e9 80 94  ................
6b70: e5 8d 8a e7 ab af e3 81 aa e6 b7 b7 e5 90 88 e3  ................
6b80: 81 8c e5 85 b7 e5 90 88 e3 81 8c e3 82 88 e3 81  ................
6b90: 84 e3 81 ae e3 81 a7 e3 81 af e3 81 aa e3 81 84  ................
6ba0: e3 81 8b e3 81 a8 e3 81 84 e3 81 86 e3 81 93 e3  ................
6bb0: 81 a8 e3 81 ab e3 81 aa e3 82 8a e3 81 be e3 81  ................
6bc0: 97 e3 81 9f e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a  ........</p>.)).
6bd0: 24 28 53 45 43 54 49 4f 4e 20 e5 be ae e5 a6 99  $(SECTION ......
6be0: e3 81 aa e3 81 a8 e3 81 93 e3 82 8d ef bc 92 2c  ...............,
6bf0: 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e3   $(SECBODY.<p>..
6c00: 80 8c e9 96 a2 e6 95 b0 e5 ae 9f e8 a1 8c e9 96  ................
6c10: 8b e5 a7 8b e6 99 82 e3 81 ab e3 80 81 e3 81 be  ................
6c20: e3 81 9a e3 83 9e e3 82 af e3 83 ad e3 83 ac e3  ................
6c30: 82 a4 e3 83 a4 e3 82 92 e5 ae 9f e8 a1 8c e3 80  ................
6c40: 8d e3 81 a8 e6 9b b8 e3 81 8d e3 81 be e3 81 97  ................
6c50: e3 81 9f e3 81 8c e3 80 81 e3 81 93 e3 81 ae e6  ................
6c60: 99 82 e3 80 81 e9 96 a2 e6 95 b0 e5 86 85 e9 96  ................
6c70: a2 e6 95 b0 e3 81 be e3 81 a7 e8 be bf e3 82 8a  ................
6c80: e3 81 ab e3 81 84 e3 81 8f e3 81 ae e3 81 a7 e3  ................
6c90: 80 81 0a e4 bd 95 e9 87 8d e3 81 ab e3 82 82 e3  ................
6ca0: 83 8d e3 82 b9 e3 83 88 e3 81 97 e3 81 9f e9 96  ................
6cb0: a2 e6 95 b0 e3 82 92 e4 bd bf e3 81 a3 e3 81 a6  ................
6cc0: e3 81 84 e3 82 8b e3 81 a8 e3 80 81 e5 86 85 e5  ................
6cd0: 81 b4 e3 81 ae e9 96 a2 e6 95 b0 e3 81 af e3 80  ................
6ce0: 81 e4 bd 95 e9 87 8d e3 81 ab e3 82 82 e3 83 9e  ................
6cf0: e3 82 af e3 83 ad e5 b1 95 e9 96 8b e3 81 8c e8  ................
6d00: b5 b0 e3 81 a3 e3 81 a6 e3 81 97 e3 81 be e3 81  ................
6d10: 84 e3 81 be e3 81 99 e3 80 82 0a e3 81 93 e3 82  ................
6d20: 8c e3 81 af e3 81 aa e3 81 ab e3 81 8b e3 81 8a  ................
6d30: e3 81 8b e3 81 97 e3 81 84 e6 b0 97 e3 81 8c e3  ................
6d40: 81 97 e3 81 be e3 81 99 e3 81 ad e3 80 82 53 63  ..............Sc
6d50: 68 65 6d 65 20 e3 81 aa e3 81 a9 e3 81 af e3 81  heme ...........
6d60: a9 e3 81 86 e3 81 aa e3 81 a3 e3 81 a6 e3 81 84  ................
6d70: e3 82 8b e3 81 ae e3 81 8b e8 aa bf e3 81 b9 e3  ................
6d80: 81 aa e3 81 84 e3 81 a8 e2 80 a6 e3 80 82 0a 3c  ...............<
6d90: 2f 70 3e 0a 29 29 0a 24 28 53 45 43 54 49 4f 4e  /p>.)).$(SECTION
6da0: 20 e5 be ae e5 a6 99 e3 81 aa e3 81 a8 e3 81 93   ...............
6db0: e3 82 8d ef bc 93 2c 20 24 28 53 45 43 42 4f 44  ......, $(SECBOD
6dc0: 59 0a 3c 70 3e 0a e3 81 93 e3 82 8c e3 81 af e3  Y.<p>...........
6dd0: 82 a8 e3 83 a9 e3 83 bc e3 81 ab e3 81 aa e3 82  ................
6de0: 8a e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a  ...........</p>.
6df0: 3c 70 72 65 3e 0a 20 20 20 20 26 67 74 3b 26 67  <pre>.    &gt;&g
6e00: 74 3b 20 6c 65 74 20 5f 20 3d 20 28 40 6d 61 63  t; let _ = (@mac
6e10: 72 6f 20 74 77 69 63 65 28 78 29 20 7b 78 3b 78  ro twice(x) {x;x
6e20: 7d 20 69 6e 20 74 77 69 63 65 28 70 72 69 6e 74  } in twice(print
6e30: 28 22 48 65 6c 6c 6f 22 29 29 29 0a 20 20 20 20  ("Hello"))).    
6e40: 70 6f 6c 65 6d 79 2e 66 61 69 6c 75 72 65 2e 52  polemy.failure.R
6e50: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 40  untimeException@
6e60: 43 3a 5c 44 65 76 65 6c 6f 70 5c 50 72 6f 6a 65  C:\Develop\Proje
6e70: 63 74 73 5c 50 6f 6c 65 6d 79 5c 70 6f 6c 65 6d  cts\Polemy\polem
6e80: 79 5c 76 61 6c 75 65 2e 64 28 31 30 39 29 3a 0a  y\value.d(109):.
6e90: 20 20 20 20 5b 3c 52 45 50 4c 3e 3a 32 3a 33 35      [<REPL>:2:35
6ea0: 5d 20 27 74 77 69 63 65 27 20 69 73 20 6e 6f 74  ] 'twice' is not
6eb0: 20 73 65 74 20 69 6e 20 40 76 61 6c 75 65 20 6c   set in @value l
6ec0: 61 79 65 72 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a  ayer.</pre>.<p>.
6ed0: e3 81 a9 e3 81 86 e3 81 84 e3 81 86 e3 81 93 e3  ................
6ee0: 81 a8 e3 81 8b e3 81 a8 e3 81 84 e3 81 86 e3 81  ................
6ef0: a8 e3 80 81 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f  ....<tt>@macro</
6f00: 74 74 3e 20 e3 81 a7 e5 ae 9a e7 be a9 e3 81 97  tt> ............
6f10: e3 81 9f e3 83 9e e3 82 af e3 83 ad e3 81 af e3  ................
6f20: 81 84 e3 81 a4 e3 81 8b e3 82 89 e4 bd bf e3 81  ................
6f30: 88 e3 82 8b e3 82 88 e3 81 86 e3 81 ab e3 81 aa  ................
6f40: e3 82 8b e3 81 8b e3 81 a8 e3 81 84 e3 81 86 e8  ................
6f50: a9 b1 e3 81 a7 e3 80 81 0a e3 81 93 e3 81 ae 20  ............... 
6f60: 3c 74 74 3e 40 6d 61 63 72 6f 20 74 77 69 63 65  <tt>@macro twice
6f70: 28 78 29 20 7b 78 3b 78 7d 20 69 6e 20 2e 2e 2e  (x) {x;x} in ...
6f80: 3c 2f 74 74 3e 20 e3 81 ae e9 83 a8 e5 88 86 e3  </tt> ..........
6f90: 81 af 20 3c 74 74 3e 40 76 61 6c 75 65 3c 2f 74  .. <tt>@value</t
6fa0: 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 ae e5  t> .............
6fb0: bc 8f e3 81 aa e3 81 ae e3 81 a7 e3 80 81 0a e3  ................
6fc0: 81 be e3 81 9a e3 81 93 e3 81 ae e5 bc 8f e5 85  ................
6fd0: a8 e4 bd 93 e3 81 ae e3 83 9e e3 82 af e3 83 ad  ................
6fe0: e5 b1 95 e9 96 8b e3 81 8c e7 b5 82 e3 82 8f e3  ................
6ff0: 81 a3 e3 81 9f e3 81 82 e3 81 a8 e3 81 ab e3 81  ................
7000: 97 e3 81 8b e5 ae 9f e8 a1 8c e3 81 95 e3 82 8c  ................
7010: e3 81 aa e3 81 84 e3 81 ae e3 81 a7 e3 81 99 e3  ................
7020: 80 82 3c 74 74 3e 74 77 69 63 65 3c 2f 74 74 3e  ..<tt>twice</tt>
7030: 0a e3 81 8c e3 83 9e e3 82 af e3 83 ad e3 81 a8  ................
7040: e8 a6 8b e3 81 aa e3 81 95 e3 82 8c e3 81 af e3  ................
7050: 81 98 e3 82 81 e3 82 8b e3 81 ae e3 81 af e3 80  ................
7060: 81 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e  .<tt>@macro</tt>
7070: 20 e5 ae 9f e8 a1 8c e3 81 8c e7 b5 82 e3 82 8f   ...............
7080: e3 81 a3 e3 81 9f e5 be 8c e3 80 82 0a e3 81 aa  ................
7090: e3 81 ae e3 81 a7 e3 80 81 0a e4 be 8b e3 81 88  ................
70a0: e3 81 b0 20 3c 74 74 3e 74 77 69 63 65 28 70 72  ... <tt>twice(pr
70b0: 69 6e 74 28 22 48 65 6c 6c 6f 22 29 29 3c 2f 74  int("Hello"))</t
70c0: 74 3e 20 e3 81 ae e9 83 a8 e5 88 86 e3 82 92 e7  t> .............
70d0: 84 a1 e5 90 8d e9 96 a2 e6 95 b0 e3 81 ab e3 83  ................
70e0: a9 e3 83 83 e3 83 97 e3 81 97 e3 81 a6 e3 82 84  ................
70f0: e3 82 8c e3 81 b0 e3 80 81 0a e3 83 9e e3 82 af  ................
7100: e3 83 ad e5 b1 95 e9 96 8b e3 82 92 e9 81 85 e3  ................
7110: 82 89 e3 81 9b e3 82 89 e3 82 8c e3 81 a6 e3 80  ................
7120: 81 20 e3 81 a1 e3 82 83 e3 82 93 e3 81 a8 e5 ae  . ..............
7130: 9f e8 a1 8c e3 81 8c e3 81 a7 e3 81 8d e3 81 be  ................
7140: e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a  .......</p>.<p>.
7150: e3 81 93 e3 82 8c e3 81 a0 e3 81 a8 e4 bd 99 e3  ................
7160: 82 8a e3 81 ab e3 82 82 e4 b8 8d e4 be bf e3 81  ................
7170: aa e3 81 ae e3 81 a7 e3 80 81 e9 96 a2 e6 95 b0  ................
7180: e3 81 ae e3 83 88 e3 83 83 e3 83 97 e3 83 ac e3  ................
7190: 83 99 e3 83 ab e3 81 ae e5 a4 89 e6 95 b0 e5 ae  ................
71a0: a3 e8 a8 80 e5 bc 8f e3 81 ae e5 88 97 e3 81 ab  ................
71b0: e3 81 a4 e3 81 84 e3 81 a6 e3 81 a0 e3 81 91 e3  ................
71c0: 81 af e3 80 81 0a 3c 74 74 3e 40 6d 61 63 72 6f  ......<tt>@macro
71d0: 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 40 76  </tt> ... <tt>@v
71e0: 61 6c 75 65 3c 2f 74 74 3e 20 e3 81 ae e8 a9 95  alue</tt> ......
71f0: e4 be a1 e3 82 92 e4 ba a4 e4 ba 92 e3 81 ab e3  ................
7200: 82 a4 e3 83 b3 e3 82 bf e3 83 bc e3 83 aa e3 83  ................
7210: bc e3 83 96 e3 81 99 e3 82 8b e3 82 88 e3 81 86  ................
7220: e3 81 ab e3 81 97 e3 81 be e3 81 97 e3 81 9f e3  ................
7230: 80 82 0a e3 80 8c e9 96 a2 e6 95 b0 e3 82 84 52  ...............R
7240: 45 50 4c e3 81 ae e3 83 88 e3 83 83 e3 83 97 e3  EPL.............
7250: 83 ac e3 83 99 e3 83 ab e3 81 ae e6 9c 80 e5 88  ................
7260: 9d e3 81 ab e5 ae a3 e8 a8 80 e3 81 97 e3 81 9f  ................
7270: e3 83 9e e3 82 af e3 83 ad e3 81 a0 e3 81 91 e3  ................
7280: 81 af e3 80 81 e3 81 9d e3 81 ae e9 96 a2 e6 95  ................
7290: b0 e5 86 85 e3 81 a7 e5 8d b3 e5 ba a7 e3 81 ab  ................
72a0: e4 bd bf e3 81 88 e3 82 8b e3 80 8d e3 82 8f e3  ................
72b0: 81 91 e3 81 a7 e3 81 99 e3 80 82 0a e3 81 93 e3  ................
72c0: 82 8c e3 82 82 20 53 63 68 65 6d 65 20 e3 81 ae  ..... Scheme ...
72d0: 20 6c 65 74 2d 73 79 6e 74 61 78 20 e3 81 aa e3   let-syntax ....
72e0: 81 a9 e3 81 aa e3 81 a9 e3 81 ae e5 8b 95 e3 81  ................
72f0: 8d e3 82 92 e8 aa bf e3 81 b9 e3 81 a6 e5 8b 89  ................
7300: e5 bc b7 e3 81 97 e3 81 aa e3 81 84 e3 81 a8 e2  ................
7310: 80 a6 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 29 0a  ......</p>.)).).
7320: 29 29 0a 0a 0a 24 28 53 45 43 54 49 4f 4e 20 42  ))...$(SECTION B
7330: 75 69 6c 74 2d 69 6e 20 50 72 69 6d 69 74 69 76  uilt-in Primitiv
7340: 65 73 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70  es, $(SECBODY.<p
7350: 3e 0a e7 b5 84 e3 81 bf e8 be bc e3 81 bf e9 96  >...............
7360: a2 e6 95 b0 e3 83 bb e5 a4 89 e6 95 b0 e3 81 ae  ................
7370: e4 b8 80 e8 a6 a7 e3 80 82 0a 3c 2f 70 3e 0a 24  ..........</p>.$
7380: 28 44 44 4f 43 5f 4d 45 4d 42 45 52 53 0a 0a 24  (DDOC_MEMBERS..$
7390: 28 53 45 43 54 49 4f 4e 20 e3 83 86 e3 83 bc e3  (SECTION .......
73a0: 83 96 e3 83 ab e6 93 8d e4 bd 9c 2c 20 24 28 53  ..........., $(S
73b0: 45 43 42 4f 44 59 0a 20 20 24 28 54 41 42 4c 45  ECBODY.  $(TABLE
73c0: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 7b  .    $(TR $(TH {
73d0: 7d 29 20 24 28 54 44 20 28 29 29 20 24 28 54 44  }) $(TD ()) $(TD
73e0: 20 e7 a9 ba e3 81 ae e3 83 86 e3 83 bc e3 83 96   ...............
73f0: e3 83 ab e3 82 92 e4 bd 9c e3 82 8b 29 29 0a 20  ............)). 
7400: 20 20 20 24 28 54 52 20 24 28 54 48 20 2e 29 20     $(TR $(TH .) 
7410: 24 28 54 44 20 28 74 2c 20 73 29 29 20 24 28 54  $(TD (t, s)) $(T
7420: 44 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab 20 74  D ............ t
7430: 20 e3 81 ae e5 90 8d e5 89 8d 20 73 20 e3 81 ae   ......... s ...
7440: e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3  ................
7450: 81 ae e5 80 a4 e3 82 92 e5 8f 96 e5 be 97 e3 80  ................
7460: 82 e3 81 aa e3 81 91 e3 82 8c e3 81 b0 20 3c 74  ............. <t
7470: 74 3e 75 6e 64 65 66 69 6e 65 64 3c 2f 74 74 3e  t>undefined</tt>
7480: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48  )).    $(TR $(TH
7490: 20 2e 3f 29 20 24 28 54 44 20 28 74 2c 20 73 29   .?) $(TD (t, s)
74a0: 29 20 24 28 54 44 20 e3 83 86 e3 83 bc e3 83 96  ) $(TD .........
74b0: e3 83 ab 20 74 20 e3 81 ab e5 90 8d e5 89 8d 20  ... t ......... 
74c0: 73 20 e3 81 ae e3 83 95 e3 82 a3 e3 83 bc e3 83  s ..............
74d0: ab e3 83 89 e3 81 8c e3 81 82 e3 82 8c e3 81 b0  ................
74e0: 20 31 e3 80 81 e3 81 aa e3 81 91 e3 82 8c e3 81   1..............
74f0: b0 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 24  . 0)).    $(TR $
7500: 28 54 48 20 2e 3d 29 20 24 28 54 44 20 28 74 2c  (TH .=) $(TD (t,
7510: 20 73 2c 20 76 29 29 20 24 28 54 44 20 e3 83 86   s, v)) $(TD ...
7520: e3 83 bc e3 83 96 e3 83 ab 20 74 20 e3 82 92 e8  ......... t ....
7530: a6 aa e3 81 ab e6 8c 81 e3 81 a1 e3 80 81 e5 90  ................
7540: 8d e5 89 8d 20 73 20 e3 81 ae e3 83 95 e3 82 a3  .... s .........
7550: e3 83 bc e3 83 ab e3 83 89 e3 81 ab 20 76 20 e3  ............ v .
7560: 81 8c e5 85 a5 e3 81 a3 e3 81 9f e3 83 86 e3 83  ................
7570: bc e3 83 96 e3 83 ab e3 82 92 e4 bd 9c e3 82 8b  ................
7580: 29 29 0a 20 20 29 0a 29 29 0a 3c 62 72 20 2f 3e  )).  ).)).<br />
7590: 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e5 88 b6 e5  ..$(SECTION ....
75a0: be a1 e3 83 95 e3 83 ad e3 83 bc 2c 20 24 28 53  ..........., $(S
75b0: 45 43 42 4f 44 59 0a 20 20 24 28 54 41 42 4c 45  ECBODY.  $(TABLE
75c0: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 69  .    $(TR $(TH i
75d0: 66 29 20 24 28 54 44 20 28 6e 2c 20 66 74 2c 20  f) $(TD (n, ft, 
75e0: 66 65 29 29 20 24 28 54 44 20 6e 20 e3 81 8c e9  fe)) $(TD n ....
75f0: 9d 9e 20 30 20 e3 81 aa e3 82 89 20 3c 74 74 3e  .. 0 ...... <tt>
7600: 66 74 28 29 3c 2f 74 3e e3 80 81 30 20 e3 81 aa  ft()</t>...0 ...
7610: e3 82 89 20 3c 74 74 3e 66 65 28 29 3c 2f 74 74  ... <tt>fe()</tt
7620: 3e 20 e3 82 92 e5 ae 9f e8 a1 8c 29 29 0a 20 20  > .........)).  
7630: 29 0a 29 29 0a 3c 62 72 20 2f 3e 0a 0a 24 28 53  ).)).<br />..$(S
7640: 45 43 54 49 4f 4e 20 e6 bc 94 e7 ae 97 2c 20 24  ECTION ......, $
7650: 28 53 45 43 42 4f 44 59 0a 20 20 24 28 54 41 42  (SECBODY.  $(TAB
7660: 4c 45 0a 20 20 20 20 24 28 54 52 20 24 28 54 48  LE.    $(TR $(TH
7670: 20 2b 29 20 24 28 54 44 20 28 6e 2c 20 6d 29 29   +) $(TD (n, m))
7680: 20 24 28 54 44 20 e6 95 b4 e6 95 b0 20 6e 20 e3   $(TD ...... n .
7690: 81 a8 e6 95 b4 e6 95 b0 20 6d 20 e3 82 92 e8 b6  ........ m .....
76a0: b3 e3 81 97 e3 81 a6 e8 bf 94 e3 81 99 29 29 0a  .............)).
76b0: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 2d 29      $(TR $(TH -)
76c0: 20 24 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 28   $(TD (n, m)) $(
76d0: 54 44 20 e6 95 b4 e6 95 b0 e3 81 ae e5 bc 95 e3  TD .............
76e0: 81 8d e7 ae 97 29 29 0a 20 20 20 20 24 28 54 52  .....)).    $(TR
76f0: 20 24 28 54 48 20 2a 29 20 24 28 54 44 20 28 6e   $(TH *) $(TD (n
7700: 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95  , m)) $(TD .....
7710: b0 e3 81 ae e6 8e 9b e3 81 91 e7 ae 97 29 29 0a  .............)).
7720: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 2f 29      $(TR $(TH /)
7730: 20 24 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 28   $(TD (n, m)) $(
7740: 54 44 20 e6 95 b4 e6 95 b0 e3 81 ae e5 89 b2 e3  TD .............
7750: 82 8a e7 ae 97 29 29 0a 20 20 20 20 24 28 54 52  .....)).    $(TR
7760: 20 24 28 54 48 20 25 29 20 24 28 54 44 20 28 6e   $(TH %) $(TD (n
7770: 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95  , m)) $(TD .....
7780: b0 e3 81 ae e5 89 b0 e4 bd 99 29 29 0a 20 20 20  ..........)).   
7790: 20 24 28 54 52 20 24 28 54 48 20 26 61 6d 70 3b   $(TR $(TH &amp;
77a0: 26 61 6d 70 3b 29 20 24 28 54 44 20 28 6e 2c 20  &amp;) $(TD (n, 
77b0: 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 20  m)) $(TD ...... 
77c0: 6e 20 e3 81 a8 20 6d 20 e3 81 8c e4 b8 a1 e6 96  n ... m ........
77d0: b9 e9 9d 9e 20 30 20 e3 81 aa e3 82 89 20 31 e3  .... 0 ...... 1.
77e0: 80 81 e3 81 9d e3 82 8c e4 bb a5 e5 a4 96 e3 81  ................
77f0: a7 e3 81 af 20 30 29 29 0a 20 20 20 20 24 28 54  .... 0)).    $(T
7800: 52 20 24 28 54 48 20 7c 7c 29 20 24 28 54 44 20  R $(TH ||) $(TD 
7810: 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 b4  (n, m)) $(TD ...
7820: e6 95 b0 20 6e 20 e3 81 a8 20 6d 20 e3 81 8c e3  ... n ... m ....
7830: 81 a9 e3 81 a1 e3 82 89 e3 81 8b e9 9d 9e 20 30  .............. 0
7840: 20 e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 9d e3   ...... 1.......
7850: 82 8c e4 bb a5 e5 a4 96 e3 81 a7 e3 81 af 20 30  .............. 0
7860: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48  )).    $(TR $(TH
7870: 20 7e 29 20 24 28 54 44 20 28 61 2c 20 62 29 29   ~) $(TD (a, b))
7880: 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 e3 82   $(TD a ... b ..
7890: 92 e6 96 87 e5 ad 97 e5 88 97 e5 8c 96 e3 81 97  ................
78a0: e3 81 a6 e7 b5 90 e5 90 88 29 29 0a 20 20 20 20  .........)).    
78b0: 24 28 54 52 20 24 28 54 48 20 26 6c 74 3b 29 20  $(TR $(TH &lt;) 
78c0: 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 28 54  $(TD (a, b)) $(T
78d0: 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94  D a ... b ......
78e0: e8 bc 83 29 29 0a 20 20 20 20 24 28 54 52 20 24  ...)).    $(TR $
78f0: 28 54 48 20 26 6c 74 3b 3d 29 20 24 28 54 44 20  (TH &lt;=) $(TD 
7900: 28 61 2c 20 62 29 29 20 24 28 54 44 20 61 20 e3  (a, b)) $(TD a .
7910: 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 29 29  .. b .........))
7920: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 26  .    $(TR $(TH &
7930: 67 74 3b 29 20 24 28 54 44 20 28 61 2c 20 62 29  gt;) $(TD (a, b)
7940: 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 e3  ) $(TD a ... b .
7950: 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 20 20 24  ........)).    $
7960: 28 54 52 20 24 28 54 48 20 26 67 74 3b 3d 29 20  (TR $(TH &gt;=) 
7970: 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 28 54  $(TD (a, b)) $(T
7980: 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94  D a ... b ......
7990: e8 bc 83 29 29 0a 20 20 20 20 24 28 54 52 20 24  ...)).    $(TR $
79a0: 28 54 48 20 3d 3d 29 20 24 28 54 44 20 28 61 2c  (TH ==) $(TD (a,
79b0: 20 62 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20   b)) $(TD a ... 
79c0: 62 20 e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20  b .........)).  
79d0: 20 20 24 28 54 52 20 24 28 54 48 20 21 3d 29 20    $(TR $(TH !=) 
79e0: 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 28 54  $(TD (a, b)) $(T
79f0: 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94  D a ... b ......
7a00: e8 bc 83 29 29 0a 20 20 29 0a 3c 70 3e 0a e6 b3  ...)).  ).<p>...
7a10: a8 e6 84 8f e7 82 b9 e3 81 a8 e3 81 97 e3 81 a6  ................
7a20: e3 80 81 e4 bd 9c e8 80 85 e3 81 ae e8 b6 a3 e5  ................
7a30: 91 b3 e3 81 ae e5 95 8f e9 a1 8c e3 81 a7 e3 80  ................
7a40: 81 3c 74 74 3e 26 61 6d 70 3b 26 61 6d 70 3b 3c  .<tt>&amp;&amp;<
7a50: 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 7c 7c 3c  /tt> ... <tt>||<
7a60: 2f 74 74 3e 20 e3 81 af 20 73 68 6f 72 74 2d 63  /tt> ... short-c
7a70: 69 72 63 75 69 74 20 e8 a9 95 e4 be a1 e3 82 92  ircuit .........
7a80: e3 81 97 e3 81 be e3 81 9b e3 82 93 e3 80 82 0a  ................
7a90: e6 95 b4 e6 95 b0 e6 bc 94 e7 ae 97 e3 81 ae e7  ................
7aa0: a8 ae e9 a1 9e e3 81 8c e5 b0 91 e3 81 aa e3 81  ................
7ab0: 84 e3 81 ae e3 81 af e3 80 81 44 20 e8 a8 80 e8  ..........D ....
7ac0: aa 9e e3 81 ae 20 73 74 64 2e 62 69 67 69 6e 74  ..... std.bigint
7ad0: 20 e3 81 8c e3 83 93 e3 83 83 e3 83 88 e6 bc 94   ...............
7ae0: e7 ae 97 e3 81 aa e3 81 a9 e3 82 92 e3 82 b5 e3  ................
7af0: 83 9d e3 83 bc e3 83 88 e3 81 97 e3 81 a6 e3 81  ................
7b00: aa e3 81 84 e3 81 9f e3 82 81 e3 81 a7 e3 81 99  ................
7b10: e3 80 82 0a e6 96 87 e5 ad 97 e5 88 97 e3 81 8c  ................
7b20: e7 b5 90 e5 90 88 e3 81 97 e3 81 8b e3 81 a7 e3  ................
7b30: 81 8d e3 81 aa e3 81 84 e3 81 ae e3 81 af e3 80  ................
7b40: 81 e5 8d 98 e3 81 ab e6 89 8b e6 8a 9c e3 81 8d  ................
7b50: e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29  ..........</p>.)
7b60: 29 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e5 a4 96  )..$(SECTION ...
7b70: e9 83 a8 e3 81 a8 e3 81 ae e3 82 84 e3 82 8a e3  ................
7b80: 81 a8 e3 82 8a 2c 20 24 28 53 45 43 42 4f 44 59  ....., $(SECBODY
7b90: 0a 20 20 24 28 54 41 42 4c 45 0a 20 20 20 20 24  .  $(TABLE.    $
7ba0: 28 54 52 20 24 28 54 48 20 70 72 69 6e 74 29 20  (TR $(TH print) 
7bb0: 24 28 54 44 20 28 61 29 29 20 24 28 54 44 20 61  $(TD (a)) $(TD a
7bc0: 20 e3 82 92 e6 96 87 e5 ad 97 e5 88 97 e5 8c 96   ...............
7bd0: e6 a8 99 e6 ba 96 e5 87 ba e5 8a 9b e3 81 ab e6  ................
7be0: 94 b9 e8 a1 8c e4 bb 98 e3 81 8d e3 81 a7 e8 a1  ................
7bf0: a8 e7 a4 ba e3 81 97 e3 81 a6 e3 80 81 61 20 e3  .............a .
7c00: 82 92 e8 bf 94 e3 81 99 29 29 0a 20 20 20 20 24  ........)).    $
7c10: 28 54 52 20 24 28 54 48 20 61 72 67 76 29 20 24  (TR $(TH argv) $
7c20: 28 54 44 20 29 20 24 28 54 44 20 e3 82 b9 e3 82  (TD ) $(TD .....
7c30: af e3 83 aa e3 83 97 e3 83 88 e3 81 ab e6 b8 a1  ................
7c40: e3 81 95 e3 82 8c e3 81 9f e5 bc 95 e6 95 b0 e6  ................
7c50: 96 87 e5 ad 97 e5 88 97 e3 81 ae 63 6f 6e 73 e3  ...........cons.
7c60: 83 aa e3 82 b9 e3 83 88 29 29 0a 20 20 20 20 24  ........)).    $
7c70: 28 54 52 20 24 28 54 48 20 67 65 6e 73 79 6d 29  (TR $(TH gensym)
7c80: 20 24 28 54 44 20 28 29 29 20 24 28 54 44 20 e3   $(TD ()) $(TD .
7c90: 82 a8 e3 82 bb 67 65 6e 73 79 6d e3 80 82 e5 a4  .....gensym.....
7ca0: 89 e6 95 b0 e5 90 8d e3 81 a8 e3 81 97 e3 81 a6  ................
7cb0: e4 bb 96 e3 81 a8 e3 81 8b e3 81 b6 e3 82 89 e3  ................
7cc0: 81 aa e3 81 9d e3 81 86 e3 81 aa e6 96 87 e5 ad  ................
7cd0: 97 e5 88 97 e3 82 92 e8 bf 94 e3 81 97 e3 81 be  ................
7ce0: e3 81 99 29 29 0a 20 20 20 20 24 28 54 52 20 24  ...)).    $(TR $
7cf0: 28 54 48 20 72 61 6e 64 29 20 24 28 54 44 20 28  (TH rand) $(TD (
7d00: 6e 29 29 20 24 28 54 44 20 30 20 e4 bb a5 e4 b8  n)) $(TD 0 .....
7d10: 8a 20 6e 20 e6 9c aa e6 ba 80 e3 81 ae e8 87 aa  . n ............
7d20: e7 84 b6 e6 95 b0 e3 82 92 33 31 62 69 74 e4 bb  .........31bit..
7d30: a5 e5 86 85 e3 81 a7 e3 83 a9 e3 83 b3 e3 83 80  ................
7d40: e3 83 a0 e3 81 ab e7 94 9f e6 88 90 e3 81 97 e3  ................
7d50: 81 be e3 81 99 29 29 0a 20 20 29 0a 29 29 0a 3c  .....)).  ).)).<
7d60: 62 72 20 2f 3e 0a 0a 24 28 53 45 43 54 49 4f 4e  br />..$(SECTION
7d70: 20 e3 83 87 e3 83 bc e3 82 bf e5 9e 8b e5 88 a4   ...............
7d80: e5 ae 9a 2c 20 24 28 53 45 43 42 4f 44 59 0a 20  ..., $(SECBODY. 
7d90: 20 24 28 54 41 42 4c 45 0a 20 20 20 20 24 28 54   $(TABLE.    $(T
7da0: 52 20 24 28 54 48 20 5f 69 73 69 6e 74 29 20 24  R $(TH _isint) $
7db0: 28 54 44 20 28 61 29 29 20 24 28 54 44 20 61 20  (TD (a)) $(TD a 
7dc0: e3 81 8c e6 95 b4 e6 95 b0 e3 81 aa e3 82 89 20  ............... 
7dd0: 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c  1...............
7de0: e3 81 b0 20 30 29 29 0a 20 20 20 20 24 28 54 52  ... 0)).    $(TR
7df0: 20 24 28 54 48 20 5f 69 73 73 74 72 29 20 24 28   $(TH _isstr) $(
7e00: 54 44 20 28 61 29 29 20 24 28 54 44 20 61 20 e3  TD (a)) $(TD a .
7e10: 81 8c e6 96 87 e5 ad 97 e5 88 97 e3 81 aa e3 82  ................
7e20: 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3  . 1.............
7e30: 82 8c e3 81 b0 20 30 29 29 0a 20 20 20 20 24 28  ..... 0)).    $(
7e40: 54 52 20 24 28 54 48 20 5f 69 73 66 75 6e 29 20  TR $(TH _isfun) 
7e50: 24 28 54 44 20 28 61 29 29 20 24 28 54 44 20 61  $(TD (a)) $(TD a
7e60: 20 e3 81 8c e9 96 a2 e6 95 b0 e3 81 aa e3 82 89   ...............
7e70: 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82   1..............
7e80: 8c e3 81 b0 20 30 29 29 0a 20 20 20 20 24 28 54  .... 0)).    $(T
7e90: 52 20 24 28 54 48 20 5f 69 73 74 62 6c 29 20 24  R $(TH _istbl) $
7ea0: 28 54 44 20 28 61 29 29 20 24 28 54 44 20 61 20  (TD (a)) $(TD a 
7eb0: e3 81 8c e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3  ................
7ec0: 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa  ..... 1.........
7ed0: e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 20  ......... 0)).  
7ee0: 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 73 62    $(TR $(TH _isb
7ef0: 6f 74 29 20 24 28 54 44 20 28 61 29 29 20 24 28  ot) $(TD (a)) $(
7f00: 54 44 20 61 20 e3 81 8c e6 9c aa e5 ae 9a e7 be  TD a ...........
7f10: a9 e5 80 a4 e3 81 aa e3 82 89 20 31 e3 80 81 e3  .......... 1....
7f20: 81 a7 e3 81 aa e3 81 91 e3 82 8c e3 81 b0 20 30  .............. 0
7f30: 29 29 0a 20 20 29 0a 29 29 0a 29 0a 29 29 0a 0a  )).  ).)).).))..
7f40: 29 0a 4d 61 63 72 6f 73 3a 0a 20 20 20 20 54 49  ).Macros:.    TI
7f50: 54 4c 45 3d 50 6f 6c 65 6d 79 20 52 65 66 65 72  TLE=Polemy Refer
7f60: 65 6e 63 65 20 4d 61 6e 75 61 6c 0a 20 20 20 20  ence Manual.    
7f70: 44 4f 43 46 49 4c 45 4e 41 4d 45 3d 69 6e 64 65  DOCFILENAME=inde
7f80: 78 2e 68 74 6d 6c 0a 20 20 20 20 53 45 43 54 49  x.html.    SECTI
7f90: 4f 4e 3d 24 28 44 44 4f 43 5f 44 45 43 4c 20 24  ON=$(DDOC_DECL $
7fa0: 28 44 44 4f 43 5f 50 53 59 4d 42 4f 4c 20 24 31  (DDOC_PSYMBOL $1
7fb0: 29 29 20 24 28 44 44 4f 43 5f 44 45 43 4c 5f 44  )) $(DDOC_DECL_D
7fc0: 44 20 24 32 29 0a 20 20 20 20 53 45 43 42 4f 44  D $2).    SECBOD
7fd0: 59 3d 24 30 0a                                   Y=$0.