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 3e 0a e3 81 93 e3 81 ae e8 a8 80 e8 Y.<p>...........
2c60: aa 9e e3 81 ae e5 94 af e4 b8 80 e3 81 ae e7 89 ................
2c70: b9 e5 be b4 e7 9a 84 e3 81 aa e9 83 a8 e5 88 86 ................
2c80: e3 81 af e3 80 81 e3 80 8c e3 83 ac e3 82 a4 e3 ................
2c90: 83 a4 e3 80 8d e6 a9 9f e8 83 bd e3 81 a7 e3 81 ................
2ca0: 99 e3 80 82 0a 3c 2f 70 3e 0a 24 28 44 44 4f 43 .....</p>.$(DDOC
2cb0: 5f 4d 45 4d 42 45 52 53 0a 24 28 53 45 43 54 49 _MEMBERS.$(SECTI
2cc0: 4f 4e 20 4c 61 79 65 72 73 2c 20 24 28 53 45 43 ON Layers, $(SEC
2cd0: 42 4f 44 59 0a 3c 70 72 65 3e 0a 5b 4c 61 79 65 BODY.<pre>.[Laye
2ce0: 72 73 20 3a 3a 20 4f 76 65 72 76 69 65 77 5d 0a rs :: Overview].
2cf0: 0a 20 20 50 6f 6c 65 6d 79 27 73 20 72 75 6e 74 . Polemy's runt
2d00: 69 6d 65 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 20 ime environment
2d10: 68 61 73 20 6d 61 6e 79 20 22 6c 61 79 65 72 22 has many "layer"
2d20: 73 2e 0a 20 20 55 73 75 61 6c 20 65 78 65 63 75 s.. Usual execu
2d30: 74 69 6f 6e 20 72 75 6e 20 69 6e 20 74 68 65 20 tion run in the
2d40: 40 76 61 6c 75 65 20 6c 61 79 65 72 2e 0a 0a 20 @value layer...
2d50: 20 20 20 3e 3e 20 31 20 2b 20 32 0a 20 20 20 20 >> 1 + 2.
2d60: 33 0a 20 20 20 20 3e 3e 20 40 76 61 6c 75 65 28 3. >> @value(
2d70: 20 31 20 2b 20 32 20 29 0a 20 20 20 20 33 0a 0a 1 + 2 ). 3..
2d80: 20 20 48 65 72 65 20 79 6f 75 20 63 61 6e 20 73 Here you can s
2d90: 65 65 20 74 68 61 74 20 40 4c 61 79 65 72 4e 61 ee that @LayerNa
2da0: 6d 65 28 20 45 78 70 72 65 73 73 69 6f 6e 20 29 me( Expression )
2db0: 20 65 78 65 63 75 74 65 73 20 74 68 65 20 69 6e executes the in
2dc0: 6e 65 72 20 45 78 70 72 65 73 73 69 6f 6e 20 69 ner Expression i
2dd0: 6e 0a 20 20 74 68 65 20 40 4c 61 79 65 72 4e 61 n. the @LayerNa
2de0: 6d 65 20 6c 61 79 65 72 2e 20 4f 74 68 65 72 20 me layer. Other
2df0: 74 68 61 6e 20 40 76 61 6c 75 65 2c 20 6f 6e 65 than @value, one
2e00: 20 6f 74 68 65 72 20 70 72 65 64 65 66 69 6e 65 other predefine
2e10: 64 20 6c 61 79 65 72 20 65 78 69 73 74 73 3a 20 d layer exists:
2e20: 40 6d 61 63 72 6f 2e 0a 0a 20 20 20 20 3e 3e 20 @macro... >>
2e30: 40 6d 61 63 72 6f 28 20 31 2b 32 20 29 0a 20 20 @macro( 1+2 ).
2e40: 20 20 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 {pos@value:{li
2e50: 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 63 6f neno@value:3, co
2e60: 6c 75 6d 6e 40 76 61 6c 75 65 3a 39 2c 20 66 69 lumn@value:9, fi
2e70: 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45 lename@value:<RE
2e80: 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 69 73 40 76 PL>},. is@v
2e90: 61 6c 75 65 3a 61 70 70 2c 0a 20 20 20 20 61 72 alue:app,. ar
2ea0: 67 73 40 76 61 6c 75 65 3a 7b 63 61 72 40 76 61 gs@value:{car@va
2eb0: 6c 75 65 3a 7b 70 6f 73 40 76 61 6c 75 65 3a 7b lue:{pos@value:{
2ec0: 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 lineno@value:3,
2ed0: 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 39 2c 20 column@value:9,
2ee0: 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c filename@value:<
2ef0: 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20 REPL>},.
2f00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2f10: 20 20 20 20 69 73 40 76 61 6c 75 65 3a 69 6e 74 is@value:int
2f20: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ,.
2f30: 20 20 20 20 20 20 20 20 20 20 20 20 64 61 74 61 data
2f40: 40 76 61 6c 75 65 3a 31 7d 2c 0a 20 20 20 20 20 @value:1},.
2f50: 20 20 20 20 20 20 20 20 20 20 20 63 64 72 40 76 cdr@v
2f60: 61 6c 75 65 3a 7b 0a 20 20 20 20 20 20 20 20 20 alue:{.
2f70: 20 20 20 20 20 20 20 20 20 63 61 72 40 76 61 6c car@val
2f80: 75 65 3a 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c ue:{pos@value:{l
2f90: 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 63 ineno@value:3, c
2fa0: 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 31 31 2c 20 olumn@value:11,
2fb0: 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c filename@value:<
2fc0: 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20 REPL>},.
2fd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2fe0: 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 3a 69 is@value:i
2ff0: 6e 74 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 nt,.
3000: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
3010: 64 61 74 61 40 76 61 6c 75 65 3a 32 7d 2c 0a 20 data@value:2},.
3020: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
3030: 20 63 64 72 40 76 61 6c 75 65 3a 7b 7d 7d 7d 2c cdr@value:{}}},
3040: 0a 20 20 20 20 20 66 75 6e 40 76 61 6c 75 65 3a . fun@value:
3050: 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 {pos@value:{line
3060: 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 no@value:3, colu
3070: 6d 6e 40 76 61 6c 75 65 3a 31 30 2c 20 66 69 6c mn@value:10, fil
3080: 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 ename@value:<REP
3090: 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 20 L>},.
30a0: 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 3a 76 is@value:v
30b0: 61 72 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 ar,.
30c0: 20 20 20 6e 61 6d 65 40 76 61 6c 75 65 3a 2b 7d name@value:+}
30d0: 7d 0a 0a 20 20 28 53 6f 72 72 79 2c 20 74 68 69 }.. (Sorry, thi
30e0: 73 20 70 72 65 74 74 79 20 70 72 69 6e 74 69 6e s pretty printin
30f0: 67 20 69 73 20 6e 6f 74 20 61 76 61 69 6c 61 62 g is not availab
3100: 6c 65 20 6f 6e 20 74 68 65 20 61 63 74 75 61 6c le on the actual
3110: 20 69 6e 74 65 72 70 72 65 74 65 72 2e 2e 2e 29 interpreter...)
3120: 0a 20 20 54 68 69 73 20 65 76 61 6c 75 61 74 65 . This evaluate
3130: 73 20 74 68 65 20 65 78 70 72 65 73 73 69 6f 6e s the expression
3140: 20 31 2b 32 20 69 6e 20 74 68 65 20 40 6d 61 63 1+2 in the @mac
3150: 72 6f 20 6c 61 79 65 72 2e 20 49 6e 20 74 68 69 ro layer. In thi
3160: 73 20 6c 61 79 65 72 2c 20 74 68 65 20 6d 65 61 s layer, the mea
3170: 6e 69 6e 67 20 6f 66 0a 20 20 74 68 65 20 70 72 ning of. the pr
3180: 6f 67 72 61 6d 20 69 73 20 69 74 73 20 61 62 73 ogram is its abs
3190: 74 72 61 63 74 20 73 79 6e 74 61 78 20 74 72 65 tract syntax tre
31a0: 65 2e 0a 0a 20 20 59 6f 75 20 63 61 6e 20 69 6e e... You can in
31b0: 74 65 72 6c 65 61 76 65 20 6c 61 79 65 72 73 2e terleave layers.
31c0: 0a 20 20 54 68 65 20 72 6f 6f 74 20 6e 6f 64 65 . The root node
31d0: 20 6f 66 20 74 68 65 20 61 62 73 74 72 61 63 74 of the abstract
31e0: 20 73 79 6e 74 61 78 20 74 72 65 65 20 69 73 20 syntax tree is
31f0: 66 75 6e 63 74 69 6f 6e 20 22 61 70 70 22 6c 69 function "app"li
3200: 63 61 74 69 6f 6e 2e 0a 0a 20 20 20 20 3e 3e 20 cation... >>
3210: 40 76 61 6c 75 65 28 40 6d 61 63 72 6f 28 20 31 @value(@macro( 1
3220: 2b 32 20 29 2e 69 73 29 0a 20 20 20 20 61 70 70 +2 ).is). app
3230: 0a 0a 0a 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 44 ....[Layers :: D
3240: 65 66 69 6e 69 6e 67 20 61 20 6e 65 77 20 6c 61 efining a new la
3250: 79 65 72 5d 0a 0a 20 20 54 6f 20 64 65 66 69 6e yer].. To defin
3260: 65 20 61 20 6e 65 77 20 6c 61 79 65 72 2c 20 79 e a new layer, y
3270: 6f 75 20 73 68 6f 75 6c 64 20 66 69 72 73 74 20 ou should first
3280: 74 65 6c 6c 20 68 6f 77 20 74 6f 20 22 6c 69 66 tell how to "lif
3290: 74 22 20 65 78 69 73 74 69 6e 67 20 76 61 6c 75 t" existing valu
32a0: 65 73 20 74 77 6f 20 74 68 65 20 6e 65 77 20 6c es two the new l
32b0: 61 79 65 72 2e 0a 20 20 4c 65 74 20 75 73 20 64 ayer.. Let us d
32c0: 65 66 69 6e 65 20 74 68 65 20 22 40 74 79 70 65 efine the "@type
32d0: 22 20 6c 61 79 65 72 2c 20 77 68 65 72 65 20 74 " layer, where t
32e0: 68 65 20 6d 65 61 6e 69 6e 67 20 6f 66 20 70 72 he meaning of pr
32f0: 6f 67 72 61 6d 73 20 69 73 20 74 68 65 69 72 20 ograms is their
3300: 73 74 61 74 69 63 20 74 79 70 65 2e 0a 0a 20 20 static type...
3310: 20 20 3e 3e 20 40 40 74 79 70 65 20 3d 20 66 75 >> @@type = fu
3320: 6e 28 78 29 20 7b 0a 20 20 20 20 3e 3e 20 20 20 n(x) {. >>
3330: 69 66 28 20 5f 69 73 69 6e 74 28 78 29 20 29 20 if( _isint(x) )
3340: 7b 20 22 69 6e 74 22 20 7d 20 65 6c 73 65 20 7b { "int" } else {
3350: 0a 20 20 20 20 3e 3e 20 20 20 69 66 28 20 5f 69 . >> if( _i
3360: 73 66 75 6e 28 78 29 20 29 20 7b 20 78 20 7d 20 sfun(x) ) { x }
3370: 65 6c 73 65 20 7b 20 22 75 6e 6b 6e 6f 77 6e 22 else { "unknown"
3380: 20 7d 20 7d 0a 20 20 20 20 3e 3e 20 7d 0a 20 20 } }. >> }.
3390: 20 20 28 4e 6f 74 65 3a 20 70 6f 6c 65 6d 79 20 (Note: polemy
33a0: 52 45 50 4c 20 6d 61 79 20 77 61 72 6e 20 73 6f REPL may warn so
33b0: 6d 65 20 65 78 63 65 70 74 69 6f 6e 20 68 65 72 me exception her
33c0: 65 20 62 75 74 20 70 6c 65 61 73 65 20 69 67 6e e but please ign
33d0: 6f 72 65 29 0a 0a 20 20 46 6f 72 20 73 69 6d 70 ore).. For simp
33e0: 6c 69 63 69 74 79 2c 20 49 20 68 65 72 65 20 64 licity, I here d
33f0: 65 61 6c 20 6f 6e 6c 79 20 77 69 74 68 20 69 6e eal only with in
3400: 74 65 67 65 72 73 2e 0a 20 20 5f 69 73 69 6e 74 tegers.. _isint
3410: 20 69 73 20 61 20 70 72 69 6d 69 74 69 76 65 20 is a primitive
3420: 66 75 6e 63 74 69 6f 6e 20 6f 66 20 50 6f 6c 65 function of Pole
3430: 6d 79 20 74 68 61 74 20 63 68 65 63 6b 73 20 74 my that checks t
3440: 68 65 20 64 79 6e 61 6d 69 63 20 74 79 70 65 20 he dynamic type
3450: 6f 66 20 61 20 76 61 6c 75 65 2e 0a 20 20 46 6f of a value.. Fo
3460: 72 20 66 75 6e 63 74 69 6f 6e 2c 20 6c 65 61 76 r function, leav
3470: 69 6e 67 20 69 74 20 75 6e 74 6f 75 63 68 65 64 ing it untouched
3480: 20 77 6f 72 6b 73 20 77 65 6c 6c 20 66 6f 72 20 works well for
3490: 61 6c 6d 6f 73 74 20 61 6c 6c 20 6c 61 79 65 72 almost all layer
34a0: 73 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 s... >> @type
34b0: 28 20 31 20 29 0a 20 20 20 20 69 6e 74 0a 20 20 ( 1 ). int.
34c0: 20 20 3e 3e 20 40 74 79 70 65 28 20 32 20 29 0a >> @type( 2 ).
34d0: 20 20 20 20 69 6e 74 0a 20 20 20 20 3e 3e 20 40 int. >> @
34e0: 74 79 70 65 28 20 22 66 6f 6f 22 20 29 0a 20 20 type( "foo" ).
34f0: 20 20 75 6e 6b 6e 6f 77 6e 0a 0a 20 20 46 69 6e unknown.. Fin
3500: 65 21 20 4c 65 74 27 73 20 74 72 79 20 74 6f 20 e! Let's try to
3510: 74 79 70 65 20 31 2b 32 2e 0a 0a 20 20 20 20 3e type 1+2... >
3520: 3e 20 40 74 79 70 65 28 20 31 20 2b 20 32 20 29 > @type( 1 + 2 )
3530: 0a 20 20 20 20 2e 2e 2e 5c 76 61 6c 75 65 2e 64 . ...\value.d
3540: 28 31 31 39 29 3a 20 5b 3c 52 45 50 4c 3e 3a 36 (119): [<REPL>:6
3550: 3a 38 5d 20 6f 6e 6c 79 20 40 76 61 6c 75 65 20 :8] only @value
3560: 6c 61 79 65 72 20 63 61 6e 20 63 61 6c 6c 20 6e layer can call n
3570: 61 74 69 76 65 20 66 75 6e 63 74 69 6f 6e 0a 0a ative function..
3580: 20 20 4e 6f 74 65 20 74 68 61 74 20 74 68 65 20 Note that the
3590: 62 65 68 61 76 69 6f 72 20 6f 66 20 74 68 69 73 behavior of this
35a0: 20 70 72 6f 67 72 61 6d 20 69 73 0a 20 20 20 20 program is.
35b0: 2d 20 72 75 6e 20 31 2b 32 20 69 6e 20 74 68 65 - run 1+2 in the
35c0: 20 40 74 79 70 65 20 6c 61 79 65 72 0a 20 20 61 @type layer. a
35d0: 6e 64 20 4e 4f 54 0a 20 20 20 20 2d 20 72 75 6e nd NOT. - run
35e0: 20 31 2b 32 20 69 6e 20 40 76 61 6c 75 65 20 61 1+2 in @value a
35f0: 6e 64 20 6f 62 74 61 69 6e 20 33 20 61 6e 64 20 nd obtain 3 and
3600: 72 75 6e 20 33 20 69 6e 20 74 68 65 20 40 74 79 run 3 in the @ty
3610: 70 65 2e 0a 20 20 54 68 65 20 70 72 6f 62 6c 65 pe.. The proble
3620: 6d 20 69 73 2c 20 74 68 65 20 76 61 72 69 61 62 m is, the variab
3630: 6c 65 20 22 2b 22 20 69 73 20 64 65 66 69 6e 65 le "+" is define
3640: 64 20 6f 6e 6c 79 20 69 6e 20 74 68 65 20 40 76 d only in the @v
3650: 61 6c 75 65 20 6c 61 79 65 72 2e 0a 20 20 54 6f alue layer.. To
3660: 20 63 61 72 72 79 20 6f 75 74 20 63 6f 6d 70 75 carry out compu
3670: 74 61 74 69 6f 6e 20 69 6e 20 74 68 65 20 40 74 tation in the @t
3680: 79 70 65 20 6c 61 79 65 72 2e 20 57 65 20 6e 65 ype layer. We ne
3690: 65 64 20 74 6f 20 64 65 66 69 6e 65 20 69 74 20 ed to define it
36a0: 61 6c 73 6f 0a 20 20 69 6e 20 74 68 65 20 40 74 also. in the @t
36b0: 79 70 65 20 6c 61 79 65 72 2e 0a 0a 20 20 54 6f ype layer... To
36c0: 20 64 65 66 69 6e 65 20 73 6f 6d 65 20 76 61 72 define some var
36d0: 69 61 62 6c 65 20 69 6e 20 61 20 73 70 65 63 69 iable in a speci
36e0: 66 69 63 20 6c 61 79 65 72 2c 20 75 73 65 20 40 fic layer, use @
36f0: 4c 61 79 65 72 4e 61 6d 65 20 69 6e 20 70 6c 61 LayerName in pla
3700: 63 65 20 6f 66 0a 20 20 28 6c 65 74 7c 76 61 72 ce of. (let|var
3710: 7c 64 65 66 29 73 2e 0a 0a 20 20 20 20 3e 3e 20 |def)s... >>
3720: 6c 65 74 20 78 20 3d 20 32 0a 20 20 20 20 3e 3e let x = 2. >>
3730: 20 40 76 61 6c 75 65 20 78 20 3d 20 32 0a 20 20 @value x = 2.
3740: 20 20 3e 3e 20 40 74 79 70 65 20 78 20 3d 20 22 >> @type x = "
3750: 69 6e 74 22 0a 20 20 20 20 3e 3e 20 40 68 6f 67 int". >> @hog
3760: 65 20 78 20 3d 20 22 66 75 67 61 22 0a 0a 20 20 e x = "fuga"..
3770: 46 6f 72 20 22 2b 22 2c 20 64 6f 20 69 74 20 6c For "+", do it l
3780: 69 6b 65 20 74 68 69 73 2e 0a 0a 20 20 20 20 3e ike this... >
3790: 3e 20 40 74 79 70 65 20 22 2b 22 20 3d 20 66 75 > @type "+" = fu
37a0: 6e 28 78 2c 79 29 20 7b 40 76 61 6c 75 65 28 0a n(x,y) {@value(.
37b0: 20 20 20 20 3e 3e 20 20 20 69 66 28 20 40 74 79 >> if( @ty
37c0: 70 65 28 78 29 3d 3d 22 69 6e 74 22 20 26 26 20 pe(x)=="int" &&
37d0: 40 74 79 70 65 28 79 29 3d 3d 22 69 6e 74 22 20 @type(y)=="int"
37e0: 29 20 7b 20 22 69 6e 74 22 20 7d 20 65 6c 73 65 ) { "int" } else
37f0: 20 7b 20 22 74 79 70 65 65 72 72 6f 72 22 20 7d { "typeerror" }
3800: 0a 20 20 20 20 3e 3e 20 29 7d 0a 20 20 20 20 70 . >> )}. p
3810: 6f 6c 65 6d 79 2e 76 61 6c 75 65 2e 6e 61 74 69 olemy.value.nati
3820: 76 65 21 28 49 6e 74 56 61 6c 75 65 2c 49 6e 74 ve!(IntValue,Int
3830: 56 61 6c 75 65 2c 49 6e 74 56 61 6c 75 65 29 2e Value,IntValue).
3840: 6e 61 74 69 76 65 2e 5f 5f 61 6e 6f 6e 63 6c 61 native.__anoncla
3850: 73 73 32 34 0a 0a 20 20 49 74 20 69 73 20 6a 75 ss24.. It is ju
3860: 73 74 20 63 6f 6d 70 75 74 69 6e 67 20 74 68 65 st computing the
3870: 20 72 65 74 75 72 6e 20 74 79 70 65 20 66 72 6f return type fro
3880: 6d 20 74 68 65 20 69 6e 70 75 74 20 74 79 70 65 m the input type
3890: 2e 0a 20 20 4e 6f 74 20 68 65 72 65 20 74 68 61 .. Not here tha
38a0: 74 20 74 68 65 20 69 6e 74 65 6e 64 65 64 20 22 t the intended "
38b0: 6d 65 61 6e 69 6e 67 22 20 6f 66 20 69 66 2d 74 meaning" of if-t
38c0: 68 65 6e 2d 65 6c 73 65 20 69 73 20 74 68 65 20 hen-else is the
38d0: 72 75 6e 74 69 6d 65 2d 62 72 61 6e 63 68 69 6e runtime-branchin
38e0: 67 2c 0a 20 20 61 6e 64 20 74 68 65 20 6d 65 61 g,. and the mea
38f0: 6e 69 6e 67 20 6f 66 20 22 3d 3d 22 20 69 73 20 ning of "==" is
3900: 74 68 65 20 76 61 6c 75 65 2d 63 6f 6d 70 61 72 the value-compar
3910: 69 73 6f 6e 2e 20 54 68 65 73 65 20 61 72 65 20 ison. These are
3920: 74 68 65 20 40 76 61 6c 75 65 20 6c 61 79 65 72 the @value layer
3930: 0a 20 20 62 65 68 61 76 69 6f 72 2e 20 53 6f 20 . behavior. So
3940: 77 65 20 68 61 76 65 20 64 65 66 69 6e 65 64 20 we have defined
3950: 74 68 65 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 the function bod
3960: 79 20 69 6e 73 69 64 65 20 40 76 61 6c 75 65 20 y inside @value
3970: 6c 61 79 65 72 2e 0a 20 20 42 75 74 20 77 68 65 layer.. But whe
3980: 6e 20 77 65 20 72 65 66 65 72 20 74 68 65 20 76 n we refer the v
3990: 61 72 69 61 62 6c 65 73 20 78 20 61 6e 64 20 79 ariables x and y
39a0: 2c 20 77 65 20 6e 65 65 64 20 69 74 73 20 40 74 , we need its @t
39b0: 79 70 65 20 6c 61 79 65 72 20 6d 65 61 6e 69 6e ype layer meanin
39c0: 67 2e 0a 20 20 48 65 6e 63 65 20 77 65 20 75 73 g.. Hence we us
39d0: 65 20 40 74 79 70 65 28 29 20 74 68 65 72 65 2e e @type() there.
39e0: 0a 0a 20 20 4e 6f 77 20 77 65 20 67 65 74 20 69 .. Now we get i
39f0: 74 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 t... >> @type
3a00: 28 20 31 20 2b 20 32 20 29 0a 20 20 20 20 69 6e ( 1 + 2 ). in
3a10: 74 0a 0a 20 20 57 65 6c 6c 2c 20 62 75 74 20 64 t.. Well, but d
3a20: 6f 20 77 65 20 68 61 76 65 20 74 6f 20 64 65 66 o we have to def
3a30: 69 6e 65 20 74 68 65 20 40 74 79 70 65 20 6c 61 ine the @type la
3a40: 79 65 72 20 6d 65 61 6e 69 6e 67 20 66 6f 72 20 yer meaning for
3a50: 65 76 65 72 79 20 76 61 72 69 61 62 6c 65 73 3f every variables?
3a60: 3f 3f 0a 20 20 4e 6f 2e 20 41 66 74 65 72 20 79 ??. No. After y
3a70: 6f 75 20 64 65 66 69 6e 65 64 20 40 74 79 70 65 ou defined @type
3a80: 20 22 2b 22 2c 20 79 6f 75 27 6c 6c 20 61 75 74 "+", you'll aut
3a90: 6f 6d 61 74 69 63 61 6c 6c 79 20 67 65 74 20 74 omatically get t
3aa0: 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 3a 0a 0a 20 he following:..
3ab0: 20 20 20 3e 3e 20 64 65 66 20 64 6f 75 62 6c 65 >> def double
3ac0: 28 78 29 20 7b 20 78 20 2b 20 78 20 7d 0a 20 20 (x) { x + x }.
3ad0: 20 20 28 66 75 6e 63 74 69 6f 6e 3a 31 37 65 34 (function:17e4
3ae0: 37 34 30 3a 31 37 38 39 37 32 30 29 0a 0a 20 20 740:1789720)..
3af0: 20 20 3e 3e 20 40 74 79 70 65 28 20 64 6f 75 62 >> @type( doub
3b00: 6c 65 28 31 32 33 29 20 29 0a 20 20 20 20 69 6e le(123) ). in
3b10: 74 0a 0a 20 20 45 76 65 72 79 20 75 73 65 72 2d t.. Every user-
3b20: 64 65 66 69 6e 65 64 20 66 75 6e 63 74 69 6f 6e defined function
3b30: 73 20 61 72 65 20 61 75 74 6f 6d 61 74 69 63 61 s are automatica
3b40: 6c 6c 79 20 22 6c 69 66 74 22 65 64 20 74 6f 20 lly "lift"ed to
3b50: 74 68 65 20 61 70 70 72 6f 70 72 69 61 74 65 20 the appropriate
3b60: 6c 61 79 65 72 2e 0a 20 20 4f 6e 6c 79 20 70 72 layer.. Only pr
3b70: 69 6d 69 74 69 76 65 20 66 75 6e 63 74 69 6f 6e imitive function
3b80: 73 20 6c 69 6b 65 20 22 2b 22 20 72 65 71 75 69 s like "+" requi
3b90: 72 65 73 20 40 79 6f 75 72 4e 65 77 4c 61 79 65 res @yourNewLaye
3ba0: 72 20 61 6e 6e 6f 74 61 74 69 6f 6e 2e 0a 0a 0a r annotation....
3bb0: 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 6e 65 75 74 .[Layers :: neut
3bc0: 72 61 6c 2d 6c 61 79 65 72 5d 0a 0a 20 20 6c 65 ral-layer].. le
3bd0: 74 7c 76 61 72 7c 64 65 66 20 69 73 20 74 6f 20 t|var|def is to
3be0: 64 65 66 69 6e 65 20 61 20 76 61 72 69 61 62 6c define a variabl
3bf0: 65 20 69 6e 20 74 68 65 20 22 63 75 72 72 65 6e e in the "curren
3c00: 74 22 20 6c 61 79 65 72 2e 0a 20 20 4e 6f 74 20 t" layer.. Not
3c10: 6e 65 63 65 73 73 61 72 79 20 74 6f 20 74 68 65 necessary to the
3c20: 20 40 76 61 6c 75 65 20 6c 61 79 65 72 2e 0a 0a @value layer...
3c30: 20 20 20 20 3e 3e 20 40 76 61 6c 75 65 28 20 6c >> @value( l
3c40: 65 74 20 78 20 3d 20 31 20 69 6e 20 40 76 61 6c et x = 1 in @val
3c50: 75 65 28 78 29 20 29 0a 20 20 20 20 31 0a 0a 20 ue(x) ). 1..
3c60: 20 20 20 3e 3e 20 40 6d 61 63 72 6f 28 20 6c 65 >> @macro( le
3c70: 74 20 78 20 3d 20 31 20 69 6e 20 40 76 61 6c 75 t x = 1 in @valu
3c80: 65 28 78 29 20 29 0a 20 20 20 20 70 6f 6c 65 6d e(x) ). polem
3c90: 79 2e 66 61 69 6c 75 72 65 2e 52 75 6e 74 69 6d y.failure.Runtim
3ca0: 65 45 78 63 65 70 74 69 6f 6e 3a 20 5b 3c 52 45 eException: [<RE
3cb0: 50 4c 3e 3a 31 34 3a 32 39 5d 20 76 61 72 69 61 PL>:14:29] varia
3cc0: 62 6c 65 20 78 20 6e 6f 74 20 66 6f 75 6e 64 0a ble x not found.
3cd0: 0a 20 20 20 20 3e 3e 20 40 6d 61 63 72 6f 28 20 . >> @macro(
3ce0: 6c 65 74 20 78 20 3d 20 31 20 69 6e 20 40 6d 61 let x = 1 in @ma
3cf0: 63 72 6f 28 78 29 20 29 0a 20 20 20 20 7b 70 6f cro(x) ). {po
3d00: 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 s@value:{lineno@
3d10: 76 61 6c 75 65 3a 31 35 2c 20 2e 2e 2e 0a 0a 0a value:15, ......
3d20: 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 4c 61 79 65 .[Layers :: Laye
3d30: 72 65 64 2d 50 61 72 61 6d 65 74 65 72 73 5d 0a red-Parameters].
3d40: 0a 20 20 20 20 3e 3e 20 64 65 66 20 66 6f 6f 28 . >> def foo(
3d50: 78 20 40 6d 61 63 72 6f 20 40 76 61 6c 75 65 29 x @macro @value)
3d60: 20 7b 20 7b 66 73 74 3a 20 78 2c 20 73 6e 64 3a { {fst: x, snd:
3d70: 20 40 6d 61 63 72 6f 28 78 29 7d 20 7d 0a 20 20 @macro(x)} }.
3d80: 20 20 28 66 75 6e 63 74 69 6f 6e 3a 31 37 33 30 (function:1730
3d90: 33 36 30 3a 31 37 38 39 37 32 30 29 0a 0a 20 20 360:1789720)..
3da0: 49 66 20 79 6f 75 20 61 6e 6e 6f 74 61 74 65 20 If you annotate
3db0: 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 function paramet
3dc0: 65 72 73 20 62 79 20 40 4c 61 79 65 72 4e 61 6d ers by @LayerNam
3dd0: 65 73 2c 20 77 68 65 6e 20 79 6f 75 20 69 6e 76 es, when you inv
3de0: 6f 6b 65 20 74 68 65 20 66 75 6e 63 74 69 6f 6e oke the function
3df0: 2e 2e 2e 0a 0a 20 20 20 20 3e 3e 20 66 6f 6f 28 ..... >> foo(
3e00: 31 2b 32 29 0a 20 20 20 20 7b 73 6e 64 40 76 61 1+2). {snd@va
3e10: 6c 75 65 3a 20 7b 70 6f 73 40 76 61 6c 75 65 3a lue: {pos@value:
3e20: 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 31 37 {lineno@value:17
3e30: 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 35 , column@value:5
3e40: 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 , filename@value
3e50: 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 :<REPL>},.
3e60: 20 20 20 20 20 20 20 20 20 20 20 20 69 73 40 76 is@v
3e70: 61 6c 75 65 3a 61 70 70 2c 20 61 72 67 40 76 61 alue:app, arg@va
3e80: 6c 75 65 3a 7b 2e 2e 2e 0a 20 20 20 20 2f 66 73 lue:{.... /fs
3e90: 74 40 76 61 6c 75 65 3a 33 0a 20 20 20 20 2f 7d t@value:3. /}
3ea0: 0a 0a 20 20 69 74 73 20 63 6f 72 72 65 73 70 6f .. its correspo
3eb0: 6e 64 69 6e 67 20 61 72 67 75 6d 65 6e 74 73 20 nding arguments
3ec0: 61 72 65 20 65 76 61 6c 75 61 74 65 64 20 69 6e are evaluated in
3ed0: 20 74 68 65 20 6c 61 79 65 72 20 61 6e 64 20 70 the layer and p
3ee0: 61 73 73 65 64 20 74 6f 20 69 74 2e 0a 20 20 49 assed to it.. I
3ef0: 66 20 79 6f 75 20 73 70 65 63 69 66 79 20 6d 75 f you specify mu
3f00: 6c 74 69 70 6c 65 20 6c 61 79 65 72 73 2c 20 74 ltiple layers, t
3f10: 68 65 20 61 72 67 75 6d 65 6e 74 20 65 78 70 72 he argument expr
3f20: 65 73 73 69 6f 6e 20 69 73 20 72 75 6e 20 6d 75 ession is run mu
3f30: 6c 74 69 70 6c 65 20 74 69 6d 65 73 2e 0a 20 20 ltiple times..
3f40: 49 66 20 79 6f 75 20 64 6f 20 6e 6f 74 20 73 70 If you do not sp
3f50: 65 63 69 66 79 20 61 6e 79 20 6c 61 79 65 72 20 ecify any layer
3f60: 66 6f 72 20 61 20 70 61 72 61 6d 65 74 65 72 2c for a parameter,
3f70: 20 69 74 20 77 6f 72 6b 73 20 69 6e 20 74 68 65 it works in the
3f80: 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 2e 0a neutral layer..
3f90: 3c 2f 70 72 65 3e 0a 29 29 0a 29 0a 29 29 0a 0a </pre>.)).).))..
3fa0: 0a 24 28 53 45 43 54 49 4f 4e 20 4d 61 63 72 6f .$(SECTION Macro
3fb0: 20 4c 61 79 65 72 73 2c 20 24 28 53 45 43 42 4f Layers, $(SECBO
3fc0: 44 59 0a 3c 70 3e 0a 50 6f 6c 65 6d 79 20 e8 a8 DY.<p>.Polemy ..
3fd0: 80 e8 aa 9e e7 b5 84 e3 81 bf e8 be bc e3 81 bf ................
3fe0: e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e3 81 af 20 ...............
3ff0: 3c 63 6f 64 65 3e 40 76 61 6c 75 65 3c 2f 63 6f <code>@value</co
4000: 64 65 3e 20 e3 81 a8 20 3c 63 6f 64 65 3e 40 6d de> ... <code>@m
4010: 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3 81 ae e4 acro</code> ....
4020: ba 8c e3 81 a4 e3 81 a7 e3 81 99 e3 80 82 0a ef ................
4030: bc 88 e5 86 85 e9 83 a8 e7 9a 84 e3 81 ab e3 81 ................
4040: af e3 82 82 e3 81 86 e3 81 84 e3 81 8f e3 81 a4 ................
4050: e3 81 8b e3 81 82 e3 82 8a e3 81 be e3 81 99 e3 ................
4060: 81 8c e3 80 81 e3 83 a6 e3 83 bc e3 82 b6 e3 81 ................
4070: 8b e3 82 89 e7 9b b4 e6 8e a5 e3 81 af e4 bd bf ................
4080: e3 81 88 e3 81 be e3 81 9b e3 82 93 e3 80 82 ef ................
4090: bc 89 0a 3c 63 6f 64 65 3e 40 76 61 6c 75 65 3c ...<code>@value<
40a0: 2f 63 6f 64 65 3e 20 e3 81 af e3 80 81 e3 80 8c /code> .........
40b0: e6 99 ae e9 80 9a e3 81 ab e3 80 8d e6 99 ae e9 ................
40c0: 80 9a e3 81 ae e3 82 bb e3 83 9e e3 83 b3 e3 83 ................
40d0: 86 e3 82 a3 e3 82 af e3 82 b9 e3 81 a7 e3 83 97 ................
40e0: e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e3 82 92 e5 ................
40f0: ae 9f e8 a1 8c e3 81 99 e3 82 8b e3 83 ac e3 82 ................
4100: a4 e3 83 a4 e3 81 a7 e3 81 97 e3 81 9f e3 80 82 ................
4110: 0a 3c 63 6f 64 65 3e 40 6d 61 63 72 6f 3c 2f 63 .<code>@macro</c
4120: 6f 64 65 3e 20 e3 81 af e3 80 81 e5 ae 9f e3 81 ode> ...........
4130: af e3 80 81 3c 63 6f 64 65 3e 40 76 61 6c 75 65 ....<code>@value
4140: 3c 2f 63 6f 64 65 3e 20 e3 82 88 e3 82 8a e3 82 </code> ........
4150: 82 e5 89 8d e3 81 ab e5 ae 9f e8 a1 8c e3 81 95 ................
4160: e3 82 8c e3 82 8b e3 83 ac e3 82 a4 e3 83 a4 e3 ................
4170: 81 a7 e3 80 81 0a e3 80 8c e3 83 97 e3 83 ad e3 ................
4180: 82 b0 e3 83 a9 e3 83 a0 e3 82 92 e5 ae 9f e8 a1 ................
4190: 8c e3 81 99 e3 82 8b e3 81 a8 e3 81 9d e3 81 ae ................
41a0: e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 e8 bf 94 e3 ................
41b0: 81 99 e3 80 8d e3 81 a8 e3 81 84 e3 81 86 e3 82 ................
41c0: bb e3 83 9e e3 83 b3 e3 83 86 e3 82 a3 e3 82 af ................
41d0: e3 82 b9 e3 81 a7 e5 8b 95 e3 81 8d e3 81 be e3 ................
41e0: 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e ......</p>.<pre>
41f0: 0a 20 20 20 20 28 e3 81 93 e3 81 93 e3 81 ab e4 . (..........
4200: be 8b 29 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e5 ..).</pre>.<p>..
4210: 8b 95 e3 81 8d e3 81 a8 e3 81 97 e3 81 a6 e3 81 ................
4220: af e3 81 93 e3 81 86 e3 81 a7 e3 81 99 e3 80 82 ................
4230: 0a 3c 2f 70 3e 0a 3c 6f 6c 3e 0a 3c 6c 69 3e e9 .</p>.<ol>.<li>.
4240: 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 81 ................
4250: 97 e6 99 82 ef bc 88 e3 81 a8 e3 83 88 e3 83 83 ................
4260: e3 83 97 e3 83 ac e3 83 99 e3 83 ab e7 92 b0 e5 ................
4270: a2 83 e3 81 ae e5 ae 9f e8 a1 8c e9 96 8b e5 a7 ................
4280: 8b e6 99 82 ef bc 89 e3 81 ab e3 80 81 0a 09 e3 ................
4290: 81 be e3 81 9a e3 80 81 3c 63 6f 64 65 3e 40 6d ........<code>@m
42a0: 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3 83 ac e3 acro</code> ....
42b0: 82 a4 e3 83 a4 e3 81 a7 e3 82 b3 e3 83 bc e3 83 ................
42c0: 89 e3 82 92 e5 ae 9f e8 a1 8c e3 80 82 3c 2f 6c .............</l
42d0: 69 3e 0a 3c 6c 69 3e e8 bf 94 e3 81 a3 e3 81 a6 i>.<li>.........
42e0: e3 81 8d e3 81 9f e6 a7 8b e6 96 87 e6 9c a8 e3 ................
42f0: 82 92 e3 80 81 e3 81 9d e3 81 ae e9 96 a2 e6 95 ................
4300: b0 e3 82 92 e5 91 bc e3 81 b3 e5 87 ba e3 81 97 ................
4310: e3 81 9f e3 81 a8 e3 81 8d e3 81 ae e3 83 ac e3 ................
4320: 82 a4 e3 83 a4 e3 81 a7 e5 ae 9f e8 a1 8c e3 80 ................
4330: 82 3c 2f 6c 69 3e 0a 3c 2f 6f 6c 3e 0a 3c 70 3e .</li>.</ol>.<p>
4340: 0a 3c 63 6f 64 65 3e 40 6d 61 63 72 6f 3c 2f 63 .<code>@macro</c
4350: 6f 64 65 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 82 ode> ...........
4360: 82 e6 89 80 e8 a9 ae e3 81 9f e3 81 a0 e3 81 ae ................
4370: e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81 99 e3 ................
4380: 81 ae e3 81 a7 e3 80 81 0a e4 b8 8a e3 81 a7 e8 ................
4390: aa ac e6 98 8e e3 81 97 e3 81 9f e6 96 b9 e6 b3 ................
43a0: 95 e3 81 a7 20 3c 63 6f 64 65 3e 40 6d 61 63 72 .... <code>@macr
43b0: 6f 3c 2f 63 6f 64 65 3e 20 e3 83 ac e3 82 a4 e3 o</code> .......
43c0: 83 a4 e3 81 ab e9 96 a2 e6 95 b0 e3 81 aa e3 81 ................
43d0: a9 e3 82 92 e7 99 bb e9 8c b2 e3 81 97 e3 81 a6 ................
43e0: e3 81 8a e3 81 8f e3 81 93 e3 81 a8 e3 81 a7 e3 ................
43f0: 80 81 0a e6 a7 8b e6 96 87 e6 9c a8 e3 81 ae e7 ................
4400: 94 9f e6 88 90 e3 82 92 e3 81 84 e3 81 98 e3 82 ................
4410: 8b e3 81 93 e3 81 a8 e3 81 8c e5 8f af e8 83 bd ................
4420: e3 81 a7 e3 81 99 e3 80 82 e3 81 be e3 81 95 e3 ................
4430: 81 ab e3 83 9e e3 82 af e3 83 ad e3 80 82 0a 3c ...............<
4440: 2f 70 3e 0a 0a 24 28 44 44 4f 43 5f 4d 45 4d 42 /p>..$(DDOC_MEMB
4450: 45 52 53 0a 24 28 53 45 43 54 49 4f 4e 20 e6 a6 ERS.$(SECTION ..
4460: 82 e8 a6 81 2c 20 24 28 53 45 43 42 4f 44 59 0a ...., $(SECBODY.
4470: 3c 70 3e 0a 73 61 6d 70 6c 65 73 2f 6d 61 63 72 <p>.samples/macr
4480: 6f 2e 70 6d 79 20 e3 81 ab e3 81 84 e3 81 8f e3 o.pmy ..........
4490: 81 a4 e3 81 8b e4 bd bf e3 81 84 e6 96 b9 e3 82 ................
44a0: b5 e3 83 b3 e3 83 97 e3 83 ab e3 81 8c e7 bd ae ................
44b0: e3 81 84 e3 81 a6 e3 81 82 e3 82 8a e3 81 be e3 ................
44c0: 81 99 e3 81 ae e3 81 a7 e3 80 81 e8 a9 b3 e3 81 ................
44d0: 97 e3 81 8f e3 81 af e3 81 9d e3 81 a1 e3 82 89 ................
44e0: e3 82 92 e3 81 a9 e3 81 86 e3 81 9e e3 80 82 0a ................
44f0: 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 26 </p>.<pre>. &
4500: 67 74 3b 26 67 74 3b 20 40 6d 61 63 72 6f 28 20 gt;> @macro(
4510: 74 77 69 63 65 28 70 72 69 6e 74 28 22 48 65 6c twice(print("Hel
4520: 6c 6f 22 29 29 20 29 0a 20 20 20 20 7b 0a 20 20 lo")) ). {.
4530: 20 20 20 20 70 6f 73 3a 20 7b 6c 69 6e 65 6e 6f pos: {lineno
4540: 3a 31 2c 20 63 6f 6c 75 6d 6e 3a 39 2c 20 66 69 :1, column:9, fi
4550: 6c 65 6e 61 6d 65 3a 3c 52 45 50 4c 3e 7d 2c 0a lename:<REPL>},.
4560: 20 20 20 20 20 61 72 67 73 3a 20 5b 20 7b 20 70 args: [ { p
4570: 6f 73 3a 20 7b 6c 69 6e 65 6e 6f 3a 31 2c 20 63 os: {lineno:1, c
4580: 6f 6c 75 6d 6e 3a 31 35 2c 20 66 69 6c 65 6e 61 olumn:15, filena
4590: 6d 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 me:<REPL>},.
45a0: 20 20 20 20 20 20 20 20 20 20 61 72 67 73 3a 20 args:
45b0: 5b 7b 70 6f 73 3a 7b 6c 69 6e 65 6e 6f 3a 31 2c [{pos:{lineno:1,
45c0: 20 63 6f 6c 75 6d 6e 3a 32 31 2c 20 66 69 6c 65 column:21, file
45d0: 6e 61 6d 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 name:<REPL>},.
45e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
45f0: 20 20 20 20 20 69 73 3a 53 74 72 2c 0a 20 20 20 is:Str,.
4600: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
4610: 20 20 64 61 74 61 3a 48 65 6c 6c 6f 7d 5d 2c 0a data:Hello}],.
4620: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
4630: 69 73 3a 20 41 70 70 2c 0a 20 20 20 20 20 20 20 is: App,.
4640: 20 20 20 20 20 20 20 20 66 75 6e 3a 20 7b 70 6f fun: {po
4650: 73 3a 7b 6c 69 6e 65 6e 6f 3a 31 2c 20 63 6f 6c s:{lineno:1, col
4660: 75 6d 6e 3a 31 35 2c 20 66 69 6c 65 6e 61 6d 65 umn:15, filename
4670: 3a 3c 52 45 50 4c 3e 7d 2c 20 69 73 3a 56 61 72 :<REPL>}, is:Var
4680: 2c 20 6e 61 6d 65 3a 70 72 69 6e 74 7d 7d 0a 20 , name:print}}.
4690: 20 20 20 20 20 20 20 20 20 20 5d 2c 0a 20 20 20 ],.
46a0: 20 20 20 20 69 73 3a 20 41 70 70 2c 0a 20 20 20 is: App,.
46b0: 20 20 20 66 75 6e 3a 20 7b 70 6f 73 3a 7b 6c 69 fun: {pos:{li
46c0: 6e 65 6e 6f 3a 31 2c 20 63 6f 6c 75 6d 6e 3a 39 neno:1, column:9
46d0: 2c 20 66 69 6c 65 6e 61 6d 65 3a 3c 52 45 50 4c , filename:<REPL
46e0: 3e 7d 2c 20 69 73 3a 56 61 72 2c 20 6e 61 6d 65 >}, is:Var, name
46f0: 3a 74 77 69 63 65 7d 0a 20 20 20 20 7d 0a 3c 2f :twice}. }.</
4700: 70 72 65 3e 0a 3c 70 3e 0a e8 a9 b3 e7 b4 b0 e3 pre>.<p>........
4710: 81 af e6 b0 97 e3 81 ab e3 81 97 e3 81 aa e3 81 ................
4720: 8f e3 81 a6 e6 a7 8b e3 81 84 e3 81 be e3 81 9b ................
4730: e3 82 93 e3 81 8c e3 80 81 e3 81 a8 e3 81 ab e3 ................
4740: 81 8b e3 81 8f e3 80 81 3c 74 74 3e 40 6d 61 63 ........<tt>@mac
4750: 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 ro</tt> ........
4760: a4 e3 81 a7 e3 81 af e3 80 81 0a e5 9f ba e6 9c ................
4770: ac e7 9a 84 e3 81 ab e3 81 af e3 80 81 e3 82 b3 ................
4780: e3 83 bc e3 83 89 e3 82 92 e5 ae 9f e8 a1 8c e3 ................
4790: 81 99 e3 82 8b e3 81 a8 e3 81 9d e3 81 ae e3 82 ................
47a0: b3 e3 83 bc e3 83 89 e3 81 ae e6 a7 8b e6 96 87 ................
47b0: e6 9c a8 e3 81 8c e3 81 a7 e3 81 a6 e3 81 8d e3 ................
47c0: 81 be e3 81 99 e3 80 82 0a e3 81 93 e3 81 ae e6 ................
47d0: 8c 99 e5 8b 95 e3 81 af 20 3c 74 74 3e 40 6d 61 ........ <tt>@ma
47e0: 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 cro</tt> .......
47f0: 83 a4 e3 81 ae e5 a4 89 e6 95 b0 e3 82 92 e3 82 ................
4800: bb e3 83 83 e3 83 88 e3 81 99 e3 82 8b e3 81 93 ................
4810: e3 81 a8 e3 81 a7 e3 80 81 e3 82 ab e3 82 b9 e3 ................
4820: 82 bf e3 83 9e e3 82 a4 e3 82 ba e3 81 a7 e3 81 ................
4830: 8d e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a ...........</p>.
4840: 3c 70 72 65 3e 0a 20 20 20 20 26 67 74 3b 26 67 <pre>. >&g
4850: 74 3b 20 40 6d 61 63 72 6f 20 74 77 69 63 65 28 t; @macro twice(
4860: 78 29 20 7b 20 78 3b 20 78 20 7d 20 69 6e 20 74 x) { x; x } in t
4870: 77 69 63 65 28 70 72 69 6e 74 28 22 48 65 6c 6c wice(print("Hell
4880: 6f 22 29 29 0a 20 20 20 20 48 65 6c 6c 6f 0a 20 o")). Hello.
4890: 20 20 20 48 65 6c 6c 6f 0a 20 20 20 20 48 65 6c Hello. Hel
48a0: 6c 6f 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a ef bc lo.</pre>.<p>...
48b0: 88 ef bc 93 e5 9b 9e e5 87 ba e5 8a 9b e3 81 95 ................
48c0: e3 82 8c e3 81 a6 e3 81 be e3 81 99 e3 81 8c e3 ................
48d0: 80 81 ef bc 93 e5 80 8b e7 9b ae e3 81 af 20 3c .............. <
48e0: 74 74 3e 70 72 69 6e 74 28 78 29 3c 2f 74 74 3e tt>print(x)</tt>
48f0: 20 e3 81 ae e8 bf 94 e5 80 a4 e3 81 af 20 3c 74 ............ <t
4900: 74 3e 78 3c 2f 74 74 3e 20 e3 81 aa e3 81 ae e3 t>x</tt> .......
4910: 81 a7 e3 80 81 0a e3 81 9d e3 82 8c e3 81 8c 52 ...............R
4920: 45 50 4c e3 81 ab e3 82 88 e3 81 a3 e3 81 a6 e5 EPL.............
4930: 8d b0 e5 ad 97 e3 81 95 e3 82 8c e3 81 a6 e3 81 ................
4940: 84 e3 82 8b e3 81 a0 e3 81 91 e3 81 a7 e3 81 99 ................
4950: e3 80 82 ef bc 89 0a 3c 74 74 3e 40 6d 61 63 72 .......<tt>@macr
4960: 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 o</tt> .........
4970: e3 81 a7 20 3c 74 74 3e 69 6e 3c 2f 74 74 3e 20 ... <tt>in</tt>
4980: e4 bb a5 e9 99 8d e3 82 92 e5 ae 9f e8 a1 8c e3 ................
4990: 81 99 e3 82 8b e3 81 a8 e3 80 81 3c 74 74 3e 70 ...........<tt>p
49a0: 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 3c 2f 74 rint("Hello")</t
49b0: 74 3e 20 e3 81 a8 e3 81 84 e3 81 86 e5 bc 8f e3 t> .............
49c0: 82 92 e8 a1 a8 e3 81 99 e6 a7 8b e6 96 87 e6 9c ................
49d0: a8 e3 81 8c e4 bd 9c e3 82 89 e3 82 8c e3 80 81 ................
49e0: 0a e3 81 9d e3 82 8c e3 81 8c 20 3c 74 74 3e 74 .......... <tt>t
49f0: 77 69 63 65 3c 2f 74 74 3e 20 e9 96 a2 e6 95 b0 wice</tt> ......
4a00: e3 81 ab e6 b8 a1 e3 81 95 e3 82 8c e3 81 be e3 ................
4a10: 81 99 e3 80 82 3c 74 74 3e 74 77 69 63 65 3c 2f .....<tt>twice</
4a20: 74 74 3e 20 e3 81 ae e4 b8 ad e8 ba ab e3 82 82 tt> ............
4a30: 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e <tt>@macro</tt>
4a40: 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e5 ae 9f ...............
4a50: e8 a1 8c e3 81 95 e3 82 8c e3 82 8b e3 81 ae e3 ................
4a60: 81 a7 e3 80 81 0a e6 a7 8b e6 96 87 e6 9c a8 e3 ................
4a70: 82 92 e4 bd 9c e3 82 8d e3 81 86 e3 81 a8 e3 81 ................
4a80: 97 e3 81 be e3 81 99 e3 81 8c e3 80 81 e5 a4 89 ................
4a90: e6 95 b0 20 3c 74 74 3e 78 3c 2f 74 74 3e 20 e3 ... <tt>x</tt> .
4aa0: 81 ab e3 81 af 20 3c 74 74 3e 40 6d 61 63 72 6f ..... <tt>@macro
4ab0: 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 </tt> ..........
4ac0: 81 a7 e5 80 a4 e3 81 8c e5 85 a5 e3 81 a3 e3 81 ................
4ad0: a6 e3 81 84 e3 82 8b e3 81 ae e3 81 a7 e3 80 81 ................
4ae0: 0a e3 81 9d e3 81 ae e5 80 a4 e3 82 92 e8 aa ad ................
4af0: e3 81 bf e5 8f 96 e3 81 a3 e3 81 a6 e6 a7 8b e6 ................
4b00: 96 87 e6 9c a8 e3 82 92 e4 bd 9c e6 88 90 e3 81 ................
4b10: 97 e3 81 be e3 81 99 e3 80 82 0a e7 b5 90 e6 9e ................
4b20: 9c e3 81 a8 e3 81 97 e3 81 a6 e3 80 81 ef bc 92 ................
4b30: e5 9b 9e 20 3c 74 74 3e 70 72 69 6e 74 28 22 48 ... <tt>print("H
4b40: 65 6c 6c 6f 22 29 3c 2f 74 74 3e 20 e3 81 99 e3 ello")</tt> ....
4b50: 82 8b e6 a7 8b e6 96 87 e6 9c a8 e3 81 8c e4 bd ................
4b60: 9c e3 82 89 e3 82 8c e3 81 a6 e3 80 81 0a e3 81 ................
4b70: 9d e3 81 ae e5 be 8c e3 81 a7 e3 80 81 e3 81 9d ................
4b80: e3 82 8c e3 81 8c 20 3c 74 74 3e 40 76 61 6c 75 ...... <tt>@valu
4b90: 65 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e</tt> .........
4ba0: e3 81 a7 e5 ae 9f e8 a1 8c e3 81 95 e3 82 8c e3 ................
4bb0: 81 a6 e3 81 84 e3 81 be e3 81 99 e3 80 82 0a 3c ...............<
4bc0: 2f 70 3e 0a 3c 70 3e 0a e6 9c ac e5 bd 93 e3 81 /p>.<p>.........
4bd0: ab e3 83 99 e3 82 bf e3 81 ab e6 a7 8b e6 96 87 ................
4be0: e6 9c a8 e3 82 92 e4 bd 9c e3 82 8b e3 81 a0 e3 ................
4bf0: 81 91 e3 81 aa e3 81 ae e3 81 a7 e3 80 81 e5 a4 ................
4c00: 89 e6 95 b0 e5 90 8d e3 81 ae e8 a1 9d e7 aa 81 ................
4c10: e3 81 aa e3 81 a9 e3 81 aa e3 81 a9 e3 81 af e6 ................
4c20: b0 97 e3 81 ab e3 81 97 e3 81 be e3 81 9b e3 82 ................
4c30: 93 e3 80 82 e3 80 8c e8 a1 9b e7 94 9f e7 9a 84 ................
4c40: e3 81 a7 e3 81 aa e3 81 84 e3 80 8d e3 83 9e e3 ................
4c50: 82 af e3 83 ad e3 81 a7 e3 81 99 e3 80 82 0a 3c ...............<
4c60: 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 40 6d /p>.<pre>. @m
4c70: 61 63 72 6f 20 4c 65 74 49 74 42 65 28 78 2c 20 acro LetItBe(x,
4c80: 79 29 20 7b 20 76 61 72 20 24 28 42 20 69 74 29 y) { var $(B it)
4c90: 20 3d 20 78 3b 20 79 20 7d 3b 20 20 24 28 44 5f = x; y }; $(D_
4ca0: 43 4f 4d 4d 45 4e 54 20 23 20 79 20 e3 81 ae e4 COMMENT # y ....
4cb0: b8 ad e3 81 a7 e5 a4 89 e6 95 b0 20 69 74 20 e3 ........... it .
4cc0: 81 8c e4 bd bf e3 81 88 e3 82 8b 29 0a 20 20 20 ...........).
4cd0: 20 70 72 69 6e 74 28 20 4c 65 74 49 74 42 65 28 print( LetItBe(
4ce0: 22 6d 79 73 65 6c 66 22 2c 20 20 22 77 68 65 6e "myself", "when
4cf0: 20 49 20 66 69 6e 64 20 22 20 7e 20 24 28 42 20 I find " ~ $(B
4d00: 69 74 29 20 7e 20 22 20 69 6e 20 74 69 6d 65 73 it) ~ " in times
4d10: 20 6f 66 20 74 72 6f 75 62 6c 65 22 29 20 29 3b of trouble") );
4d20: 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e5 a4 89 e6 .</pre>.<p>.....
4d30: 95 b0 e5 90 8d e3 81 ab e6 b0 97 e3 82 92 e3 81 ................
4d40: a4 e3 81 91 e3 82 8b e3 81 ab e3 81 af e3 80 81 ................
4d50: e7 b5 84 e3 81 bf e8 be bc e3 81 bf e9 96 a2 e6 ................
4d60: 95 b0 20 3c 74 74 3e 67 65 6e 73 79 6d 28 29 3c .. <tt>gensym()<
4d70: 2f 74 74 3e 20 e3 82 92 e4 bd bf e3 81 a3 e3 81 /tt> ...........
4d80: a6 e9 a0 91 e5 bc b5 e3 81 a3 e3 81 a6 e4 b8 8b ................
4d90: e3 81 95 e3 81 84 e3 80 82 0a 3c 2f 70 3e 0a 29 ..........</p>.)
4da0: 29 0a 24 28 53 45 43 54 49 4f 4e 20 e3 83 ac e3 ).$(SECTION ....
4db0: 82 a4 e3 83 a4 e5 88 87 e3 82 8a e6 9b bf e3 81 ................
4dc0: 88 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e ., $(SECBODY.<p>
4dd0: 0a e4 bb 96 e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 ................
4de0: e5 90 8c e6 a7 98 e3 80 81 3c 74 74 3e 40 6d 61 .........<tt>@ma
4df0: 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 cro</tt> .......
4e00: 83 a4 e3 82 92 e5 ae 9f e8 a1 8c e4 b8 ad e3 81 ................
4e10: ab 20 3c 74 74 3e 40 6c 61 79 65 72 28 20 2e 2e . <tt>@layer( ..
4e20: 2e 20 29 3c 2f 74 74 3e 20 e6 a7 8b e6 96 87 e3 . )</tt> .......
4e30: 82 92 e4 bd bf e3 81 86 e3 81 93 e3 81 a8 e3 81 ................
4e40: a7 e3 80 81 0a e5 88 a5 e3 81 ae e3 83 ac e3 82 ................
4e50: a4 e3 83 a4 e3 81 a7 e3 82 b3 e3 83 bc e3 83 89 ................
4e60: e3 82 92 e5 8b 95 e3 81 8b e3 81 99 e3 81 93 e3 ................
4e70: 81 a8 e3 82 82 e3 81 a7 e3 81 8d e3 81 be e3 81 ................
4e80: 99 e3 80 82 e3 82 88 e3 81 8f e4 bd bf e3 81 86 ................
4e90: e4 be 8b e3 81 af e3 80 81 3c 74 74 3e 40 76 61 .........<tt>@va
4ea0: 6c 75 65 3c 2f 74 74 3e 0a e3 83 ac e3 82 a4 e3 lue</tt>........
4eb0: 83 a4 e3 81 ab e7 a7 bb e3 82 8b e3 81 93 e3 81 ................
4ec0: a8 e3 81 a7 e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 ................
4ed0: e6 99 ae e9 80 9a e3 81 ab e8 a8 88 e7 ae 97 e3 ................
4ee0: 81 97 e3 81 a6 e8 89 b2 e3 80 85 e3 83 97 e3 83 ................
4ef0: ad e3 82 b0 e3 83 a9 e3 83 a0 e7 9a 84 e3 81 ab ................
4f00: e3 81 84 e3 81 98 e3 82 8b e7 94 a8 e9 80 94 e3 ................
4f10: 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 .........</p>.<p
4f20: 72 65 3e 0a 20 20 20 20 40 6d 61 63 72 6f 20 72 re>. @macro r
4f30: 65 76 65 72 73 65 41 72 67 73 28 65 29 20 7b 24 everseArgs(e) {$
4f40: 28 42 20 40 76 61 6c 75 65 29 28 0a 20 20 20 20 (B @value)(.
4f50: 20 20 20 20 64 65 66 20 72 65 76 28 78 73 2c 20 def rev(xs,
4f60: 61 63 63 29 20 7b 0a 20 20 20 20 20 20 20 20 20 acc) {.
4f70: 20 63 61 73 65 20 78 73 20 77 68 65 6e 20 7b 63 case xs when {c
4f80: 61 72 3a 78 2c 20 63 64 72 3a 78 73 7d 3a 20 72 ar:x, cdr:xs}: r
4f90: 65 76 28 78 73 2c 20 7b 63 61 72 3a 78 2c 20 63 ev(xs, {car:x, c
4fa0: 64 72 3a 61 63 63 7d 29 20 77 68 65 6e 20 7b 7d dr:acc}) when {}
4fb0: 3a 20 61 63 63 0a 20 20 20 20 20 20 20 20 7d 3b : acc. };
4fc0: 0a 20 20 20 20 20 20 20 20 63 61 73 65 20 40 6d . case @m
4fd0: 61 63 72 6f 28 65 29 0a 20 20 20 20 20 20 20 20 acro(e).
4fe0: 20 20 77 68 65 6e 20 7b 69 73 3a 22 41 70 70 22 when {is:"App"
4ff0: 2c 20 66 75 6e 3a 66 2c 20 61 72 67 73 3a 61 73 , fun:f, args:as
5000: 7d 3a 20 7b 69 73 3a 22 41 70 70 22 2c 20 66 75 }: {is:"App", fu
5010: 6e 3a 66 2c 20 61 72 67 73 3a 72 65 76 28 61 73 n:f, args:rev(as
5020: 2c 7b 7d 29 7d 0a 20 20 20 20 20 20 20 20 20 20 ,{})}.
5030: 77 68 65 6e 20 65 3a 20 65 0a 20 20 20 20 29 7d when e: e. )}
5040: 3b 0a 20 20 20 20 70 72 69 6e 74 28 20 72 65 76 ;. print( rev
5050: 65 72 73 65 41 72 67 73 28 31 2d 32 29 20 29 3b erseArgs(1-2) );
5060: 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 32 $(D_COMMENT # 2
5070: 2d 31 20 3d 3d 20 31 29 0a 3c 2f 70 72 65 3e 0a -1 == 1).</pre>.
5080: 3c 70 3e 0a 3c 74 74 3e 72 65 76 65 72 73 65 41 <p>.<tt>reverseA
5090: 72 67 73 3c 2f 74 74 3e 20 e3 81 af e3 80 81 e9 rgs</tt> .......
50a0: 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 81 ................
50b0: 97 e3 81 ae e6 a7 8b e6 96 87 e6 9c a8 e3 81 ae ................
50c0: e3 80 81 e5 bc 95 e6 95 b0 e3 81 ae e9 a0 86 e7 ................
50d0: 95 aa e3 82 92 e9 80 86 e8 bb a2 e3 81 99 e3 82 ................
50e0: 8b e9 96 a2 e6 95 b0 e3 81 a7 e3 81 99 e3 80 82 ................
50f0: 0a 3c 74 74 3e 40 6d 61 63 72 6f 28 65 29 3c 2f .<tt>@macro(e)</
5100: 74 74 3e 20 e3 81 ab e3 82 88 e3 81 a3 e3 81 a6 tt> ............
5110: e3 83 9e e3 82 af e3 83 ad e3 83 ac e3 82 a4 e3 ................
5120: 83 a4 e3 81 ab e3 82 bb e3 83 83 e3 83 88 e3 81 ................
5130: 95 e3 82 8c e3 81 a6 e3 81 84 e3 82 8b e6 a7 8b ................
5140: e6 96 87 e6 9c a8 e5 bc 95 e6 95 b0 e3 82 92 e5 ................
5150: 8f 96 e3 82 8a e5 87 ba e3 81 97 e3 80 81 0a e3 ................
5160: 81 9d e3 82 8c e3 82 92 20 3c 74 74 3e 40 76 61 ........ <tt>@va
5170: 6c 75 65 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 lue</tt> .......
5180: 83 a4 e3 81 ab e3 82 88 e3 82 8b e6 99 ae e9 80 ................
5190: 9a e3 81 ae e8 a8 88 e7 ae 97 e3 83 97 e3 83 ad ................
51a0: e3 82 b0 e3 83 a9 e3 83 a0 e3 81 a7 e6 93 8d e4 ................
51b0: bd 9c e3 81 97 e3 81 a6 e3 81 84 e3 81 be e3 81 ................
51c0: 99 e3 80 82 0a 3c 74 74 3e 40 6d 61 63 72 6f 28 .....<tt>@macro(
51d0: 2e 2e 2e 29 3c 2f 74 74 3e 20 e3 81 af e3 81 84 ...)</tt> ......
51e0: e3 82 8f e3 82 86 e3 82 8b e3 80 8c e6 ba 96 e3 ................
51f0: 82 af e3 82 aa e3 83 bc e3 83 88 20 28 71 75 61 ........... (qua
5200: 73 69 71 75 6f 74 65 29 e3 80 8d e3 80 81 0a 3c siquote).......<
5210: 74 74 3e 40 76 61 6c 75 65 28 2e 2e 2e 29 3c 2f tt>@value(...)</
5220: 74 74 3e 20 e3 81 af e3 80 8c e9 80 86 e3 82 af tt> ............
5230: e3 82 aa e3 83 bc e3 83 88 20 28 75 6e 71 75 6f ......... (unquo
5240: 74 65 29 e3 80 8d e3 81 ab e3 81 a1 e3 82 87 e3 te).............
5250: 81 a3 e3 81 a8 e8 bf 91 e3 81 84 e3 81 8b e3 82 ................
5260: 82 e3 81 97 e3 82 8c e3 81 be e3 81 9b e3 82 93 ................
5270: e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a 3c 74 74 ....</p>.<p>.<tt
5280: 3e 40 6c 61 79 65 72 28 2e 2e 2e 29 3c 2f 74 74 >@layer(...)</tt
5290: 3e 20 e3 81 a0 e3 81 91 e3 81 a7 e3 81 aa e3 81 > ..............
52a0: 8f e3 80 81 e9 96 a2 e6 95 b0 e3 81 ae e3 83 ac ................
52b0: e3 82 a4 e3 83 a4 e6 8c 87 e5 ae 9a e5 bc 95 e6 ................
52c0: 95 b0 e3 81 aa e3 81 a9 e3 82 82 e5 90 8c e6 a7 ................
52d0: 98 e3 81 ab e4 bd bf e3 81 86 e3 81 93 e3 81 a8 ................
52e0: e3 81 8c e3 81 a7 e3 81 8d e3 82 8b e3 81 ae e3 ................
52f0: 81 a7 e3 80 81 0a e4 b8 80 e9 83 a8 e3 81 ae e5 ................
5300: bc 95 e6 95 b0 e3 81 af 20 3c 74 74 3e 40 6d 61 ........ <tt>@ma
5310: 63 72 6f 3c 2f 74 74 3e e3 80 81 e4 b8 80 e9 83 cro</tt>........
5320: a8 e3 81 ae e5 bc 95 e6 95 b0 e3 81 af 20 3c 74 ............. <t
5330: 74 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e3 83 t>@value</tt> ..
5340: ac e3 82 a4 e3 83 a4 e3 81 a7 e5 8f 97 e3 81 91 ................
5350: e5 8f 96 e3 82 8b e9 96 a2 e6 95 b0 e3 82 92 e6 ................
5360: 9b b8 e3 81 8f e3 81 aa e3 81 a9 e3 80 81 0a e3 ................
5370: 81 95 e3 82 89 e3 81 ab e8 89 b2 e3 80 85 e9 9d ................
5380: a2 e7 99 bd e3 81 84 e3 81 93 e3 81 a8 e3 81 8c ................
5390: e5 8f af e8 83 bd e3 81 a7 e3 81 99 e3 80 82 0a ................
53a0: 3c 2f 70 3e 0a 29 29 0a 24 28 53 45 43 54 49 4f </p>.)).$(SECTIO
53b0: 4e 20 e6 a7 8b e6 96 87 e6 9c a8 e3 81 ae e6 a7 N ..............
53c0: 8b e9 80 a0 2c 20 24 28 53 45 43 42 4f 44 59 0a ...., $(SECBODY.
53d0: 3c 70 3e 0a e6 a7 8b e6 96 87 e6 9c a8 e3 81 8c <p>.............
53e0: e3 81 a9 e3 81 ae e3 82 88 e3 81 86 e3 81 aa e3 ................
53f0: 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81 a7 e6 b8 ................
5400: a1 e3 81 95 e3 82 8c e3 81 a6 e3 81 8f e3 82 8b ................
5410: e3 81 8b e3 81 ab e3 81 a4 e3 81 84 e3 81 a6 e3 ................
5420: 81 af e3 80 81 e3 82 bd e3 83 bc e3 82 b9 e3 83 ................
5430: 89 e3 82 ad e3 83 a5 e3 83 a1 e3 83 b3 e3 83 88 ................
5440: e3 81 ae 0a 3c 61 20 68 72 65 66 3d 22 68 74 74 ....<a href="htt
5450: 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f 73 2e 6e p://www.kmonos.n
5460: 65 74 2f 72 65 70 6f 73 2f 70 6f 6c 65 6d 79 2f et/repos/polemy/
5470: 64 6f 63 2f 74 69 70 2f 64 6f 63 2f 61 73 74 2e doc/tip/doc/ast.
5480: 68 74 6d 6c 22 3e 70 6f 6c 65 6d 79 2e 61 73 74 html">polemy.ast
5490: 3c 2f 61 3e 0a e3 81 ae e3 83 9a e3 83 bc e3 82 </a>............
54a0: b8 e3 82 92 e3 81 94 e8 a6 a7 e4 b8 8b e3 81 95 ................
54b0: e3 81 84 e3 80 82 e4 be 8b e3 81 88 e3 81 b0 e5 ................
54c0: a4 89 e6 95 b0 e5 90 8d e3 82 92 e8 a1 a8 e3 81 ................
54d0: 99 20 3c 63 6f 64 65 3e 56 61 72 3c 2f 63 6f 64 . <code>Var</cod
54e0: 65 3e 20 e3 82 af e3 83 a9 e3 82 b9 e3 81 ab e3 e> .............
54f0: 81 af e3 80 81 0a e7 b6 99 e6 89 bf e3 81 ae e5 ................
5500: 88 86 e3 82 82 e5 90 88 e3 82 8f e3 81 9b e3 81 ................
5510: a6 0a 3c 74 74 3e 3c 61 20 68 72 65 66 3d 22 68 ..<tt><a href="h
5520: 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f 73 ttp://www.kmonos
5530: 2e 6e 65 74 2f 72 65 70 6f 73 2f 70 6f 6c 65 6d .net/repos/polem
5540: 79 2f 64 6f 63 2f 74 69 70 2f 64 6f 63 2f 66 61 y/doc/tip/doc/fa
5550: 69 6c 75 72 65 2e 68 74 6d 6c 22 3e 4c 65 78 50 ilure.html">LexP
5560: 6f 73 69 74 69 6f 6e 3c 2f 61 3e 20 70 6f 73 3b osition</a> pos;
5570: 3c 2f 74 74 3e 0a e3 81 a8 20 3c 74 74 3e 73 74 </tt>.... <tt>st
5580: 72 69 6e 67 20 6e 61 6d 65 3b 3c 2f 74 74 3e 20 ring name;</tt>
5590: e3 81 ae ef bc 92 e3 81 a4 e3 81 ae e3 83 a1 e3 ................
55a0: 83 b3 e3 83 90 e3 81 8c e3 81 82 e3 82 8b e3 81 ................
55b0: ae e3 81 a7 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a .....</p>.<pre>.
55c0: 20 20 20 20 7b 20 69 73 3a 20 20 20 22 56 61 72 { is: "Var
55d0: 22 2c 0a 20 20 20 20 20 20 70 6f 73 3a 20 20 7b ",. pos: {
55e0: 66 69 6c 65 6e 61 6d 65 3a 22 66 6f 6f 2e 70 6d filename:"foo.pm
55f0: 79 22 2c 20 6c 69 6e 65 6e 6f 3a 31 32 33 2c 20 y", lineno:123,
5600: 63 6f 6c 75 6d 6e 3a 34 35 7d 2c 0a 20 20 20 20 column:45},.
5610: 20 20 6e 61 6d 65 3a 20 22 78 22 20 7d 0a 3c 2f name: "x" }.</
5620: 70 72 65 3e 0a 3c 70 3e 0a e3 81 93 e3 82 93 e3 pre>.<p>........
5630: 81 aa e6 84 9f e3 81 98 e3 81 ae e3 83 86 e3 83 ................
5640: bc e3 83 96 e3 83 ab e3 81 ab e3 81 aa e3 82 8a ................
5650: e3 81 be e3 81 99 e3 80 82 0a e3 82 af e3 83 a9 ................
5660: e3 82 b9 e5 90 8d e3 81 8c 20 3c 74 74 3e 69 73 ......... <tt>is
5670: 3c 2f 74 74 3e 20 e3 83 95 e3 82 a3 e3 83 bc e3 </tt> ..........
5680: 83 ab e3 83 89 e3 81 ab e3 80 81 e3 83 a1 e3 83 ................
5690: b3 e3 83 90 e5 a4 89 e6 95 b0 e3 81 af e3 81 9d ................
56a0: e3 81 ae e3 81 be e3 81 be e3 81 ae e5 90 8d e5 ................
56b0: 89 8d e3 81 a7 e5 85 a5 e3 82 8a e3 81 be e3 81 ................
56c0: 99 e3 80 82 0a e9 85 8d e5 88 97 e3 83 a1 e3 83 ................
56d0: b3 e3 83 90 e3 81 af 20 63 6f 6e 73 20 e3 83 aa ....... cons ...
56e0: e3 82 b9 e3 83 88 e3 81 ab e3 81 aa e3 81 a3 e3 ................
56f0: 81 a6 e5 85 a5 e3 81 a3 e3 81 a6 e3 81 8d e3 81 ................
5700: be e3 81 99 e3 80 82 0a e8 87 aa e5 88 86 e3 81 ................
5710: a7 e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 e4 bd 9c ................
5720: e3 82 8b e6 99 82 e3 81 af e3 80 81 3c 74 74 3e ............<tt>
5730: 70 6f 73 3c 2f 74 74 3e 20 e3 83 95 e3 82 a3 e3 pos</tt> .......
5740: 83 bc e3 83 ab e3 83 89 e3 81 a0 e3 81 91 e3 81 ................
5750: af e7 9c 81 e7 95 a5 e3 81 97 e3 81 a6 e3 82 82 ................
5760: e6 a7 8b e3 81 84 e3 81 be e3 81 9b e3 82 93 e3 ................
5770: 80 82 0a 3c 2f 70 3e 0a 29 29 0a 24 28 53 45 43 ...</p>.)).$(SEC
5780: 54 49 4f 4e 20 e5 be ae e5 a6 99 e3 81 aa e3 81 TION ...........
5790: a8 e3 81 93 e3 82 8d ef bc 91 2c 20 24 28 53 45 .........., $(SE
57a0: 43 42 4f 44 59 0a 3c 70 3e 0a e3 81 93 e3 81 93 CBODY.<p>.......
57b0: e3 81 be e3 81 a7 e3 80 81 3c 74 74 3e 40 6d 61 .........<tt>@ma
57c0: 63 72 6f 3c 2f 74 74 3e 20 e3 81 8c e6 9c ac e5 cro</tt> .......
57d0: bd 93 e3 81 ab e3 81 9f e3 81 a0 e3 81 ae ef bc ................
57e0: 91 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a8 e8 aa ac ................
57f0: e6 98 8e e3 81 97 e3 81 a6 e3 81 8d e3 81 be e3 ................
5800: 81 97 e3 81 9f e3 81 8c e3 80 81 0a e5 ae 9f e3 ................
5810: 81 af e3 81 a1 e3 82 87 e3 81 a3 e3 81 a8 e3 83 ................
5820: 88 e3 83 aa e3 83 83 e3 82 af e3 81 8c e6 bd 9c ................
5830: e3 82 93 e3 81 a7 e3 81 84 e3 81 be e3 81 99 e3 ................
5840: 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 ...</p>.<pre>.
5850: 20 20 26 67 74 3b 26 67 74 3b 20 40 6d 61 63 72 >> @macr
5860: 6f 20 74 77 69 63 65 28 78 29 20 7b 78 3b 20 78 o twice(x) {x; x
5870: 7d 20 69 6e 20 74 77 69 63 65 28 24 28 42 20 40 } in twice($(B @
5880: 76 61 6c 75 65 29 28 70 72 69 6e 74 28 22 48 65 value)(print("He
5890: 6c 6c 6f 22 29 29 29 0a 20 20 20 20 48 65 6c 6c llo"))). Hell
58a0: 6f 0a 20 20 20 20 48 65 6c 6c 6f 0a 20 20 20 20 o. Hello.
58b0: 48 65 6c 6c 6f 0a 3c 2f 70 72 65 3e 0a 3c 70 3e Hello.</pre>.<p>
58c0: 0a e5 85 88 e3 81 bb e3 81 a9 e3 81 ae e4 be 8b ................
58d0: e3 81 ab 20 3c 74 74 3e 40 76 61 6c 75 65 3c 2f ... <tt>@value</
58e0: 74 74 3e 20 e3 82 92 e5 a2 97 e3 82 84 e3 81 97 tt> ............
58f0: e3 81 9f e3 82 82 e3 81 ae e3 81 a7 e3 81 99 e3 ................
5900: 81 8c e3 80 81 e3 81 93 e3 82 8c e3 81 a7 e3 82 ................
5910: 82 e3 82 84 e3 81 af e3 82 8a e3 80 81 48 65 6c .............Hel
5920: 6c 6f 0a e3 81 8c ef bc 92 e5 9b 9e 20 70 72 69 lo.......... pri
5930: 6e 74 20 e3 81 95 e3 82 8c e3 82 8b e3 82 88 e3 nt .............
5940: 81 86 e3 81 ab e3 81 aa e3 82 8a e3 81 be e3 81 ................
5950: 99 e3 80 82 e3 81 93 e3 82 8c e3 81 af e6 9c ac ................
5960: e6 9d a5 e3 81 af e3 81 8a e3 81 8b e3 81 97 e3 ................
5970: 81 aa e8 a9 b1 e3 81 a7 e3 80 81 3c 74 74 3e 70 ...........<tt>p
5980: 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 3c 2f 74 rint("Hello")</t
5990: 74 3e 0a e3 81 af 20 3c 74 74 3e 40 76 61 6c 75 t>.... <tt>@valu
59a0: 65 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e</tt> .........
59b0: e3 81 a7 e5 ae 9f e8 a1 8c e3 81 95 e3 82 8c e3 ................
59c0: 81 a6 e5 80 a4 e3 81 ab e8 90 bd e3 81 a1 e3 82 ................
59d0: 8b e3 81 af e3 81 9a e3 81 aa e3 81 ae e3 81 a7 ................
59e0: e3 80 81 ef bc 91 e5 9b 9e e3 81 97 e3 81 8b 20 ...............
59f0: 70 72 69 6e 74 20 e3 81 95 e3 82 8c e3 81 aa e3 print ..........
5a00: 81 84 e3 81 af e3 81 9a e3 80 82 0a 3c 2f 70 3e ............</p>
5a10: 0a 3c 70 3e 0a e5 ae 9f e3 81 af e3 80 81 50 6f .<p>..........Po
5a20: 6c 65 6d 79 20 e3 81 ae e4 b8 ad e3 81 a7 e3 81 lemy ...........
5a30: af e3 80 81 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f ....<tt>@macro</
5a40: 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a8 tt> ............
5a50: 20 3c 74 74 3e 28 72 61 77 6d 61 63 72 6f 29 3c <tt>(rawmacro)<
5a60: 2f 74 74 3e 0a e3 83 ac e3 82 a4 e3 83 a4 e3 81 /tt>............
5a70: a8 e3 81 84 e3 81 86 e4 ba 8c e3 81 a4 e3 81 ae ................
5a80: e7 95 b0 e3 81 aa e3 82 8b e3 83 9e e3 82 af e3 ................
5a90: 83 ad e7 94 a8 e3 83 ac e3 82 a4 e3 83 a4 e3 81 ................
5aa0: 8c e5 8b 95 e3 81 84 e3 81 a6 e3 81 84 e3 81 be ................
5ab0: e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 75 6c 3e .......</p>.<ul>
5ac0: 0a 09 3c 6c 69 3e 3c 74 74 3e 28 72 61 77 6d 61 ..<li><tt>(rawma
5ad0: 63 72 6f 29 3c 2f 74 74 3e 20 e3 82 82 20 3c 74 cro)</tt> ... <t
5ae0: 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 82 t>@macro</tt> ..
5af0: 82 e3 80 81 e3 82 b3 e3 83 bc e3 83 89 e3 82 92 ................
5b00: e5 8b 95 e3 81 8b e3 81 99 e3 81 a8 e3 81 9d e3 ................
5b10: 81 ae e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 e8 bf ................
5b20: 94 e3 81 99 e6 84 8f e5 91 b3 e8 ab 96 e3 80 82 ................
5b30: 3c 2f 6c 69 3e 0a 09 3c 6c 69 3e e3 81 9f e3 81 </li>..<li>.....
5b40: a0 e3 81 97 e3 80 81 3c 74 74 3e 28 72 61 77 6d .......<tt>(rawm
5b50: 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 82 82 20 3c acro)</tt> ... <
5b60: 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 tt>@macro</tt> .
5b70: 82 82 e3 80 81 0a 09 09 3c 74 74 3e 40 6d 61 63 ........<tt>@mac
5b80: 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 ro</tt> ........
5b90: a4 e3 81 ab e5 80 a4 e3 81 ae e3 82 bb e3 83 83 ................
5ba0: e3 83 88 e3 81 95 e3 82 8c e3 81 9f e5 a4 89 e6 ................
5bb0: 95 b0 e3 82 92 e3 81 bf e3 81 a4 e3 81 91 e3 81 ................
5bc0: 9f e3 81 a8 e3 81 8d e3 81 af e3 80 81 0a 09 09 ................
5bd0: e3 81 9d e3 81 ae e5 a4 89 e6 95 b0 e3 81 a8 e3 ................
5be0: 81 84 e3 81 86 e6 a7 8b e6 96 87 e6 9c a8 e3 82 ................
5bf0: 92 e4 bd 9c e3 82 8b e3 81 ae e3 81 a7 e3 81 af ................
5c00: e3 81 aa e3 81 8f e3 80 81 e5 a4 89 e6 95 b0 e3 ................
5c10: 81 ae e5 86 85 e5 ae b9 e3 82 92 e5 b1 95 e9 96 ................
5c20: 8b e3 80 82 3c 2f 6c 69 3e 0a 09 3c 6c 69 3e e3 ....</li>..<li>.
5c30: 81 be e3 81 9f 20 3c 74 74 3e 40 6d 61 63 72 6f ..... <tt>@macro
5c40: 3c 2f 74 74 3e 20 e3 81 af e3 80 81 0a 09 09 e3 </tt> ..........
5c50: 83 ac e3 82 a4 e3 83 a4 e6 8c 87 e5 ae 9a e5 bc ................
5c60: 8f e3 82 92 e8 a6 8b e3 82 8b e3 81 a8 e5 ae 9f ................
5c70: e8 a1 8c e3 83 ac e3 82 a4 e3 83 a4 e3 82 92 e5 ................
5c80: 88 87 e3 82 8a e6 9b bf e3 81 a6 e3 80 81 e6 a7 ................
5c90: 8b e6 96 87 e6 9c a8 e7 94 9f e6 88 90 e3 83 a2 ................
5ca0: e3 83 bc e3 83 89 e3 82 92 e3 82 84 e3 82 81 e3 ................
5cb0: 81 a6 e3 81 97 e3 81 be e3 81 86 e3 80 82 3c 2f ..............</
5cc0: 6c 69 3e 0a 09 3c 6c 69 3e 3c 74 74 3e 28 72 61 li>..<li><tt>(ra
5cd0: 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 81 af wmacro)</tt> ...
5ce0: e3 80 81 0a 09 09 e3 83 ac e3 82 a4 e3 83 a4 e6 ................
5cf0: 8c 87 e5 ae 9a e5 bc 8f e3 82 92 e8 a6 8b e3 81 ................
5d00: a6 e3 82 82 e5 ae 9f e8 a1 8c e3 83 ac e3 82 a4 ................
5d10: e3 83 a4 e3 82 92 e5 88 87 e3 82 8a e6 9b bf e3 ................
5d20: 81 88 e3 81 aa e3 81 84 e3 81 a7 e6 a7 8b e6 96 ................
5d30: 87 e6 9c a8 e3 81 ab e3 81 99 e3 82 8b e3 80 82 ................
5d40: 3c 2f 6c 69 3e 0a 3c 2f 75 6c 3e 0a 3c 70 3e 0a </li>.</ul>.<p>.
5d50: e3 83 a6 e3 83 bc e3 82 b6 e3 83 bc e3 81 8b e3 ................
5d60: 82 89 e7 9b b4 e6 8e a5 20 3c 74 74 3e 28 72 61 ........ <tt>(ra
5d70: 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 81 af wmacro)</tt> ...
5d80: e5 91 bc e3 81 b9 e3 81 be e3 81 9b e3 82 93 e3 ................
5d90: 81 8c e3 80 81 0a e3 80 8c e9 96 a2 e6 95 b0 e3 ................
5da0: 82 84 e3 83 88 e3 83 83 e3 83 97 e3 83 ac e3 83 ................
5db0: 99 e3 83 ab e5 ae 9f e8 a1 8c e9 96 8b e5 a7 8b ................
5dc0: e5 89 8d e3 81 ae e3 83 9e e3 82 af e3 83 ad e5 ................
5dd0: 87 a6 e7 90 86 e3 81 af 20 3c 74 74 3e 28 72 61 ........ <tt>(ra
5de0: 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 81 a7 wmacro)</tt> ...
5df0: e5 ae 9f e8 a1 8c e9 96 8b e5 a7 8b e3 80 8d 0a ................
5e00: e3 80 8c 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 ...<tt>@macro</t
5e10: 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e4 bb a5 e5 t> .............
5e20: a4 96 e3 81 a7 e5 91 bc e3 81 b3 e5 87 ba e3 81 ................
5e30: 97 e3 81 9f e9 96 a2 e6 95 b0 e3 81 ae e4 bb ae ................
5e40: e5 bc 95 e6 95 b0 e3 81 ab 20 3c 74 74 3e 40 6d ......... <tt>@m
5e50: 61 63 72 6f 3c 2f 74 74 3e 20 e3 81 8c e3 81 a4 acro</tt> ......
5e60: e3 81 84 e3 81 a6 e3 81 84 e3 81 9f e3 82 89 e3 ................
5e70: 80 81 0a e3 81 9d e3 81 ae e5 ae 9f e5 bc 95 e6 ................
5e80: 95 b0 e3 81 af 20 3c 74 74 3e 28 72 61 77 6d 61 ..... <tt>(rawma
5e90: 63 72 6f 29 3c 2f 74 74 3e 20 e3 81 a7 e5 ae 9f cro)</tt> ......
5ea0: e8 a1 8c e3 80 8d 0a e3 81 a8 e3 81 84 e3 81 86 ................
5eb0: ef bc 92 e3 81 a4 e3 81 ae e3 82 bf e3 82 a4 e3 ................
5ec0: 83 9f e3 83 b3 e3 82 b0 e3 81 a7 20 3c 74 74 3e ........... <tt>
5ed0: 28 72 61 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 (rawmacro)</tt>
5ee0: e3 81 8c e5 8b 95 e3 81 8d e5 87 ba e3 81 97 e3 ................
5ef0: 81 be e3 81 99 e3 80 82 0a 3c 74 74 3e 28 72 61 .........<tt>(ra
5f00: 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 81 8c wmacro)</tt> ...
5f10: 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e <tt>@macro</tt>
5f20: 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 8b e3 82 89 ...............
5f30: e5 a4 89 e6 95 b0 e3 82 92 e8 a6 8b e3 81 a4 e3 ................
5f40: 81 91 e3 81 a6 e3 83 9e e3 82 af e3 83 ad e3 81 ................
5f50: 97 e5 a7 8b e3 82 81 e3 82 8b e6 99 82 e3 81 ab ................
5f60: e3 80 81 0a e3 81 9d e3 81 93 e3 81 a7 20 3c 74 ............. <t
5f70: 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 81 t>@macro</tt> ..
5f80: ab e5 8b 95 e4 bd 9c e3 81 8c e7 a7 bb e3 82 8a ................
5f90: e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c ..........</p>.<
5fa0: 70 3e 0a e3 81 93 e3 81 86 e3 81 aa e3 81 a3 e3 p>..............
5fb0: 81 a6 e3 81 84 e3 82 8b e3 81 ae e3 81 af e3 80 ................
5fc0: 81 e5 85 a8 e9 83 a8 e3 81 8c e3 83 ac e3 82 a4 ................
5fd0: e3 83 a4 e6 8c 87 e5 ae 9a e5 bc 8f e3 81 ab e5 ................
5fe0: 8f 8d e5 bf 9c e3 81 99 e3 82 8b 20 3c 74 74 3e ........... <tt>
5ff0: 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 81 ae e5 @macro</tt> ....
6000: 8b 95 e4 bd 9c e3 81 a0 e3 81 a8 e3 80 81 0a e3 ................
6010: 83 ac e3 82 a4 e3 83 a4 e3 82 92 e4 bd bf e3 81 ................
6020: a3 e3 81 9f e3 83 97 e3 83 ad e3 82 b0 e3 83 a9 ................
6030: e3 83 a0 e3 81 8c e5 85 a8 e3 81 a6 20 3c 74 74 ............ <tt
6040: 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e5 ae 9f >@value</tt> ...
6050: e8 a1 8c e6 99 82 e3 81 a7 e3 81 af e3 81 aa e3 ................
6060: 81 8f e3 80 81 0a e3 83 9e e3 82 af e3 83 ad e5 ................
6070: b1 95 e9 96 8b e3 81 ae e6 99 82 e7 82 b9 e3 81 ................
6080: a7 e5 8b 95 e3 81 8d e5 a7 8b e3 82 81 e3 81 a6 ................
6090: e3 81 97 e3 81 be e3 81 a3 e3 81 a6 e3 80 81 e3 ................
60a0: 81 8a e3 81 8b e3 81 97 e3 81 aa e3 81 93 e3 81 ................
60b0: a8 e3 81 ab e3 81 aa e3 82 8b e3 81 9f e3 82 81 ................
60c0: e3 81 a7 e3 81 99 e3 80 82 0a e8 89 b2 e3 80 85 ................
60d0: e8 80 83 e3 81 88 e3 81 9f e7 b5 90 e6 9e 9c e3 ................
60e0: 80 81 e3 81 a8 e3 82 8a e3 81 82 e3 81 88 e3 81 ................
60f0: 9a e3 81 93 e3 81 ae e4 b8 ad e9 80 94 e5 8d 8a ................
6100: e7 ab af e3 81 aa e6 b7 b7 e5 90 88 e3 81 8c e5 ................
6110: 85 b7 e5 90 88 e3 81 8c e3 82 88 e3 81 84 e3 81 ................
6120: ae e3 81 a7 e3 81 af e3 81 aa e3 81 84 e3 81 8b ................
6130: e3 81 a8 e3 81 84 e3 81 86 e3 81 93 e3 81 a8 e3 ................
6140: 81 ab e3 81 aa e3 82 8a e3 81 be e3 81 97 e3 81 ................
6150: 9f e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 24 28 53 .....</p>.)).$(S
6160: 45 43 54 49 4f 4e 20 e5 be ae e5 a6 99 e3 81 aa ECTION .........
6170: e3 81 a8 e3 81 93 e3 82 8d ef bc 92 2c 20 24 28 ............, $(
6180: 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e3 80 8c e9 SECBODY.<p>.....
6190: 96 a2 e6 95 b0 e5 ae 9f e8 a1 8c e9 96 8b e5 a7 ................
61a0: 8b e6 99 82 e3 81 ab e3 80 81 e3 81 be e3 81 9a ................
61b0: e3 83 9e e3 82 af e3 83 ad e3 83 ac e3 82 a4 e3 ................
61c0: 83 a4 e3 82 92 e5 ae 9f e8 a1 8c e3 80 8d e3 81 ................
61d0: a8 e6 9b b8 e3 81 8d e3 81 be e3 81 97 e3 81 9f ................
61e0: e3 81 8c e3 80 81 e3 81 93 e3 81 ae e6 99 82 e3 ................
61f0: 80 81 e9 96 a2 e6 95 b0 e5 86 85 e9 96 a2 e6 95 ................
6200: b0 e3 81 be e3 81 a7 e8 be bf e3 82 8a e3 81 ab ................
6210: e3 81 84 e3 81 8f e3 81 ae e3 81 a7 e3 80 81 0a ................
6220: e4 bd 95 e9 87 8d e3 81 ab e3 82 82 e3 83 8d e3 ................
6230: 82 b9 e3 83 88 e3 81 97 e3 81 9f e9 96 a2 e6 95 ................
6240: b0 e3 82 92 e4 bd bf e3 81 a3 e3 81 a6 e3 81 84 ................
6250: e3 82 8b e3 81 a8 e3 80 81 e5 86 85 e5 81 b4 e3 ................
6260: 81 ae e9 96 a2 e6 95 b0 e3 81 af e3 80 81 e4 bd ................
6270: 95 e9 87 8d e3 81 ab e3 82 82 e3 83 9e e3 82 af ................
6280: e3 83 ad e5 b1 95 e9 96 8b e3 81 8c e8 b5 b0 e3 ................
6290: 81 a3 e3 81 a6 e3 81 97 e3 81 be e3 81 84 e3 81 ................
62a0: be e3 81 99 e3 80 82 0a e3 81 93 e3 82 8c e3 81 ................
62b0: af e3 81 aa e3 81 ab e3 81 8b e3 81 8a e3 81 8b ................
62c0: e3 81 97 e3 81 84 e6 b0 97 e3 81 8c e3 81 97 e3 ................
62d0: 81 be e3 81 99 e3 81 ad e3 80 82 53 63 68 65 6d ...........Schem
62e0: 65 20 e3 81 aa e3 81 a9 e3 81 af e3 81 a9 e3 81 e ..............
62f0: 86 e3 81 aa e3 81 a3 e3 81 a6 e3 81 84 e3 82 8b ................
6300: e3 81 ae e3 81 8b e8 aa bf e3 81 b9 e3 81 aa e3 ................
6310: 81 84 e3 81 a8 e2 80 a6 e3 80 82 0a 3c 2f 70 3e ............</p>
6320: 0a 29 29 0a 24 28 53 45 43 54 49 4f 4e 20 e5 be .)).$(SECTION ..
6330: ae e5 a6 99 e3 81 aa e3 81 a8 e3 81 93 e3 82 8d ................
6340: ef bc 93 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c ..., $(SECBODY.<
6350: 70 3e 0a e3 81 93 e3 82 8c e3 81 af e3 82 a8 e3 p>..............
6360: 83 a9 e3 83 bc e3 81 ab e3 81 aa e3 82 8a e3 81 ................
6370: be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 ........</p>.<pr
6380: 65 3e 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20 e>. >>
6390: 6c 65 74 20 5f 20 3d 20 28 40 6d 61 63 72 6f 20 let _ = (@macro
63a0: 74 77 69 63 65 28 78 29 20 7b 78 3b 78 7d 20 69 twice(x) {x;x} i
63b0: 6e 20 74 77 69 63 65 28 70 72 69 6e 74 28 22 48 n twice(print("H
63c0: 65 6c 6c 6f 22 29 29 29 0a 20 20 20 20 70 6f 6c ello"))). pol
63d0: 65 6d 79 2e 66 61 69 6c 75 72 65 2e 52 75 6e 74 emy.failure.Runt
63e0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 40 43 3a 5c imeException@C:\
63f0: 44 65 76 65 6c 6f 70 5c 50 72 6f 6a 65 63 74 73 Develop\Projects
6400: 5c 50 6f 6c 65 6d 79 5c 70 6f 6c 65 6d 79 5c 76 \Polemy\polemy\v
6410: 61 6c 75 65 2e 64 28 31 30 39 29 3a 0a 20 20 20 alue.d(109):.
6420: 20 5b 3c 52 45 50 4c 3e 3a 32 3a 33 35 5d 20 27 [<REPL>:2:35] '
6430: 74 77 69 63 65 27 20 69 73 20 6e 6f 74 20 73 65 twice' is not se
6440: 74 20 69 6e 20 40 76 61 6c 75 65 20 6c 61 79 65 t in @value laye
6450: 72 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e3 81 a9 r.</pre>.<p>....
6460: e3 81 86 e3 81 84 e3 81 86 e3 81 93 e3 81 a8 e3 ................
6470: 81 8b e3 81 a8 e3 81 84 e3 81 86 e3 81 a8 e3 80 ................
6480: 81 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e .<tt>@macro</tt>
6490: 20 e3 81 a7 e5 ae 9a e7 be a9 e3 81 97 e3 81 9f ...............
64a0: e3 83 9e e3 82 af e3 83 ad e3 81 af e3 81 84 e3 ................
64b0: 81 a4 e3 81 8b e3 82 89 e4 bd bf e3 81 88 e3 82 ................
64c0: 8b e3 82 88 e3 81 86 e3 81 ab e3 81 aa e3 82 8b ................
64d0: e3 81 8b e3 81 a8 e3 81 84 e3 81 86 e8 a9 b1 e3 ................
64e0: 81 a7 e3 80 81 0a e3 81 93 e3 81 ae 20 3c 74 74 ............ <tt
64f0: 3e 40 6d 61 63 72 6f 20 74 77 69 63 65 28 78 29 >@macro twice(x)
6500: 20 7b 78 3b 78 7d 20 69 6e 20 2e 2e 2e 3c 2f 74 {x;x} in ...</t
6510: 74 3e 20 e3 81 ae e9 83 a8 e5 88 86 e3 81 af 20 t> ............
6520: 3c 74 74 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20 <tt>@value</tt>
6530: e3 83 ac e3 82 a4 e3 83 a4 e3 81 ae e5 bc 8f e3 ................
6540: 81 aa e3 81 ae e3 81 a7 e3 80 81 0a e3 81 be e3 ................
6550: 81 9a e3 81 93 e3 81 ae e5 bc 8f e5 85 a8 e4 bd ................
6560: 93 e3 81 ae e3 83 9e e3 82 af e3 83 ad e5 b1 95 ................
6570: e9 96 8b e3 81 8c e7 b5 82 e3 82 8f e3 81 a3 e3 ................
6580: 81 9f e3 81 82 e3 81 a8 e3 81 ab e3 81 97 e3 81 ................
6590: 8b e5 ae 9f e8 a1 8c e3 81 95 e3 82 8c e3 81 aa ................
65a0: e3 81 84 e3 81 ae e3 81 a7 e3 81 99 e3 80 82 3c ...............<
65b0: 74 74 3e 74 77 69 63 65 3c 2f 74 74 3e 0a e3 81 tt>twice</tt>...
65c0: 8c e3 83 9e e3 82 af e3 83 ad e3 81 a8 e8 a6 8b ................
65d0: e3 81 aa e3 81 95 e3 82 8c e3 81 af e3 81 98 e3 ................
65e0: 82 81 e3 82 8b e3 81 ae e3 81 af e3 80 81 3c 74 ..............<t
65f0: 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e5 ae t>@macro</tt> ..
6600: 9f e8 a1 8c e3 81 8c e7 b5 82 e3 82 8f e3 81 a3 ................
6610: e3 81 9f e5 be 8c e3 80 82 0a e3 81 aa e3 81 ae ................
6620: e3 81 a7 e3 80 81 0a e4 be 8b e3 81 88 e3 81 b0 ................
6630: 20 3c 74 74 3e 74 77 69 63 65 28 70 72 69 6e 74 <tt>twice(print
6640: 28 22 48 65 6c 6c 6f 22 29 29 3c 2f 74 74 3e 20 ("Hello"))</tt>
6650: e3 81 ae e9 83 a8 e5 88 86 e3 82 92 e7 84 a1 e5 ................
6660: 90 8d e9 96 a2 e6 95 b0 e3 81 ab e3 83 a9 e3 83 ................
6670: 83 e3 83 97 e3 81 97 e3 81 a6 e3 82 84 e3 82 8c ................
6680: e3 81 b0 e3 80 81 0a e3 83 9e e3 82 af e3 83 ad ................
6690: e5 b1 95 e9 96 8b e3 82 92 e9 81 85 e3 82 89 e3 ................
66a0: 81 9b e3 82 89 e3 82 8c e3 81 a6 e3 80 81 20 e3 .............. .
66b0: 81 a1 e3 82 83 e3 82 93 e3 81 a8 e5 ae 9f e8 a1 ................
66c0: 8c e3 81 8c e3 81 a7 e3 81 8d e3 81 be e3 81 99 ................
66d0: e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 93 ....</p>.<p>....
66e0: e3 82 8c e3 81 a0 e3 81 a8 e4 bd 99 e3 82 8a e3 ................
66f0: 81 ab e3 82 82 e4 b8 8d e4 be bf e3 81 aa e3 81 ................
6700: ae e3 81 a7 e3 80 81 e9 96 a2 e6 95 b0 e3 81 ae ................
6710: e3 83 88 e3 83 83 e3 83 97 e3 83 ac e3 83 99 e3 ................
6720: 83 ab e3 81 ae e5 a4 89 e6 95 b0 e5 ae a3 e8 a8 ................
6730: 80 e5 bc 8f e3 81 ae e5 88 97 e3 81 ab e3 81 a4 ................
6740: e3 81 84 e3 81 a6 e3 81 a0 e3 81 91 e3 81 af e3 ................
6750: 80 81 0a 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 ...<tt>@macro</t
6760: 74 3e 20 e3 81 a8 20 3c 74 74 3e 40 76 61 6c 75 t> ... <tt>@valu
6770: 65 3c 2f 74 74 3e 20 e3 81 ae e8 a9 95 e4 be a1 e</tt> .........
6780: e3 82 92 e4 ba a4 e4 ba 92 e3 81 ab e3 82 a4 e3 ................
6790: 83 b3 e3 82 bf e3 83 bc e3 83 aa e3 83 bc e3 83 ................
67a0: 96 e3 81 99 e3 82 8b e3 82 88 e3 81 86 e3 81 ab ................
67b0: e3 81 97 e3 81 be e3 81 97 e3 81 9f e3 80 82 0a ................
67c0: e3 80 8c e9 96 a2 e6 95 b0 e3 82 84 52 45 50 4c ............REPL
67d0: e3 81 ae e3 83 88 e3 83 83 e3 83 97 e3 83 ac e3 ................
67e0: 83 99 e3 83 ab e3 81 ae e6 9c 80 e5 88 9d e3 81 ................
67f0: ab e5 ae a3 e8 a8 80 e3 81 97 e3 81 9f e3 83 9e ................
6800: e3 82 af e3 83 ad e3 81 a0 e3 81 91 e3 81 af e3 ................
6810: 80 81 e3 81 9d e3 81 ae e9 96 a2 e6 95 b0 e5 86 ................
6820: 85 e3 81 a7 e5 8d b3 e5 ba a7 e3 81 ab e4 bd bf ................
6830: e3 81 88 e3 82 8b e3 80 8d e3 82 8f e3 81 91 e3 ................
6840: 81 a7 e3 81 99 e3 80 82 0a e3 81 93 e3 82 8c e3 ................
6850: 82 82 20 53 63 68 65 6d 65 20 e3 81 ae 20 6c 65 .. Scheme ... le
6860: 74 2d 73 79 6e 74 61 78 20 e3 81 aa e3 81 a9 e3 t-syntax .......
6870: 81 aa e3 81 a9 e3 81 ae e5 8b 95 e3 81 8d e3 82 ................
6880: 92 e8 aa bf e3 81 b9 e3 81 a6 e5 8b 89 e5 bc b7 ................
6890: e3 81 97 e3 81 aa e3 81 84 e3 81 a8 e2 80 a6 e3 ................
68a0: 80 82 0a 3c 2f 70 3e 0a 29 29 0a 29 0a 29 29 0a ...</p>.)).).)).
68b0: 0a 0a 24 28 53 45 43 54 49 4f 4e 20 42 75 69 6c ..$(SECTION Buil
68c0: 74 2d 69 6e 20 50 72 69 6d 69 74 69 76 65 73 2c t-in Primitives,
68d0: 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e7 $(SECBODY.<p>..
68e0: b5 84 e3 81 bf e8 be bc e3 81 bf e9 96 a2 e6 95 ................
68f0: b0 e3 83 bb e5 a4 89 e6 95 b0 e3 81 ae e4 b8 80 ................
6900: e8 a6 a7 e3 80 82 0a 3c 2f 70 3e 0a 24 28 44 44 .......</p>.$(DD
6910: 4f 43 5f 4d 45 4d 42 45 52 53 0a 0a 24 28 53 45 OC_MEMBERS..$(SE
6920: 43 54 49 4f 4e 20 e3 83 86 e3 83 bc e3 83 96 e3 CTION ..........
6930: 83 ab e6 93 8d e4 bd 9c 2c 20 24 28 53 45 43 42 ........, $(SECB
6940: 4f 44 59 0a 20 20 24 28 54 41 42 4c 45 0a 20 20 ODY. $(TABLE.
6950: 20 20 24 28 54 52 20 24 28 54 48 20 7b 7d 29 20 $(TR $(TH {})
6960: 24 28 54 44 20 28 29 29 20 24 28 54 44 20 e7 a9 $(TD ()) $(TD ..
6970: ba e3 81 ae e3 83 86 e3 83 bc e3 83 96 e3 83 ab ................
6980: e3 82 92 e4 bd 9c e3 82 8b 29 29 0a 20 20 20 20 .........)).
6990: 24 28 54 52 20 24 28 54 48 20 2e 29 20 24 28 54 $(TR $(TH .) $(T
69a0: 44 20 28 74 2c 20 73 29 29 20 24 28 54 44 20 e3 D (t, s)) $(TD .
69b0: 83 86 e3 83 bc e3 83 96 e3 83 ab 20 74 20 e3 81 ........... t ..
69c0: ae e5 90 8d e5 89 8d 20 73 20 e3 81 ae e3 83 95 ....... s ......
69d0: e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ae e5 ................
69e0: 80 a4 e3 82 92 e5 8f 96 e5 be 97 e3 80 82 e3 81 ................
69f0: aa e3 81 91 e3 82 8c e3 81 b0 20 3c 74 74 3e 75 .......... <tt>u
6a00: 6e 64 65 66 69 6e 65 64 3c 2f 74 74 3e 29 29 0a ndefined</tt>)).
6a10: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 2e 3f $(TR $(TH .?
6a20: 29 20 24 28 54 44 20 28 74 2c 20 73 29 29 20 24 ) $(TD (t, s)) $
6a30: 28 54 44 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab (TD ............
6a40: 20 74 20 e3 81 ab e5 90 8d e5 89 8d 20 73 20 e3 t ......... s .
6a50: 81 ae e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 ................
6a60: 89 e3 81 8c e3 81 82 e3 82 8c e3 81 b0 20 31 e3 ............. 1.
6a70: 80 81 e3 81 aa e3 81 91 e3 82 8c e3 81 b0 20 30 .............. 0
6a80: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 )). $(TR $(TH
6a90: 20 2e 3d 29 20 24 28 54 44 20 28 74 2c 20 73 2c .=) $(TD (t, s,
6aa0: 20 76 29 29 20 24 28 54 44 20 e3 83 86 e3 83 bc v)) $(TD ......
6ab0: e3 83 96 e3 83 ab 20 74 20 e3 82 92 e8 a6 aa e3 ...... t .......
6ac0: 81 ab e6 8c 81 e3 81 a1 e3 80 81 e5 90 8d e5 89 ................
6ad0: 8d 20 73 20 e3 81 ae e3 83 95 e3 82 a3 e3 83 bc . s ............
6ae0: e3 83 ab e3 83 89 e3 81 ab 20 76 20 e3 81 8c e5 ......... v ....
6af0: 85 a5 e3 81 a3 e3 81 9f e3 83 86 e3 83 bc e3 83 ................
6b00: 96 e3 83 ab e3 82 92 e4 bd 9c e3 82 8b 29 29 0a .............)).
6b10: 20 20 29 0a 29 29 0a 3c 62 72 20 2f 3e 0a 0a 24 ).)).<br />..$
6b20: 28 53 45 43 54 49 4f 4e 20 e5 88 b6 e5 be a1 e3 (SECTION .......
6b30: 83 95 e3 83 ad e3 83 bc 2c 20 24 28 53 45 43 42 ........, $(SECB
6b40: 4f 44 59 0a 20 20 24 28 54 41 42 4c 45 0a 20 20 ODY. $(TABLE.
6b50: 20 20 24 28 54 52 20 24 28 54 48 20 69 66 29 20 $(TR $(TH if)
6b60: 24 28 54 44 20 28 6e 2c 20 66 74 2c 20 66 65 29 $(TD (n, ft, fe)
6b70: 29 20 24 28 54 44 20 6e 20 e3 81 8c e9 9d 9e 20 ) $(TD n ......
6b80: 30 20 e3 81 aa e3 82 89 20 3c 74 74 3e 66 74 28 0 ...... <tt>ft(
6b90: 29 3c 2f 74 3e e3 80 81 30 20 e3 81 aa e3 82 89 )</t>...0 ......
6ba0: 20 3c 74 74 3e 66 65 28 29 3c 2f 74 74 3e 20 e3 <tt>fe()</tt> .
6bb0: 82 92 e5 ae 9f e8 a1 8c 29 29 0a 20 20 29 0a 29 ........)). ).)
6bc0: 29 0a 3c 62 72 20 2f 3e 0a 0a 24 28 53 45 43 54 ).<br />..$(SECT
6bd0: 49 4f 4e 20 e6 bc 94 e7 ae 97 2c 20 24 28 53 45 ION ......, $(SE
6be0: 43 42 4f 44 59 0a 20 20 24 28 54 41 42 4c 45 0a CBODY. $(TABLE.
6bf0: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 2b 29 $(TR $(TH +)
6c00: 20 24 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 $(TD (n, m)) $(
6c10: 54 44 20 e6 95 b4 e6 95 b0 20 6e 20 e3 81 a8 e6 TD ...... n ....
6c20: 95 b4 e6 95 b0 20 6d 20 e3 82 92 e8 b6 b3 e3 81 ..... m ........
6c30: 97 e3 81 a6 e8 bf 94 e3 81 99 29 29 0a 20 20 20 ..........)).
6c40: 20 24 28 54 52 20 24 28 54 48 20 2d 29 20 24 28 $(TR $(TH -) $(
6c50: 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 TD (n, m)) $(TD
6c60: e6 95 b4 e6 95 b0 e3 81 ae e5 bc 95 e3 81 8d e7 ................
6c70: ae 97 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 ..)). $(TR $(
6c80: 54 48 20 2a 29 20 24 28 54 44 20 28 6e 2c 20 6d TH *) $(TD (n, m
6c90: 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 e3 81 )) $(TD ........
6ca0: ae e6 8e 9b e3 81 91 e7 ae 97 29 29 0a 20 20 20 ..........)).
6cb0: 20 24 28 54 52 20 24 28 54 48 20 2f 29 20 24 28 $(TR $(TH /) $(
6cc0: 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 TD (n, m)) $(TD
6cd0: e6 95 b4 e6 95 b0 e3 81 ae e5 89 b2 e3 82 8a e7 ................
6ce0: ae 97 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 ..)). $(TR $(
6cf0: 54 48 20 25 29 20 24 28 54 44 20 28 6e 2c 20 6d TH %) $(TD (n, m
6d00: 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 e3 81 )) $(TD ........
6d10: ae e5 89 b0 e4 bd 99 29 29 0a 20 20 20 20 24 28 .......)). $(
6d20: 54 52 20 24 28 54 48 20 26 61 6d 70 3b 26 61 6d TR $(TH &&am
6d30: 70 3b 29 20 24 28 54 44 20 28 6e 2c 20 6d 29 29 p;) $(TD (n, m))
6d40: 20 24 28 54 44 20 e6 95 b4 e6 95 b0 20 6e 20 e3 $(TD ...... n .
6d50: 81 a8 20 6d 20 e3 81 8c e4 b8 a1 e6 96 b9 e9 9d .. m ...........
6d60: 9e 20 30 20 e3 81 aa e3 82 89 20 31 e3 80 81 e3 . 0 ...... 1....
6d70: 81 9d e3 82 8c e4 bb a5 e5 a4 96 e3 81 a7 e3 81 ................
6d80: af 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 24 . 0)). $(TR $
6d90: 28 54 48 20 7c 7c 29 20 24 28 54 44 20 28 6e 2c (TH ||) $(TD (n,
6da0: 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 m)) $(TD ......
6db0: 20 6e 20 e3 81 a8 20 6d 20 e3 81 8c e3 81 a9 e3 n ... m .......
6dc0: 81 a1 e3 82 89 e3 81 8b e9 9d 9e 20 30 20 e3 81 ........... 0 ..
6dd0: aa e3 82 89 20 31 e3 80 81 e3 81 9d e3 82 8c e4 .... 1..........
6de0: bb a5 e5 a4 96 e3 81 a7 e3 81 af 20 30 29 29 0a ........... 0)).
6df0: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 7e 29 $(TR $(TH ~)
6e00: 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 28 $(TD (a, b)) $(
6e10: 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 96 TD a ... b .....
6e20: 87 e5 ad 97 e5 88 97 e5 8c 96 e3 81 97 e3 81 a6 ................
6e30: e7 b5 90 e5 90 88 29 29 0a 20 20 20 20 24 28 54 ......)). $(T
6e40: 52 20 24 28 54 48 20 26 6c 74 3b 29 20 24 28 54 R $(TH <) $(T
6e50: 44 20 28 61 2c 20 62 29 29 20 24 28 54 44 20 61 D (a, b)) $(TD a
6e60: 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 ... b .........
6e70: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 )). $(TR $(TH
6e80: 20 26 6c 74 3b 3d 29 20 24 28 54 44 20 28 61 2c <=) $(TD (a,
6e90: 20 62 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20 b)) $(TD a ...
6ea0: 62 20 e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 b .........)).
6eb0: 20 20 24 28 54 52 20 24 28 54 48 20 26 67 74 3b $(TR $(TH >
6ec0: 29 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 ) $(TD (a, b)) $
6ed0: 28 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 (TD a ... b ....
6ee0: af 94 e8 bc 83 29 29 0a 20 20 20 20 24 28 54 52 .....)). $(TR
6ef0: 20 24 28 54 48 20 26 67 74 3b 3d 29 20 24 28 54 $(TH >=) $(T
6f00: 44 20 28 61 2c 20 62 29 29 20 24 28 54 44 20 61 D (a, b)) $(TD a
6f10: 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 ... b .........
6f20: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 )). $(TR $(TH
6f30: 20 3d 3d 29 20 24 28 54 44 20 28 61 2c 20 62 29 ==) $(TD (a, b)
6f40: 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 e3 ) $(TD a ... b .
6f50: 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 20 20 24 ........)). $
6f60: 28 54 52 20 24 28 54 48 20 21 3d 29 20 24 28 54 (TR $(TH !=) $(T
6f70: 44 20 28 61 2c 20 62 29 29 20 24 28 54 44 20 61 D (a, b)) $(TD a
6f80: 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 ... b .........
6f90: 29 29 0a 20 20 29 0a 3c 70 3e 0a e6 b3 a8 e6 84 )). ).<p>......
6fa0: 8f e7 82 b9 e3 81 a8 e3 81 97 e3 81 a6 e3 80 81 ................
6fb0: e4 bd 9c e8 80 85 e3 81 ae e8 b6 a3 e5 91 b3 e3 ................
6fc0: 81 ae e5 95 8f e9 a1 8c e3 81 a7 e3 80 81 3c 74 ..............<t
6fd0: 74 3e 26 61 6d 70 3b 26 61 6d 70 3b 3c 2f 74 74 t>&&</tt
6fe0: 3e 20 e3 81 a8 20 3c 74 74 3e 7c 7c 3c 2f 74 74 > ... <tt>||</tt
6ff0: 3e 20 e3 81 af 20 73 68 6f 72 74 2d 63 69 72 63 > ... short-circ
7000: 75 69 74 20 e8 a9 95 e4 be a1 e3 82 92 e3 81 97 uit ............
7010: e3 81 be e3 81 9b e3 82 93 e3 80 82 0a e6 95 b4 ................
7020: e6 95 b0 e6 bc 94 e7 ae 97 e3 81 ae e7 a8 ae e9 ................
7030: a1 9e e3 81 8c e5 b0 91 e3 81 aa e3 81 84 e3 81 ................
7040: ae e3 81 af e3 80 81 44 20 e8 a8 80 e8 aa 9e e3 .......D .......
7050: 81 ae 20 73 74 64 2e 62 69 67 69 6e 74 20 e3 81 .. std.bigint ..
7060: 8c e3 83 93 e3 83 83 e3 83 88 e6 bc 94 e7 ae 97 ................
7070: e3 81 aa e3 81 a9 e3 82 92 e3 82 b5 e3 83 9d e3 ................
7080: 83 bc e3 83 88 e3 81 97 e3 81 a6 e3 81 aa e3 81 ................
7090: 84 e3 81 9f e3 82 81 e3 81 a7 e3 81 99 e3 80 82 ................
70a0: 0a e6 96 87 e5 ad 97 e5 88 97 e3 81 8c e7 b5 90 ................
70b0: e5 90 88 e3 81 97 e3 81 8b e3 81 a7 e3 81 8d e3 ................
70c0: 81 aa e3 81 84 e3 81 ae e3 81 af e3 80 81 e5 8d ................
70d0: 98 e3 81 ab e6 89 8b e6 8a 9c e3 81 8d e3 81 a7 ................
70e0: e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 0a .......</p>.))..
70f0: 24 28 53 45 43 54 49 4f 4e 20 e5 a4 96 e9 83 a8 $(SECTION ......
7100: e3 81 a8 e3 81 ae e3 82 84 e3 82 8a e3 81 a8 e3 ................
7110: 82 8a 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 20 .., $(SECBODY.
7120: 24 28 54 41 42 4c 45 0a 20 20 20 20 24 28 54 52 $(TABLE. $(TR
7130: 20 24 28 54 48 20 70 72 69 6e 74 29 20 24 28 54 $(TH print) $(T
7140: 44 20 28 61 29 29 20 24 28 54 44 20 61 20 e3 82 D (a)) $(TD a ..
7150: 92 e6 96 87 e5 ad 97 e5 88 97 e5 8c 96 e6 a8 99 ................
7160: e6 ba 96 e5 87 ba e5 8a 9b e3 81 ab e6 94 b9 e8 ................
7170: a1 8c e4 bb 98 e3 81 8d e3 81 a7 e8 a1 a8 e7 a4 ................
7180: ba e3 81 97 e3 81 a6 e3 80 81 61 20 e3 82 92 e8 ..........a ....
7190: bf 94 e3 81 99 29 29 0a 20 20 20 20 24 28 54 52 .....)). $(TR
71a0: 20 24 28 54 48 20 61 72 67 76 29 20 24 28 54 44 $(TH argv) $(TD
71b0: 20 29 20 24 28 54 44 20 e3 82 b9 e3 82 af e3 83 ) $(TD ........
71c0: aa e3 83 97 e3 83 88 e3 81 ab e6 b8 a1 e3 81 95 ................
71d0: e3 82 8c e3 81 9f e5 bc 95 e6 95 b0 e6 96 87 e5 ................
71e0: ad 97 e5 88 97 e3 81 ae 63 6f 6e 73 e3 83 aa e3 ........cons....
71f0: 82 b9 e3 83 88 29 29 0a 20 20 20 20 24 28 54 52 .....)). $(TR
7200: 20 24 28 54 48 20 67 65 6e 73 79 6d 29 20 24 28 $(TH gensym) $(
7210: 54 44 20 28 29 29 20 24 28 54 44 20 e3 82 a8 e3 TD ()) $(TD ....
7220: 82 bb 67 65 6e 73 79 6d e3 80 82 e5 a4 89 e6 95 ..gensym........
7230: b0 e5 90 8d e3 81 a8 e3 81 97 e3 81 a6 e4 bb 96 ................
7240: e3 81 a8 e3 81 8b e3 81 b6 e3 82 89 e3 81 aa e3 ................
7250: 81 9d e3 81 86 e3 81 aa e6 96 87 e5 ad 97 e5 88 ................
7260: 97 e3 82 92 e8 bf 94 e3 81 97 e3 81 be e3 81 99 ................
7270: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 )). $(TR $(TH
7280: 20 72 61 6e 64 29 20 24 28 54 44 20 28 6e 29 29 rand) $(TD (n))
7290: 20 24 28 54 44 20 30 20 e4 bb a5 e4 b8 8a 20 6e $(TD 0 ...... n
72a0: 20 e6 9c aa e6 ba 80 e3 81 ae e8 87 aa e7 84 b6 ...............
72b0: e6 95 b0 e3 82 92 33 31 62 69 74 e4 bb a5 e5 86 ......31bit.....
72c0: 85 e3 81 a7 e3 83 a9 e3 83 b3 e3 83 80 e3 83 a0 ................
72d0: e3 81 ab e7 94 9f e6 88 90 e3 81 97 e3 81 be e3 ................
72e0: 81 99 29 29 0a 20 20 29 0a 29 29 0a 3c 62 72 20 ..)). ).)).<br
72f0: 2f 3e 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e3 83 />..$(SECTION ..
7300: 87 e3 83 bc e3 82 bf e5 9e 8b e5 88 a4 e5 ae 9a ................
7310: 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 20 24 28 , $(SECBODY. $(
7320: 54 41 42 4c 45 0a 20 20 20 20 24 28 54 52 20 24 TABLE. $(TR $
7330: 28 54 48 20 5f 69 73 69 6e 74 29 20 24 28 54 44 (TH _isint) $(TD
7340: 20 28 61 29 29 20 24 28 54 44 20 61 20 e3 81 8c (a)) $(TD a ...
7350: e6 95 b4 e6 95 b0 e3 81 aa e3 82 89 20 31 e3 80 ............ 1..
7360: 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c e3 81 b0 ................
7370: 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 0)). $(TR $(
7380: 54 48 20 5f 69 73 73 74 72 29 20 24 28 54 44 20 TH _isstr) $(TD
7390: 28 61 29 29 20 24 28 54 44 20 61 20 e3 81 8c e6 (a)) $(TD a ....
73a0: 96 87 e5 ad 97 e5 88 97 e3 81 aa e3 82 89 20 31 .............. 1
73b0: e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c e3 ................
73c0: 81 b0 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 .. 0)). $(TR
73d0: 24 28 54 48 20 5f 69 73 66 75 6e 29 20 24 28 54 $(TH _isfun) $(T
73e0: 44 20 28 61 29 29 20 24 28 54 44 20 61 20 e3 81 D (a)) $(TD a ..
73f0: 8c e9 96 a2 e6 95 b0 e3 81 aa e3 82 89 20 31 e3 ............. 1.
7400: 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c e3 81 ................
7410: b0 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 24 . 0)). $(TR $
7420: 28 54 48 20 5f 69 73 74 61 62 6c 65 29 20 24 28 (TH _istable) $(
7430: 54 44 20 28 61 29 29 20 24 28 54 44 20 61 20 e3 TD (a)) $(TD a .
7440: 81 8c e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81 ................
7450: aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 .... 1..........
7460: 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 20 ........ 0)).
7470: 20 24 28 54 52 20 24 28 54 48 20 5f 69 73 75 6e $(TR $(TH _isun
7480: 64 65 66 69 6e 65 64 29 20 24 28 54 44 20 28 61 defined) $(TD (a
7490: 29 29 20 24 28 54 44 20 61 20 e3 81 8c e6 9c aa )) $(TD a ......
74a0: e5 ae 9a e7 be a9 e5 80 a4 e3 81 aa e3 82 89 20 ...............
74b0: 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c 1...............
74c0: e3 81 b0 20 30 29 29 0a 20 20 29 0a 29 29 0a 29 ... 0)). ).)).)
74d0: 0a 29 29 0a 0a 29 0a 4d 61 63 72 6f 73 3a 0a 20 .))..).Macros:.
74e0: 20 20 20 54 49 54 4c 45 3d 50 6f 6c 65 6d 79 20 TITLE=Polemy
74f0: 52 65 66 65 72 65 6e 63 65 20 4d 61 6e 75 61 6c Reference Manual
7500: 0a 20 20 20 20 44 4f 43 46 49 4c 45 4e 41 4d 45 . DOCFILENAME
7510: 3d 69 6e 64 65 78 2e 68 74 6d 6c 0a 20 20 20 20 =index.html.
7520: 53 45 43 54 49 4f 4e 3d 24 28 44 44 4f 43 5f 44 SECTION=$(DDOC_D
7530: 45 43 4c 20 24 28 44 44 4f 43 5f 50 53 59 4d 42 ECL $(DDOC_PSYMB
7540: 4f 4c 20 24 31 29 29 20 24 28 44 44 4f 43 5f 44 OL $1)) $(DDOC_D
7550: 45 43 4c 5f 44 44 20 24 32 29 0a 20 20 20 20 53 ECL_DD $2). S
7560: 45 43 42 4f 44 59 3d 24 30 0a ECBODY=$0.