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>&&
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 72 65 3e 0a 5b 4c 61 79 65 72 73 20 Y.<pre>.[Layers
2c60: 3a 3a 20 4f 76 65 72 76 69 65 77 5d 0a 0a 20 20 :: Overview]..
2c70: 50 6f 6c 65 6d 79 27 73 20 72 75 6e 74 69 6d 65 Polemy's runtime
2c80: 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 20 68 61 73 environment has
2c90: 20 6d 61 6e 79 20 22 6c 61 79 65 72 22 73 2e 0a many "layer"s..
2ca0: 20 20 55 73 75 61 6c 20 65 78 65 63 75 74 69 6f Usual executio
2cb0: 6e 20 72 75 6e 20 69 6e 20 74 68 65 20 40 76 61 n run in the @va
2cc0: 6c 75 65 20 6c 61 79 65 72 2e 0a 0a 20 20 20 20 lue layer...
2cd0: 3e 3e 20 31 20 2b 20 32 0a 20 20 20 20 33 0a 20 >> 1 + 2. 3.
2ce0: 20 20 20 3e 3e 20 40 76 61 6c 75 65 28 20 31 20 >> @value( 1
2cf0: 2b 20 32 20 29 0a 20 20 20 20 33 0a 0a 20 20 48 + 2 ). 3.. H
2d00: 65 72 65 20 79 6f 75 20 63 61 6e 20 73 65 65 20 ere you can see
2d10: 74 68 61 74 20 40 4c 61 79 65 72 4e 61 6d 65 28 that @LayerName(
2d20: 20 45 78 70 72 65 73 73 69 6f 6e 20 29 20 65 78 Expression ) ex
2d30: 65 63 75 74 65 73 20 74 68 65 20 69 6e 6e 65 72 ecutes the inner
2d40: 20 45 78 70 72 65 73 73 69 6f 6e 20 69 6e 0a 20 Expression in.
2d50: 20 74 68 65 20 40 4c 61 79 65 72 4e 61 6d 65 20 the @LayerName
2d60: 6c 61 79 65 72 2e 20 4f 74 68 65 72 20 74 68 61 layer. Other tha
2d70: 6e 20 40 76 61 6c 75 65 2c 20 6f 6e 65 20 6f 74 n @value, one ot
2d80: 68 65 72 20 70 72 65 64 65 66 69 6e 65 64 20 6c her predefined l
2d90: 61 79 65 72 20 65 78 69 73 74 73 3a 20 40 6d 61 ayer exists: @ma
2da0: 63 72 6f 2e 0a 0a 20 20 20 20 3e 3e 20 40 6d 61 cro... >> @ma
2db0: 63 72 6f 28 20 31 2b 32 20 29 0a 20 20 20 20 7b cro( 1+2 ). {
2dc0: 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e pos@value:{linen
2dd0: 6f 40 76 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d o@value:3, colum
2de0: 6e 40 76 61 6c 75 65 3a 39 2c 20 66 69 6c 65 6e n@value:9, filen
2df0: 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 4c 3e ame@value:<REPL>
2e00: 7d 2c 0a 20 20 20 20 20 20 69 73 40 76 61 6c 75 },. is@valu
2e10: 65 3a 61 70 70 2c 0a 20 20 20 20 61 72 67 73 40 e:app,. args@
2e20: 76 61 6c 75 65 3a 7b 63 61 72 40 76 61 6c 75 65 value:{car@value
2e30: 3a 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e :{pos@value:{lin
2e40: 65 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 63 6f 6c eno@value:3, col
2e50: 75 6d 6e 40 76 61 6c 75 65 3a 39 2c 20 66 69 6c umn@value:9, fil
2e60: 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 ename@value:<REP
2e70: 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 20 L>},.
2e80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2e90: 20 69 73 40 76 61 6c 75 65 3a 69 6e 74 2c 0a 20 is@value:int,.
2ea0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2eb0: 20 20 20 20 20 20 20 20 20 64 61 74 61 40 76 61 data@va
2ec0: 6c 75 65 3a 31 7d 2c 0a 20 20 20 20 20 20 20 20 lue:1},.
2ed0: 20 20 20 20 20 20 20 20 63 64 72 40 76 61 6c 75 cdr@valu
2ee0: 65 3a 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20 e:{.
2ef0: 20 20 20 20 20 20 63 61 72 40 76 61 6c 75 65 3a car@value:
2f00: 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 {pos@value:{line
2f10: 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 no@value:3, colu
2f20: 6d 6e 40 76 61 6c 75 65 3a 31 31 2c 20 66 69 6c mn@value:11, fil
2f30: 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 ename@value:<REP
2f40: 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 20 L>},.
2f50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2f60: 20 20 20 69 73 40 76 61 6c 75 65 3a 69 6e 74 2c is@value:int,
2f70: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
2f80: 20 20 20 20 20 20 20 20 20 20 20 20 20 64 61 74 dat
2f90: 61 40 76 61 6c 75 65 3a 32 7d 2c 0a 20 20 20 20 a@value:2},.
2fa0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 63 64 cd
2fb0: 72 40 76 61 6c 75 65 3a 7b 7d 7d 7d 2c 0a 20 20 r@value:{}}},.
2fc0: 20 20 20 66 75 6e 40 76 61 6c 75 65 3a 7b 70 6f fun@value:{po
2fd0: 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 s@value:{lineno@
2fe0: 76 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 value:3, column@
2ff0: 76 61 6c 75 65 3a 31 30 2c 20 66 69 6c 65 6e 61 value:10, filena
3000: 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d me@value:<REPL>}
3010: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ,.
3020: 20 20 20 69 73 40 76 61 6c 75 65 3a 76 61 72 2c is@value:var,
3030: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
3040: 6e 61 6d 65 40 76 61 6c 75 65 3a 2b 7d 7d 0a 0a name@value:+}}..
3050: 20 20 28 53 6f 72 72 79 2c 20 74 68 69 73 20 70 (Sorry, this p
3060: 72 65 74 74 79 20 70 72 69 6e 74 69 6e 67 20 69 retty printing i
3070: 73 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c 65 20 s not available
3080: 6f 6e 20 74 68 65 20 61 63 74 75 61 6c 20 69 6e on the actual in
3090: 74 65 72 70 72 65 74 65 72 2e 2e 2e 29 0a 20 20 terpreter...).
30a0: 54 68 69 73 20 65 76 61 6c 75 61 74 65 73 20 74 This evaluates t
30b0: 68 65 20 65 78 70 72 65 73 73 69 6f 6e 20 31 2b he expression 1+
30c0: 32 20 69 6e 20 74 68 65 20 40 6d 61 63 72 6f 20 2 in the @macro
30d0: 6c 61 79 65 72 2e 20 49 6e 20 74 68 69 73 20 6c layer. In this l
30e0: 61 79 65 72 2c 20 74 68 65 20 6d 65 61 6e 69 6e ayer, the meanin
30f0: 67 20 6f 66 0a 20 20 74 68 65 20 70 72 6f 67 72 g of. the progr
3100: 61 6d 20 69 73 20 69 74 73 20 61 62 73 74 72 61 am is its abstra
3110: 63 74 20 73 79 6e 74 61 78 20 74 72 65 65 2e 0a ct syntax tree..
3120: 0a 20 20 59 6f 75 20 63 61 6e 20 69 6e 74 65 72 . You can inter
3130: 6c 65 61 76 65 20 6c 61 79 65 72 73 2e 0a 20 20 leave layers..
3140: 54 68 65 20 72 6f 6f 74 20 6e 6f 64 65 20 6f 66 The root node of
3150: 20 74 68 65 20 61 62 73 74 72 61 63 74 20 73 79 the abstract sy
3160: 6e 74 61 78 20 74 72 65 65 20 69 73 20 66 75 6e ntax tree is fun
3170: 63 74 69 6f 6e 20 22 61 70 70 22 6c 69 63 61 74 ction "app"licat
3180: 69 6f 6e 2e 0a 0a 20 20 20 20 3e 3e 20 40 76 61 ion... >> @va
3190: 6c 75 65 28 40 6d 61 63 72 6f 28 20 31 2b 32 20 lue(@macro( 1+2
31a0: 29 2e 69 73 29 0a 20 20 20 20 61 70 70 0a 0a 0a ).is). app...
31b0: 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 44 65 66 69 .[Layers :: Defi
31c0: 6e 69 6e 67 20 61 20 6e 65 77 20 6c 61 79 65 72 ning a new layer
31d0: 5d 0a 0a 20 20 54 6f 20 64 65 66 69 6e 65 20 61 ].. To define a
31e0: 20 6e 65 77 20 6c 61 79 65 72 2c 20 79 6f 75 20 new layer, you
31f0: 73 68 6f 75 6c 64 20 66 69 72 73 74 20 74 65 6c should first tel
3200: 6c 20 68 6f 77 20 74 6f 20 22 6c 69 66 74 22 20 l how to "lift"
3210: 65 78 69 73 74 69 6e 67 20 76 61 6c 75 65 73 20 existing values
3220: 74 77 6f 20 74 68 65 20 6e 65 77 20 6c 61 79 65 two the new laye
3230: 72 2e 0a 20 20 4c 65 74 20 75 73 20 64 65 66 69 r.. Let us defi
3240: 6e 65 20 74 68 65 20 22 40 74 79 70 65 22 20 6c ne the "@type" l
3250: 61 79 65 72 2c 20 77 68 65 72 65 20 74 68 65 20 ayer, where the
3260: 6d 65 61 6e 69 6e 67 20 6f 66 20 70 72 6f 67 72 meaning of progr
3270: 61 6d 73 20 69 73 20 74 68 65 69 72 20 73 74 61 ams is their sta
3280: 74 69 63 20 74 79 70 65 2e 0a 0a 20 20 20 20 3e tic type... >
3290: 3e 20 40 40 74 79 70 65 20 3d 20 66 75 6e 28 78 > @@type = fun(x
32a0: 29 20 7b 0a 20 20 20 20 3e 3e 20 20 20 69 66 28 ) {. >> if(
32b0: 20 5f 69 73 69 6e 74 28 78 29 20 29 20 7b 20 22 _isint(x) ) { "
32c0: 69 6e 74 22 20 7d 20 65 6c 73 65 20 7b 0a 20 20 int" } else {.
32d0: 20 20 3e 3e 20 20 20 69 66 28 20 5f 69 73 66 75 >> if( _isfu
32e0: 6e 28 78 29 20 29 20 7b 20 78 20 7d 20 65 6c 73 n(x) ) { x } els
32f0: 65 20 7b 20 22 75 6e 6b 6e 6f 77 6e 22 20 7d 20 e { "unknown" }
3300: 7d 0a 20 20 20 20 3e 3e 20 7d 0a 20 20 20 20 28 }. >> }. (
3310: 4e 6f 74 65 3a 20 70 6f 6c 65 6d 79 20 52 45 50 Note: polemy REP
3320: 4c 20 6d 61 79 20 77 61 72 6e 20 73 6f 6d 65 20 L may warn some
3330: 65 78 63 65 70 74 69 6f 6e 20 68 65 72 65 20 62 exception here b
3340: 75 74 20 70 6c 65 61 73 65 20 69 67 6e 6f 72 65 ut please ignore
3350: 29 0a 0a 20 20 46 6f 72 20 73 69 6d 70 6c 69 63 ).. For simplic
3360: 69 74 79 2c 20 49 20 68 65 72 65 20 64 65 61 6c ity, I here deal
3370: 20 6f 6e 6c 79 20 77 69 74 68 20 69 6e 74 65 67 only with integ
3380: 65 72 73 2e 0a 20 20 5f 69 73 69 6e 74 20 69 73 ers.. _isint is
3390: 20 61 20 70 72 69 6d 69 74 69 76 65 20 66 75 6e a primitive fun
33a0: 63 74 69 6f 6e 20 6f 66 20 50 6f 6c 65 6d 79 20 ction of Polemy
33b0: 74 68 61 74 20 63 68 65 63 6b 73 20 74 68 65 20 that checks the
33c0: 64 79 6e 61 6d 69 63 20 74 79 70 65 20 6f 66 20 dynamic type of
33d0: 61 20 76 61 6c 75 65 2e 0a 20 20 46 6f 72 20 66 a value.. For f
33e0: 75 6e 63 74 69 6f 6e 2c 20 6c 65 61 76 69 6e 67 unction, leaving
33f0: 20 69 74 20 75 6e 74 6f 75 63 68 65 64 20 77 6f it untouched wo
3400: 72 6b 73 20 77 65 6c 6c 20 66 6f 72 20 61 6c 6d rks well for alm
3410: 6f 73 74 20 61 6c 6c 20 6c 61 79 65 72 73 2e 0a ost all layers..
3420: 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 28 20 31 . >> @type( 1
3430: 20 29 0a 20 20 20 20 69 6e 74 0a 20 20 20 20 3e ). int. >
3440: 3e 20 40 74 79 70 65 28 20 32 20 29 0a 20 20 20 > @type( 2 ).
3450: 20 69 6e 74 0a 20 20 20 20 3e 3e 20 40 74 79 70 int. >> @typ
3460: 65 28 20 22 66 6f 6f 22 20 29 0a 20 20 20 20 75 e( "foo" ). u
3470: 6e 6b 6e 6f 77 6e 0a 0a 20 20 46 69 6e 65 21 20 nknown.. Fine!
3480: 4c 65 74 27 73 20 74 72 79 20 74 6f 20 74 79 70 Let's try to typ
3490: 65 20 31 2b 32 2e 0a 0a 20 20 20 20 3e 3e 20 40 e 1+2... >> @
34a0: 74 79 70 65 28 20 31 20 2b 20 32 20 29 0a 20 20 type( 1 + 2 ).
34b0: 20 20 2e 2e 2e 5c 76 61 6c 75 65 2e 64 28 31 31 ...\value.d(11
34c0: 39 29 3a 20 5b 3c 52 45 50 4c 3e 3a 36 3a 38 5d 9): [<REPL>:6:8]
34d0: 20 6f 6e 6c 79 20 40 76 61 6c 75 65 20 6c 61 79 only @value lay
34e0: 65 72 20 63 61 6e 20 63 61 6c 6c 20 6e 61 74 69 er can call nati
34f0: 76 65 20 66 75 6e 63 74 69 6f 6e 0a 0a 20 20 4e ve function.. N
3500: 6f 74 65 20 74 68 61 74 20 74 68 65 20 62 65 68 ote that the beh
3510: 61 76 69 6f 72 20 6f 66 20 74 68 69 73 20 70 72 avior of this pr
3520: 6f 67 72 61 6d 20 69 73 0a 20 20 20 20 2d 20 72 ogram is. - r
3530: 75 6e 20 31 2b 32 20 69 6e 20 74 68 65 20 40 74 un 1+2 in the @t
3540: 79 70 65 20 6c 61 79 65 72 0a 20 20 61 6e 64 20 ype layer. and
3550: 4e 4f 54 0a 20 20 20 20 2d 20 72 75 6e 20 31 2b NOT. - run 1+
3560: 32 20 69 6e 20 40 76 61 6c 75 65 20 61 6e 64 20 2 in @value and
3570: 6f 62 74 61 69 6e 20 33 20 61 6e 64 20 72 75 6e obtain 3 and run
3580: 20 33 20 69 6e 20 74 68 65 20 40 74 79 70 65 2e 3 in the @type.
3590: 0a 20 20 54 68 65 20 70 72 6f 62 6c 65 6d 20 69 . The problem i
35a0: 73 2c 20 74 68 65 20 76 61 72 69 61 62 6c 65 20 s, the variable
35b0: 22 2b 22 20 69 73 20 64 65 66 69 6e 65 64 20 6f "+" is defined o
35c0: 6e 6c 79 20 69 6e 20 74 68 65 20 40 76 61 6c 75 nly in the @valu
35d0: 65 20 6c 61 79 65 72 2e 0a 20 20 54 6f 20 63 61 e layer.. To ca
35e0: 72 72 79 20 6f 75 74 20 63 6f 6d 70 75 74 61 74 rry out computat
35f0: 69 6f 6e 20 69 6e 20 74 68 65 20 40 74 79 70 65 ion in the @type
3600: 20 6c 61 79 65 72 2e 20 57 65 20 6e 65 65 64 20 layer. We need
3610: 74 6f 20 64 65 66 69 6e 65 20 69 74 20 61 6c 73 to define it als
3620: 6f 0a 20 20 69 6e 20 74 68 65 20 40 74 79 70 65 o. in the @type
3630: 20 6c 61 79 65 72 2e 0a 0a 20 20 54 6f 20 64 65 layer... To de
3640: 66 69 6e 65 20 73 6f 6d 65 20 76 61 72 69 61 62 fine some variab
3650: 6c 65 20 69 6e 20 61 20 73 70 65 63 69 66 69 63 le in a specific
3660: 20 6c 61 79 65 72 2c 20 75 73 65 20 40 4c 61 79 layer, use @Lay
3670: 65 72 4e 61 6d 65 20 69 6e 20 70 6c 61 63 65 20 erName in place
3680: 6f 66 0a 20 20 28 6c 65 74 7c 76 61 72 7c 64 65 of. (let|var|de
3690: 66 29 73 2e 0a 0a 20 20 20 20 3e 3e 20 6c 65 74 f)s... >> let
36a0: 20 78 20 3d 20 32 0a 20 20 20 20 3e 3e 20 40 76 x = 2. >> @v
36b0: 61 6c 75 65 20 78 20 3d 20 32 0a 20 20 20 20 3e alue x = 2. >
36c0: 3e 20 40 74 79 70 65 20 78 20 3d 20 22 69 6e 74 > @type x = "int
36d0: 22 0a 20 20 20 20 3e 3e 20 40 68 6f 67 65 20 78 ". >> @hoge x
36e0: 20 3d 20 22 66 75 67 61 22 0a 0a 20 20 46 6f 72 = "fuga".. For
36f0: 20 22 2b 22 2c 20 64 6f 20 69 74 20 6c 69 6b 65 "+", do it like
3700: 20 74 68 69 73 2e 0a 0a 20 20 20 20 3e 3e 20 40 this... >> @
3710: 74 79 70 65 20 22 2b 22 20 3d 20 66 75 6e 28 78 type "+" = fun(x
3720: 2c 79 29 20 7b 40 76 61 6c 75 65 28 0a 20 20 20 ,y) {@value(.
3730: 20 3e 3e 20 20 20 69 66 28 20 40 74 79 70 65 28 >> if( @type(
3740: 78 29 3d 3d 22 69 6e 74 22 20 26 26 20 40 74 79 x)=="int" && @ty
3750: 70 65 28 79 29 3d 3d 22 69 6e 74 22 20 29 20 7b pe(y)=="int" ) {
3760: 20 22 69 6e 74 22 20 7d 20 65 6c 73 65 20 7b 20 "int" } else {
3770: 22 74 79 70 65 65 72 72 6f 72 22 20 7d 0a 20 20 "typeerror" }.
3780: 20 20 3e 3e 20 29 7d 0a 20 20 20 20 70 6f 6c 65 >> )}. pole
3790: 6d 79 2e 76 61 6c 75 65 2e 6e 61 74 69 76 65 21 my.value.native!
37a0: 28 49 6e 74 56 61 6c 75 65 2c 49 6e 74 56 61 6c (IntValue,IntVal
37b0: 75 65 2c 49 6e 74 56 61 6c 75 65 29 2e 6e 61 74 ue,IntValue).nat
37c0: 69 76 65 2e 5f 5f 61 6e 6f 6e 63 6c 61 73 73 32 ive.__anonclass2
37d0: 34 0a 0a 20 20 49 74 20 69 73 20 6a 75 73 74 20 4.. It is just
37e0: 63 6f 6d 70 75 74 69 6e 67 20 74 68 65 20 72 65 computing the re
37f0: 74 75 72 6e 20 74 79 70 65 20 66 72 6f 6d 20 74 turn type from t
3800: 68 65 20 69 6e 70 75 74 20 74 79 70 65 2e 0a 20 he input type..
3810: 20 4e 6f 74 20 68 65 72 65 20 74 68 61 74 20 74 Not here that t
3820: 68 65 20 69 6e 74 65 6e 64 65 64 20 22 6d 65 61 he intended "mea
3830: 6e 69 6e 67 22 20 6f 66 20 69 66 2d 74 68 65 6e ning" of if-then
3840: 2d 65 6c 73 65 20 69 73 20 74 68 65 20 72 75 6e -else is the run
3850: 74 69 6d 65 2d 62 72 61 6e 63 68 69 6e 67 2c 0a time-branching,.
3860: 20 20 61 6e 64 20 74 68 65 20 6d 65 61 6e 69 6e and the meanin
3870: 67 20 6f 66 20 22 3d 3d 22 20 69 73 20 74 68 65 g of "==" is the
3880: 20 76 61 6c 75 65 2d 63 6f 6d 70 61 72 69 73 6f value-compariso
3890: 6e 2e 20 54 68 65 73 65 20 61 72 65 20 74 68 65 n. These are the
38a0: 20 40 76 61 6c 75 65 20 6c 61 79 65 72 0a 20 20 @value layer.
38b0: 62 65 68 61 76 69 6f 72 2e 20 53 6f 20 77 65 20 behavior. So we
38c0: 68 61 76 65 20 64 65 66 69 6e 65 64 20 74 68 65 have defined the
38d0: 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 20 69 function body i
38e0: 6e 73 69 64 65 20 40 76 61 6c 75 65 20 6c 61 79 nside @value lay
38f0: 65 72 2e 0a 20 20 42 75 74 20 77 68 65 6e 20 77 er.. But when w
3900: 65 20 72 65 66 65 72 20 74 68 65 20 76 61 72 69 e refer the vari
3910: 61 62 6c 65 73 20 78 20 61 6e 64 20 79 2c 20 77 ables x and y, w
3920: 65 20 6e 65 65 64 20 69 74 73 20 40 74 79 70 65 e need its @type
3930: 20 6c 61 79 65 72 20 6d 65 61 6e 69 6e 67 2e 0a layer meaning..
3940: 20 20 48 65 6e 63 65 20 77 65 20 75 73 65 20 40 Hence we use @
3950: 74 79 70 65 28 29 20 74 68 65 72 65 2e 0a 0a 20 type() there...
3960: 20 4e 6f 77 20 77 65 20 67 65 74 20 69 74 2e 0a Now we get it..
3970: 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 28 20 31 . >> @type( 1
3980: 20 2b 20 32 20 29 0a 20 20 20 20 69 6e 74 0a 0a + 2 ). int..
3990: 20 20 57 65 6c 6c 2c 20 62 75 74 20 64 6f 20 77 Well, but do w
39a0: 65 20 68 61 76 65 20 74 6f 20 64 65 66 69 6e 65 e have to define
39b0: 20 74 68 65 20 40 74 79 70 65 20 6c 61 79 65 72 the @type layer
39c0: 20 6d 65 61 6e 69 6e 67 20 66 6f 72 20 65 76 65 meaning for eve
39d0: 72 79 20 76 61 72 69 61 62 6c 65 73 3f 3f 3f 0a ry variables???.
39e0: 20 20 4e 6f 2e 20 41 66 74 65 72 20 79 6f 75 20 No. After you
39f0: 64 65 66 69 6e 65 64 20 40 74 79 70 65 20 22 2b defined @type "+
3a00: 22 2c 20 79 6f 75 27 6c 6c 20 61 75 74 6f 6d 61 ", you'll automa
3a10: 74 69 63 61 6c 6c 79 20 67 65 74 20 74 68 65 20 tically get the
3a20: 66 6f 6c 6c 6f 77 69 6e 67 3a 0a 0a 20 20 20 20 following:..
3a30: 3e 3e 20 64 65 66 20 64 6f 75 62 6c 65 28 78 29 >> def double(x)
3a40: 20 7b 20 78 20 2b 20 78 20 7d 0a 20 20 20 20 28 { x + x }. (
3a50: 66 75 6e 63 74 69 6f 6e 3a 31 37 65 34 37 34 30 function:17e4740
3a60: 3a 31 37 38 39 37 32 30 29 0a 0a 20 20 20 20 3e :1789720).. >
3a70: 3e 20 40 74 79 70 65 28 20 64 6f 75 62 6c 65 28 > @type( double(
3a80: 31 32 33 29 20 29 0a 20 20 20 20 69 6e 74 0a 0a 123) ). int..
3a90: 20 20 45 76 65 72 79 20 75 73 65 72 2d 64 65 66 Every user-def
3aa0: 69 6e 65 64 20 66 75 6e 63 74 69 6f 6e 73 20 61 ined functions a
3ab0: 72 65 20 61 75 74 6f 6d 61 74 69 63 61 6c 6c 79 re automatically
3ac0: 20 22 6c 69 66 74 22 65 64 20 74 6f 20 74 68 65 "lift"ed to the
3ad0: 20 61 70 70 72 6f 70 72 69 61 74 65 20 6c 61 79 appropriate lay
3ae0: 65 72 2e 0a 20 20 4f 6e 6c 79 20 70 72 69 6d 69 er.. Only primi
3af0: 74 69 76 65 20 66 75 6e 63 74 69 6f 6e 73 20 6c tive functions l
3b00: 69 6b 65 20 22 2b 22 20 72 65 71 75 69 72 65 73 ike "+" requires
3b10: 20 40 79 6f 75 72 4e 65 77 4c 61 79 65 72 20 61 @yourNewLayer a
3b20: 6e 6e 6f 74 61 74 69 6f 6e 2e 0a 0a 0a 0a 5b 4c nnotation.....[L
3b30: 61 79 65 72 73 20 3a 3a 20 6e 65 75 74 72 61 6c ayers :: neutral
3b40: 2d 6c 61 79 65 72 5d 0a 0a 20 20 6c 65 74 7c 76 -layer].. let|v
3b50: 61 72 7c 64 65 66 20 69 73 20 74 6f 20 64 65 66 ar|def is to def
3b60: 69 6e 65 20 61 20 76 61 72 69 61 62 6c 65 20 69 ine a variable i
3b70: 6e 20 74 68 65 20 22 63 75 72 72 65 6e 74 22 20 n the "current"
3b80: 6c 61 79 65 72 2e 0a 20 20 4e 6f 74 20 6e 65 63 layer.. Not nec
3b90: 65 73 73 61 72 79 20 74 6f 20 74 68 65 20 40 76 essary to the @v
3ba0: 61 6c 75 65 20 6c 61 79 65 72 2e 0a 0a 20 20 20 alue layer...
3bb0: 20 3e 3e 20 40 76 61 6c 75 65 28 20 6c 65 74 20 >> @value( let
3bc0: 78 20 3d 20 31 20 69 6e 20 40 76 61 6c 75 65 28 x = 1 in @value(
3bd0: 78 29 20 29 0a 20 20 20 20 31 0a 0a 20 20 20 20 x) ). 1..
3be0: 3e 3e 20 40 6d 61 63 72 6f 28 20 6c 65 74 20 78 >> @macro( let x
3bf0: 20 3d 20 31 20 69 6e 20 40 76 61 6c 75 65 28 78 = 1 in @value(x
3c00: 29 20 29 0a 20 20 20 20 70 6f 6c 65 6d 79 2e 66 ) ). polemy.f
3c10: 61 69 6c 75 72 65 2e 52 75 6e 74 69 6d 65 45 78 ailure.RuntimeEx
3c20: 63 65 70 74 69 6f 6e 3a 20 5b 3c 52 45 50 4c 3e ception: [<REPL>
3c30: 3a 31 34 3a 32 39 5d 20 76 61 72 69 61 62 6c 65 :14:29] variable
3c40: 20 78 20 6e 6f 74 20 66 6f 75 6e 64 0a 0a 20 20 x not found..
3c50: 20 20 3e 3e 20 40 6d 61 63 72 6f 28 20 6c 65 74 >> @macro( let
3c60: 20 78 20 3d 20 31 20 69 6e 20 40 6d 61 63 72 6f x = 1 in @macro
3c70: 28 78 29 20 29 0a 20 20 20 20 7b 70 6f 73 40 76 (x) ). {pos@v
3c80: 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c alue:{lineno@val
3c90: 75 65 3a 31 35 2c 20 2e 2e 2e 0a 0a 0a 0a 5b 4c ue:15, .......[L
3ca0: 61 79 65 72 73 20 3a 3a 20 4c 61 79 65 72 65 64 ayers :: Layered
3cb0: 2d 50 61 72 61 6d 65 74 65 72 73 5d 0a 0a 20 20 -Parameters]..
3cc0: 20 20 3e 3e 20 64 65 66 20 66 6f 6f 28 78 20 40 >> def foo(x @
3cd0: 6d 61 63 72 6f 20 40 76 61 6c 75 65 29 20 7b 20 macro @value) {
3ce0: 7b 66 73 74 3a 20 78 2c 20 73 6e 64 3a 20 40 6d {fst: x, snd: @m
3cf0: 61 63 72 6f 28 78 29 7d 20 7d 0a 20 20 20 20 28 acro(x)} }. (
3d00: 66 75 6e 63 74 69 6f 6e 3a 31 37 33 30 33 36 30 function:1730360
3d10: 3a 31 37 38 39 37 32 30 29 0a 0a 20 20 49 66 20 :1789720).. If
3d20: 79 6f 75 20 61 6e 6e 6f 74 61 74 65 20 66 75 6e you annotate fun
3d30: 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 ction parameters
3d40: 20 62 79 20 40 4c 61 79 65 72 4e 61 6d 65 73 2c by @LayerNames,
3d50: 20 77 68 65 6e 20 79 6f 75 20 69 6e 76 6f 6b 65 when you invoke
3d60: 20 74 68 65 20 66 75 6e 63 74 69 6f 6e 2e 2e 2e the function...
3d70: 0a 0a 20 20 20 20 3e 3e 20 66 6f 6f 28 31 2b 32 .. >> foo(1+2
3d80: 29 0a 20 20 20 20 7b 73 6e 64 40 76 61 6c 75 65 ). {snd@value
3d90: 3a 20 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 : {pos@value:{li
3da0: 6e 65 6e 6f 40 76 61 6c 75 65 3a 31 37 2c 20 63 neno@value:17, c
3db0: 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 35 2c 20 66 olumn@value:5, f
3dc0: 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 ilename@value:<R
3dd0: 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20 20 EPL>},.
3de0: 20 20 20 20 20 20 20 20 20 69 73 40 76 61 6c 75 is@valu
3df0: 65 3a 61 70 70 2c 20 61 72 67 40 76 61 6c 75 65 e:app, arg@value
3e00: 3a 7b 2e 2e 2e 0a 20 20 20 20 2f 66 73 74 40 76 :{.... /fst@v
3e10: 61 6c 75 65 3a 33 0a 20 20 20 20 2f 7d 0a 0a 20 alue:3. /}..
3e20: 20 69 74 73 20 63 6f 72 72 65 73 70 6f 6e 64 69 its correspondi
3e30: 6e 67 20 61 72 67 75 6d 65 6e 74 73 20 61 72 65 ng arguments are
3e40: 20 65 76 61 6c 75 61 74 65 64 20 69 6e 20 74 68 evaluated in th
3e50: 65 20 6c 61 79 65 72 20 61 6e 64 20 70 61 73 73 e layer and pass
3e60: 65 64 20 74 6f 20 69 74 2e 0a 20 20 49 66 20 79 ed to it.. If y
3e70: 6f 75 20 73 70 65 63 69 66 79 20 6d 75 6c 74 69 ou specify multi
3e80: 70 6c 65 20 6c 61 79 65 72 73 2c 20 74 68 65 20 ple layers, the
3e90: 61 72 67 75 6d 65 6e 74 20 65 78 70 72 65 73 73 argument express
3ea0: 69 6f 6e 20 69 73 20 72 75 6e 20 6d 75 6c 74 69 ion is run multi
3eb0: 70 6c 65 20 74 69 6d 65 73 2e 0a 20 20 49 66 20 ple times.. If
3ec0: 79 6f 75 20 64 6f 20 6e 6f 74 20 73 70 65 63 69 you do not speci
3ed0: 66 79 20 61 6e 79 20 6c 61 79 65 72 20 66 6f 72 fy any layer for
3ee0: 20 61 20 70 61 72 61 6d 65 74 65 72 2c 20 69 74 a parameter, it
3ef0: 20 77 6f 72 6b 73 20 69 6e 20 74 68 65 20 6e 65 works in the ne
3f00: 75 74 72 61 6c 20 6c 61 79 65 72 2e 0a 3c 2f 70 utral layer..</p
3f10: 72 65 3e 0a 29 29 0a 0a 0a 24 28 53 45 43 54 49 re>.))...$(SECTI
3f20: 4f 4e 20 4d 61 63 72 6f 20 4c 61 79 65 72 73 2c ON Macro Layers,
3f30: 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a 50 $(SECBODY.<p>.P
3f40: 6f 6c 65 6d 79 20 e8 a8 80 e8 aa 9e e7 b5 84 e3 olemy ..........
3f50: 81 bf e8 be bc e3 81 bf e3 81 ae e3 83 ac e3 82 ................
3f60: a4 e3 83 a4 e3 81 af 20 3c 63 6f 64 65 3e 40 76 ....... <code>@v
3f70: 61 6c 75 65 3c 2f 63 6f 64 65 3e 20 e3 81 a8 20 alue</code> ...
3f80: 3c 63 6f 64 65 3e 40 6d 61 63 72 6f 3c 2f 63 6f <code>@macro</co
3f90: 64 65 3e 20 e3 81 ae e4 ba 8c e3 81 a4 e3 81 a7 de> ............
3fa0: e3 81 99 e3 80 82 0a ef bc 88 e5 86 85 e9 83 a8 ................
3fb0: e7 9a 84 e3 81 ab e3 81 af e3 82 82 e3 81 86 e3 ................
3fc0: 81 84 e3 81 8f e3 81 a4 e3 81 8b e3 81 82 e3 82 ................
3fd0: 8a e3 81 be e3 81 99 e3 81 8c e3 80 81 e3 83 a6 ................
3fe0: e3 83 bc e3 82 b6 e3 81 8b e3 82 89 e7 9b b4 e6 ................
3ff0: 8e a5 e3 81 af e4 bd bf e3 81 88 e3 81 be e3 81 ................
4000: 9b e3 82 93 e3 80 82 ef bc 89 0a 3c 63 6f 64 65 ...........<code
4010: 3e 40 76 61 6c 75 65 3c 2f 63 6f 64 65 3e 20 e3 >@value</code> .
4020: 81 af e3 80 81 e3 80 8c e6 99 ae e9 80 9a e3 81 ................
4030: ab e3 80 8d e6 99 ae e9 80 9a e3 81 ae e3 82 bb ................
4040: e3 83 9e e3 83 b3 e3 83 86 e3 82 a3 e3 82 af e3 ................
4050: 82 b9 e3 81 a7 e3 83 97 e3 83 ad e3 82 b0 e3 83 ................
4060: a9 e3 83 a0 e3 82 92 e5 ae 9f e8 a1 8c e3 81 99 ................
4070: e3 82 8b e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 ................
4080: 81 97 e3 81 9f e3 80 82 0a 3c 63 6f 64 65 3e 40 .........<code>@
4090: 6d 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3 81 af macro</code> ...
40a0: e3 80 81 e5 ae 9f e3 81 af e3 80 81 3c 63 6f 64 ............<cod
40b0: 65 3e 40 76 61 6c 75 65 3c 2f 63 6f 64 65 3e 20 e>@value</code>
40c0: e3 82 88 e3 82 8a e3 82 82 e5 89 8d e3 81 ab e5 ................
40d0: ae 9f e8 a1 8c e3 81 95 e3 82 8c e3 82 8b e3 83 ................
40e0: ac e3 82 a4 e3 83 a4 e3 81 a7 e3 80 81 0a e3 80 ................
40f0: 8c e3 83 97 e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0 ................
4100: e3 82 92 e5 ae 9f e8 a1 8c e3 81 99 e3 82 8b e3 ................
4110: 81 a8 e3 81 9d e3 81 ae e6 a7 8b e6 96 87 e6 9c ................
4120: a8 e3 82 92 e8 bf 94 e3 81 99 e3 80 8d e3 81 a8 ................
4130: e3 81 84 e3 81 86 e3 82 bb e3 83 9e e3 83 b3 e3 ................
4140: 83 86 e3 82 a3 e3 82 af e3 82 b9 e3 81 a7 e5 8b ................
4150: 95 e3 81 8d e3 81 be e3 81 99 e3 80 82 0a 3c 2f ..............</
4160: 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 28 e3 81 p>.<pre>. (..
4170: 93 e3 81 93 e3 81 ab e4 be 8b 29 0a 3c 2f 70 72 ..........).</pr
4180: 65 3e 0a 3c 70 3e 0a e5 8b 95 e3 81 8d e3 81 a8 e>.<p>..........
4190: e3 81 97 e3 81 a6 e3 81 af e3 81 93 e3 81 86 e3 ................
41a0: 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 6f .........</p>.<o
41b0: 6c 3e 0a 3c 6c 69 3e e9 96 a2 e6 95 b0 e5 91 bc l>.<li>.........
41c0: e3 81 b3 e5 87 ba e3 81 97 e6 99 82 ef bc 88 e3 ................
41d0: 81 a8 e3 83 88 e3 83 83 e3 83 97 e3 83 ac e3 83 ................
41e0: 99 e3 83 ab e7 92 b0 e5 a2 83 e3 81 ae e5 ae 9f ................
41f0: e8 a1 8c e9 96 8b e5 a7 8b e6 99 82 ef bc 89 e3 ................
4200: 81 ab e3 80 81 0a 09 e3 81 be e3 81 9a e3 80 81 ................
4210: 3c 63 6f 64 65 3e 40 6d 61 63 72 6f 3c 2f 63 6f <code>@macro</co
4220: 64 65 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 de> ............
4230: e3 82 b3 e3 83 bc e3 83 89 e3 82 92 e5 ae 9f e8 ................
4240: a1 8c e3 80 82 3c 2f 6c 69 3e 0a 3c 6c 69 3e e8 .....</li>.<li>.
4250: bf 94 e3 81 a3 e3 81 a6 e3 81 8d e3 81 9f e6 a7 ................
4260: 8b e6 96 87 e6 9c a8 e3 82 92 e3 80 81 e3 81 9d ................
4270: e3 81 ae e9 96 a2 e6 95 b0 e3 82 92 e5 91 bc e3 ................
4280: 81 b3 e5 87 ba e3 81 97 e3 81 9f e3 81 a8 e3 81 ................
4290: 8d e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 ................
42a0: e5 ae 9f e8 a1 8c e3 80 82 3c 2f 6c 69 3e 0a 3c .........</li>.<
42b0: 2f 6f 6c 3e 0a 3c 70 3e 0a 3c 63 6f 64 65 3e 40 /ol>.<p>.<code>@
42c0: 6d 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3 83 ac macro</code> ...
42d0: e3 82 a4 e3 83 a4 e3 82 82 e6 89 80 e8 a9 ae e3 ................
42e0: 81 9f e3 81 a0 e3 81 ae e3 83 ac e3 82 a4 e3 83 ................
42f0: a4 e3 81 a7 e3 81 99 e3 81 ae e3 81 a7 e3 80 81 ................
4300: 0a e4 b8 8a e3 81 a7 e8 aa ac e6 98 8e e3 81 97 ................
4310: e3 81 9f e6 96 b9 e6 b3 95 e3 81 a7 20 3c 63 6f ............ <co
4320: 64 65 3e 40 6d 61 63 72 6f 3c 2f 63 6f 64 65 3e de>@macro</code>
4330: 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 ab e9 96 a2 ...............
4340: e6 95 b0 e3 81 aa e3 81 a9 e3 82 92 e7 99 bb e9 ................
4350: 8c b2 e3 81 97 e3 81 a6 e3 81 8a e3 81 8f e3 81 ................
4360: 93 e3 81 a8 e3 81 a7 e3 80 81 0a e6 a7 8b e6 96 ................
4370: 87 e6 9c a8 e3 81 ae e7 94 9f e6 88 90 e3 82 92 ................
4380: e3 81 84 e3 81 98 e3 82 8b e3 81 93 e3 81 a8 e3 ................
4390: 81 8c e5 8f af e8 83 bd e3 81 a7 e3 81 99 e3 80 ................
43a0: 82 e3 81 be e3 81 95 e3 81 ab e3 83 9e e3 82 af ................
43b0: e3 83 ad e3 80 82 0a 3c 2f 70 3e 0a 0a 24 28 44 .......</p>..$(D
43c0: 44 4f 43 5f 4d 45 4d 42 45 52 53 0a 24 28 53 45 DOC_MEMBERS.$(SE
43d0: 43 54 49 4f 4e 20 e6 a6 82 e8 a6 81 2c 20 24 28 CTION ......, $(
43e0: 53 45 43 42 4f 44 59 0a 3c 70 3e 0a 73 61 6d 70 SECBODY.<p>.samp
43f0: 6c 65 73 2f 6d 61 63 72 6f 2e 70 6d 79 20 e3 81 les/macro.pmy ..
4400: ab e3 81 84 e3 81 8f e3 81 a4 e3 81 8b e4 bd bf ................
4410: e3 81 84 e6 96 b9 e3 82 b5 e3 83 b3 e3 83 97 e3 ................
4420: 83 ab e3 81 8c e7 bd ae e3 81 84 e3 81 a6 e3 81 ................
4430: 82 e3 82 8a e3 81 be e3 81 99 e3 81 ae e3 81 a7 ................
4440: e3 80 81 e8 a9 b3 e3 81 97 e3 81 8f e3 81 af e3 ................
4450: 81 9d e3 81 a1 e3 82 89 e3 82 92 e3 81 a9 e3 81 ................
4460: 86 e3 81 9e e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 ........</p>.<pr
4470: 65 3e 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20 e>. >>
4480: 40 6d 61 63 72 6f 28 20 74 77 69 63 65 28 70 72 @macro( twice(pr
4490: 69 6e 74 28 22 48 65 6c 6c 6f 22 29 29 20 29 0a int("Hello")) ).
44a0: 20 20 20 20 7b 0a 20 20 20 20 20 20 70 6f 73 3a {. pos:
44b0: 20 7b 6c 69 6e 65 6e 6f 3a 31 2c 20 63 6f 6c 75 {lineno:1, colu
44c0: 6d 6e 3a 39 2c 20 66 69 6c 65 6e 61 6d 65 3a 3c mn:9, filename:<
44d0: 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 61 72 67 REPL>},. arg
44e0: 73 3a 20 5b 20 7b 20 70 6f 73 3a 20 7b 6c 69 6e s: [ { pos: {lin
44f0: 65 6e 6f 3a 31 2c 20 63 6f 6c 75 6d 6e 3a 31 35 eno:1, column:15
4500: 2c 20 66 69 6c 65 6e 61 6d 65 3a 3c 52 45 50 4c , filename:<REPL
4510: 3e 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 >},.
4520: 20 20 61 72 67 73 3a 20 5b 7b 70 6f 73 3a 7b 6c args: [{pos:{l
4530: 69 6e 65 6e 6f 3a 31 2c 20 63 6f 6c 75 6d 6e 3a ineno:1, column:
4540: 32 31 2c 20 66 69 6c 65 6e 61 6d 65 3a 3c 52 45 21, filename:<RE
4550: 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 PL>},.
4560: 20 20 20 20 20 20 20 20 20 20 20 20 20 69 73 3a is:
4570: 53 74 72 2c 0a 20 20 20 20 20 20 20 20 20 20 20 Str,.
4580: 20 20 20 20 20 20 20 20 20 20 64 61 74 61 3a 48 data:H
4590: 65 6c 6c 6f 7d 5d 2c 0a 20 20 20 20 20 20 20 20 ello}],.
45a0: 20 20 20 20 20 20 20 20 69 73 3a 20 41 70 70 2c is: App,
45b0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
45c0: 66 75 6e 3a 20 7b 70 6f 73 3a 7b 6c 69 6e 65 6e fun: {pos:{linen
45d0: 6f 3a 31 2c 20 63 6f 6c 75 6d 6e 3a 31 35 2c 20 o:1, column:15,
45e0: 66 69 6c 65 6e 61 6d 65 3a 3c 52 45 50 4c 3e 7d filename:<REPL>}
45f0: 2c 20 69 73 3a 56 61 72 2c 20 6e 61 6d 65 3a 70 , is:Var, name:p
4600: 72 69 6e 74 7d 7d 0a 20 20 20 20 20 20 20 20 20 rint}}.
4610: 20 20 5d 2c 0a 20 20 20 20 20 20 20 69 73 3a 20 ],. is:
4620: 41 70 70 2c 0a 20 20 20 20 20 20 66 75 6e 3a 20 App,. fun:
4630: 7b 70 6f 73 3a 7b 6c 69 6e 65 6e 6f 3a 31 2c 20 {pos:{lineno:1,
4640: 63 6f 6c 75 6d 6e 3a 39 2c 20 66 69 6c 65 6e 61 column:9, filena
4650: 6d 65 3a 3c 52 45 50 4c 3e 7d 2c 20 69 73 3a 56 me:<REPL>}, is:V
4660: 61 72 2c 20 6e 61 6d 65 3a 74 77 69 63 65 7d 0a ar, name:twice}.
4670: 20 20 20 20 7d 0a 3c 2f 70 72 65 3e 0a 3c 70 3e }.</pre>.<p>
4680: 0a e8 a9 b3 e7 b4 b0 e3 81 af e6 b0 97 e3 81 ab ................
4690: e3 81 97 e3 81 aa e3 81 8f e3 81 a6 e6 a7 8b e3 ................
46a0: 81 84 e3 81 be e3 81 9b e3 82 93 e3 81 8c e3 80 ................
46b0: 81 e3 81 a8 e3 81 ab e3 81 8b e3 81 8f e3 80 81 ................
46c0: 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 <tt>@macro</tt>
46d0: e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81 af e3 ................
46e0: 80 81 0a e5 9f ba e6 9c ac e7 9a 84 e3 81 ab e3 ................
46f0: 81 af e3 80 81 e3 82 b3 e3 83 bc e3 83 89 e3 82 ................
4700: 92 e5 ae 9f e8 a1 8c e3 81 99 e3 82 8b e3 81 a8 ................
4710: e3 81 9d e3 81 ae e3 82 b3 e3 83 bc e3 83 89 e3 ................
4720: 81 ae e6 a7 8b e6 96 87 e6 9c a8 e3 81 8c e3 81 ................
4730: a7 e3 81 a6 e3 81 8d e3 81 be e3 81 99 e3 80 82 ................
4740: 0a e3 81 93 e3 81 ae e6 8c 99 e5 8b 95 e3 81 af ................
4750: 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e <tt>@macro</tt>
4760: 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 ae e5 a4 89 ...............
4770: e6 95 b0 e3 82 92 e3 82 bb e3 83 83 e3 83 88 e3 ................
4780: 81 99 e3 82 8b e3 81 93 e3 81 a8 e3 81 a7 e3 80 ................
4790: 81 e3 82 ab e3 82 b9 e3 82 bf e3 83 9e e3 82 a4 ................
47a0: e3 82 ba e3 81 a7 e3 81 8d e3 81 be e3 81 99 e3 ................
47b0: 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 ...</p>.<pre>.
47c0: 20 20 26 67 74 3b 26 67 74 3b 20 40 6d 61 63 72 >> @macr
47d0: 6f 20 74 77 69 63 65 28 78 29 20 7b 20 78 3b 20 o twice(x) { x;
47e0: 78 20 7d 20 69 6e 20 74 77 69 63 65 28 70 72 69 x } in twice(pri
47f0: 6e 74 28 22 48 65 6c 6c 6f 22 29 29 0a 20 20 20 nt("Hello")).
4800: 20 48 65 6c 6c 6f 0a 20 20 20 20 48 65 6c 6c 6f Hello. Hello
4810: 0a 20 20 20 20 48 65 6c 6c 6f 0a 3c 2f 70 72 65 . Hello.</pre
4820: 3e 0a 3c 70 3e 0a ef bc 88 ef bc 93 e5 9b 9e e5 >.<p>...........
4830: 87 ba e5 8a 9b e3 81 95 e3 82 8c e3 81 a6 e3 81 ................
4840: be e3 81 99 e3 81 8c e3 80 81 ef bc 93 e5 80 8b ................
4850: e7 9b ae e3 81 af 20 3c 74 74 3e 70 72 69 6e 74 ...... <tt>print
4860: 28 78 29 3c 2f 74 74 3e 20 e3 81 ae e8 bf 94 e5 (x)</tt> .......
4870: 80 a4 e3 81 af 20 3c 74 74 3e 78 3c 2f 74 74 3e ..... <tt>x</tt>
4880: 20 e3 81 aa e3 81 ae e3 81 a7 e3 80 81 0a e3 81 ...............
4890: 9d e3 82 8c e3 81 8c 52 45 50 4c e3 81 ab e3 82 .......REPL.....
48a0: 88 e3 81 a3 e3 81 a6 e5 8d b0 e5 ad 97 e3 81 95 ................
48b0: e3 82 8c e3 81 a6 e3 81 84 e3 82 8b e3 81 a0 e3 ................
48c0: 81 91 e3 81 a7 e3 81 99 e3 80 82 ef bc 89 0a 3c ...............<
48d0: 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 tt>@macro</tt> .
48e0: 83 ac e3 82 a4 e3 83 a4 e3 81 a7 20 3c 74 74 3e ........... <tt>
48f0: 69 6e 3c 2f 74 74 3e 20 e4 bb a5 e9 99 8d e3 82 in</tt> ........
4900: 92 e5 ae 9f e8 a1 8c e3 81 99 e3 82 8b e3 81 a8 ................
4910: e3 80 81 3c 74 74 3e 70 72 69 6e 74 28 22 48 65 ...<tt>print("He
4920: 6c 6c 6f 22 29 3c 2f 74 74 3e 20 e3 81 a8 e3 81 llo")</tt> .....
4930: 84 e3 81 86 e5 bc 8f e3 82 92 e8 a1 a8 e3 81 99 ................
4940: e6 a7 8b e6 96 87 e6 9c a8 e3 81 8c e4 bd 9c e3 ................
4950: 82 89 e3 82 8c e3 80 81 0a e3 81 9d e3 82 8c e3 ................
4960: 81 8c 20 3c 74 74 3e 74 77 69 63 65 3c 2f 74 74 .. <tt>twice</tt
4970: 3e 20 e9 96 a2 e6 95 b0 e3 81 ab e6 b8 a1 e3 81 > ..............
4980: 95 e3 82 8c e3 81 be e3 81 99 e3 80 82 3c 74 74 .............<tt
4990: 3e 74 77 69 63 65 3c 2f 74 74 3e 20 e3 81 ae e4 >twice</tt> ....
49a0: b8 ad e8 ba ab e3 82 82 20 3c 74 74 3e 40 6d 61 ........ <tt>@ma
49b0: 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 cro</tt> .......
49c0: 83 a4 e3 81 a7 e5 ae 9f e8 a1 8c e3 81 95 e3 82 ................
49d0: 8c e3 82 8b e3 81 ae e3 81 a7 e3 80 81 0a e6 a7 ................
49e0: 8b e6 96 87 e6 9c a8 e3 82 92 e4 bd 9c e3 82 8d ................
49f0: e3 81 86 e3 81 a8 e3 81 97 e3 81 be e3 81 99 e3 ................
4a00: 81 8c e3 80 81 e5 a4 89 e6 95 b0 20 3c 74 74 3e ........... <tt>
4a10: 78 3c 2f 74 74 3e 20 e3 81 ab e3 81 af 20 3c 74 x</tt> ...... <t
4a20: 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 83 t>@macro</tt> ..
4a30: ac e3 82 a4 e3 83 a4 e3 81 a7 e5 80 a4 e3 81 8c ................
4a40: e5 85 a5 e3 81 a3 e3 81 a6 e3 81 84 e3 82 8b e3 ................
4a50: 81 ae e3 81 a7 e3 80 81 0a e3 81 9d e3 81 ae e5 ................
4a60: 80 a4 e3 82 92 e8 aa ad e3 81 bf e5 8f 96 e3 81 ................
4a70: a3 e3 81 a6 e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 ................
4a80: e4 bd 9c e6 88 90 e3 81 97 e3 81 be e3 81 99 e3 ................
4a90: 80 82 0a e7 b5 90 e6 9e 9c e3 81 a8 e3 81 97 e3 ................
4aa0: 81 a6 e3 80 81 ef bc 92 e5 9b 9e 20 3c 74 74 3e ........... <tt>
4ab0: 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 3c 2f print("Hello")</
4ac0: 74 74 3e 20 e3 81 99 e3 82 8b e6 a7 8b e6 96 87 tt> ............
4ad0: e6 9c a8 e3 81 8c e4 bd 9c e3 82 89 e3 82 8c e3 ................
4ae0: 81 a6 e3 80 81 0a e3 81 9d e3 81 ae e5 be 8c e3 ................
4af0: 81 a7 e3 80 81 e3 81 9d e3 82 8c e3 81 8c 20 3c .............. <
4b00: 74 74 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e3 tt>@value</tt> .
4b10: 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e5 ae 9f e8 a1 ................
4b20: 8c e3 81 95 e3 82 8c e3 81 a6 e3 81 84 e3 81 be ................
4b30: e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a .......</p>.<p>.
4b40: e6 9c ac e5 bd 93 e3 81 ab e3 83 99 e3 82 bf e3 ................
4b50: 81 ab e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 e4 bd ................
4b60: 9c e3 82 8b e3 81 a0 e3 81 91 e3 81 aa e3 81 ae ................
4b70: e3 81 a7 e3 80 81 e5 a4 89 e6 95 b0 e5 90 8d e3 ................
4b80: 81 ae e8 a1 9d e7 aa 81 e3 81 aa e3 81 a9 e3 81 ................
4b90: aa e3 81 a9 e3 81 af e6 b0 97 e3 81 ab e3 81 97 ................
4ba0: e3 81 be e3 81 9b e3 82 93 e3 80 82 e3 80 8c e8 ................
4bb0: a1 9b e7 94 9f e7 9a 84 e3 81 a7 e3 81 aa e3 81 ................
4bc0: 84 e3 80 8d e3 83 9e e3 82 af e3 83 ad e3 81 a7 ................
4bd0: e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 .......</p>.<pre
4be0: 3e 0a 20 20 20 20 40 6d 61 63 72 6f 20 4c 65 74 >. @macro Let
4bf0: 49 74 42 65 28 78 2c 20 79 29 20 7b 20 76 61 72 ItBe(x, y) { var
4c00: 20 24 28 42 20 69 74 29 20 3d 20 78 3b 20 79 20 $(B it) = x; y
4c10: 7d 3b 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 }; $(D_COMMENT
4c20: 23 20 79 20 e3 81 ae e4 b8 ad e3 81 a7 e5 a4 89 # y ............
4c30: e6 95 b0 20 69 74 20 e3 81 8c e4 bd bf e3 81 88 ... it .........
4c40: e3 82 8b 29 0a 20 20 20 20 70 72 69 6e 74 28 20 ...). print(
4c50: 4c 65 74 49 74 42 65 28 22 6d 79 73 65 6c 66 22 LetItBe("myself"
4c60: 2c 20 20 22 77 68 65 6e 20 49 20 66 69 6e 64 20 , "when I find
4c70: 22 20 7e 20 24 28 42 20 69 74 29 20 7e 20 22 20 " ~ $(B it) ~ "
4c80: 69 6e 20 74 69 6d 65 73 20 6f 66 20 74 72 6f 75 in times of trou
4c90: 62 6c 65 22 29 20 29 3b 0a 3c 2f 70 72 65 3e 0a ble") );.</pre>.
4ca0: 3c 70 3e 0a e5 a4 89 e6 95 b0 e5 90 8d e3 81 ab <p>.............
4cb0: e6 b0 97 e3 82 92 e3 81 a4 e3 81 91 e3 82 8b e3 ................
4cc0: 81 ab e3 81 af e3 80 81 e7 b5 84 e3 81 bf e8 be ................
4cd0: bc e3 81 bf e9 96 a2 e6 95 b0 20 3c 74 74 3e 67 .......... <tt>g
4ce0: 65 6e 73 79 6d 28 29 3c 2f 74 74 3e 20 e3 82 92 ensym()</tt> ...
4cf0: e4 bd bf e3 81 a3 e3 81 a6 e9 a0 91 e5 bc b5 e3 ................
4d00: 81 a3 e3 81 a6 e4 b8 8b e3 81 95 e3 81 84 e3 80 ................
4d10: 82 0a 3c 2f 70 3e 0a 29 29 0a 24 28 53 45 43 54 ..</p>.)).$(SECT
4d20: 49 4f 4e 20 e3 83 ac e3 82 a4 e3 83 a4 e5 88 87 ION ............
4d30: e3 82 8a e6 9b bf e3 81 88 2c 20 24 28 53 45 43 ........., $(SEC
4d40: 42 4f 44 59 0a 3c 70 3e 0a e4 bb 96 e3 81 ae e3 BODY.<p>........
4d50: 83 ac e3 82 a4 e3 83 a4 e5 90 8c e6 a7 98 e3 80 ................
4d60: 81 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e .<tt>@macro</tt>
4d70: 20 e3 83 ac e3 82 a4 e3 83 a4 e3 82 92 e5 ae 9f ...............
4d80: e8 a1 8c e4 b8 ad e3 81 ab 20 3c 74 74 3e 40 6c ......... <tt>@l
4d90: 61 79 65 72 28 20 2e 2e 2e 20 29 3c 2f 74 74 3e ayer( ... )</tt>
4da0: 20 e6 a7 8b e6 96 87 e3 82 92 e4 bd bf e3 81 86 ...............
4db0: e3 81 93 e3 81 a8 e3 81 a7 e3 80 81 0a e5 88 a5 ................
4dc0: e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 ................
4dd0: 82 b3 e3 83 bc e3 83 89 e3 82 92 e5 8b 95 e3 81 ................
4de0: 8b e3 81 99 e3 81 93 e3 81 a8 e3 82 82 e3 81 a7 ................
4df0: e3 81 8d e3 81 be e3 81 99 e3 80 82 e3 82 88 e3 ................
4e00: 81 8f e4 bd bf e3 81 86 e4 be 8b e3 81 af e3 80 ................
4e10: 81 3c 74 74 3e 40 76 61 6c 75 65 3c 2f 74 74 3e .<tt>@value</tt>
4e20: 0a e3 83 ac e3 82 a4 e3 83 a4 e3 81 ab e7 a7 bb ................
4e30: e3 82 8b e3 81 93 e3 81 a8 e3 81 a7 e6 a7 8b e6 ................
4e40: 96 87 e6 9c a8 e3 82 92 e6 99 ae e9 80 9a e3 81 ................
4e50: ab e8 a8 88 e7 ae 97 e3 81 97 e3 81 a6 e8 89 b2 ................
4e60: e3 80 85 e3 83 97 e3 83 ad e3 82 b0 e3 83 a9 e3 ................
4e70: 83 a0 e7 9a 84 e3 81 ab e3 81 84 e3 81 98 e3 82 ................
4e80: 8b e7 94 a8 e9 80 94 e3 81 a7 e3 81 99 e3 80 82 ................
4e90: 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 .</p>.<pre>.
4ea0: 40 6d 61 63 72 6f 20 72 65 76 65 72 73 65 41 72 @macro reverseAr
4eb0: 67 73 28 65 29 20 7b 24 28 42 20 40 76 61 6c 75 gs(e) {$(B @valu
4ec0: 65 29 28 0a 20 20 20 20 20 20 20 20 64 65 66 20 e)(. def
4ed0: 72 65 76 28 78 73 2c 20 61 63 63 29 20 7b 0a 20 rev(xs, acc) {.
4ee0: 20 20 20 20 20 20 20 20 20 63 61 73 65 20 78 73 case xs
4ef0: 20 77 68 65 6e 20 7b 63 61 72 3a 78 2c 20 63 64 when {car:x, cd
4f00: 72 3a 78 73 7d 3a 20 72 65 76 28 78 73 2c 20 7b r:xs}: rev(xs, {
4f10: 63 61 72 3a 78 2c 20 63 64 72 3a 61 63 63 7d 29 car:x, cdr:acc})
4f20: 20 77 68 65 6e 20 7b 7d 3a 20 61 63 63 0a 20 20 when {}: acc.
4f30: 20 20 20 20 20 20 7d 3b 0a 20 20 20 20 20 20 20 };.
4f40: 20 63 61 73 65 20 40 6d 61 63 72 6f 28 65 29 0a case @macro(e).
4f50: 20 20 20 20 20 20 20 20 20 20 77 68 65 6e 20 7b when {
4f60: 69 73 3a 22 41 70 70 22 2c 20 66 75 6e 3a 66 2c is:"App", fun:f,
4f70: 20 61 72 67 73 3a 61 73 7d 3a 20 7b 69 73 3a 22 args:as}: {is:"
4f80: 41 70 70 22 2c 20 66 75 6e 3a 66 2c 20 61 72 67 App", fun:f, arg
4f90: 73 3a 72 65 76 28 61 73 2c 7b 7d 29 7d 0a 20 20 s:rev(as,{})}.
4fa0: 20 20 20 20 20 20 20 20 77 68 65 6e 20 65 3a 20 when e:
4fb0: 65 0a 20 20 20 20 29 7d 3b 0a 20 20 20 20 70 72 e. )};. pr
4fc0: 69 6e 74 28 20 72 65 76 65 72 73 65 41 72 67 73 int( reverseArgs
4fd0: 28 31 2d 32 29 20 29 3b 20 24 28 44 5f 43 4f 4d (1-2) ); $(D_COM
4fe0: 4d 45 4e 54 20 23 20 32 2d 31 20 3d 3d 20 31 29 MENT # 2-1 == 1)
4ff0: 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a 3c 74 74 3e .</pre>.<p>.<tt>
5000: 72 65 76 65 72 73 65 41 72 67 73 3c 2f 74 74 3e reverseArgs</tt>
5010: 20 e3 81 af e3 80 81 e9 96 a2 e6 95 b0 e5 91 bc ...............
5020: e3 81 b3 e5 87 ba e3 81 97 e3 81 ae e6 a7 8b e6 ................
5030: 96 87 e6 9c a8 e3 81 ae e3 80 81 e5 bc 95 e6 95 ................
5040: b0 e3 81 ae e9 a0 86 e7 95 aa e3 82 92 e9 80 86 ................
5050: e8 bb a2 e3 81 99 e3 82 8b e9 96 a2 e6 95 b0 e3 ................
5060: 81 a7 e3 81 99 e3 80 82 0a 3c 74 74 3e 40 6d 61 .........<tt>@ma
5070: 63 72 6f 28 65 29 3c 2f 74 74 3e 20 e3 81 ab e3 cro(e)</tt> ....
5080: 82 88 e3 81 a3 e3 81 a6 e3 83 9e e3 82 af e3 83 ................
5090: ad e3 83 ac e3 82 a4 e3 83 a4 e3 81 ab e3 82 bb ................
50a0: e3 83 83 e3 83 88 e3 81 95 e3 82 8c e3 81 a6 e3 ................
50b0: 81 84 e3 82 8b e6 a7 8b e6 96 87 e6 9c a8 e5 bc ................
50c0: 95 e6 95 b0 e3 82 92 e5 8f 96 e3 82 8a e5 87 ba ................
50d0: e3 81 97 e3 80 81 0a e3 81 9d e3 82 8c e3 82 92 ................
50e0: 20 3c 74 74 3e 40 76 61 6c 75 65 3c 2f 74 74 3e <tt>@value</tt>
50f0: 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 ab e3 82 88 ...............
5100: e3 82 8b e6 99 ae e9 80 9a e3 81 ae e8 a8 88 e7 ................
5110: ae 97 e3 83 97 e3 83 ad e3 82 b0 e3 83 a9 e3 83 ................
5120: a0 e3 81 a7 e6 93 8d e4 bd 9c e3 81 97 e3 81 a6 ................
5130: e3 81 84 e3 81 be e3 81 99 e3 80 82 0a 3c 74 74 .............<tt
5140: 3e 40 6d 61 63 72 6f 28 2e 2e 2e 29 3c 2f 74 74 >@macro(...)</tt
5150: 3e 20 e3 81 af e3 81 84 e3 82 8f e3 82 86 e3 82 > ..............
5160: 8b e3 80 8c e6 ba 96 e3 82 af e3 82 aa e3 83 bc ................
5170: e3 83 88 20 28 71 75 61 73 69 71 75 6f 74 65 29 ... (quasiquote)
5180: e3 80 8d e3 80 81 0a 3c 74 74 3e 40 76 61 6c 75 .......<tt>@valu
5190: 65 28 2e 2e 2e 29 3c 2f 74 74 3e 20 e3 81 af e3 e(...)</tt> ....
51a0: 80 8c e9 80 86 e3 82 af e3 82 aa e3 83 bc e3 83 ................
51b0: 88 20 28 75 6e 71 75 6f 74 65 29 e3 80 8d e3 81 . (unquote).....
51c0: ab e3 81 a1 e3 82 87 e3 81 a3 e3 81 a8 e8 bf 91 ................
51d0: e3 81 84 e3 81 8b e3 82 82 e3 81 97 e3 82 8c e3 ................
51e0: 81 be e3 81 9b e3 82 93 e3 80 82 0a 3c 2f 70 3e ............</p>
51f0: 0a 3c 70 3e 0a 3c 74 74 3e 40 6c 61 79 65 72 28 .<p>.<tt>@layer(
5200: 2e 2e 2e 29 3c 2f 74 74 3e 20 e3 81 a0 e3 81 91 ...)</tt> ......
5210: e3 81 a7 e3 81 aa e3 81 8f e3 80 81 e9 96 a2 e6 ................
5220: 95 b0 e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e6 8c ................
5230: 87 e5 ae 9a e5 bc 95 e6 95 b0 e3 81 aa e3 81 a9 ................
5240: e3 82 82 e5 90 8c e6 a7 98 e3 81 ab e4 bd bf e3 ................
5250: 81 86 e3 81 93 e3 81 a8 e3 81 8c e3 81 a7 e3 81 ................
5260: 8d e3 82 8b e3 81 ae e3 81 a7 e3 80 81 0a e4 b8 ................
5270: 80 e9 83 a8 e3 81 ae e5 bc 95 e6 95 b0 e3 81 af ................
5280: 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e <tt>@macro</tt>
5290: e3 80 81 e4 b8 80 e9 83 a8 e3 81 ae e5 bc 95 e6 ................
52a0: 95 b0 e3 81 af 20 3c 74 74 3e 40 76 61 6c 75 65 ..... <tt>@value
52b0: 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 </tt> ..........
52c0: 81 a7 e5 8f 97 e3 81 91 e5 8f 96 e3 82 8b e9 96 ................
52d0: a2 e6 95 b0 e3 82 92 e6 9b b8 e3 81 8f e3 81 aa ................
52e0: e3 81 a9 e3 80 81 0a e3 81 95 e3 82 89 e3 81 ab ................
52f0: e8 89 b2 e3 80 85 e9 9d a2 e7 99 bd e3 81 84 e3 ................
5300: 81 93 e3 81 a8 e3 81 8c e5 8f af e8 83 bd e3 81 ................
5310: a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a ........</p>.)).
5320: 24 28 53 45 43 54 49 4f 4e 20 e6 a7 8b e6 96 87 $(SECTION ......
5330: e6 9c a8 e3 81 ae e6 a7 8b e9 80 a0 2c 20 24 28 ............, $(
5340: 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e6 a7 8b e6 SECBODY.<p>.....
5350: 96 87 e6 9c a8 e3 81 8c e3 81 a9 e3 81 ae e3 82 ................
5360: 88 e3 81 86 e3 81 aa e3 83 86 e3 83 bc e3 83 96 ................
5370: e3 83 ab e3 81 a7 e6 b8 a1 e3 81 95 e3 82 8c e3 ................
5380: 81 a6 e3 81 8f e3 82 8b e3 81 8b e3 81 ab e3 81 ................
5390: a4 e3 81 84 e3 81 a6 e3 81 af e3 80 81 e3 82 bd ................
53a0: e3 83 bc e3 82 b9 e3 83 89 e3 82 ad e3 83 a5 e3 ................
53b0: 83 a1 e3 83 b3 e3 83 88 e3 81 ae 0a 3c 61 20 68 ............<a h
53c0: 72 65 66 3d 22 68 74 74 70 3a 2f 2f 77 77 77 2e ref="http://www.
53d0: 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 72 65 70 6f 73 kmonos.net/repos
53e0: 2f 70 6f 6c 65 6d 79 2f 64 6f 63 2f 74 69 70 2f /polemy/doc/tip/
53f0: 64 6f 63 2f 61 73 74 2e 68 74 6d 6c 22 3e 70 6f doc/ast.html">po
5400: 6c 65 6d 79 2e 61 73 74 3c 2f 61 3e 0a e3 81 ae lemy.ast</a>....
5410: e3 83 9a e3 83 bc e3 82 b8 e3 82 92 e3 81 94 e8 ................
5420: a6 a7 e4 b8 8b e3 81 95 e3 81 84 e3 80 82 e4 be ................
5430: 8b e3 81 88 e3 81 b0 e5 a4 89 e6 95 b0 e5 90 8d ................
5440: e3 82 92 e8 a1 a8 e3 81 99 20 3c 63 6f 64 65 3e ......... <code>
5450: 56 61 72 3c 2f 63 6f 64 65 3e 20 e3 82 af e3 83 Var</code> .....
5460: a9 e3 82 b9 e3 81 ab e3 81 af e3 80 81 0a e7 b6 ................
5470: 99 e6 89 bf e3 81 ae e5 88 86 e3 82 82 e5 90 88 ................
5480: e3 82 8f e3 81 9b e3 81 a6 0a 3c 74 74 3e 3c 61 ..........<tt><a
5490: 20 68 72 65 66 3d 22 68 74 74 70 3a 2f 2f 77 77 href="http://ww
54a0: 77 2e 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 72 65 70 w.kmonos.net/rep
54b0: 6f 73 2f 70 6f 6c 65 6d 79 2f 64 6f 63 2f 74 69 os/polemy/doc/ti
54c0: 70 2f 64 6f 63 2f 66 61 69 6c 75 72 65 2e 68 74 p/doc/failure.ht
54d0: 6d 6c 22 3e 4c 65 78 50 6f 73 69 74 69 6f 6e 3c ml">LexPosition<
54e0: 2f 61 3e 20 70 6f 73 3b 3c 2f 74 74 3e 0a e3 81 /a> pos;</tt>...
54f0: a8 20 3c 74 74 3e 73 74 72 69 6e 67 20 6e 61 6d . <tt>string nam
5500: 65 3b 3c 2f 74 74 3e 20 e3 81 ae ef bc 92 e3 81 e;</tt> ........
5510: a4 e3 81 ae e3 83 a1 e3 83 b3 e3 83 90 e3 81 8c ................
5520: e3 81 82 e3 82 8b e3 81 ae e3 81 a7 0a 3c 2f 70 .............</p
5530: 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 7b 20 69 73 >.<pre>. { is
5540: 3a 20 20 20 22 56 61 72 22 2c 0a 20 20 20 20 20 : "Var",.
5550: 20 70 6f 73 3a 20 20 7b 66 69 6c 65 6e 61 6d 65 pos: {filename
5560: 3a 22 66 6f 6f 2e 70 6d 79 22 2c 20 6c 69 6e 65 :"foo.pmy", line
5570: 6e 6f 3a 31 32 33 2c 20 63 6f 6c 75 6d 6e 3a 34 no:123, column:4
5580: 35 7d 2c 0a 20 20 20 20 20 20 6e 61 6d 65 3a 20 5},. name:
5590: 22 78 22 20 7d 0a 3c 2f 70 72 65 3e 0a 3c 70 3e "x" }.</pre>.<p>
55a0: 0a e3 81 93 e3 82 93 e3 81 aa e6 84 9f e3 81 98 ................
55b0: e3 81 ae e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 ................
55c0: 81 ab e3 81 aa e3 82 8a e3 81 be e3 81 99 e3 80 ................
55d0: 82 0a e3 82 af e3 83 a9 e3 82 b9 e5 90 8d e3 81 ................
55e0: 8c 20 3c 74 74 3e 69 73 3c 2f 74 74 3e 20 e3 83 . <tt>is</tt> ..
55f0: 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ab ................
5600: e3 80 81 e3 83 a1 e3 83 b3 e3 83 90 e5 a4 89 e6 ................
5610: 95 b0 e3 81 af e3 81 9d e3 81 ae e3 81 be e3 81 ................
5620: be e3 81 ae e5 90 8d e5 89 8d e3 81 a7 e5 85 a5 ................
5630: e3 82 8a e3 81 be e3 81 99 e3 80 82 0a e9 85 8d ................
5640: e5 88 97 e3 83 a1 e3 83 b3 e3 83 90 e3 81 af 20 ...............
5650: 63 6f 6e 73 20 e3 83 aa e3 82 b9 e3 83 88 e3 81 cons ...........
5660: ab e3 81 aa e3 81 a3 e3 81 a6 e5 85 a5 e3 81 a3 ................
5670: e3 81 a6 e3 81 8d e3 81 be e3 81 99 e3 80 82 0a ................
5680: e8 87 aa e5 88 86 e3 81 a7 e6 a7 8b e6 96 87 e6 ................
5690: 9c a8 e3 82 92 e4 bd 9c e3 82 8b e6 99 82 e3 81 ................
56a0: af e3 80 81 3c 74 74 3e 70 6f 73 3c 2f 74 74 3e ....<tt>pos</tt>
56b0: 20 e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 ...............
56c0: e3 81 a0 e3 81 91 e3 81 af e7 9c 81 e7 95 a5 e3 ................
56d0: 81 97 e3 81 a6 e3 82 82 e6 a7 8b e3 81 84 e3 81 ................
56e0: be e3 81 9b e3 82 93 e3 80 82 0a 3c 2f 70 3e 0a ...........</p>.
56f0: 29 29 0a 24 28 53 45 43 54 49 4f 4e 20 e5 be ae )).$(SECTION ...
5700: e5 a6 99 e3 81 aa e3 81 a8 e3 81 93 e3 82 8d ef ................
5710: bc 91 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 .., $(SECBODY.<p
5720: 3e 0a e3 81 93 e3 81 93 e3 81 be e3 81 a7 e3 80 >...............
5730: 81 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e .<tt>@macro</tt>
5740: 20 e3 81 8c e6 9c ac e5 bd 93 e3 81 ab e3 81 9f ...............
5750: e3 81 a0 e3 81 ae ef bc 91 e3 83 ac e3 82 a4 e3 ................
5760: 83 a4 e3 81 a8 e8 aa ac e6 98 8e e3 81 97 e3 81 ................
5770: a6 e3 81 8d e3 81 be e3 81 97 e3 81 9f e3 81 8c ................
5780: e3 80 81 0a e5 ae 9f e3 81 af e3 81 a1 e3 82 87 ................
5790: e3 81 a3 e3 81 a8 e3 83 88 e3 83 aa e3 83 83 e3 ................
57a0: 82 af e3 81 8c e6 bd 9c e3 82 93 e3 81 a7 e3 81 ................
57b0: 84 e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a ...........</p>.
57c0: 3c 70 72 65 3e 0a 20 20 20 20 26 67 74 3b 26 67 <pre>. >&g
57d0: 74 3b 20 40 6d 61 63 72 6f 20 74 77 69 63 65 28 t; @macro twice(
57e0: 78 29 20 7b 78 3b 20 78 7d 20 69 6e 20 74 77 69 x) {x; x} in twi
57f0: 63 65 28 24 28 42 20 40 76 61 6c 75 65 29 28 70 ce($(B @value)(p
5800: 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 29 29 0a rint("Hello"))).
5810: 20 20 20 20 48 65 6c 6c 6f 0a 20 20 20 20 48 65 Hello. He
5820: 6c 6c 6f 0a 20 20 20 20 48 65 6c 6c 6f 0a 3c 2f llo. Hello.</
5830: 70 72 65 3e 0a 3c 70 3e 0a e5 85 88 e3 81 bb e3 pre>.<p>........
5840: 81 a9 e3 81 ae e4 be 8b e3 81 ab 20 3c 74 74 3e ........... <tt>
5850: 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e3 82 92 e5 @value</tt> ....
5860: a2 97 e3 82 84 e3 81 97 e3 81 9f e3 82 82 e3 81 ................
5870: ae e3 81 a7 e3 81 99 e3 81 8c e3 80 81 e3 81 93 ................
5880: e3 82 8c e3 81 a7 e3 82 82 e3 82 84 e3 81 af e3 ................
5890: 82 8a e3 80 81 48 65 6c 6c 6f 0a e3 81 8c ef bc .....Hello......
58a0: 92 e5 9b 9e 20 70 72 69 6e 74 20 e3 81 95 e3 82 .... print .....
58b0: 8c e3 82 8b e3 82 88 e3 81 86 e3 81 ab e3 81 aa ................
58c0: e3 82 8a e3 81 be e3 81 99 e3 80 82 e3 81 93 e3 ................
58d0: 82 8c e3 81 af e6 9c ac e6 9d a5 e3 81 af e3 81 ................
58e0: 8a e3 81 8b e3 81 97 e3 81 aa e8 a9 b1 e3 81 a7 ................
58f0: e3 80 81 3c 74 74 3e 70 72 69 6e 74 28 22 48 65 ...<tt>print("He
5900: 6c 6c 6f 22 29 3c 2f 74 74 3e 0a e3 81 af 20 3c llo")</tt>.... <
5910: 74 74 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e3 tt>@value</tt> .
5920: 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e5 ae 9f e8 a1 ................
5930: 8c e3 81 95 e3 82 8c e3 81 a6 e5 80 a4 e3 81 ab ................
5940: e8 90 bd e3 81 a1 e3 82 8b e3 81 af e3 81 9a e3 ................
5950: 81 aa e3 81 ae e3 81 a7 e3 80 81 ef bc 91 e5 9b ................
5960: 9e e3 81 97 e3 81 8b 20 70 72 69 6e 74 20 e3 81 ....... print ..
5970: 95 e3 82 8c e3 81 aa e3 81 84 e3 81 af e3 81 9a ................
5980: e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e5 ae 9f ....</p>.<p>....
5990: e3 81 af e3 80 81 50 6f 6c 65 6d 79 20 e3 81 ae ......Polemy ...
59a0: e4 b8 ad e3 81 a7 e3 81 af e3 80 81 3c 74 74 3e ............<tt>
59b0: 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 @macro</tt> ....
59c0: 82 a4 e3 83 a4 e3 81 a8 20 3c 74 74 3e 28 72 61 ........ <tt>(ra
59d0: 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 0a e3 83 ac wmacro)</tt>....
59e0: e3 82 a4 e3 83 a4 e3 81 a8 e3 81 84 e3 81 86 e4 ................
59f0: ba 8c e3 81 a4 e3 81 ae e7 95 b0 e3 81 aa e3 82 ................
5a00: 8b e3 83 9e e3 82 af e3 83 ad e7 94 a8 e3 83 ac ................
5a10: e3 82 a4 e3 83 a4 e3 81 8c e5 8b 95 e3 81 84 e3 ................
5a20: 81 a6 e3 81 84 e3 81 be e3 81 99 e3 80 82 0a 3c ...............<
5a30: 2f 70 3e 0a 3c 75 6c 3e 0a 09 3c 6c 69 3e 3c 74 /p>.<ul>..<li><t
5a40: 74 3e 28 72 61 77 6d 61 63 72 6f 29 3c 2f 74 74 t>(rawmacro)</tt
5a50: 3e 20 e3 82 82 20 3c 74 74 3e 40 6d 61 63 72 6f > ... <tt>@macro
5a60: 3c 2f 74 74 3e 20 e3 82 82 e3 80 81 e3 82 b3 e3 </tt> ..........
5a70: 83 bc e3 83 89 e3 82 92 e5 8b 95 e3 81 8b e3 81 ................
5a80: 99 e3 81 a8 e3 81 9d e3 81 ae e6 a7 8b e6 96 87 ................
5a90: e6 9c a8 e3 82 92 e8 bf 94 e3 81 99 e6 84 8f e5 ................
5aa0: 91 b3 e8 ab 96 e3 80 82 3c 2f 6c 69 3e 0a 09 3c ........</li>..<
5ab0: 6c 69 3e e3 81 9f e3 81 a0 e3 81 97 e3 80 81 3c li>............<
5ac0: 74 74 3e 28 72 61 77 6d 61 63 72 6f 29 3c 2f 74 tt>(rawmacro)</t
5ad0: 74 3e 20 e3 82 82 20 3c 74 74 3e 40 6d 61 63 72 t> ... <tt>@macr
5ae0: 6f 3c 2f 74 74 3e 20 e3 82 82 e3 80 81 0a 09 09 o</tt> .........
5af0: 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 <tt>@macro</tt>
5b00: e3 83 ac e3 82 a4 e3 83 a4 e3 81 ab e5 80 a4 e3 ................
5b10: 81 ae e3 82 bb e3 83 83 e3 83 88 e3 81 95 e3 82 ................
5b20: 8c e3 81 9f e5 a4 89 e6 95 b0 e3 82 92 e3 81 bf ................
5b30: e3 81 a4 e3 81 91 e3 81 9f e3 81 a8 e3 81 8d e3 ................
5b40: 81 af e3 80 81 0a 09 09 e3 81 9d e3 81 ae e5 a4 ................
5b50: 89 e6 95 b0 e3 81 a8 e3 81 84 e3 81 86 e6 a7 8b ................
5b60: e6 96 87 e6 9c a8 e3 82 92 e4 bd 9c e3 82 8b e3 ................
5b70: 81 ae e3 81 a7 e3 81 af e3 81 aa e3 81 8f e3 80 ................
5b80: 81 e5 a4 89 e6 95 b0 e3 81 ae e5 86 85 e5 ae b9 ................
5b90: e3 82 92 e5 b1 95 e9 96 8b e3 80 82 3c 2f 6c 69 ............</li
5ba0: 3e 0a 09 3c 6c 69 3e e3 81 be e3 81 9f 20 3c 74 >..<li>...... <t
5bb0: 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 81 t>@macro</tt> ..
5bc0: af e3 80 81 0a 09 09 e3 83 ac e3 82 a4 e3 83 a4 ................
5bd0: e6 8c 87 e5 ae 9a e5 bc 8f e3 82 92 e8 a6 8b e3 ................
5be0: 82 8b e3 81 a8 e5 ae 9f e8 a1 8c e3 83 ac e3 82 ................
5bf0: a4 e3 83 a4 e3 82 92 e5 88 87 e3 82 8a e6 9b bf ................
5c00: e3 81 a6 e3 80 81 e6 a7 8b e6 96 87 e6 9c a8 e7 ................
5c10: 94 9f e6 88 90 e3 83 a2 e3 83 bc e3 83 89 e3 82 ................
5c20: 92 e3 82 84 e3 82 81 e3 81 a6 e3 81 97 e3 81 be ................
5c30: e3 81 86 e3 80 82 3c 2f 6c 69 3e 0a 09 3c 6c 69 ......</li>..<li
5c40: 3e 3c 74 74 3e 28 72 61 77 6d 61 63 72 6f 29 3c ><tt>(rawmacro)<
5c50: 2f 74 74 3e 20 e3 81 af e3 80 81 0a 09 09 e3 83 /tt> ...........
5c60: ac e3 82 a4 e3 83 a4 e6 8c 87 e5 ae 9a e5 bc 8f ................
5c70: e3 82 92 e8 a6 8b e3 81 a6 e3 82 82 e5 ae 9f e8 ................
5c80: a1 8c e3 83 ac e3 82 a4 e3 83 a4 e3 82 92 e5 88 ................
5c90: 87 e3 82 8a e6 9b bf e3 81 88 e3 81 aa e3 81 84 ................
5ca0: e3 81 a7 e6 a7 8b e6 96 87 e6 9c a8 e3 81 ab e3 ................
5cb0: 81 99 e3 82 8b e3 80 82 3c 2f 6c 69 3e 0a 3c 2f ........</li>.</
5cc0: 75 6c 3e 0a 3c 70 3e 0a e3 83 a6 e3 83 bc e3 82 ul>.<p>.........
5cd0: b6 e3 83 bc e3 81 8b e3 82 89 e7 9b b4 e6 8e a5 ................
5ce0: 20 3c 74 74 3e 28 72 61 77 6d 61 63 72 6f 29 3c <tt>(rawmacro)<
5cf0: 2f 74 74 3e 20 e3 81 af e5 91 bc e3 81 b9 e3 81 /tt> ...........
5d00: be e3 81 9b e3 82 93 e3 81 8c e3 80 81 0a e3 80 ................
5d10: 8c e9 96 a2 e6 95 b0 e3 82 84 e3 83 88 e3 83 83 ................
5d20: e3 83 97 e3 83 ac e3 83 99 e3 83 ab e5 ae 9f e8 ................
5d30: a1 8c e9 96 8b e5 a7 8b e5 89 8d e3 81 ae e3 83 ................
5d40: 9e e3 82 af e3 83 ad e5 87 a6 e7 90 86 e3 81 af ................
5d50: 20 3c 74 74 3e 28 72 61 77 6d 61 63 72 6f 29 3c <tt>(rawmacro)<
5d60: 2f 74 74 3e 20 e3 81 a7 e5 ae 9f e8 a1 8c e9 96 /tt> ...........
5d70: 8b e5 a7 8b e3 80 8d 0a e3 80 8c 3c 74 74 3e 40 ...........<tt>@
5d80: 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 macro</tt> .....
5d90: a4 e3 83 a4 e4 bb a5 e5 a4 96 e3 81 a7 e5 91 bc ................
5da0: e3 81 b3 e5 87 ba e3 81 97 e3 81 9f e9 96 a2 e6 ................
5db0: 95 b0 e3 81 ae e4 bb ae e5 bc 95 e6 95 b0 e3 81 ................
5dc0: ab 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 . <tt>@macro</tt
5dd0: 3e 20 e3 81 8c e3 81 a4 e3 81 84 e3 81 a6 e3 81 > ..............
5de0: 84 e3 81 9f e3 82 89 e3 80 81 0a e3 81 9d e3 81 ................
5df0: ae e5 ae 9f e5 bc 95 e6 95 b0 e3 81 af 20 3c 74 ............. <t
5e00: 74 3e 28 72 61 77 6d 61 63 72 6f 29 3c 2f 74 74 t>(rawmacro)</tt
5e10: 3e 20 e3 81 a7 e5 ae 9f e8 a1 8c e3 80 8d 0a e3 > ..............
5e20: 81 a8 e3 81 84 e3 81 86 ef bc 92 e3 81 a4 e3 81 ................
5e30: ae e3 82 bf e3 82 a4 e3 83 9f e3 83 b3 e3 82 b0 ................
5e40: e3 81 a7 20 3c 74 74 3e 28 72 61 77 6d 61 63 72 ... <tt>(rawmacr
5e50: 6f 29 3c 2f 74 74 3e 20 e3 81 8c e5 8b 95 e3 81 o)</tt> ........
5e60: 8d e5 87 ba e3 81 97 e3 81 be e3 81 99 e3 80 82 ................
5e70: 0a 3c 74 74 3e 28 72 61 77 6d 61 63 72 6f 29 3c .<tt>(rawmacro)<
5e80: 2f 74 74 3e 20 e3 81 8c 20 3c 74 74 3e 40 6d 61 /tt> ... <tt>@ma
5e90: 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 cro</tt> .......
5ea0: 83 a4 e3 81 8b e3 82 89 e5 a4 89 e6 95 b0 e3 82 ................
5eb0: 92 e8 a6 8b e3 81 a4 e3 81 91 e3 81 a6 e3 83 9e ................
5ec0: e3 82 af e3 83 ad e3 81 97 e5 a7 8b e3 82 81 e3 ................
5ed0: 82 8b e6 99 82 e3 81 ab e3 80 81 0a e3 81 9d e3 ................
5ee0: 81 93 e3 81 a7 20 3c 74 74 3e 40 6d 61 63 72 6f ..... <tt>@macro
5ef0: 3c 2f 74 74 3e 20 e3 81 ab e5 8b 95 e4 bd 9c e3 </tt> ..........
5f00: 81 8c e7 a7 bb e3 82 8a e3 81 be e3 81 99 e3 80 ................
5f10: 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 93 e3 81 ..</p>.<p>......
5f20: 86 e3 81 aa e3 81 a3 e3 81 a6 e3 81 84 e3 82 8b ................
5f30: e3 81 ae e3 81 af e3 80 81 e5 85 a8 e9 83 a8 e3 ................
5f40: 81 8c e3 83 ac e3 82 a4 e3 83 a4 e6 8c 87 e5 ae ................
5f50: 9a e5 bc 8f e3 81 ab e5 8f 8d e5 bf 9c e3 81 99 ................
5f60: e3 82 8b 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f ... <tt>@macro</
5f70: 74 74 3e 20 e3 81 ae e5 8b 95 e4 bd 9c e3 81 a0 tt> ............
5f80: e3 81 a8 e3 80 81 0a e3 83 ac e3 82 a4 e3 83 a4 ................
5f90: e3 82 92 e4 bd bf e3 81 a3 e3 81 9f e3 83 97 e3 ................
5fa0: 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e3 81 8c e5 85 ................
5fb0: a8 e3 81 a6 20 3c 74 74 3e 40 76 61 6c 75 65 3c .... <tt>@value<
5fc0: 2f 74 74 3e 20 e5 ae 9f e8 a1 8c e6 99 82 e3 81 /tt> ...........
5fd0: a7 e3 81 af e3 81 aa e3 81 8f e3 80 81 0a e3 83 ................
5fe0: 9e e3 82 af e3 83 ad e5 b1 95 e9 96 8b e3 81 ae ................
5ff0: e6 99 82 e7 82 b9 e3 81 a7 e5 8b 95 e3 81 8d e5 ................
6000: a7 8b e3 82 81 e3 81 a6 e3 81 97 e3 81 be e3 81 ................
6010: a3 e3 81 a6 e3 80 81 e3 81 8a e3 81 8b e3 81 97 ................
6020: e3 81 aa e3 81 93 e3 81 a8 e3 81 ab e3 81 aa e3 ................
6030: 82 8b e3 81 9f e3 82 81 e3 81 a7 e3 81 99 e3 80 ................
6040: 82 0a e8 89 b2 e3 80 85 e8 80 83 e3 81 88 e3 81 ................
6050: 9f e7 b5 90 e6 9e 9c e3 80 81 e3 81 a8 e3 82 8a ................
6060: e3 81 82 e3 81 88 e3 81 9a e3 81 93 e3 81 ae e4 ................
6070: b8 ad e9 80 94 e5 8d 8a e7 ab af e3 81 aa e6 b7 ................
6080: b7 e5 90 88 e3 81 8c e5 85 b7 e5 90 88 e3 81 8c ................
6090: e3 82 88 e3 81 84 e3 81 ae e3 81 a7 e3 81 af e3 ................
60a0: 81 aa e3 81 84 e3 81 8b e3 81 a8 e3 81 84 e3 81 ................
60b0: 86 e3 81 93 e3 81 a8 e3 81 ab e3 81 aa e3 82 8a ................
60c0: e3 81 be e3 81 97 e3 81 9f e3 80 82 0a 3c 2f 70 .............</p
60d0: 3e 0a 29 29 0a 24 28 53 45 43 54 49 4f 4e 20 e5 >.)).$(SECTION .
60e0: be ae e5 a6 99 e3 81 aa e3 81 a8 e3 81 93 e3 82 ................
60f0: 8d ef bc 92 2c 20 24 28 53 45 43 42 4f 44 59 0a ...., $(SECBODY.
6100: 3c 70 3e 0a e3 80 8c e9 96 a2 e6 95 b0 e5 ae 9f <p>.............
6110: e8 a1 8c e9 96 8b e5 a7 8b e6 99 82 e3 81 ab e3 ................
6120: 80 81 e3 81 be e3 81 9a e3 83 9e e3 82 af e3 83 ................
6130: ad e3 83 ac e3 82 a4 e3 83 a4 e3 82 92 e5 ae 9f ................
6140: e8 a1 8c e3 80 8d e3 81 a8 e6 9b b8 e3 81 8d e3 ................
6150: 81 be e3 81 97 e3 81 9f e3 81 8c e3 80 81 e3 81 ................
6160: 93 e3 81 ae e6 99 82 e3 80 81 e9 96 a2 e6 95 b0 ................
6170: e5 86 85 e9 96 a2 e6 95 b0 e3 81 be e3 81 a7 e8 ................
6180: be bf e3 82 8a e3 81 ab e3 81 84 e3 81 8f e3 81 ................
6190: ae e3 81 a7 e3 80 81 0a e4 bd 95 e9 87 8d e3 81 ................
61a0: ab e3 82 82 e3 83 8d e3 82 b9 e3 83 88 e3 81 97 ................
61b0: e3 81 9f e9 96 a2 e6 95 b0 e3 82 92 e4 bd bf e3 ................
61c0: 81 a3 e3 81 a6 e3 81 84 e3 82 8b e3 81 a8 e3 80 ................
61d0: 81 e5 86 85 e5 81 b4 e3 81 ae e9 96 a2 e6 95 b0 ................
61e0: e3 81 af e3 80 81 e4 bd 95 e9 87 8d e3 81 ab e3 ................
61f0: 82 82 e3 83 9e e3 82 af e3 83 ad e5 b1 95 e9 96 ................
6200: 8b e3 81 8c e8 b5 b0 e3 81 a3 e3 81 a6 e3 81 97 ................
6210: e3 81 be e3 81 84 e3 81 be e3 81 99 e3 80 82 0a ................
6220: e3 81 93 e3 82 8c e3 81 af e3 81 aa e3 81 ab e3 ................
6230: 81 8b e3 81 8a e3 81 8b e3 81 97 e3 81 84 e6 b0 ................
6240: 97 e3 81 8c e3 81 97 e3 81 be e3 81 99 e3 81 ad ................
6250: e3 80 82 53 63 68 65 6d 65 20 e3 81 aa e3 81 a9 ...Scheme ......
6260: e3 81 af e3 81 a9 e3 81 86 e3 81 aa e3 81 a3 e3 ................
6270: 81 a6 e3 81 84 e3 82 8b e3 81 ae e3 81 8b e8 aa ................
6280: bf e3 81 b9 e3 81 aa e3 81 84 e3 81 a8 e2 80 a6 ................
6290: e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 24 28 53 45 ....</p>.)).$(SE
62a0: 43 54 49 4f 4e 20 e5 be ae e5 a6 99 e3 81 aa e3 CTION ..........
62b0: 81 a8 e3 81 93 e3 82 8d ef bc 93 2c 20 24 28 53 ..........., $(S
62c0: 45 43 42 4f 44 59 0a 3c 70 3e 0a e3 81 93 e3 82 ECBODY.<p>......
62d0: 8c e3 81 af e3 82 a8 e3 83 a9 e3 83 bc e3 81 ab ................
62e0: e3 81 aa e3 82 8a e3 81 be e3 81 99 e3 80 82 0a ................
62f0: 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 26 </p>.<pre>. &
6300: 67 74 3b 26 67 74 3b 20 6c 65 74 20 5f 20 3d 20 gt;> let _ =
6310: 28 40 6d 61 63 72 6f 20 74 77 69 63 65 28 78 29 (@macro twice(x)
6320: 20 7b 78 3b 78 7d 20 69 6e 20 74 77 69 63 65 28 {x;x} in twice(
6330: 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 29 29 print("Hello")))
6340: 0a 20 20 20 20 70 6f 6c 65 6d 79 2e 66 61 69 6c . polemy.fail
6350: 75 72 65 2e 52 75 6e 74 69 6d 65 45 78 63 65 70 ure.RuntimeExcep
6360: 74 69 6f 6e 40 43 3a 5c 44 65 76 65 6c 6f 70 5c tion@C:\Develop\
6370: 50 72 6f 6a 65 63 74 73 5c 50 6f 6c 65 6d 79 5c Projects\Polemy\
6380: 70 6f 6c 65 6d 79 5c 76 61 6c 75 65 2e 64 28 31 polemy\value.d(1
6390: 30 39 29 3a 0a 20 20 20 20 5b 3c 52 45 50 4c 3e 09):. [<REPL>
63a0: 3a 32 3a 33 35 5d 20 27 74 77 69 63 65 27 20 69 :2:35] 'twice' i
63b0: 73 20 6e 6f 74 20 73 65 74 20 69 6e 20 40 76 61 s not set in @va
63c0: 6c 75 65 20 6c 61 79 65 72 0a 3c 2f 70 72 65 3e lue layer.</pre>
63d0: 0a 3c 70 3e 0a e3 81 a9 e3 81 86 e3 81 84 e3 81 .<p>............
63e0: 86 e3 81 93 e3 81 a8 e3 81 8b e3 81 a8 e3 81 84 ................
63f0: e3 81 86 e3 81 a8 e3 80 81 3c 74 74 3e 40 6d 61 .........<tt>@ma
6400: 63 72 6f 3c 2f 74 74 3e 20 e3 81 a7 e5 ae 9a e7 cro</tt> .......
6410: be a9 e3 81 97 e3 81 9f e3 83 9e e3 82 af e3 83 ................
6420: ad e3 81 af e3 81 84 e3 81 a4 e3 81 8b e3 82 89 ................
6430: e4 bd bf e3 81 88 e3 82 8b e3 82 88 e3 81 86 e3 ................
6440: 81 ab e3 81 aa e3 82 8b e3 81 8b e3 81 a8 e3 81 ................
6450: 84 e3 81 86 e8 a9 b1 e3 81 a7 e3 80 81 0a e3 81 ................
6460: 93 e3 81 ae 20 3c 74 74 3e 40 6d 61 63 72 6f 20 .... <tt>@macro
6470: 74 77 69 63 65 28 78 29 20 7b 78 3b 78 7d 20 69 twice(x) {x;x} i
6480: 6e 20 2e 2e 2e 3c 2f 74 74 3e 20 e3 81 ae e9 83 n ...</tt> .....
6490: a8 e5 88 86 e3 81 af 20 3c 74 74 3e 40 76 61 6c ....... <tt>@val
64a0: 75 65 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 ue</tt> ........
64b0: a4 e3 81 ae e5 bc 8f e3 81 aa e3 81 ae e3 81 a7 ................
64c0: e3 80 81 0a e3 81 be e3 81 9a e3 81 93 e3 81 ae ................
64d0: e5 bc 8f e5 85 a8 e4 bd 93 e3 81 ae e3 83 9e e3 ................
64e0: 82 af e3 83 ad e5 b1 95 e9 96 8b e3 81 8c e7 b5 ................
64f0: 82 e3 82 8f e3 81 a3 e3 81 9f e3 81 82 e3 81 a8 ................
6500: e3 81 ab e3 81 97 e3 81 8b e5 ae 9f e8 a1 8c e3 ................
6510: 81 95 e3 82 8c e3 81 aa e3 81 84 e3 81 ae e3 81 ................
6520: a7 e3 81 99 e3 80 82 3c 74 74 3e 74 77 69 63 65 .......<tt>twice
6530: 3c 2f 74 74 3e 0a e3 81 8c e3 83 9e e3 82 af e3 </tt>...........
6540: 83 ad e3 81 a8 e8 a6 8b e3 81 aa e3 81 95 e3 82 ................
6550: 8c e3 81 af e3 81 98 e3 82 81 e3 82 8b e3 81 ae ................
6560: e3 81 af e3 80 81 3c 74 74 3e 40 6d 61 63 72 6f ......<tt>@macro
6570: 3c 2f 74 74 3e 20 e5 ae 9f e8 a1 8c e3 81 8c e7 </tt> ..........
6580: b5 82 e3 82 8f e3 81 a3 e3 81 9f e5 be 8c e3 80 ................
6590: 82 0a e3 81 aa e3 81 ae e3 81 a7 e3 80 81 0a e4 ................
65a0: be 8b e3 81 88 e3 81 b0 20 3c 74 74 3e 74 77 69 ........ <tt>twi
65b0: 63 65 28 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 ce(print("Hello"
65c0: 29 29 3c 2f 74 74 3e 20 e3 81 ae e9 83 a8 e5 88 ))</tt> ........
65d0: 86 e3 82 92 e7 84 a1 e5 90 8d e9 96 a2 e6 95 b0 ................
65e0: e3 81 ab e3 83 a9 e3 83 83 e3 83 97 e3 81 97 e3 ................
65f0: 81 a6 e3 82 84 e3 82 8c e3 81 b0 e3 80 81 0a e3 ................
6600: 83 9e e3 82 af e3 83 ad e5 b1 95 e9 96 8b e3 82 ................
6610: 92 e9 81 85 e3 82 89 e3 81 9b e3 82 89 e3 82 8c ................
6620: e3 81 a6 e3 80 81 20 e3 81 a1 e3 82 83 e3 82 93 ...... .........
6630: e3 81 a8 e5 ae 9f e8 a1 8c e3 81 8c e3 81 a7 e3 ................
6640: 81 8d e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e ............</p>
6650: 0a 3c 70 3e 0a e3 81 93 e3 82 8c e3 81 a0 e3 81 .<p>............
6660: a8 e4 bd 99 e3 82 8a e3 81 ab e3 82 82 e4 b8 8d ................
6670: e4 be bf e3 81 aa e3 81 ae e3 81 a7 e3 80 81 e9 ................
6680: 96 a2 e6 95 b0 e3 81 ae e3 83 88 e3 83 83 e3 83 ................
6690: 97 e3 83 ac e3 83 99 e3 83 ab e3 81 ae e5 a4 89 ................
66a0: e6 95 b0 e5 ae a3 e8 a8 80 e5 bc 8f e3 81 ae e5 ................
66b0: 88 97 e3 81 ab e3 81 a4 e3 81 84 e3 81 a6 e3 81 ................
66c0: a0 e3 81 91 e3 81 af e3 80 81 0a 3c 74 74 3e 40 ...........<tt>@
66d0: 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 81 a8 20 3c macro</tt> ... <
66e0: 74 74 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e3 tt>@value</tt> .
66f0: 81 ae e8 a9 95 e4 be a1 e3 82 92 e4 ba a4 e4 ba ................
6700: 92 e3 81 ab e3 82 a4 e3 83 b3 e3 82 bf e3 83 bc ................
6710: e3 83 aa e3 83 bc e3 83 96 e3 81 99 e3 82 8b e3 ................
6720: 82 88 e3 81 86 e3 81 ab e3 81 97 e3 81 be e3 81 ................
6730: 97 e3 81 9f e3 80 82 0a e3 80 8c e9 96 a2 e6 95 ................
6740: b0 e3 82 84 52 45 50 4c e3 81 ae e3 83 88 e3 83 ....REPL........
6750: 83 e3 83 97 e3 83 ac e3 83 99 e3 83 ab e3 81 ae ................
6760: e6 9c 80 e5 88 9d e3 81 ab e5 ae a3 e8 a8 80 e3 ................
6770: 81 97 e3 81 9f e3 83 9e e3 82 af e3 83 ad e3 81 ................
6780: a0 e3 81 91 e3 81 af e3 80 81 e3 81 9d e3 81 ae ................
6790: e9 96 a2 e6 95 b0 e5 86 85 e3 81 a7 e5 8d b3 e5 ................
67a0: ba a7 e3 81 ab e4 bd bf e3 81 88 e3 82 8b e3 80 ................
67b0: 8d e3 82 8f e3 81 91 e3 81 a7 e3 81 99 e3 80 82 ................
67c0: 0a e3 81 93 e3 82 8c e3 82 82 20 53 63 68 65 6d .......... Schem
67d0: 65 20 e3 81 ae 20 6c 65 74 2d 73 79 6e 74 61 78 e ... let-syntax
67e0: 20 e3 81 aa e3 81 a9 e3 81 aa e3 81 a9 e3 81 ae ...............
67f0: e5 8b 95 e3 81 8d e3 82 92 e8 aa bf e3 81 b9 e3 ................
6800: 81 a6 e5 8b 89 e5 bc b7 e3 81 97 e3 81 aa e3 81 ................
6810: 84 e3 81 a8 e2 80 a6 e3 80 82 0a 3c 2f 70 3e 0a ...........</p>.
6820: 29 29 0a 29 0a 29 29 0a 0a 0a 24 28 53 45 43 54 )).).))...$(SECT
6830: 49 4f 4e 20 42 75 69 6c 74 2d 69 6e 20 50 72 69 ION Built-in Pri
6840: 6d 69 74 69 76 65 73 2c 20 24 28 53 45 43 42 4f mitives, $(SECBO
6850: 44 59 0a 3c 70 3e 0a e7 b5 84 e3 81 bf e8 be bc DY.<p>..........
6860: e3 81 bf e9 96 a2 e6 95 b0 e3 83 bb e5 a4 89 e6 ................
6870: 95 b0 e3 81 ae e4 b8 80 e8 a6 a7 e3 80 82 0a 3c ...............<
6880: 2f 70 3e 0a 24 28 44 44 4f 43 5f 4d 45 4d 42 45 /p>.$(DDOC_MEMBE
6890: 52 53 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e3 83 RS..$(SECTION ..
68a0: 86 e3 83 bc e3 83 96 e3 83 ab e6 93 8d e4 bd 9c ................
68b0: 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 20 24 28 , $(SECBODY. $(
68c0: 54 41 42 4c 45 0a 20 20 20 20 24 28 54 52 20 24 TABLE. $(TR $
68d0: 28 54 48 20 7b 7d 29 20 24 28 54 44 20 28 29 29 (TH {}) $(TD ())
68e0: 20 24 28 54 44 20 e7 a9 ba e3 81 ae e3 83 86 e3 $(TD ..........
68f0: 83 bc e3 83 96 e3 83 ab e3 82 92 e4 bd 9c e3 82 ................
6900: 8b 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 .)). $(TR $(T
6910: 48 20 2e 29 20 24 28 54 44 20 28 74 2c 20 73 29 H .) $(TD (t, s)
6920: 29 20 24 28 54 44 20 e3 83 86 e3 83 bc e3 83 96 ) $(TD .........
6930: e3 83 ab 20 74 20 e3 81 ae e5 90 8d e5 89 8d 20 ... t .........
6940: 73 20 e3 81 ae e3 83 95 e3 82 a3 e3 83 bc e3 83 s ..............
6950: ab e3 83 89 e3 81 ae e5 80 a4 e3 82 92 e5 8f 96 ................
6960: e5 be 97 e3 80 82 e3 81 aa e3 81 91 e3 82 8c e3 ................
6970: 81 b0 20 3c 74 74 3e 75 6e 64 65 66 69 6e 65 64 .. <tt>undefined
6980: 3c 2f 74 74 3e 29 29 0a 20 20 20 20 24 28 54 52 </tt>)). $(TR
6990: 20 24 28 54 48 20 2e 3f 29 20 24 28 54 44 20 28 $(TH .?) $(TD (
69a0: 74 2c 20 73 29 29 20 24 28 54 44 20 e3 83 86 e3 t, s)) $(TD ....
69b0: 83 bc e3 83 96 e3 83 ab 20 74 20 e3 81 ab e5 90 ........ t .....
69c0: 8d e5 89 8d 20 73 20 e3 81 ae e3 83 95 e3 82 a3 .... s .........
69d0: e3 83 bc e3 83 ab e3 83 89 e3 81 8c e3 81 82 e3 ................
69e0: 82 8c e3 81 b0 20 31 e3 80 81 e3 81 aa e3 81 91 ..... 1.........
69f0: e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 20 20 24 ...... 0)). $
6a00: 28 54 52 20 24 28 54 48 20 2e 3d 29 20 24 28 54 (TR $(TH .=) $(T
6a10: 44 20 28 74 2c 20 73 2c 20 76 29 29 20 24 28 54 D (t, s, v)) $(T
6a20: 44 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab 20 74 D ............ t
6a30: 20 e3 82 92 e8 a6 aa e3 81 ab e6 8c 81 e3 81 a1 ...............
6a40: e3 80 81 e5 90 8d e5 89 8d 20 73 20 e3 81 ae e3 ......... s ....
6a50: 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ................
6a60: ab 20 76 20 e3 81 8c e5 85 a5 e3 81 a3 e3 81 9f . v ............
6a70: e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 82 92 e4 ................
6a80: bd 9c e3 82 8b 29 29 0a 20 20 29 0a 29 29 0a 3c .....)). ).)).<
6a90: 62 72 20 2f 3e 0a 0a 24 28 53 45 43 54 49 4f 4e br />..$(SECTION
6aa0: 20 e5 88 b6 e5 be a1 e3 83 95 e3 83 ad e3 83 bc ...............
6ab0: 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 20 24 28 , $(SECBODY. $(
6ac0: 54 41 42 4c 45 0a 20 20 20 20 24 28 54 52 20 24 TABLE. $(TR $
6ad0: 28 54 48 20 69 66 29 20 24 28 54 44 20 28 6e 2c (TH if) $(TD (n,
6ae0: 20 66 74 2c 20 66 65 29 29 20 24 28 54 44 20 6e ft, fe)) $(TD n
6af0: 20 e3 81 8c e9 9d 9e 20 30 20 e3 81 aa e3 82 89 ...... 0 ......
6b00: 20 3c 74 74 3e 66 74 28 29 3c 2f 74 3e e3 80 81 <tt>ft()</t>...
6b10: 30 20 e3 81 aa e3 82 89 20 3c 74 74 3e 66 65 28 0 ...... <tt>fe(
6b20: 29 3c 2f 74 74 3e 20 e3 82 92 e5 ae 9f e8 a1 8c )</tt> .........
6b30: 29 29 0a 20 20 29 0a 29 29 0a 3c 62 72 20 2f 3e )). ).)).<br />
6b40: 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e6 bc 94 e7 ..$(SECTION ....
6b50: ae 97 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 20 .., $(SECBODY.
6b60: 24 28 54 41 42 4c 45 0a 20 20 20 20 24 28 54 52 $(TABLE. $(TR
6b70: 20 24 28 54 48 20 2b 29 20 24 28 54 44 20 28 6e $(TH +) $(TD (n
6b80: 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 , m)) $(TD .....
6b90: b0 20 6e 20 e3 81 a8 e6 95 b4 e6 95 b0 20 6d 20 . n ......... m
6ba0: e3 82 92 e8 b6 b3 e3 81 97 e3 81 a6 e8 bf 94 e3 ................
6bb0: 81 99 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 ..)). $(TR $(
6bc0: 54 48 20 2d 29 20 24 28 54 44 20 28 6e 2c 20 6d TH -) $(TD (n, m
6bd0: 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 e3 81 )) $(TD ........
6be0: ae e5 bc 95 e3 81 8d e7 ae 97 29 29 0a 20 20 20 ..........)).
6bf0: 20 24 28 54 52 20 24 28 54 48 20 2a 29 20 24 28 $(TR $(TH *) $(
6c00: 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 TD (n, m)) $(TD
6c10: e6 95 b4 e6 95 b0 e3 81 ae e6 8e 9b e3 81 91 e7 ................
6c20: ae 97 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 ..)). $(TR $(
6c30: 54 48 20 2f 29 20 24 28 54 44 20 28 6e 2c 20 6d TH /) $(TD (n, m
6c40: 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 e3 81 )) $(TD ........
6c50: ae e5 89 b2 e3 82 8a e7 ae 97 29 29 0a 20 20 20 ..........)).
6c60: 20 24 28 54 52 20 24 28 54 48 20 25 29 20 24 28 $(TR $(TH %) $(
6c70: 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 TD (n, m)) $(TD
6c80: e6 95 b4 e6 95 b0 e3 81 ae e5 89 b0 e4 bd 99 29 ...............)
6c90: 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 ). $(TR $(TH
6ca0: 26 61 6d 70 3b 26 61 6d 70 3b 29 20 24 28 54 44 &&) $(TD
6cb0: 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 (n, m)) $(TD ..
6cc0: b4 e6 95 b0 20 6e 20 e3 81 a8 20 6d 20 e3 81 8c .... n ... m ...
6cd0: e4 b8 a1 e6 96 b9 e9 9d 9e 20 30 20 e3 81 aa e3 ......... 0 ....
6ce0: 82 89 20 31 e3 80 81 e3 81 9d e3 82 8c e4 bb a5 .. 1............
6cf0: e5 a4 96 e3 81 a7 e3 81 af 20 30 29 29 0a 20 20 ......... 0)).
6d00: 20 20 24 28 54 52 20 24 28 54 48 20 7c 7c 29 20 $(TR $(TH ||)
6d10: 24 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 $(TD (n, m)) $(T
6d20: 44 20 e6 95 b4 e6 95 b0 20 6e 20 e3 81 a8 20 6d D ...... n ... m
6d30: 20 e3 81 8c e3 81 a9 e3 81 a1 e3 82 89 e3 81 8b ...............
6d40: e9 9d 9e 20 30 20 e3 81 aa e3 82 89 20 31 e3 80 ... 0 ...... 1..
6d50: 81 e3 81 9d e3 82 8c e4 bb a5 e5 a4 96 e3 81 a7 ................
6d60: e3 81 af 20 30 29 29 0a 20 20 20 20 24 28 54 52 ... 0)). $(TR
6d70: 20 24 28 54 48 20 7e 29 20 24 28 54 44 20 28 61 $(TH ~) $(TD (a
6d80: 2c 20 62 29 29 20 24 28 54 44 20 61 20 e3 81 a8 , b)) $(TD a ...
6d90: 20 62 20 e3 82 92 e6 96 87 e5 ad 97 e5 88 97 e5 b .............
6da0: 8c 96 e3 81 97 e3 81 a6 e7 b5 90 e5 90 88 29 29 ..............))
6db0: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 26 . $(TR $(TH &
6dc0: 6c 74 3b 29 20 24 28 54 44 20 28 61 2c 20 62 29 lt;) $(TD (a, b)
6dd0: 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 e3 ) $(TD a ... b .
6de0: 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 20 20 24 ........)). $
6df0: 28 54 52 20 24 28 54 48 20 26 6c 74 3b 3d 29 20 (TR $(TH <=)
6e00: 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 28 54 $(TD (a, b)) $(T
6e10: 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 D a ... b ......
6e20: e8 bc 83 29 29 0a 20 20 20 20 24 28 54 52 20 24 ...)). $(TR $
6e30: 28 54 48 20 26 67 74 3b 29 20 24 28 54 44 20 28 (TH >) $(TD (
6e40: 61 2c 20 62 29 29 20 24 28 54 44 20 61 20 e3 81 a, b)) $(TD a ..
6e50: a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 29 29 0a . b .........)).
6e60: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 26 67 $(TR $(TH &g
6e70: 74 3b 3d 29 20 24 28 54 44 20 28 61 2c 20 62 29 t;=) $(TD (a, b)
6e80: 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 e3 ) $(TD a ... b .
6e90: 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 20 20 24 ........)). $
6ea0: 28 54 52 20 24 28 54 48 20 3d 3d 29 20 24 28 54 (TR $(TH ==) $(T
6eb0: 44 20 28 61 2c 20 62 29 29 20 24 28 54 44 20 61 D (a, b)) $(TD a
6ec0: 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 ... b .........
6ed0: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 )). $(TR $(TH
6ee0: 20 21 3d 29 20 24 28 54 44 20 28 61 2c 20 62 29 !=) $(TD (a, b)
6ef0: 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 e3 ) $(TD a ... b .
6f00: 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 29 0a 3c ........)). ).<
6f10: 70 3e 0a e6 b3 a8 e6 84 8f e7 82 b9 e3 81 a8 e3 p>..............
6f20: 81 97 e3 81 a6 e3 80 81 e4 bd 9c e8 80 85 e3 81 ................
6f30: ae e8 b6 a3 e5 91 b3 e3 81 ae e5 95 8f e9 a1 8c ................
6f40: e3 81 a7 e3 80 81 3c 74 74 3e 26 61 6d 70 3b 26 ......<tt>&&
6f50: 61 6d 70 3b 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 amp;</tt> ... <t
6f60: 74 3e 7c 7c 3c 2f 74 74 3e 20 e3 81 af 20 73 68 t>||</tt> ... sh
6f70: 6f 72 74 2d 63 69 72 63 75 69 74 20 e8 a9 95 e4 ort-circuit ....
6f80: be a1 e3 82 92 e3 81 97 e3 81 be e3 81 9b e3 82 ................
6f90: 93 e3 80 82 0a e6 95 b4 e6 95 b0 e6 bc 94 e7 ae ................
6fa0: 97 e3 81 ae e7 a8 ae e9 a1 9e e3 81 8c e5 b0 91 ................
6fb0: e3 81 aa e3 81 84 e3 81 ae e3 81 af e3 80 81 44 ...............D
6fc0: 20 e8 a8 80 e8 aa 9e e3 81 ae 20 73 74 64 2e 62 ......... std.b
6fd0: 69 67 69 6e 74 20 e3 81 8c e3 83 93 e3 83 83 e3 igint ..........
6fe0: 83 88 e6 bc 94 e7 ae 97 e3 81 aa e3 81 a9 e3 82 ................
6ff0: 92 e3 82 b5 e3 83 9d e3 83 bc e3 83 88 e3 81 97 ................
7000: e3 81 a6 e3 81 aa e3 81 84 e3 81 9f e3 82 81 e3 ................
7010: 81 a7 e3 81 99 e3 80 82 0a e6 96 87 e5 ad 97 e5 ................
7020: 88 97 e3 81 8c e7 b5 90 e5 90 88 e3 81 97 e3 81 ................
7030: 8b e3 81 a7 e3 81 8d e3 81 aa e3 81 84 e3 81 ae ................
7040: e3 81 af e3 80 81 e5 8d 98 e3 81 ab e6 89 8b e6 ................
7050: 8a 9c e3 81 8d e3 81 a7 e3 81 99 e3 80 82 0a 3c ...............<
7060: 2f 70 3e 0a 29 29 0a 0a 24 28 53 45 43 54 49 4f /p>.))..$(SECTIO
7070: 4e 20 e5 a4 96 e9 83 a8 e3 81 a8 e3 81 ae e3 82 N ..............
7080: 84 e3 82 8a e3 81 a8 e3 82 8a 2c 20 24 28 53 45 .........., $(SE
7090: 43 42 4f 44 59 0a 20 20 24 28 54 41 42 4c 45 0a CBODY. $(TABLE.
70a0: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 70 72 $(TR $(TH pr
70b0: 69 6e 74 29 20 24 28 54 44 20 28 61 29 29 20 24 int) $(TD (a)) $
70c0: 28 54 44 20 61 20 e3 82 92 e6 96 87 e5 ad 97 e5 (TD a ..........
70d0: 88 97 e5 8c 96 e6 a8 99 e6 ba 96 e5 87 ba e5 8a ................
70e0: 9b e3 81 ab e6 94 b9 e8 a1 8c e4 bb 98 e3 81 8d ................
70f0: e3 81 a7 e8 a1 a8 e7 a4 ba e3 81 97 e3 81 a6 e3 ................
7100: 80 81 61 20 e3 82 92 e8 bf 94 e3 81 99 29 29 0a ..a .........)).
7110: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 61 72 $(TR $(TH ar
7120: 67 76 29 20 24 28 54 44 20 29 20 24 28 54 44 20 gv) $(TD ) $(TD
7130: e3 82 b9 e3 82 af e3 83 aa e3 83 97 e3 83 88 e3 ................
7140: 81 ab e6 b8 a1 e3 81 95 e3 82 8c e3 81 9f e5 bc ................
7150: 95 e6 95 b0 e6 96 87 e5 ad 97 e5 88 97 e3 81 ae ................
7160: 63 6f 6e 73 e3 83 aa e3 82 b9 e3 83 88 29 29 0a cons.........)).
7170: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 67 65 $(TR $(TH ge
7180: 6e 73 79 6d 29 20 24 28 54 44 20 28 29 29 20 24 nsym) $(TD ()) $
7190: 28 54 44 20 e3 82 a8 e3 82 bb 67 65 6e 73 79 6d (TD ......gensym
71a0: e3 80 82 e5 a4 89 e6 95 b0 e5 90 8d e3 81 a8 e3 ................
71b0: 81 97 e3 81 a6 e4 bb 96 e3 81 a8 e3 81 8b e3 81 ................
71c0: b6 e3 82 89 e3 81 aa e3 81 9d e3 81 86 e3 81 aa ................
71d0: e6 96 87 e5 ad 97 e5 88 97 e3 82 92 e8 bf 94 e3 ................
71e0: 81 97 e3 81 be e3 81 99 29 29 0a 20 20 20 20 24 ........)). $
71f0: 28 54 52 20 24 28 54 48 20 72 61 6e 64 29 20 24 (TR $(TH rand) $
7200: 28 54 44 20 28 6e 29 29 20 24 28 54 44 20 30 20 (TD (n)) $(TD 0
7210: e4 bb a5 e4 b8 8a 20 6e 20 e6 9c aa e6 ba 80 e3 ...... n .......
7220: 81 ae e8 87 aa e7 84 b6 e6 95 b0 e3 82 92 33 31 ..............31
7230: 62 69 74 e4 bb a5 e5 86 85 e3 81 a7 e3 83 a9 e3 bit.............
7240: 83 b3 e3 83 80 e3 83 a0 e3 81 ab e7 94 9f e6 88 ................
7250: 90 e3 81 97 e3 81 be e3 81 99 29 29 0a 20 20 29 ..........)). )
7260: 0a 29 29 0a 3c 62 72 20 2f 3e 0a 0a 24 28 53 45 .)).<br />..$(SE
7270: 43 54 49 4f 4e 20 e3 83 87 e3 83 bc e3 82 bf e5 CTION ..........
7280: 9e 8b e5 88 a4 e5 ae 9a 2c 20 24 28 53 45 43 42 ........, $(SECB
7290: 4f 44 59 0a 20 20 24 28 54 41 42 4c 45 0a 20 20 ODY. $(TABLE.
72a0: 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 73 69 $(TR $(TH _isi
72b0: 6e 74 29 20 24 28 54 44 20 28 61 29 29 20 24 28 nt) $(TD (a)) $(
72c0: 54 44 20 61 20 e3 81 8c e6 95 b4 e6 95 b0 e3 81 TD a ...........
72d0: aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 .... 1..........
72e0: 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 20 ........ 0)).
72f0: 20 24 28 54 52 20 24 28 54 48 20 5f 69 73 73 74 $(TR $(TH _isst
7300: 72 29 20 24 28 54 44 20 28 61 29 29 20 24 28 54 r) $(TD (a)) $(T
7310: 44 20 61 20 e3 81 8c e6 96 87 e5 ad 97 e5 88 97 D a ............
7320: e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 ...... 1........
7330: aa e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 .......... 0)).
7340: 20 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 73 $(TR $(TH _is
7350: 66 75 6e 29 20 24 28 54 44 20 28 61 29 29 20 24 fun) $(TD (a)) $
7360: 28 54 44 20 61 20 e3 81 8c e9 96 a2 e6 95 b0 e3 (TD a ..........
7370: 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa ..... 1.........
7380: e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 ......... 0)).
7390: 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 73 74 $(TR $(TH _ist
73a0: 61 62 6c 65 29 20 24 28 54 44 20 28 61 29 29 20 able) $(TD (a))
73b0: 24 28 54 44 20 61 20 e3 81 8c e3 83 86 e3 83 bc $(TD a .........
73c0: e3 83 96 e3 83 ab e3 81 aa e3 82 89 20 31 e3 80 ............ 1..
73d0: 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c e3 81 b0 ................
73e0: 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 0)). $(TR $(
73f0: 54 48 20 5f 69 73 75 6e 64 65 66 69 6e 65 64 29 TH _isundefined)
7400: 20 24 28 54 44 20 28 61 29 29 20 24 28 54 44 20 $(TD (a)) $(TD
7410: 61 20 e3 81 8c e6 9c aa e5 ae 9a e7 be a9 e5 80 a ..............
7420: a4 e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 ....... 1.......
7430: 81 aa e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a ........... 0)).
7440: 20 20 29 0a 29 29 0a 29 0a 29 29 0a 0a 29 0a 4d ).)).).))..).M
7450: 61 63 72 6f 73 3a 0a 20 20 20 20 54 49 54 4c 45 acros:. TITLE
7460: 3d 50 6f 6c 65 6d 79 20 52 65 66 65 72 65 6e 63 =Polemy Referenc
7470: 65 20 4d 61 6e 75 61 6c 0a 20 20 20 20 44 4f 43 e Manual. DOC
7480: 46 49 4c 45 4e 41 4d 45 3d 69 6e 64 65 78 2e 68 FILENAME=index.h
7490: 74 6d 6c 0a 20 20 20 20 53 45 43 54 49 4f 4e 3d tml. SECTION=
74a0: 24 28 44 44 4f 43 5f 44 45 43 4c 20 24 28 44 44 $(DDOC_DECL $(DD
74b0: 4f 43 5f 50 53 59 4d 42 4f 4c 20 24 31 29 29 20 OC_PSYMBOL $1))
74c0: 24 28 44 44 4f 43 5f 44 45 43 4c 5f 44 44 20 24 $(DDOC_DECL_DD $
74d0: 32 29 0a 20 20 20 20 53 45 43 42 4f 44 59 3d 24 2). SECBODY=$
74e0: 30 0a 0.