0000: 44 64 6f 63 0a 24 28 44 44 4f 43 5f 41 55 54 48 Ddoc.$(DDOC_AUTH
0010: 4f 52 53 20 6b 2e 69 6e 61 62 61 29 0a 24 28 44 ORS k.inaba).$(D
0020: 44 4f 43 5f 4c 49 43 45 4e 53 45 20 4e 59 53 4c DOC_LICENSE NYSL
0030: 20 30 2e 39 39 38 32 20 28 68 74 74 70 3a 2f 2f 0.9982 (http://
0040: 77 77 77 2e 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 6e www.kmonos.net/n
0050: 79 73 6c 2f 29 29 0a 0a 3c 70 3e 0a e3 81 93 e3 ysl/))..<p>.....
0060: 81 ae e3 83 95 e3 82 a1 e3 82 a4 e3 83 ab e3 81 ................
0070: af e3 80 81 e8 a8 80 e8 aa 9e e4 bb 95 e6 a7 98 ................
0080: e3 81 aa e3 81 a9 e3 81 ae e7 b0 a1 e5 8d 98 e3 ................
0090: 81 aa e8 aa ac e6 98 8e e3 81 a7 e3 81 99 e3 80 ................
00a0: 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 82 e3 81 ..</p>.<p>......
00b0: a8 e3 81 a4 e3 81 84 e3 81 a7 e3 81 ab e3 80 81 ................
00c0: e5 b7 a6 e3 81 ae e3 82 b5 e3 82 a4 e3 83 89 e3 ................
00d0: 83 90 e3 83 bc e3 81 ae 20 22 50 61 63 6b 61 67 ........ "Packag
00e0: 65 22 20 e3 82 bf e3 83 96 e3 82 92 e3 82 af e3 e" .............
00f0: 83 aa e3 83 83 e3 82 af e3 81 99 e3 82 8b e3 81 ................
0100: a8 e5 ae 9f e8 a3 85 e3 81 ae e3 82 bd e3 83 bc ................
0110: e3 82 b9 e3 81 ae e3 83 89 e3 82 ad e3 83 a5 e3 ................
0120: 83 a1 e3 83 b3 e3 83 88 e3 81 8c e8 aa ad e3 82 ................
0130: 81 e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a ...........</p>.
0140: 0a 24 28 44 44 4f 43 5f 4d 45 4d 42 45 52 53 0a .$(DDOC_MEMBERS.
0150: 0a 24 28 53 45 43 54 49 4f 4e 20 53 79 6e 74 61 .$(SECTION Synta
0160: 78 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e x, $(SECBODY.<p>
0170: 0a e6 96 87 e6 b3 95 e3 81 ab e3 81 a4 e3 81 84 ................
0180: e3 81 a6 e3 80 82 0a e5 ad 97 e5 8f a5 e8 a7 a3 ................
0190: e6 9e 90 e3 81 8c e3 82 8f e3 82 8a e3 81 a8 e9 ................
01a0: 81 a9 e5 bd 93 e3 81 aa e3 81 ae e3 81 a7 e3 80 ................
01b0: 81 0a e5 a4 89 e6 95 b0 e5 ae a3 e8 a8 80 e3 81 ................
01c0: ae e5 a4 89 e6 95 b0 e5 90 8d e3 81 ae e3 81 a8 ................
01d0: e3 81 93 e3 82 8d e3 81 ab e3 80 81 e6 95 b0 e5 ................
01e0: ad 97 e3 82 92 e5 a4 89 e6 95 b0 e5 90 8d e3 81 ................
01f0: a8 e3 81 97 e3 81 a6 e4 bd bf e3 81 88 e3 81 a6 ................
0200: e5 8f 82 e7 85 a7 e3 81 a7 e3 81 8d e3 81 aa e3 ................
0210: 81 84 e5 a4 89 e6 95 b0 e3 81 8c e4 bd 9c e3 82 ................
0220: 8c e3 81 9f e3 82 8a e3 80 81 0a e4 ba 88 e7 b4 ................
0230: 84 e8 aa 9e e3 81 af e4 ba 88 e7 b4 84 e8 aa 9e ................
0240: e3 81 a8 e3 81 97 e3 81 a6 e8 a7 a3 e9 87 88 e3 ................
0250: 81 95 e3 82 8c e5 be 97 e3 81 aa e3 81 84 e3 81 ................
0260: a8 e3 81 93 e3 82 8d e3 81 a7 e3 81 af e6 99 ae ................
0270: e9 80 9a e3 81 ab e5 a4 89 e6 95 b0 e5 90 8d e3 ................
0280: 81 a8 e3 81 97 e3 81 a6 e4 bd bf e3 81 88 e3 81 ................
0290: a1 e3 82 83 e3 81 a3 e3 81 9f e3 82 8a e3 81 97 ................
02a0: e3 81 a6 e3 80 81 0a e5 81 b6 e3 81 ab e3 81 a8 ................
02b0: e3 82 93 e3 81 a7 e3 82 82 e3 81 aa e3 81 84 e8 ................
02c0: a6 8b e3 81 8b e3 81 91 e3 81 ae e3 82 bd e3 83 ................
02d0: bc e3 82 b9 e3 81 8c e6 a7 8b e6 96 87 e8 a7 a3 ................
02e0: e6 9e 90 e9 80 9a e3 82 8a e3 81 be e3 81 99 e3 ................
02f0: 81 8c e3 80 81 e6 b0 97 e3 81 ab e3 81 97 e3 81 ................
0300: aa e3 81 84 e3 81 a7 e9 81 a9 e5 bd 93 e3 81 ab ................
0310: e4 bd bf e3 81 a3 e3 81 a6 e4 b8 8b e3 81 95 e3 ................
0320: 81 84 e3 80 82 0a 3c 2f 70 3e 0a 0a 24 28 44 44 ......</p>..$(DD
0330: 4f 43 5f 4d 45 4d 42 45 52 53 0a 0a 24 28 53 45 OC_MEMBERS..$(SE
0340: 43 54 49 4f 4e 20 e6 96 87 e5 ad 97 e3 82 b3 e3 CTION ..........
0350: 83 bc e3 83 89 2c 20 24 28 53 45 43 42 4f 44 59 ....., $(SECBODY
0360: 0a 3c 70 3e 0a 55 54 46 2d 38 20 e3 81 ae e3 81 .<p>.UTF-8 .....
0370: bf e5 af be e5 bf 9c e3 81 a7 e3 81 99 e3 80 82 ................
0380: 0a 3c 2f 70 3e 0a 29 29 0a 0a 24 28 53 45 43 54 .</p>.))..$(SECT
0390: 49 4f 4e 20 e3 82 b3 e3 83 a1 e3 83 b3 e3 83 88 ION ............
03a0: 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a , $(SECBODY.<p>.
03b0: e8 a1 8c e3 82 b3 e3 83 a1 e3 83 b3 e3 83 88 e3 ................
03c0: 81 af 20 3c 74 74 3e 23 3c 2f 74 74 3e 20 e3 81 .. <tt>#</tt> ..
03d0: 8b e3 82 89 e6 94 b9 e8 a1 8c e3 81 be e3 81 a7 ................
03e0: e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c ..........</p>.<
03f0: 70 3e 0a e3 83 96 e3 83 ad e3 83 83 e3 82 af e3 p>..............
0400: 82 b3 e3 83 a1 e3 83 b3 e3 83 88 e3 81 af e3 81 ................
0410: 82 e3 82 8a e3 81 be e3 81 9b e3 82 93 e3 80 82 ................
0420: 0a 3c 2f 70 3e 0a 29 29 0a 0a 24 28 53 45 43 54 .</p>.))..$(SECT
0430: 49 4f 4e 20 42 4e 46 2c 20 24 28 53 45 43 42 4f ION BNF, $(SECBO
0440: 44 59 0a 3c 70 72 65 3e 0a 20 49 44 20 20 20 20 DY.<pre>. ID
0450: 3a 3a 3d 20 e9 81 a9 e5 bd 93 e3 81 ab e8 ad 98 ::= ............
0460: e5 88 a5 e5 ad 90 e3 81 a3 e3 81 bd e3 81 84 e6 ................
0470: 96 87 e5 ad 97 e5 88 97 0a 20 4c 41 59 45 52 20 ......... LAYER
0480: 3a 3a 3d 20 22 40 22 20 49 44 0a 0a 20 45 20 3a ::= "@" ID.. E :
0490: 3a 3d 0a 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e :=. $(D_COMMEN
04a0: 54 20 23 20 e5 a4 89 e6 95 b0 e5 ae a3 e8 a8 80 T # ............
04b0: 29 0a 20 20 20 20 20 7c 20 44 45 43 4c 20 22 3d ). | DECL "=
04c0: 22 20 45 20 28 22 3b 22 7c 22 69 6e 22 29 20 45 " E (";"|"in") E
04d0: 0a 20 20 20 20 20 7c 20 44 45 43 4c 20 22 28 22 . | DECL "("
04e0: 20 50 41 52 41 4d 53 20 22 29 22 20 22 7b 22 20 PARAMS ")" "{"
04f0: 45 20 22 7d 22 20 28 22 3b 22 7c 22 69 6e 22 29 E "}" (";"|"in")
0500: 20 45 0a 20 20 20 20 20 7c 20 44 45 43 4c 20 22 E. | DECL "
0510: 3d 22 20 45 0a 20 20 20 20 20 7c 20 44 45 43 4c =" E. | DECL
0520: 20 22 28 22 20 50 41 52 41 4d 53 20 22 29 22 20 "(" PARAMS ")"
0530: 22 7b 22 20 45 20 22 7d 22 0a 0a 20 20 20 20 20 "{" E "}"..
0540: 20 20 20 20 77 68 65 72 65 20 44 45 43 4c 20 3a where DECL :
0550: 3a 3d 20 28 22 76 61 72 22 7c 22 6c 65 74 22 7c := ("var"|"let"|
0560: 22 64 65 66 22 7c 4c 41 59 45 52 29 20 49 44 20 "def"|LAYER) ID
0570: 7c 20 22 40 22 20 4c 41 59 45 52 0a 0a 20 20 20 | "@" LAYER..
0580: 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 $(D_COMMENT # ..
0590: aa e3 83 86 e3 83 a9 e3 83 ab 29 0a 20 20 20 20 ..........).
05a0: 20 7c 20 49 4e 54 45 47 45 52 20 20 20 20 20 20 | INTEGER
05b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
05c0: 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 $(D_COMMENT #
05d0: e9 9d 9e e8 b2 a0 e6 95 b4 e6 95 b0 29 0a 20 20 ............).
05e0: 20 20 20 7c 20 53 54 52 49 4e 47 20 20 20 20 20 | STRING
05f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0600: 20 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 $(D_COMMENT
0610: 23 20 22 22 20 e3 81 a7 e3 81 8f e3 81 8f e3 81 # "" ...........
0620: a3 e3 81 9f e6 96 87 e5 ad 97 e5 88 97 e3 80 82 ................
0630: 5c 22 20 e3 81 a8 20 5c 5c 20 e3 81 af e4 bd bf \" ... \\ ......
0640: e3 81 88 e3 82 8b 29 0a 20 20 20 20 20 7c 20 22 ......). | "
0650: 7b 22 20 45 4e 54 52 59 53 20 22 7d 22 20 20 20 {" ENTRYS "}"
0660: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24 28 $(
0670: 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 86 e3 D_COMMENT # ....
0680: 83 bc e3 83 96 e3 83 ab 29 0a 20 20 20 20 20 7c ........). |
0690: 20 22 66 75 6e 22 20 22 28 22 20 50 41 52 41 4d "fun" "(" PARAM
06a0: 53 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 20 S ")" "{" E "}"
06b0: 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e7 84 $(D_COMMENT # ..
06c0: a1 e5 90 8d e9 96 a2 e6 95 b0 29 0a 20 20 20 20 ..........).
06d0: 20 7c 20 20 22 ce bb 22 20 22 28 22 20 50 41 52 | ".." "(" PAR
06e0: 41 4d 53 20 22 29 22 20 22 7b 22 20 45 20 22 7d AMS ")" "{" E "}
06f0: 22 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 " $(D_COMMENT #
0700: e7 84 a1 e5 90 8d e9 96 a2 e6 95 b0 29 0a 0a 20 ............)..
0710: 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 $(D_COMMENT #
0720: e9 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 ................
0730: 81 97 29 0a 20 20 20 20 20 7c 20 45 20 22 28 22 ..). | E "("
0740: 20 41 52 47 53 22 29 22 0a 0a 20 20 20 20 20 20 ARGS")"..
0750: 20 20 20 77 68 65 72 65 20 20 20 20 41 52 47 53 where ARGS
0760: 20 3a 3a 3d 20 45 20 22 2c 22 20 2e 2e 2e 20 22 ::= E "," ... "
0770: 2c 22 20 45 0a 20 20 20 20 20 20 20 20 20 20 20 ," E.
0780: 20 20 20 20 20 50 41 52 41 4d 53 20 3a 3a 3d 20 PARAMS ::=
0790: 28 49 44 7c 4c 41 59 45 52 29 2b 20 22 2c 22 20 (ID|LAYER)+ ","
07a0: 2e 2e 2e 20 22 2c 22 20 28 49 44 7c 4c 41 59 45 ... "," (ID|LAYE
07b0: 52 29 2b 0a 20 20 20 20 20 20 20 20 20 20 20 20 R)+.
07c0: 20 20 20 20 45 4e 54 52 59 53 20 3a 3a 3d 20 49 ENTRYS ::= I
07d0: 44 20 22 3a 22 20 45 20 20 20 20 22 2c 22 20 2e D ":" E "," .
07e0: 2e 2e 20 22 2c 22 20 49 44 20 22 3a 22 20 45 0a .. "," ID ":" E.
07f0: 0a 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 . $(D_COMMENT
0800: 23 20 e6 bc 94 e7 ae 97 e5 ad 90 e3 81 aa e3 81 # ..............
0810: a9 29 0a 20 20 20 20 20 7c 20 22 28 22 20 45 20 .). | "(" E
0820: 22 29 22 20 20 20 20 20 20 20 20 20 20 20 20 20 ")"
0830: 20 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 $(D_COMMENT
0840: 23 20 e3 81 9f e3 81 a0 e3 81 ae e6 8b ac e5 bc # ..............
0850: a7 29 0a 20 20 20 20 20 7c 20 22 2e 2e 2e 22 20 .). | "..."
0860: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0870: 20 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 $(D_COMMENT
0880: 23 20 e3 81 93 e3 82 8c e3 82 92 e5 ae 9f e8 a1 # ..............
0890: 8c e3 81 99 e3 82 8b e3 81 a8 64 69 65 29 0a 20 ..........die).
08a0: 20 20 20 20 7c 20 45 20 42 49 4e 4f 50 20 45 20 | E BINOP E
08b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
08c0: 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e4 ba $(D_COMMENT # ..
08d0: 8c e9 a0 85 e6 bc 94 e7 ae 97 e5 ad 90 e3 81 84 ................
08e0: e3 82 8d e3 81 84 e3 82 8d 29 0a 20 20 20 20 20 .........).
08f0: 7c 20 45 20 22 2e 22 20 20 49 44 20 20 20 20 20 | E "." ID
0900: 20 20 20 20 20 20 20 20 20 20 20 20 24 28 44 5f $(D_
0910: 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 86 e3 83 bc COMMENT # ......
0920: e3 83 96 e3 83 ab e3 81 ae e3 83 95 e3 82 a3 e3 ................
0930: 83 bc e3 83 ab e3 83 89 e3 82 a2 e3 82 af e3 82 ................
0940: bb e3 82 b9 29 0a 20 20 20 20 20 7c 20 45 20 22 ....). | E "
0950: 2e 3f 22 20 49 44 20 20 20 20 20 20 20 20 20 20 .?" ID
0960: 20 20 20 20 20 20 20 24 28 44 5f 43 4f 4d 4d 45 $(D_COMME
0970: 4e 54 20 23 20 e3 83 86 e3 83 bc e3 83 96 e3 83 NT # ...........
0980: ab e3 81 ab e3 83 95 e3 82 a3 e3 83 bc e3 83 ab ................
0990: e3 83 89 e3 81 8c e3 81 82 e3 82 8b e3 81 8b e5 ................
09a0: 90 a6 e3 81 8b 29 0a 20 20 20 20 20 7c 20 45 20 .....). | E
09b0: 22 7b 22 20 45 4e 54 52 59 53 20 22 7d 22 20 20 "{" ENTRYS "}"
09c0: 20 20 20 20 20 20 20 20 24 28 44 5f 43 4f 4d 4d $(D_COMM
09d0: 45 4e 54 20 23 20 e3 83 86 e3 83 bc e3 83 96 e3 ENT # ..........
09e0: 83 ab e6 8b a1 e5 bc b5 29 0a 20 20 20 20 20 7c ........). |
09f0: 20 22 69 66 22 20 45 20 28 22 74 68 65 6e 22 7c "if" E ("then"|
0a00: 22 3a 22 7c 22 74 68 65 6e 22 20 22 3a 22 29 20 ":"|"then" ":")
0a10: 45 0a 20 20 20 20 20 7c 20 22 69 66 22 20 45 20 E. | "if" E
0a20: 28 22 74 68 65 6e 22 7c 22 3a 22 7c 22 74 68 65 ("then"|":"|"the
0a30: 6e 22 20 22 3a 22 29 20 45 20 22 65 6c 73 65 22 n" ":") E "else"
0a40: 20 22 3a 22 3f 20 45 0a 0a 20 20 20 24 28 44 5f ":"? E.. $(D_
0a50: 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 91 e3 82 bf COMMENT # ......
0a60: e3 83 bc e3 83 b3 e3 83 9e e3 83 83 e3 83 81 29 ...............)
0a70: 0a 20 20 20 20 20 7c 20 22 63 61 73 65 22 20 45 . | "case" E
0a80: 20 28 22 77 68 65 6e 22 20 50 41 54 54 45 52 4e ("when" PATTERN
0a90: 20 22 3a 22 20 45 20 29 2a 20 0a 0a 20 20 20 20 ":" E )* ..
0aa0: 20 20 20 20 20 77 68 65 72 65 20 50 41 54 54 45 where PATTE
0ab0: 52 4e 20 3a 3a 3d 20 e5 bc 8f e3 81 8c e3 81 a0 RN ::= .........
0ac0: e3 81 84 e3 81 9f e3 81 84 e3 81 aa e3 82 93 e3 ................
0ad0: 81 a7 e3 82 82 e6 9b b8 e3 81 91 e3 82 8b e6 b0 ................
0ae0: 97 e3 81 8c e3 81 99 e3 82 8b 0a 0a 20 20 20 24 ............ $
0af0: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 ac (D_COMMENT # ...
0b00: e3 82 a4 e3 83 a4 e6 8c 87 e5 ae 9a e5 ae 9f e8 ................
0b10: a1 8c 29 0a 20 20 20 20 20 7c 20 4c 41 59 45 52 ..). | LAYER
0b20: 20 22 28 22 20 45 20 22 29 22 0a 3c 2f 70 72 65 "(" E ")".</pre
0b30: 3e 0a 29 29 0a 0a 24 28 53 45 43 54 49 4f 4e 20 >.))..$(SECTION
0b40: e7 b3 96 e8 a1 a3 e6 a7 8b e6 96 87 2c 20 24 28 ............, $(
0b50: 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e6 bc 94 e7 SECBODY.<p>.....
0b60: ae 97 e5 ad 90 e3 81 a8 e3 81 84 e3 81 86 e3 82 ................
0b70: 82 e3 81 ae e3 81 af e3 81 82 e3 82 8a e3 81 be ................
0b80: e3 81 9b e3 82 93 e3 80 82 e5 86 85 e9 83 a8 e7 ................
0b90: 9a 84 e3 81 ab e3 81 af e5 85 a8 e3 81 a6 e9 96 ................
0ba0: a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 81 97 ................
0bb0: e6 a7 8b e6 96 87 e3 81 ab e6 9b b8 e3 81 8d e6 ................
0bc0: 8f 9b e3 81 88 e3 82 89 e3 82 8c e3 81 a6 e3 81 ................
0bd0: 84 e3 81 be e3 81 99 e3 80 82 3c 74 74 3e 69 66 ..........<tt>if
0be0: 3c 2f 74 74 3e 20 e3 82 82 e3 81 a7 e3 81 99 e3 </tt> ..........
0bf0: 80 82 0a 3c 62 72 2f 3e 0a e3 83 91 e3 82 bf e3 ...<br/>........
0c00: 83 bc e3 83 b3 e3 83 9e e3 83 83 e3 83 81 e3 82 ................
0c10: 82 e5 85 a8 e9 83 a8 20 3c 74 74 3e 69 66 3c 2f ....... <tt>if</
0c20: 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 3d 3d 3c 2f tt> ... <tt>==</
0c30: 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 26 61 6d 70 tt> ... <tt>&
0c40: 3b 26 61 6d 70 3b 3c 2f 74 74 3e 20 e3 81 a8 0a ;&</tt> ....
0c50: 3c 74 74 3e 2e 3c 2f 74 74 3e 20 e3 81 a8 20 3c <tt>.</tt> ... <
0c60: 74 74 3e 2e 3f 3c 2f 74 74 3e 20 e3 82 92 e4 bd tt>.?</tt> .....
0c70: bf e3 81 a3 e3 81 9f e9 96 a2 e6 95 b0 e5 91 bc ................
0c80: e3 81 b3 e5 87 ba e3 81 97 e5 bc 8f e3 81 ab e6 ................
0c90: 9b b8 e3 81 8d e6 8f 9b e3 81 88 e3 82 89 e3 82 ................
0ca0: 8c e3 81 a6 e3 81 84 e3 81 be e3 81 99 e3 81 8c ................
0cb0: e3 80 81 0a e8 a6 8f e5 89 87 e3 81 ae e8 a9 b3 ................
0cc0: e7 b4 b0 e3 82 92 e8 aa ac e6 98 8e e3 81 99 e3 ................
0cd0: 82 8b e3 81 ae e3 81 8c e9 9d a2 e5 80 92 e3 81 ................
0ce0: aa e3 81 ae e3 81 a7 e9 81 a9 e5 bd 93 e3 81 ab ................
0cf0: e6 83 b3 e5 83 8f e3 81 97 e3 81 a6 e4 b8 8b e3 ................
0d00: 81 95 e3 81 84 e3 80 82 0a e4 bb 96 e3 81 ae e6 ................
0d10: 9b b8 e3 81 8d e6 8f 9b e3 81 88 e3 81 af e3 81 ................
0d20: 93 e3 82 93 e3 81 aa e6 84 9f e3 81 98 e3 81 a7 ................
0d30: e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 .......</p>.<pre
0d40: 3e 0a 20 20 20 20 69 66 20 45 20 74 68 65 6e 20 >. if E then
0d50: 45 20 20 20 20 20 20 20 20 20 e2 87 92 20 69 66 E ... if
0d60: 28 20 45 2c 20 66 75 6e 28 29 7b 45 7d 2c 20 66 ( E, fun(){E}, f
0d70: 75 6e 28 29 7b 7d 20 29 0a 20 20 20 20 69 66 20 un(){} ). if
0d80: 45 20 74 68 65 6e 20 45 20 65 6c 73 65 20 45 20 E then E else E
0d90: 20 e2 87 92 20 69 66 28 20 45 2c 20 66 75 6e 28 ... if( E, fun(
0da0: 29 7b 45 7d 2c 20 66 75 6e 28 29 7b 45 7d 20 29 ){E}, fun(){E} )
0db0: 0a 20 20 20 20 45 20 42 49 4e 4f 50 20 45 20 20 . E BINOP E
0dc0: 20 20 20 20 20 20 20 20 20 e2 87 92 20 42 49 4e ... BIN
0dd0: 4f 50 28 45 2c 20 45 29 0a 20 20 20 20 7b 20 45 OP(E, E). { E
0de0: 4e 54 52 49 45 53 20 7d 20 20 20 20 20 20 20 20 NTRIES }
0df0: 20 e2 87 92 20 7b 7d 7b 20 45 4e 54 52 49 45 53 ... {}{ ENTRIES
0e00: 20 7d 0a 20 20 20 20 7b 7d 20 20 20 20 20 20 20 }. {}
0e10: 20 20 20 20 20 20 20 20 20 20 20 e2 87 92 20 7b ... {
0e20: 7d 28 29 0a 20 20 20 20 45 20 7b 49 44 3a 45 2c }(). E {ID:E,
0e30: 20 2e 2e 2e 7d 20 20 20 20 20 20 20 e2 87 92 20 ...} ...
0e40: 2e 3d 28 45 2c 20 49 44 2c 20 45 29 20 7b 20 2e .=(E, ID, E) { .
0e50: 2e 2e 20 7d 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a .. }.</pre>.<p>.
0e60: e5 a4 89 e6 95 b0 e5 ae a3 e8 a8 80 e3 81 ab e8 ................
0e70: 89 b2 e3 80 85 e3 81 82 e3 82 8a e3 81 be e3 81 ................
0e80: 99 e3 81 8c e3 80 81 3c 74 74 3e 6c 65 74 3c 2f .......<tt>let</
0e90: 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 76 61 72 3c tt> ... <tt>var<
0ea0: 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 64 65 66 /tt> ... <tt>def
0eb0: 3c 2f 74 74 3e 20 e3 81 af e5 90 8c e3 81 98 e6 </tt> ..........
0ec0: 89 b1 e3 81 84 e3 81 a7 e3 80 81 0a 3c 74 74 3e ............<tt>
0ed0: 69 6e 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e in</tt> ... <tt>
0ee0: 3b 3c 2f 74 74 3e 20 e3 81 af e5 90 8c e3 81 98 ;</tt> .........
0ef0: e6 89 b1 e3 81 84 e3 81 a7 e3 81 99 e3 80 82 e3 ................
0f00: 81 a4 e3 81 be e3 82 8a 0a 3c 2f 70 3e 0a 3c 70 .........</p>.<p
0f10: 72 65 3e 0a 20 20 20 6c 65 74 20 78 20 3d 20 45 re>. let x = E
0f20: 20 69 6e 20 45 0a 20 20 20 76 61 72 20 78 20 3d in E. var x =
0f30: 20 45 20 69 6e 20 45 0a 20 20 20 64 65 66 20 78 E in E. def x
0f40: 20 3d 20 45 20 69 6e 20 45 0a 20 20 20 6c 65 74 = E in E. let
0f50: 20 78 20 3d 20 45 20 3b 20 45 0a 20 20 20 76 61 x = E ; E. va
0f60: 72 20 78 20 3d 20 45 20 3b 20 45 0a 20 20 20 64 r x = E ; E. d
0f70: 65 66 20 78 20 3d 20 45 20 3b 20 45 0a 3c 2f 70 ef x = E ; E.</p
0f80: 72 65 3e 0a 3c 70 3e 0a e4 bb a5 e4 b8 8a e3 81 re>.<p>.........
0f90: ae e3 81 a9 e3 82 8c e3 82 82 e5 90 8c e3 81 98 ................
0fa0: e6 84 8f e5 91 b3 e3 81 aa e3 81 ae e3 81 a7 e3 ................
0fb0: 80 81 e3 81 aa e3 82 93 e3 81 a8 e3 81 aa e3 81 ................
0fc0: 8f e9 96 a2 e6 95 b0 e5 9e 8b e3 81 a3 e3 81 bd ................
0fd0: e3 81 8f e6 9b b8 e3 81 8d e3 81 9f e3 81 84 e6 ................
0fe0: b0 97 e5 88 86 e3 81 ae e6 97 a5 e3 81 af 20 3c .............. <
0ff0: 74 74 3e 6c 65 74 20 69 6e 3c 2f 74 74 3e 20 e3 tt>let in</tt> .
1000: 82 92 e3 80 81 0a e6 89 8b e7 b6 9a e3 81 8d e5 ................
1010: 9e 8b e3 81 a3 e3 81 bd e3 81 8f e6 9b b8 e3 81 ................
1020: 8d e3 81 9f e3 81 84 e6 b0 97 e5 88 86 e3 81 ae ................
1030: e6 97 a5 e3 81 af 20 3c 74 74 3e 76 61 72 20 3b ...... <tt>var ;
1040: 3c 2f 74 74 3e 20 e3 82 92 e4 bd bf e3 81 86 e3 </tt> ..........
1050: 81 a8 e3 82 88 e3 81 84 e3 81 a8 e6 80 9d e3 81 ................
1060: 84 e3 81 be e3 81 99 e3 80 82 0a 3c 74 74 3e 69 ...........<tt>i
1070: 66 20 74 68 65 6e 20 65 6c 73 65 3c 2f 74 74 3e f then else</tt>
1080: 20 e3 82 82 e5 be ae e5 a6 99 e3 81 ab e3 82 b3 ...............
1090: e3 83 ad e3 83 b3 e3 81 8c e3 81 82 e3 81 a3 e3 ................
10a0: 81 9f e3 82 8a e3 81 aa e3 81 8b e3 81 a3 e3 81 ................
10b0: 9f e3 82 8a e3 83 90 e3 83 aa e3 82 a8 e3 83 bc ................
10c0: e3 82 b7 e3 83 a7 e3 83 b3 e3 81 8c e3 81 82 e3 ................
10d0: 82 8a e3 81 be e3 81 99 e3 81 8c e5 a5 bd e3 81 ................
10e0: bf e3 81 a7 e4 bd bf e3 81 84 e3 81 be e3 81 99 ................
10f0: e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e9 96 a2 ....</p>.<p>....
1100: e6 95 b0 e3 82 92 e5 ae a3 e8 a8 80 e3 81 99 e3 ................
1110: 82 8b e3 81 a8 e3 81 8d e3 81 af e3 80 81 3c 74 ..............<t
1120: 74 3e 66 75 6e 3c 2f 74 74 3e 20 e3 82 84 20 3c t>fun</tt> ... <
1130: 74 74 3e ce bb 3c 2f 74 74 3e 20 e3 82 92 e7 9c tt>..</tt> .....
1140: 81 e7 95 a5 e3 81 a7 e3 81 8d e3 81 be e3 81 99 ................
1150: e3 80 82 0a e4 bb a5 e4 b8 8b e3 81 ae e6 9b b8 ................
1160: e3 81 8d e6 8f 9b e3 81 88 e3 81 8c e8 a1 8c e3 ................
1170: 82 8f e3 82 8c e3 81 be e3 81 99 e3 80 82 0a 3c ...............<
1180: 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 64 65 66 /p>.<pre>. def
1190: 20 66 28 20 41 52 47 53 20 29 20 7b 20 45 20 7d f( ARGS ) { E }
11a0: 3b 20 45 20 20 20 e2 87 92 20 20 20 64 65 66 20 ; E ... def
11b0: 66 20 3d 20 66 75 6e 28 41 52 47 53 29 7b 45 7d f = fun(ARGS){E}
11c0: 3b 20 45 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e4 ; E.</pre>.<p>..
11d0: bb 96 e3 81 ab e3 80 81 e3 82 82 e3 81 a3 e3 81 ................
11e0: a8 e6 89 8b e7 b6 9a e3 81 8d e5 9e 8b e3 81 a3 ................
11f0: e3 81 bd e3 81 8f e3 81 9f e3 82 81 e3 81 ae e6 ................
1200: 9b b8 e3 81 8d e6 8f 9b e3 81 88 e8 89 b2 e3 80 ................
1210: 85 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 ..</p>.<pre>.
1220: 66 75 6e 20 28 29 20 7b 20 45 3b 20 45 3b 20 45 fun () { E; E; E
1230: 20 20 20 20 20 20 7d 20 20 20 e2 87 92 20 20 20 } ...
1240: 66 75 6e 20 28 29 20 7b 20 6c 65 74 20 5f 20 3d fun () { let _ =
1250: 20 45 20 69 6e 20 6c 65 74 20 5f 20 3d 20 45 20 E in let _ = E
1260: 69 6e 20 45 20 7d 0a 20 20 20 66 75 6e 20 28 29 in E }. fun ()
1270: 20 7b 20 76 61 72 20 78 20 3d 20 31 30 30 20 20 { var x = 100
1280: 7d 20 20 20 e2 87 92 20 20 20 66 75 6e 20 28 29 } ... fun ()
1290: 20 7b 20 76 61 72 20 78 20 3d 20 31 30 30 3b 20 { var x = 100;
12a0: 78 20 7d 0a 20 20 20 66 75 6e 20 28 29 20 7b 20 x }. fun () {
12b0: 76 61 72 20 78 20 3d 20 31 30 30 3b 20 7d 20 20 var x = 100; }
12c0: 20 e2 87 92 20 20 20 66 75 6e 20 28 29 20 7b 20 ... fun () {
12d0: 76 61 72 20 78 20 3d 20 31 30 30 3b 20 78 20 7d var x = 100; x }
12e0: 0a 20 20 20 66 75 6e 20 28 29 20 7b 20 7d 20 20 . fun () { }
12f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 e2 87 ..
1300: 92 20 20 20 66 75 6e 20 28 29 20 7b 20 22 28 65 . fun () { "(e
1310: 6d 70 74 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f mpty function bo
1320: 64 79 29 22 20 7d 0a 3c 2f 70 72 65 3e 0a 3c 70 dy)" }.</pre>.<p
1330: 3e 0a e4 b8 ad e8 ba ab e3 81 8c e7 a9 ba e3 81 >...............
1340: ae e9 96 a2 e6 95 b0 e3 81 ab e4 bd 95 e3 82 92 ................
1350: e8 bf 94 e3 81 95 e3 81 9b e3 82 8b e3 81 8b e3 ................
1360: 81 af e9 81 a9 e5 bd 93 e3 81 a7 e3 81 99 e3 80 ................
1370: 82 e4 bb 8a e3 81 af e3 81 a8 e3 82 8a e3 81 82 ................
1380: e3 81 88 e3 81 9a e9 81 a9 e5 bd 93 e3 81 ab e6 ................
1390: 96 87 e5 ad 97 e5 88 97 e8 bf 94 e3 81 97 e3 81 ................
13a0: a6 e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a ...........</p>.
13b0: 29 29 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e5 a4 ))..$(SECTION ..
13c0: 89 e6 95 b0 e3 81 ae e3 82 b9 e3 82 b3 e3 83 bc ................
13d0: e3 83 97 e8 a6 8f e5 89 87 2c 20 24 28 53 45 43 ........., $(SEC
13e0: 42 4f 44 59 0a 3c 70 3e 0a e5 9f ba e6 9c ac e7 BODY.<p>........
13f0: 9a 84 e3 81 ab e3 81 af e3 80 81 6c 65 74 20 e3 ...........let .
1400: 81 ab e3 82 88 e3 81 a3 e3 81 a6 e5 b8 b8 e8 ad ................
1410: 98 e7 9a 84 e3 81 aa e6 84 9f e3 81 98 e3 81 ab ................
1420: e5 a4 89 e6 95 b0 e3 81 ae e3 82 b9 e3 82 b3 e3 ................
1430: 83 bc e3 83 97 e3 81 8c e3 83 8d e3 82 b9 e3 83 ................
1440: 88 e3 81 97 e3 81 be e3 81 99 e3 80 82 0a 3c 2f ..............</
1450: 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 6c 65 74 20 p>.<pre>. let
1460: 78 3d 32 31 20 69 6e 20 6c 65 74 20 78 3d 78 2b x=21 in let x=x+
1470: 78 20 69 6e 20 78 20 20 20 20 24 28 44 5f 43 4f x in x $(D_CO
1480: 4d 4d 45 4e 54 20 23 20 34 32 29 0a 3c 2f 70 72 MMENT # 42).</pr
1490: 65 3e 0a 3c 70 3e 0a e4 b8 80 e6 96 b9 e3 81 a7 e>.<p>..........
14a0: e3 80 81 22 6c 65 74 20 72 65 63 22 20 e3 81 ae ..."let rec" ...
14b0: e3 82 88 e3 81 86 e3 81 aa e7 89 b9 e5 88 a5 e3 ................
14c0: 81 aa e6 a7 8b e6 96 87 e3 81 af e3 81 82 e3 82 ................
14d0: 8a e3 81 be e3 81 9b e3 82 93 e3 81 8c e3 80 81 ................
14e0: 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 6c .</p>.<pre>. l
14f0: 65 74 20 66 20 3d 20 66 75 6e 28 78 29 20 7b 20 et f = fun(x) {
1500: 69 66 20 78 3d 3d 30 20 74 68 65 6e 20 31 20 65 if x==0 then 1 e
1510: 6c 73 65 20 78 2a 66 28 78 2d 31 29 20 7d 20 69 lse x*f(x-1) } i
1520: 6e 20 66 28 31 30 29 20 20 24 28 44 5f 43 4f 4d n f(10) $(D_COM
1530: 4d 45 4e 54 20 23 20 33 36 32 38 38 30 30 29 0a MENT # 3628800).
1540: 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e5 86 8d e5 b8 </pre>.<p>......
1550: b0 e7 9a 84 e3 81 aa e9 96 a2 e6 95 b0 e5 ae 9a ................
1560: e7 be a9 e3 81 aa e3 81 a9 e3 82 82 e3 80 81 e3 ................
1570: 81 8a e3 81 9d e3 82 89 e3 81 8f e6 84 8f e5 9b ................
1580: b3 e3 81 95 e3 82 8c e3 81 9f e3 81 a8 e3 81 8a ................
1590: e3 82 8a e3 81 ab e5 8b 95 e3 81 8d e3 81 be e3 ................
15a0: 81 99 e3 80 82 0a e5 86 85 e9 83 a8 e3 81 ae e8 ................
15b0: a9 b3 e7 b4 b0 e3 81 af e3 80 81 e8 ab b8 e8 88 ................
15c0: ac e3 81 ae e4 ba 8b e6 83 85 e3 81 ab e3 82 88 ................
15d0: e3 82 8a e3 80 81 0a e3 83 9e e3 82 b8 e3 82 ab ................
15e0: e3 83 ab e3 81 a7 e7 a0 b4 e5 a3 8a e7 9a 84 e3 ................
15f0: 81 aa e3 82 b9 e3 82 b3 e3 83 bc e3 83 97 e8 a6 ................
1600: 8f e5 89 87 e3 81 ab e3 81 aa e3 81 a3 e3 81 a6 ................
1610: e3 81 84 e3 82 8b e3 81 ae e3 81 a7 e3 81 99 e3 ................
1620: 81 8c e3 80 81 0a e5 90 8c e5 90 8d e3 81 ae e5 ................
1630: a4 89 e6 95 b0 e3 82 92 e6 bf 80 e3 81 97 e3 81 ................
1640: 8f e9 87 8d e3 81 ad e3 81 a6 e4 bd bf e3 81 a3 ................
1650: e3 81 9f e3 82 8a e3 81 97 e3 81 aa e3 81 91 e3 ................
1660: 82 8c e3 81 b0 e3 80 81 0a e3 81 a0 e3 81 84 e3 ................
1670: 81 9f e3 81 84 e8 87 aa e7 84 b6 e3 81 aa e5 8b ................
1680: 95 e3 81 8d e3 82 92 e3 81 99 e3 82 8b e3 81 a8 ................
1690: e6 80 9d e3 81 84 e3 81 be e3 81 99 e3 80 81 e3 ................
16a0: 81 9f e3 81 b6 e3 82 93 e3 80 81 e3 81 af e3 81 ................
16b0: 84 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 .....</p>.<p>...
16c0: b2 e3 81 a8 e3 81 a4 e3 81 a0 e3 81 91 e4 b8 8d ................
16d0: e5 8f af e6 80 9d e8 ad b0 e3 81 aa e5 8b 95 e3 ................
16e0: 81 8d e3 82 92 e3 81 99 e3 82 8b e3 81 ae e3 81 ................
16f0: af e3 80 81 e4 bb a5 e4 b8 8b e3 81 ae e3 82 b1 ................
1700: e3 83 bc e3 82 b9 e3 81 a7 e3 81 99 e3 80 82 0a ................
1710: 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 6c 65 </p>.<pre>. le
1720: 74 20 78 20 3d 20 31 20 69 6e 0a 20 20 20 6c 65 t x = 1 in. le
1730: 74 20 66 20 3d 20 66 75 6e 28 29 20 7b 78 7d 20 t f = fun() {x}
1740: 69 6e 0a 20 20 20 6c 65 74 20 78 20 3d 20 32 20 in. let x = 2
1750: 69 6e 0a 20 20 20 20 20 20 66 28 29 20 20 20 20 in. f()
1760: 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 32 21 $(D_COMMENT # 2!
1770: 21 29 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a 6c 65 !).</pre>.<p>.le
1780: 74 2d 69 6e 20 e3 82 92 e7 b8 a6 e3 81 ab e3 83 t-in ...........
1790: 81 e3 82 a7 e3 82 a4 e3 83 b3 e3 81 97 e3 81 9f ................
17a0: e3 81 a8 e3 81 8d e3 81 a0 e3 81 91 e3 80 81 e5 ................
17b0: 90 8c e5 90 8d e5 a4 89 e6 95 b0 e3 82 92 e7 a0 ................
17c0: b4 e5 a3 8a e7 9a 84 e3 81 ab e4 b8 8a e6 9b b8 ................
17d0: e3 81 8d e3 81 97 e3 81 be e3 81 99 0a ef bc 88 ................
17e0: e5 86 8d e5 b8 b0 e9 96 a2 e6 95 b0 e3 81 ae e5 ................
17f0: ae 9a e7 be a9 e3 81 8c 22 e3 81 86 e3 81 be e3 ........".......
1800: 81 8f 22 e3 81 84 e3 81 a3 e3 81 a6 e3 81 84 e3 ..".............
1810: 82 8b e3 81 ae e3 81 af e3 81 93 e3 81 ae e4 b8 ................
1820: 8a e6 9b b8 e3 81 8d e3 81 ae e3 81 9f e3 82 81 ................
1830: e3 81 a7 e3 81 99 ef bc 89 e3 80 82 0a e3 81 aa ................
1840: e3 82 93 e3 81 a7 e3 81 93 e3 82 93 e3 81 aa e3 ................
1850: 81 93 e3 81 a8 e3 81 ab e3 81 aa e3 81 a3 e3 81 ................
1860: a6 e3 81 84 e3 82 8b e3 81 8b e3 81 a8 e3 81 84 ................
1870: e3 81 86 e3 81 a8 e3 80 81 0a e5 be 8c e3 81 a7 ................
1880: e8 aa ac e6 98 8e e3 81 99 e3 82 8b e3 80 8c e3 ................
1890: 83 ac e3 82 a4 e3 83 a4 e3 80 8d e3 82 92 e4 bd ................
18a0: bf e3 81 a3 e3 81 9f e3 81 a8 e3 81 8d e3 81 ab ................
18b0: 0a 3c 74 74 3e 6c 65 74 20 66 6f 6f 20 3d 20 2e .<tt>let foo = .
18c0: 2e 2e 20 69 6e 20 40 6c 61 79 20 66 6f 6f 20 3d .. in @lay foo =
18d0: 20 2e 2e 2e 20 69 6e 20 2e 2e 2e 3c 2f 74 74 3e ... in ...</tt>
18e0: 0a e3 81 a7 e4 bb 96 e3 83 ac e3 82 a4 e3 83 a4 ................
18f0: e3 81 ab e9 87 8d e3 81 ad e6 9b b8 e3 81 8d e3 ................
1900: 81 99 e3 82 8b e3 81 9f e3 82 81 e3 81 a7 e3 81 ................
1910: 82 e3 82 8a e3 81 be e3 81 99 e3 80 82 0a 3c 2f ..............</
1920: 70 3e 0a 29 29 0a 29 0a 29 29 0a 0a 0a 0a 0a 24 p>.)).).)).....$
1930: 28 53 45 43 54 49 4f 4e 20 42 61 73 69 63 20 46 (SECTION Basic F
1940: 65 61 74 75 72 65 73 2c 20 24 28 53 45 43 42 4f eatures, $(SECBO
1950: 44 59 0a 3c 70 3e 0a e7 89 b9 e3 81 ab e7 89 b9 DY.<p>..........
1960: e5 be b4 e7 9a 84 e3 81 a7 e3 82 82 e3 81 aa e3 ................
1970: 81 84 e9 83 a8 e5 88 86 e3 82 92 e7 b0 a1 e5 8d ................
1980: 98 e3 81 ab e3 81 be e3 81 a8 e3 82 81 e3 80 82 ................
1990: 0a 3c 2f 70 3e 0a 3c 75 6c 3e 0a 20 20 3c 6c 69 .</p>.<ul>. <li
19a0: 3e e9 9d 99 e7 9a 84 e5 9e 8b e3 82 b7 e3 82 b9 >...............
19b0: e3 83 86 e3 83 a0 e3 81 af e3 81 82 e3 82 8a e3 ................
19c0: 81 be e3 81 9b e3 82 93 e3 80 82 3c 2f 6c 69 3e ...........</li>
19d0: 0a 20 20 3c 6c 69 3e 22 e3 81 bb e3 81 bc 22 20 . <li>"......"
19e0: e7 b4 94 e7 b2 8b e9 96 a2 e6 95 b0 e5 9e 8b e8 ................
19f0: a8 80 e8 aa 9e e3 81 a7 e3 81 99 e3 80 82 e5 a4 ................
1a00: 89 e6 95 b0 e3 82 84 e3 83 86 e3 83 bc e3 83 96 ................
1a10: e3 83 ab e3 81 ae e3 83 95 e3 82 a3 e3 83 bc e3 ................
1a20: 83 ab e3 83 89 e3 81 ae e7 a0 b4 e5 a3 8a e7 9a ................
1a30: 84 e3 81 aa e6 9b b8 e3 81 8d e6 8f 9b e3 81 88 ................
1a40: e3 81 af e3 81 a7 e3 81 8d e3 81 be e3 81 9b e3 ................
1a50: 82 93 e3 80 82 3c 62 72 2f 3e 0a 20 20 20 20 20 .....<br/>.
1a60: 20 e3 81 9f e3 81 a0 e3 81 97 e3 80 81 e7 b5 84 ...............
1a70: e3 81 bf e8 be bc e3 81 bf e9 96 a2 e6 95 b0 ef ................
1a80: bc 88 3c 74 74 3e 70 72 69 6e 74 3c 2f 74 74 3e ..<tt>print</tt>
1a90: ef bc 89 e3 81 a8 e3 80 81 e5 a4 89 e6 95 b0 e3 ................
1aa0: 81 ae e3 82 b9 e3 82 b3 e3 83 bc e3 83 97 e8 a6 ................
1ab0: 8f e5 89 87 e3 81 ae e3 83 9e e3 82 b8 e3 82 ab ................
1ac0: e3 83 ab e3 81 aa e7 89 87 e9 9a 85 e3 81 ab e5 ................
1ad0: 89 af e4 bd 9c e7 94 a8 e3 81 8c e3 81 82 e3 82 ................
1ae0: 8a e3 81 be e3 81 99 e3 80 82 3c 2f 6c 69 3e 0a ..........</li>.
1af0: 3c 2f 75 6c 3e 0a 3c 70 3e 0a e9 9d 99 e7 9a 84 </ul>.<p>.......
1b00: e5 9e 8b e3 82 b7 e3 82 b9 e3 83 86 e3 83 a0 e3 ................
1b10: 81 8c e3 81 aa e3 81 84 e3 81 ae e3 81 af e6 84 ................
1b20: 8f e5 9b b3 e7 9a 84 e3 81 a7 e3 81 99 e3 81 8c ................
1b30: e3 80 81 e7 a0 b4 e5 a3 8a e7 9a 84 e4 bb a3 e5 ................
1b40: 85 a5 e3 81 8c e3 81 aa e3 81 84 e3 81 ae e3 81 ................
1b50: af e3 80 81 e5 8d 98 e3 81 ab e5 ae 9f e8 a3 85 ................
1b60: e3 81 8c e3 82 81 e3 82 93 e3 81 a9 e3 81 8b e3 ................
1b70: 81 a3 e3 81 9f e3 81 a0 e3 81 91 e3 81 aa e3 81 ................
1b80: ae e3 81 a7 e3 80 81 0a e4 bb 8a e5 be 8c e4 bd ................
1b90: 95 e3 81 8b e5 a2 97 e3 81 88 e3 82 8b e3 81 8b ................
1ba0: e3 82 82 e3 81 97 e3 82 8c e3 81 be e3 81 9b e3 ................
1bb0: 82 93 e3 80 82 e5 a2 97 e3 81 88 e3 81 aa e3 81 ................
1bc0: 84 e3 81 8b e3 82 82 e3 81 97 e3 82 8c e3 81 be ................
1bd0: e3 81 9b e3 82 93 e3 80 82 0a 3c 2f 70 3e 0a 24 ..........</p>.$
1be0: 28 44 44 4f 43 5f 4d 45 4d 42 45 52 53 0a 24 28 (DDOC_MEMBERS.$(
1bf0: 53 45 43 54 49 4f 4e 20 e3 83 87 e3 83 bc e3 82 SECTION ........
1c00: bf e5 9e 8b 2c 20 24 28 53 45 43 42 4f 44 59 0a ...., $(SECBODY.
1c10: 3c 70 3e 0a e4 bb a5 e4 b8 8b e3 81 ae e3 83 87 <p>.............
1c20: e3 83 bc e3 82 bf e5 9e 8b e3 81 8c e3 81 82 e3 ................
1c30: 82 8a e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e ............</p>
1c40: 0a 3c 75 6c 3e 0a 20 20 3c 6c 69 3e e6 95 b4 e6 .<ul>. <li>....
1c50: 95 b0 3a 20 20 20 20 20 3c 74 74 3e 30 3c 2f 74 ..: <tt>0</t
1c60: 74 3e 2c 20 3c 74 74 3e 31 32 33 3c 2f 74 74 3e t>, <tt>123</tt>
1c70: 2c 20 3c 74 74 3e 34 35 36 36 36 36 36 36 36 36 , <tt>4566666666
1c80: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 6666666666666666
1c90: 36 36 36 36 36 36 36 36 36 36 36 36 36 37 38 39 6666666666666789
1ca0: 3c 2f 74 74 3e 2c 20 2e 2e 2e 3c 2f 6c 69 3e 0a </tt>, ...</li>.
1cb0: 20 20 3c 6c 69 3e e6 96 87 e5 ad 97 e5 88 97 3a <li>.........:
1cc0: 20 20 20 3c 74 74 3e 22 68 65 6c 6c 6f 2c 20 77 <tt>"hello, w
1cd0: 6f 72 6c 64 21 22 3c 2f 74 74 3e 2c 20 2e 2e 2e orld!"</tt>, ...
1ce0: 3c 2f 6c 69 3e 0a 20 20 3c 6c 69 3e e9 96 a2 e6 </li>. <li>....
1cf0: 95 b0 3a 20 20 20 20 20 3c 74 74 3e 66 75 6e 28 ..: <tt>fun(
1d00: 78 29 7b 78 2b 31 7d 3c 2f 74 74 3e 3c 2f 6c 69 x){x+1}</tt></li
1d10: 3e 0a 20 20 3c 6c 69 3e e3 83 86 e3 83 bc e3 83 >. <li>........
1d20: 96 e3 83 ab 3a 20 3c 74 74 3e 7b 63 61 72 3a 20 ....: <tt>{car:
1d30: 31 2c 20 63 64 72 3a 20 7b 63 61 72 3a 20 32 2c 1, cdr: {car: 2,
1d40: 20 63 64 72 3a 20 7b 7d 7d 7d 3c 2f 74 74 3e 3c cdr: {}}}</tt><
1d50: 2f 6c 69 3e 0a 20 20 3c 6c 69 3e e6 9c aa e5 ae /li>. <li>.....
1d60: 9a e7 be a9 e5 80 a4 3a 20 28 e7 89 b9 e6 ae 8a .......: (......
1d70: e3 81 aa e3 82 b1 e3 83 bc e3 82 b9 e3 81 a7 e4 ................
1d80: bd 9c e3 82 89 e3 82 8c e3 81 be e3 81 99 e3 80 ................
1d90: 82 e3 80 8c e3 83 ac e3 82 a4 e3 83 a4 e3 80 8d ................
1da0: e3 81 ae e8 aa ac e6 98 8e e5 8f 82 e7 85 a7 e3 ................
1db0: 81 ae e3 81 93 e3 81 a8 e3 80 82 29 3c 2f 6c 69 ...........)</li
1dc0: 3e 0a 3c 2f 75 6c 3e 0a 3c 70 3e 0a e9 96 a2 e6 >.</ul>.<p>.....
1dd0: 95 b0 e3 81 af e3 81 84 e3 82 8f e3 82 86 e3 82 ................
1de0: 8b e3 80 8c e3 82 af e3 83 ad e3 83 bc e3 82 b8 ................
1df0: e3 83 a3 e3 80 8d e3 81 a7 e3 81 99 e3 80 82 e9 ................
1e00: 9d 99 e7 9a 84 e3 82 b9 e3 82 b3 e3 83 bc e3 83 ................
1e10: 97 e3 81 a7 e5 a4 96 e5 81 b4 e3 81 ae e7 92 b0 ................
1e20: e5 a2 83 e3 81 ab e3 82 a2 e3 82 af e3 82 bb e3 ................
1e30: 82 b9 e3 81 a7 e3 81 8d e3 81 be e3 81 99 e3 80 ................
1e40: 82 0a e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81 ................
1e50: af e3 81 84 e3 82 8f e3 82 86 e3 82 8b e3 83 97 ................
1e60: e3 83 ad e3 83 88 e3 82 bf e3 82 a4 e3 83 97 e3 ................
1e70: 83 81 e3 82 a7 e3 83 bc e3 83 b3 e3 82 92 e6 8c ................
1e80: 81 e3 81 a3 e3 81 a6 e3 81 84 e3 81 a6 e3 80 81 ................
1e90: 0a e8 87 aa e5 88 86 e3 81 ab e3 81 aa e3 81 84 ................
1ea0: e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 ................
1eb0: 81 ae e5 a0 b4 e5 90 88 e3 81 af e8 a6 aa e3 81 ................
1ec0: ab e5 95 8f e3 81 84 e5 90 88 e3 82 8f e3 81 9b ................
1ed0: e3 81 8c e8 a1 8c e3 81 8f e6 84 9f e3 81 98 e3 ................
1ee0: 81 ab e3 81 aa e3 81 a3 e3 81 a6 e3 81 84 e3 81 ................
1ef0: be e3 81 99 e3 81 8c e3 80 81 0a e3 83 95 e3 82 ................
1f00: a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ae e6 9b b8 ................
1f10: e3 81 8d e6 8f 9b e3 81 88 e3 81 8c e3 81 aa e3 ................
1f20: 81 84 e3 81 ae e3 81 a7 e3 80 81 e3 81 93 e3 82 ................
1f30: 8c e3 81 af e7 89 b9 e3 81 ab e6 84 8f e5 91 b3 ................
1f40: e3 81 aa e3 81 84 e3 81 8b e3 82 82 e3 81 97 e3 ................
1f50: 82 8c e3 81 aa e3 81 84 e2 80 a6 e3 80 82 0a 3c ...............<
1f60: 2f 70 3e 0a 3c 70 3e 0a e3 81 be e3 81 9f e3 80 /p>.<p>.........
1f70: 81 e3 83 aa e3 82 b9 e3 83 88 e3 82 92 e6 89 b1 ................
1f80: e3 81 86 e3 81 9f e3 82 81 e3 81 ab e3 80 81 e3 ................
1f90: 81 84 e3 82 8f e3 82 86 e3 82 8b e3 80 8c 63 6f ..............co
1fa0: 6e 73 20 e3 83 aa e3 82 b9 e3 83 88 e3 80 8d e3 ns .............
1fb0: 82 92 e4 bd bf e3 81 84 e3 81 be e3 81 99 e3 80 ................
1fc0: 82 0a e7 a9 ba e3 83 aa e3 82 b9 e3 83 88 e3 82 ................
1fd0: 92 20 3c 74 74 3e 7b 7d 3c 2f 74 74 3e e3 80 81 . <tt>{}</tt>...
1fe0: ef bc 91 e5 80 8b e4 bb a5 e4 b8 8a e8 a6 81 e7 ................
1ff0: b4 a0 e3 81 8c e3 81 82 e3 82 8b e3 82 82 e3 81 ................
2000: ae e3 82 92 20 3c 74 74 3e 7b 63 61 72 3a 20 e5 .... <tt>{car: .
2010: 85 88 e9 a0 ad e8 a6 81 e7 b4 a0 2c 20 63 64 72 ..........., cdr
2020: 3a 20 e4 ba 8c e7 95 aa e7 9b ae e4 bb a5 e9 99 : ..............
2030: 8d e3 81 ae e3 83 aa e3 82 b9 e3 83 88 7d 3c 2f .............}</
2040: 74 74 3e 0a e3 81 a8 e3 81 84 e3 81 86 e5 bd a2 tt>.............
2050: e3 81 a7 e3 80 82 e3 81 93 e3 81 ae e5 bd a2 e3 ................
2060: 81 a7 e3 83 aa e3 82 b9 e3 83 88 e3 82 92 e6 89 ................
2070: b1 e3 82 8f e3 81 aa e3 81 91 e3 82 8c e3 81 b0 ................
2080: e3 81 aa e3 82 89 e3 81 aa e3 81 84 e3 81 a8 e3 ................
2090: 81 84 e3 81 86 e6 b1 ba e3 81 be e3 82 8a e3 81 ................
20a0: af e3 81 82 e3 82 8a e3 81 be e3 81 9b e3 82 93 ................
20b0: e3 81 8c e3 80 81 0a e3 81 93 e3 81 ae e5 bd a2 ................
20c0: e3 81 af e7 89 b9 e5 88 a5 e6 89 b1 e3 81 84 e3 ................
20d0: 81 95 e3 82 8c e3 81 a6 20 3c 74 74 3e 70 72 69 ........ <tt>pri
20e0: 6e 74 3c 2f 74 74 3e 20 e3 81 a7 e7 b6 ba e9 ba nt</tt> ........
20f0: 97 e3 81 ab e5 87 ba e5 8a 9b e3 81 95 e3 82 8c ................
2100: e3 81 9f e3 82 8a e3 81 97 e3 81 be e3 81 99 e3 ................
2110: 80 82 0a 3c 2f 70 3e 0a 29 29 0a 24 28 53 45 43 ...</p>.)).$(SEC
2120: 54 49 4f 4e 20 e3 83 91 e3 82 bf e3 83 bc e3 83 TION ...........
2130: b3 e3 83 9e e3 83 83 e3 83 81 2c 20 24 28 53 45 .........., $(SE
2140: 43 42 4f 44 59 0a 3c 70 3e 0a e9 81 a9 e5 bd 93 CBODY.<p>.......
2150: e3 81 ab e5 ae 9f e8 a3 85 e3 81 95 e3 82 8c e3 ................
2160: 81 9f e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3 83 ................
2170: 9e e3 83 83 e3 83 81 e3 81 8c e3 81 82 e3 82 8a ................
2180: e3 81 be e3 81 99 e3 80 82 0a e3 83 aa e3 82 b9 ................
2190: e3 83 88 e3 81 ae 20 32 6e 20 e7 95 aa e7 9b ae ...... 2n ......
21a0: e3 81 a8 20 32 6e 2b 31 20 e7 95 aa e7 9b ae e3 ... 2n+1 .......
21b0: 82 92 e8 b6 b3 e3 81 97 e3 81 a6 e9 95 b7 e3 81 ................
21c0: 95 e3 82 92 e5 8d 8a e5 88 86 e3 81 ab e3 81 99 ................
21d0: e3 82 8b e9 96 a2 e6 95 b0 ef bc 9a 0a 3c 2f 70 .............</p
21e0: 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 64 65 66 20 >.<pre>. def
21f0: 61 64 6a 53 75 6d 28 6c 73 74 29 0a 20 20 20 20 adjSum(lst).
2200: 7b 0a 20 20 20 20 20 20 63 61 73 65 20 6c 73 74 {. case lst
2210: 0a 20 20 20 20 20 20 20 20 77 68 65 6e 20 7b 63 . when {c
2220: 61 72 3a 78 2c 20 63 64 72 3a 7b 63 61 72 3a 20 ar:x, cdr:{car:
2230: 79 2c 20 63 64 72 3a 7a 7d 7d 3a 20 7b 63 61 72 y, cdr:z}}: {car
2240: 3a 20 78 2b 79 2c 20 63 64 72 3a 20 61 64 6a 53 : x+y, cdr: adjS
2250: 75 6d 28 7a 29 7d 0a 20 20 20 20 20 20 20 20 77 um(z)}. w
2260: 68 65 6e 20 7b 63 61 72 3a 78 2c 20 63 64 72 3a hen {car:x, cdr:
2270: 7b 7d 7d 3a 20 6c 73 74 0a 20 20 20 20 20 20 20 {}}: lst.
2280: 20 77 68 65 6e 20 7b 7d 3a 20 7b 7d 0a 20 20 20 when {}: {}.
2290: 20 7d 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e5 8b }.</pre>.<p>...
22a0: 95 e3 81 8b e3 81 99 e3 81 a8 e3 81 8d e3 81 ab ................
22b0: e3 81 af e3 80 81 e5 87 a6 e7 90 86 e7 b3 bb e3 ................
22c0: 81 8c e3 81 9d e3 82 8c e3 81 a3 e3 81 bd e3 81 ................
22d0: 84 20 69 66 2d 74 68 65 6e 2d 65 6c 73 65 20 e3 . if-then-else .
22e0: 81 ab e5 b1 95 e9 96 8b e3 81 97 e3 81 a6 e3 81 ................
22f0: 84 e3 81 be e3 81 99 e3 80 82 0a 3c 74 74 3e 77 ...........<tt>w
2300: 68 65 6e 3c 2f 74 74 3e 20 e3 82 92 e4 b8 8a e3 hen</tt> .......
2310: 81 8b e3 82 89 e8 a9 a6 e3 81 97 e3 81 a6 e3 81 ................
2320: 84 e3 81 a3 e3 81 a6 e3 80 81 e6 9c 80 e5 88 9d ................
2330: e3 81 ab e3 83 9e e3 83 83 e3 83 81 e3 81 97 e3 ................
2340: 81 9f e3 81 a8 e3 81 93 e3 82 8d e3 82 92 e5 ae ................
2350: 9f e8 a1 8c e3 81 97 e3 81 be e3 81 99 e3 80 82 ................
2360: 0a e3 81 a9 e3 82 8c e3 81 ab e3 82 82 e3 83 9e ................
2370: e3 83 83 e3 83 81 e3 81 97 e3 81 aa e3 81 84 e3 ................
2380: 81 a8 e3 82 a8 e3 83 a9 e3 83 bc e3 81 a7 e3 83 ................
2390: 97 e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e7 b5 82 ................
23a0: e4 ba 86 e3 81 97 e3 81 be e3 81 99 e3 80 82 0a ................
23b0: 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 50 41 </p>.<pre>. PA
23c0: 54 20 3a 3a 3d 20 22 5f 22 20 20 20 20 20 20 20 T ::= "_"
23d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
23e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24 $
23f0: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 af (D_COMMENT # ...
2400: e3 82 a4 e3 83 ab e3 83 89 e3 82 ab e3 83 bc e3 ................
2410: 83 89 29 0a 20 20 20 20 20 20 20 20 20 7c 20 49 ..). | I
2420: 44 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 D
2430: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2440: 20 20 20 20 20 20 20 20 24 28 44 5f 43 4f 4d 4d $(D_COMM
2450: 45 4e 54 20 23 20 e5 a4 89 e6 95 b0 e3 83 91 e3 ENT # ..........
2460: 82 bf e3 83 bc e3 83 b3 29 0a 20 20 20 20 20 20 ........).
2470: 20 20 20 7c 20 22 7b 22 20 49 44 20 22 3a 22 20 | "{" ID ":"
2480: 50 41 54 20 22 2c 22 20 2e 2e 2e 20 22 2c 22 20 PAT "," ... ","
2490: 49 44 20 3a 20 50 41 54 20 22 7d 22 20 20 24 28 ID : PAT "}" $(
24a0: 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 86 e3 D_COMMENT # ....
24b0: 83 bc e3 83 96 e3 83 ab e3 83 91 e3 82 bf e3 83 ................
24c0: bc e3 83 b3 29 0a 20 20 20 20 20 20 20 20 20 7c ....). |
24d0: 20 45 20 20 20 20 20 20 20 20 20 20 20 20 20 20 E
24e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
24f0: 20 20 20 20 20 20 20 20 20 20 24 28 44 5f 43 4f $(D_CO
2500: 4d 4d 45 4e 54 20 23 20 e5 80 a4 e3 83 91 e3 82 MMENT # ........
2510: bf e3 83 bc e3 83 b3 29 0a 3c 2f 70 72 65 3e 0a .......).</pre>.
2520: 3c 70 3e 0a e5 a4 89 e6 95 b0 e3 83 91 e3 82 bf <p>.............
2530: e3 83 bc e3 83 b3 e3 81 af e5 b8 b8 e3 81 ab e3 ................
2540: 83 9e e3 83 83 e3 83 81 e3 81 97 e3 81 a6 e3 80 ................
2550: 81 e5 80 a4 e3 82 92 e3 81 9d e3 81 ae e5 a4 89 ................
2560: e6 95 b0 e3 81 ab e6 9d 9f e7 b8 9b e3 81 97 e3 ................
2570: 81 be e3 81 99 e3 80 82 0a e3 83 af e3 82 a4 e3 ................
2580: 83 ab e3 83 89 e3 82 ab e3 83 bc e3 83 89 e3 82 ................
2590: 82 e5 b8 b8 e3 81 ab e3 83 9e e3 83 83 e3 83 81 ................
25a0: e3 81 97 e3 81 be e3 81 99 e3 81 8c e3 80 81 e5 ................
25b0: a4 89 e6 95 b0 e6 9d 9f e7 b8 9b e3 81 97 e3 81 ................
25c0: be e3 81 9b e3 82 93 e3 80 82 0a e5 80 a4 e3 83 ................
25d0: 91 e3 82 bf e3 83 bc e3 83 b3 e3 81 af e3 80 81 ................
25e0: e4 bb bb e6 84 8f e3 81 ae e5 bc 8f e3 81 8c e6 ................
25f0: 9b b8 e3 81 91 e3 81 be e3 81 99 e3 80 82 e3 81 ................
2600: 9d e3 81 ae e5 bc 8f e3 82 92 e8 a9 95 e4 be a1 ................
2610: e3 81 97 e3 81 9f e7 b5 90 e6 9e 9c e3 81 a8 20 ...............
2620: 3c 74 74 3e 3d 3d 3c 2f 74 74 3e 20 e3 81 aa e3 <tt>==</tt> ....
2630: 82 89 e3 83 9e e3 83 83 e3 83 81 e3 81 97 e3 81 ................
2640: be e3 81 99 e3 80 82 0a e5 a4 96 e3 81 a7 e6 9d ................
2650: 9f e7 b8 9b e3 81 95 e3 82 8c e3 81 9f e5 a4 89 ................
2660: e6 95 b0 e3 82 92 e5 80 a4 e3 83 91 e3 82 bf e3 ................
2670: 83 bc e3 83 b3 e3 81 a8 e3 81 97 e3 81 a6 e9 85 ................
2680: 8d e7 bd ae e3 80 81 e3 81 af e7 9b b4 e6 8e a5 ................
2690: e3 81 af e3 81 a7 e3 81 8d e3 81 aa e3 81 84 e3 ................
26a0: 81 ae e3 81 a7 0a 3c 2f 70 3e 0a 3c 70 72 65 3e ......</p>.<pre>
26b0: 0a 20 20 20 76 61 72 20 78 20 3d 20 31 32 33 3b . var x = 123;
26c0: 0a 20 20 20 63 61 73 65 20 66 6f 6f 0a 20 20 20 . case foo.
26d0: 20 20 77 68 65 6e 20 7b 76 61 6c 3a 20 78 2b 30 when {val: x+0
26e0: 7d 3a 20 2e 2e 2e 20 24 28 44 5f 43 4f 4d 4d 45 }: ... $(D_COMME
26f0: 4e 54 20 23 20 e3 81 93 e3 82 8c e3 81 af 20 7b NT # ......... {
2700: 76 61 6c 3a 31 32 33 7d 20 e3 81 a8 e5 90 8c e3 val:123} .......
2710: 81 98 29 0a 20 20 20 20 20 77 68 65 6e 20 7b 76 ..). when {v
2720: 61 6c 3a 20 78 7d 3a 20 20 20 2e 2e 2e 20 24 28 al: x}: ... $(
2730: 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 81 93 e3 D_COMMENT # ....
2740: 82 8c e3 81 af e4 bb bb e6 84 8f e3 81 ae 20 66 .............. f
2750: 6f 6f 2e 3f 76 61 6c 20 e3 81 aa e3 82 89 e5 b8 oo.?val ........
2760: b8 e3 81 ab e3 83 9e e3 83 83 e3 83 81 29 0a 3c .............).<
2770: 2f 70 72 65 3e 0a 3c 70 3e 0a e9 81 a9 e5 bd 93 /pre>.<p>.......
2780: e3 81 ab e3 81 a1 e3 82 87 e3 81 a3 e3 81 a8 e8 ................
2790: a4 87 e9 9b 91 e3 81 aa e5 bc 8f e3 81 ab e3 81 ................
27a0: 97 e3 81 a6 e3 82 84 e3 82 8b e3 81 a8 e3 82 88 ................
27b0: e3 81 84 e3 81 8b e3 82 82 ef bc 88 e8 a3 8f e6 ................
27c0: 8a 80 ef bc 89 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 .........</p>.<p
27d0: 3e 0a e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 83 >...............
27e0: 91 e3 82 bf e3 83 bc e3 83 b3 e3 81 af e3 80 81 ................
27f0: e6 9b b8 e3 81 8b e3 82 8c e3 81 9f e3 82 ad e3 ................
2800: 83 bc e3 81 8c e5 85 a8 e3 81 a6 e3 81 82 e3 82 ................
2810: 8c e3 81 b0 e3 83 9e e3 83 83 e3 83 81 e3 81 97 ................
2820: e3 81 be e3 81 99 e3 80 82 0a 3c 74 74 3e 7b 61 ..........<tt>{a
2830: 3a 20 5f 7d 3c 2f 74 74 3e 20 e3 81 af e3 80 81 : _}</tt> ......
2840: 3c 74 74 3e 2e 61 3c 2f 74 74 3e 20 e3 82 92 e6 <tt>.a</tt> ....
2850: 8c 81 e3 81 a3 e3 81 a6 e3 81 95 e3 81 88 e3 81 ................
2860: 84 e3 82 8c e3 81 b0 e3 83 9e e3 83 83 e3 83 81 ................
2870: e3 81 99 e3 82 8b e3 81 ae e3 81 a7 e3 80 81 0a ................
2880: 3c 74 74 3e 7b 61 3a 20 31 32 33 2c 20 62 3a 20 <tt>{a: 123, b:
2890: 34 35 36 7d 3c 2f 74 74 3e 20 e3 81 aa e3 82 93 456}</tt> ......
28a0: e3 81 8b e3 81 ab e3 82 82 e3 83 9e e3 83 83 e3 ................
28b0: 83 81 e3 81 97 e3 81 be e3 81 99 e3 80 82 0a e3 ................
28c0: 81 aa e3 81 ae e3 81 a7 e3 80 81 e3 83 aa e3 82 ................
28d0: b9 e3 83 88 e3 81 ab e5 af be e3 81 99 e3 82 8b ................
28e0: e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3 82 92 e6 ................
28f0: 9b b8 e3 81 8f e3 81 a8 e3 81 8d e3 81 ab e3 81 ................
2900: af e3 80 81 63 61 72 2f 63 64 72 20 e3 81 ae e5 ....car/cdr ....
2910: a0 b4 e5 90 88 e3 82 92 e5 85 88 e3 81 ab e6 9b ................
2920: b8 e3 81 8b e3 81 aa e3 81 84 e3 81 a8 0a 3c 74 ..............<t
2930: 74 3e 77 68 65 6e 20 7b 7d 3c 2f 74 74 3e 20 e3 t>when {}</tt> .
2940: 82 92 e4 b8 8a e3 81 ab e6 9b b8 e3 81 8f e3 81 ................
2950: a8 e5 85 a8 e9 83 a8 e3 83 9e e3 83 83 e3 83 81 ................
2960: e3 81 97 e3 81 a1 e3 82 83 e3 81 84 e3 81 be e3 ................
2970: 81 99 e3 80 82 e6 b3 a8 e6 84 8f e3 80 82 0a 3c ...............<
2980: 2f 70 3e 0a 29 29 0a 29 0a 29 29 0a 0a 0a 0a 0a /p>.)).).)).....
2990: 0a 24 28 53 45 43 54 49 4f 4e 20 4c 61 79 65 72 .$(SECTION Layer
29a0: 73 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 72 s, $(SECBODY.<pr
29b0: 65 3e 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 4f 76 e>.[Layers :: Ov
29c0: 65 72 76 69 65 77 5d 0a 0a 20 20 50 6f 6c 65 6d erview].. Polem
29d0: 79 27 73 20 72 75 6e 74 69 6d 65 20 65 6e 76 69 y's runtime envi
29e0: 72 6f 6e 6d 65 6e 74 20 68 61 73 20 6d 61 6e 79 ronment has many
29f0: 20 22 6c 61 79 65 72 22 73 2e 0a 20 20 55 73 75 "layer"s.. Usu
2a00: 61 6c 20 65 78 65 63 75 74 69 6f 6e 20 72 75 6e al execution run
2a10: 20 69 6e 20 74 68 65 20 40 76 61 6c 75 65 20 6c in the @value l
2a20: 61 79 65 72 2e 0a 0a 20 20 20 20 3e 3e 20 31 20 ayer... >> 1
2a30: 2b 20 32 0a 20 20 20 20 33 0a 20 20 20 20 3e 3e + 2. 3. >>
2a40: 20 40 76 61 6c 75 65 28 20 31 20 2b 20 32 20 29 @value( 1 + 2 )
2a50: 0a 20 20 20 20 33 0a 0a 20 20 48 65 72 65 20 79 . 3.. Here y
2a60: 6f 75 20 63 61 6e 20 73 65 65 20 74 68 61 74 20 ou can see that
2a70: 40 4c 61 79 65 72 4e 61 6d 65 28 20 45 78 70 72 @LayerName( Expr
2a80: 65 73 73 69 6f 6e 20 29 20 65 78 65 63 75 74 65 ession ) execute
2a90: 73 20 74 68 65 20 69 6e 6e 65 72 20 45 78 70 72 s the inner Expr
2aa0: 65 73 73 69 6f 6e 20 69 6e 0a 20 20 74 68 65 20 ession in. the
2ab0: 40 4c 61 79 65 72 4e 61 6d 65 20 6c 61 79 65 72 @LayerName layer
2ac0: 2e 20 4f 74 68 65 72 20 74 68 61 6e 20 40 76 61 . Other than @va
2ad0: 6c 75 65 2c 20 6f 6e 65 20 6f 74 68 65 72 20 70 lue, one other p
2ae0: 72 65 64 65 66 69 6e 65 64 20 6c 61 79 65 72 20 redefined layer
2af0: 65 78 69 73 74 73 3a 20 40 6d 61 63 72 6f 2e 0a exists: @macro..
2b00: 0a 20 20 20 20 3e 3e 20 40 6d 61 63 72 6f 28 20 . >> @macro(
2b10: 31 2b 32 20 29 0a 20 20 20 20 7b 70 6f 73 40 76 1+2 ). {pos@v
2b20: 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c alue:{lineno@val
2b30: 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c ue:3, column@val
2b40: 75 65 3a 39 2c 20 66 69 6c 65 6e 61 6d 65 40 76 ue:9, filename@v
2b50: 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 alue:<REPL>},.
2b60: 20 20 20 20 69 73 40 76 61 6c 75 65 3a 61 70 70 is@value:app
2b70: 2c 0a 20 20 20 20 61 72 67 73 40 76 61 6c 75 65 ,. args@value
2b80: 3a 7b 63 61 72 40 76 61 6c 75 65 3a 7b 70 6f 73 :{car@value:{pos
2b90: 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 @value:{lineno@v
2ba0: 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 alue:3, column@v
2bb0: 61 6c 75 65 3a 39 2c 20 66 69 6c 65 6e 61 6d 65 alue:9, filename
2bc0: 40 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a @value:<REPL>},.
2bd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2be0: 20 20 20 20 20 20 20 20 20 20 20 20 69 73 40 76 is@v
2bf0: 61 6c 75 65 3a 69 6e 74 2c 0a 20 20 20 20 20 20 alue:int,.
2c00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2c10: 20 20 20 20 64 61 74 61 40 76 61 6c 75 65 3a 31 data@value:1
2c20: 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 },.
2c30: 20 20 20 63 64 72 40 76 61 6c 75 65 3a 7b 0a 20 cdr@value:{.
2c40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2c50: 20 63 61 72 40 76 61 6c 75 65 3a 7b 70 6f 73 40 car@value:{pos@
2c60: 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 value:{lineno@va
2c70: 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 lue:3, column@va
2c80: 6c 75 65 3a 31 31 2c 20 66 69 6c 65 6e 61 6d 65 lue:11, filename
2c90: 40 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a @value:<REPL>},.
2ca0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2cb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 69 73 is
2cc0: 40 76 61 6c 75 65 3a 69 6e 74 2c 0a 20 20 20 20 @value:int,.
2cd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2ce0: 20 20 20 20 20 20 20 20 64 61 74 61 40 76 61 6c data@val
2cf0: 75 65 3a 32 7d 2c 0a 20 20 20 20 20 20 20 20 20 ue:2},.
2d00: 20 20 20 20 20 20 20 20 20 63 64 72 40 76 61 6c cdr@val
2d10: 75 65 3a 7b 7d 7d 7d 2c 0a 20 20 20 20 20 66 75 ue:{}}},. fu
2d20: 6e 40 76 61 6c 75 65 3a 7b 70 6f 73 40 76 61 6c n@value:{pos@val
2d30: 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 ue:{lineno@value
2d40: 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 :3, column@value
2d50: 3a 31 30 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61 :10, filename@va
2d60: 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 lue:<REPL>},.
2d70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 69 73 is
2d80: 40 76 61 6c 75 65 3a 76 61 72 2c 0a 20 20 20 20 @value:var,.
2d90: 20 20 20 20 20 20 20 20 20 20 20 6e 61 6d 65 40 name@
2da0: 76 61 6c 75 65 3a 2b 7d 7d 0a 0a 20 20 28 53 6f value:+}}.. (So
2db0: 72 72 79 2c 20 74 68 69 73 20 70 72 65 74 74 79 rry, this pretty
2dc0: 20 70 72 69 6e 74 69 6e 67 20 69 73 20 6e 6f 74 printing is not
2dd0: 20 61 76 61 69 6c 61 62 6c 65 20 6f 6e 20 74 68 available on th
2de0: 65 20 61 63 74 75 61 6c 20 69 6e 74 65 72 70 72 e actual interpr
2df0: 65 74 65 72 2e 2e 2e 29 0a 20 20 54 68 69 73 20 eter...). This
2e00: 65 76 61 6c 75 61 74 65 73 20 74 68 65 20 65 78 evaluates the ex
2e10: 70 72 65 73 73 69 6f 6e 20 31 2b 32 20 69 6e 20 pression 1+2 in
2e20: 74 68 65 20 40 6d 61 63 72 6f 20 6c 61 79 65 72 the @macro layer
2e30: 2e 20 49 6e 20 74 68 69 73 20 6c 61 79 65 72 2c . In this layer,
2e40: 20 74 68 65 20 6d 65 61 6e 69 6e 67 20 6f 66 0a the meaning of.
2e50: 20 20 74 68 65 20 70 72 6f 67 72 61 6d 20 69 73 the program is
2e60: 20 69 74 73 20 61 62 73 74 72 61 63 74 20 73 79 its abstract sy
2e70: 6e 74 61 78 20 74 72 65 65 2e 0a 0a 20 20 59 6f ntax tree... Yo
2e80: 75 20 63 61 6e 20 69 6e 74 65 72 6c 65 61 76 65 u can interleave
2e90: 20 6c 61 79 65 72 73 2e 0a 20 20 54 68 65 20 72 layers.. The r
2ea0: 6f 6f 74 20 6e 6f 64 65 20 6f 66 20 74 68 65 20 oot node of the
2eb0: 61 62 73 74 72 61 63 74 20 73 79 6e 74 61 78 20 abstract syntax
2ec0: 74 72 65 65 20 69 73 20 66 75 6e 63 74 69 6f 6e tree is function
2ed0: 20 22 61 70 70 22 6c 69 63 61 74 69 6f 6e 2e 0a "app"lication..
2ee0: 0a 20 20 20 20 3e 3e 20 40 76 61 6c 75 65 28 40 . >> @value(@
2ef0: 6d 61 63 72 6f 28 20 31 2b 32 20 29 2e 69 73 29 macro( 1+2 ).is)
2f00: 0a 20 20 20 20 61 70 70 0a 0a 0a 0a 5b 4c 61 79 . app....[Lay
2f10: 65 72 73 20 3a 3a 20 44 65 66 69 6e 69 6e 67 20 ers :: Defining
2f20: 61 20 6e 65 77 20 6c 61 79 65 72 5d 0a 0a 20 20 a new layer]..
2f30: 54 6f 20 64 65 66 69 6e 65 20 61 20 6e 65 77 20 To define a new
2f40: 6c 61 79 65 72 2c 20 79 6f 75 20 73 68 6f 75 6c layer, you shoul
2f50: 64 20 66 69 72 73 74 20 74 65 6c 6c 20 68 6f 77 d first tell how
2f60: 20 74 6f 20 22 6c 69 66 74 22 20 65 78 69 73 74 to "lift" exist
2f70: 69 6e 67 20 76 61 6c 75 65 73 20 74 77 6f 20 74 ing values two t
2f80: 68 65 20 6e 65 77 20 6c 61 79 65 72 2e 0a 20 20 he new layer..
2f90: 4c 65 74 20 75 73 20 64 65 66 69 6e 65 20 74 68 Let us define th
2fa0: 65 20 22 40 74 79 70 65 22 20 6c 61 79 65 72 2c e "@type" layer,
2fb0: 20 77 68 65 72 65 20 74 68 65 20 6d 65 61 6e 69 where the meani
2fc0: 6e 67 20 6f 66 20 70 72 6f 67 72 61 6d 73 20 69 ng of programs i
2fd0: 73 20 74 68 65 69 72 20 73 74 61 74 69 63 20 74 s their static t
2fe0: 79 70 65 2e 0a 0a 20 20 20 20 3e 3e 20 40 40 74 ype... >> @@t
2ff0: 79 70 65 20 3d 20 66 75 6e 28 78 29 20 7b 0a 20 ype = fun(x) {.
3000: 20 20 20 3e 3e 20 20 20 69 66 28 20 5f 69 73 69 >> if( _isi
3010: 6e 74 28 78 29 20 29 20 7b 20 22 69 6e 74 22 20 nt(x) ) { "int"
3020: 7d 20 65 6c 73 65 20 7b 0a 20 20 20 20 3e 3e 20 } else {. >>
3030: 20 20 69 66 28 20 5f 69 73 66 75 6e 28 78 29 20 if( _isfun(x)
3040: 29 20 7b 20 78 20 7d 20 65 6c 73 65 20 7b 20 22 ) { x } else { "
3050: 75 6e 6b 6e 6f 77 6e 22 20 7d 20 7d 0a 20 20 20 unknown" } }.
3060: 20 3e 3e 20 7d 0a 20 20 20 20 28 4e 6f 74 65 3a >> }. (Note:
3070: 20 70 6f 6c 65 6d 79 20 52 45 50 4c 20 6d 61 79 polemy REPL may
3080: 20 77 61 72 6e 20 73 6f 6d 65 20 65 78 63 65 70 warn some excep
3090: 74 69 6f 6e 20 68 65 72 65 20 62 75 74 20 70 6c tion here but pl
30a0: 65 61 73 65 20 69 67 6e 6f 72 65 29 0a 0a 20 20 ease ignore)..
30b0: 46 6f 72 20 73 69 6d 70 6c 69 63 69 74 79 2c 20 For simplicity,
30c0: 49 20 68 65 72 65 20 64 65 61 6c 20 6f 6e 6c 79 I here deal only
30d0: 20 77 69 74 68 20 69 6e 74 65 67 65 72 73 2e 0a with integers..
30e0: 20 20 5f 69 73 69 6e 74 20 69 73 20 61 20 70 72 _isint is a pr
30f0: 69 6d 69 74 69 76 65 20 66 75 6e 63 74 69 6f 6e imitive function
3100: 20 6f 66 20 50 6f 6c 65 6d 79 20 74 68 61 74 20 of Polemy that
3110: 63 68 65 63 6b 73 20 74 68 65 20 64 79 6e 61 6d checks the dynam
3120: 69 63 20 74 79 70 65 20 6f 66 20 61 20 76 61 6c ic type of a val
3130: 75 65 2e 0a 20 20 46 6f 72 20 66 75 6e 63 74 69 ue.. For functi
3140: 6f 6e 2c 20 6c 65 61 76 69 6e 67 20 69 74 20 75 on, leaving it u
3150: 6e 74 6f 75 63 68 65 64 20 77 6f 72 6b 73 20 77 ntouched works w
3160: 65 6c 6c 20 66 6f 72 20 61 6c 6d 6f 73 74 20 61 ell for almost a
3170: 6c 6c 20 6c 61 79 65 72 73 2e 0a 0a 20 20 20 20 ll layers...
3180: 3e 3e 20 40 74 79 70 65 28 20 31 20 29 0a 20 20 >> @type( 1 ).
3190: 20 20 69 6e 74 0a 20 20 20 20 3e 3e 20 40 74 79 int. >> @ty
31a0: 70 65 28 20 32 20 29 0a 20 20 20 20 69 6e 74 0a pe( 2 ). int.
31b0: 20 20 20 20 3e 3e 20 40 74 79 70 65 28 20 22 66 >> @type( "f
31c0: 6f 6f 22 20 29 0a 20 20 20 20 75 6e 6b 6e 6f 77 oo" ). unknow
31d0: 6e 0a 0a 20 20 46 69 6e 65 21 20 4c 65 74 27 73 n.. Fine! Let's
31e0: 20 74 72 79 20 74 6f 20 74 79 70 65 20 31 2b 32 try to type 1+2
31f0: 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 28 ... >> @type(
3200: 20 31 20 2b 20 32 20 29 0a 20 20 20 20 2e 2e 2e 1 + 2 ). ...
3210: 5c 76 61 6c 75 65 2e 64 28 31 31 39 29 3a 20 5b \value.d(119): [
3220: 3c 52 45 50 4c 3e 3a 36 3a 38 5d 20 6f 6e 6c 79 <REPL>:6:8] only
3230: 20 40 76 61 6c 75 65 20 6c 61 79 65 72 20 63 61 @value layer ca
3240: 6e 20 63 61 6c 6c 20 6e 61 74 69 76 65 20 66 75 n call native fu
3250: 6e 63 74 69 6f 6e 0a 0a 20 20 4e 6f 74 65 20 74 nction.. Note t
3260: 68 61 74 20 74 68 65 20 62 65 68 61 76 69 6f 72 hat the behavior
3270: 20 6f 66 20 74 68 69 73 20 70 72 6f 67 72 61 6d of this program
3280: 20 69 73 0a 20 20 20 20 2d 20 72 75 6e 20 31 2b is. - run 1+
3290: 32 20 69 6e 20 74 68 65 20 40 74 79 70 65 20 6c 2 in the @type l
32a0: 61 79 65 72 0a 20 20 61 6e 64 20 4e 4f 54 0a 20 ayer. and NOT.
32b0: 20 20 20 2d 20 72 75 6e 20 31 2b 32 20 69 6e 20 - run 1+2 in
32c0: 40 76 61 6c 75 65 20 61 6e 64 20 6f 62 74 61 69 @value and obtai
32d0: 6e 20 33 20 61 6e 64 20 72 75 6e 20 33 20 69 6e n 3 and run 3 in
32e0: 20 74 68 65 20 40 74 79 70 65 2e 0a 20 20 54 68 the @type.. Th
32f0: 65 20 70 72 6f 62 6c 65 6d 20 69 73 2c 20 74 68 e problem is, th
3300: 65 20 76 61 72 69 61 62 6c 65 20 22 2b 22 20 69 e variable "+" i
3310: 73 20 64 65 66 69 6e 65 64 20 6f 6e 6c 79 20 69 s defined only i
3320: 6e 20 74 68 65 20 40 76 61 6c 75 65 20 6c 61 79 n the @value lay
3330: 65 72 2e 0a 20 20 54 6f 20 63 61 72 72 79 20 6f er.. To carry o
3340: 75 74 20 63 6f 6d 70 75 74 61 74 69 6f 6e 20 69 ut computation i
3350: 6e 20 74 68 65 20 40 74 79 70 65 20 6c 61 79 65 n the @type laye
3360: 72 2e 20 57 65 20 6e 65 65 64 20 74 6f 20 64 65 r. We need to de
3370: 66 69 6e 65 20 69 74 20 61 6c 73 6f 0a 20 20 69 fine it also. i
3380: 6e 20 74 68 65 20 40 74 79 70 65 20 6c 61 79 65 n the @type laye
3390: 72 2e 0a 0a 20 20 54 6f 20 64 65 66 69 6e 65 20 r... To define
33a0: 73 6f 6d 65 20 76 61 72 69 61 62 6c 65 20 69 6e some variable in
33b0: 20 61 20 73 70 65 63 69 66 69 63 20 6c 61 79 65 a specific laye
33c0: 72 2c 20 75 73 65 20 40 4c 61 79 65 72 4e 61 6d r, use @LayerNam
33d0: 65 20 69 6e 20 70 6c 61 63 65 20 6f 66 0a 20 20 e in place of.
33e0: 28 6c 65 74 7c 76 61 72 7c 64 65 66 29 73 2e 0a (let|var|def)s..
33f0: 0a 20 20 20 20 3e 3e 20 6c 65 74 20 78 20 3d 20 . >> let x =
3400: 32 0a 20 20 20 20 3e 3e 20 40 76 61 6c 75 65 20 2. >> @value
3410: 78 20 3d 20 32 0a 20 20 20 20 3e 3e 20 40 74 79 x = 2. >> @ty
3420: 70 65 20 78 20 3d 20 22 69 6e 74 22 0a 20 20 20 pe x = "int".
3430: 20 3e 3e 20 40 68 6f 67 65 20 78 20 3d 20 22 66 >> @hoge x = "f
3440: 75 67 61 22 0a 0a 20 20 46 6f 72 20 22 2b 22 2c uga".. For "+",
3450: 20 64 6f 20 69 74 20 6c 69 6b 65 20 74 68 69 73 do it like this
3460: 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 20 ... >> @type
3470: 22 2b 22 20 3d 20 66 75 6e 28 78 2c 79 29 20 7b "+" = fun(x,y) {
3480: 40 76 61 6c 75 65 28 0a 20 20 20 20 3e 3e 20 20 @value(. >>
3490: 20 69 66 28 20 40 74 79 70 65 28 78 29 3d 3d 22 if( @type(x)=="
34a0: 69 6e 74 22 20 26 26 20 40 74 79 70 65 28 79 29 int" && @type(y)
34b0: 3d 3d 22 69 6e 74 22 20 29 20 7b 20 22 69 6e 74 =="int" ) { "int
34c0: 22 20 7d 20 65 6c 73 65 20 7b 20 22 74 79 70 65 " } else { "type
34d0: 65 72 72 6f 72 22 20 7d 0a 20 20 20 20 3e 3e 20 error" }. >>
34e0: 29 7d 0a 20 20 20 20 70 6f 6c 65 6d 79 2e 76 61 )}. polemy.va
34f0: 6c 75 65 2e 6e 61 74 69 76 65 21 28 49 6e 74 56 lue.native!(IntV
3500: 61 6c 75 65 2c 49 6e 74 56 61 6c 75 65 2c 49 6e alue,IntValue,In
3510: 74 56 61 6c 75 65 29 2e 6e 61 74 69 76 65 2e 5f tValue).native._
3520: 5f 61 6e 6f 6e 63 6c 61 73 73 32 34 0a 0a 20 20 _anonclass24..
3530: 49 74 20 69 73 20 6a 75 73 74 20 63 6f 6d 70 75 It is just compu
3540: 74 69 6e 67 20 74 68 65 20 72 65 74 75 72 6e 20 ting the return
3550: 74 79 70 65 20 66 72 6f 6d 20 74 68 65 20 69 6e type from the in
3560: 70 75 74 20 74 79 70 65 2e 0a 20 20 4e 6f 74 20 put type.. Not
3570: 68 65 72 65 20 74 68 61 74 20 74 68 65 20 69 6e here that the in
3580: 74 65 6e 64 65 64 20 22 6d 65 61 6e 69 6e 67 22 tended "meaning"
3590: 20 6f 66 20 69 66 2d 74 68 65 6e 2d 65 6c 73 65 of if-then-else
35a0: 20 69 73 20 74 68 65 20 72 75 6e 74 69 6d 65 2d is the runtime-
35b0: 62 72 61 6e 63 68 69 6e 67 2c 0a 20 20 61 6e 64 branching,. and
35c0: 20 74 68 65 20 6d 65 61 6e 69 6e 67 20 6f 66 20 the meaning of
35d0: 22 3d 3d 22 20 69 73 20 74 68 65 20 76 61 6c 75 "==" is the valu
35e0: 65 2d 63 6f 6d 70 61 72 69 73 6f 6e 2e 20 54 68 e-comparison. Th
35f0: 65 73 65 20 61 72 65 20 74 68 65 20 40 76 61 6c ese are the @val
3600: 75 65 20 6c 61 79 65 72 0a 20 20 62 65 68 61 76 ue layer. behav
3610: 69 6f 72 2e 20 53 6f 20 77 65 20 68 61 76 65 20 ior. So we have
3620: 64 65 66 69 6e 65 64 20 74 68 65 20 66 75 6e 63 defined the func
3630: 74 69 6f 6e 20 62 6f 64 79 20 69 6e 73 69 64 65 tion body inside
3640: 20 40 76 61 6c 75 65 20 6c 61 79 65 72 2e 0a 20 @value layer..
3650: 20 42 75 74 20 77 68 65 6e 20 77 65 20 72 65 66 But when we ref
3660: 65 72 20 74 68 65 20 76 61 72 69 61 62 6c 65 73 er the variables
3670: 20 78 20 61 6e 64 20 79 2c 20 77 65 20 6e 65 65 x and y, we nee
3680: 64 20 69 74 73 20 40 74 79 70 65 20 6c 61 79 65 d its @type laye
3690: 72 20 6d 65 61 6e 69 6e 67 2e 0a 20 20 48 65 6e r meaning.. Hen
36a0: 63 65 20 77 65 20 75 73 65 20 40 74 79 70 65 28 ce we use @type(
36b0: 29 20 74 68 65 72 65 2e 0a 0a 20 20 4e 6f 77 20 ) there... Now
36c0: 77 65 20 67 65 74 20 69 74 2e 0a 0a 20 20 20 20 we get it...
36d0: 3e 3e 20 40 74 79 70 65 28 20 31 20 2b 20 32 20 >> @type( 1 + 2
36e0: 29 0a 20 20 20 20 69 6e 74 0a 0a 20 20 57 65 6c ). int.. Wel
36f0: 6c 2c 20 62 75 74 20 64 6f 20 77 65 20 68 61 76 l, but do we hav
3700: 65 20 74 6f 20 64 65 66 69 6e 65 20 74 68 65 20 e to define the
3710: 40 74 79 70 65 20 6c 61 79 65 72 20 6d 65 61 6e @type layer mean
3720: 69 6e 67 20 66 6f 72 20 65 76 65 72 79 20 76 61 ing for every va
3730: 72 69 61 62 6c 65 73 3f 3f 3f 0a 20 20 4e 6f 2e riables???. No.
3740: 20 41 66 74 65 72 20 79 6f 75 20 64 65 66 69 6e After you defin
3750: 65 64 20 40 74 79 70 65 20 22 2b 22 2c 20 79 6f ed @type "+", yo
3760: 75 27 6c 6c 20 61 75 74 6f 6d 61 74 69 63 61 6c u'll automatical
3770: 6c 79 20 67 65 74 20 74 68 65 20 66 6f 6c 6c 6f ly get the follo
3780: 77 69 6e 67 3a 0a 0a 20 20 20 20 3e 3e 20 64 65 wing:.. >> de
3790: 66 20 64 6f 75 62 6c 65 28 78 29 20 7b 20 78 20 f double(x) { x
37a0: 2b 20 78 20 7d 0a 20 20 20 20 28 66 75 6e 63 74 + x }. (funct
37b0: 69 6f 6e 3a 31 37 65 34 37 34 30 3a 31 37 38 39 ion:17e4740:1789
37c0: 37 32 30 29 0a 0a 20 20 20 20 3e 3e 20 40 74 79 720).. >> @ty
37d0: 70 65 28 20 64 6f 75 62 6c 65 28 31 32 33 29 20 pe( double(123)
37e0: 29 0a 20 20 20 20 69 6e 74 0a 0a 20 20 45 76 65 ). int.. Eve
37f0: 72 79 20 75 73 65 72 2d 64 65 66 69 6e 65 64 20 ry user-defined
3800: 66 75 6e 63 74 69 6f 6e 73 20 61 72 65 20 61 75 functions are au
3810: 74 6f 6d 61 74 69 63 61 6c 6c 79 20 22 6c 69 66 tomatically "lif
3820: 74 22 65 64 20 74 6f 20 74 68 65 20 61 70 70 72 t"ed to the appr
3830: 6f 70 72 69 61 74 65 20 6c 61 79 65 72 2e 0a 20 opriate layer..
3840: 20 4f 6e 6c 79 20 70 72 69 6d 69 74 69 76 65 20 Only primitive
3850: 66 75 6e 63 74 69 6f 6e 73 20 6c 69 6b 65 20 22 functions like "
3860: 2b 22 20 72 65 71 75 69 72 65 73 20 40 79 6f 75 +" requires @you
3870: 72 4e 65 77 4c 61 79 65 72 20 61 6e 6e 6f 74 61 rNewLayer annota
3880: 74 69 6f 6e 2e 0a 0a 0a 0a 5b 4c 61 79 65 72 73 tion.....[Layers
3890: 20 3a 3a 20 6e 65 75 74 72 61 6c 2d 6c 61 79 65 :: neutral-laye
38a0: 72 5d 0a 0a 20 20 6c 65 74 7c 76 61 72 7c 64 65 r].. let|var|de
38b0: 66 20 69 73 20 74 6f 20 64 65 66 69 6e 65 20 61 f is to define a
38c0: 20 76 61 72 69 61 62 6c 65 20 69 6e 20 74 68 65 variable in the
38d0: 20 22 63 75 72 72 65 6e 74 22 20 6c 61 79 65 72 "current" layer
38e0: 2e 0a 20 20 4e 6f 74 20 6e 65 63 65 73 73 61 72 .. Not necessar
38f0: 79 20 74 6f 20 74 68 65 20 40 76 61 6c 75 65 20 y to the @value
3900: 6c 61 79 65 72 2e 0a 0a 20 20 20 20 3e 3e 20 40 layer... >> @
3910: 76 61 6c 75 65 28 20 6c 65 74 20 78 20 3d 20 31 value( let x = 1
3920: 20 69 6e 20 40 76 61 6c 75 65 28 78 29 20 29 0a in @value(x) ).
3930: 20 20 20 20 31 0a 0a 20 20 20 20 3e 3e 20 40 6d 1.. >> @m
3940: 61 63 72 6f 28 20 6c 65 74 20 78 20 3d 20 31 20 acro( let x = 1
3950: 69 6e 20 40 76 61 6c 75 65 28 78 29 20 29 0a 20 in @value(x) ).
3960: 20 20 20 70 6f 6c 65 6d 79 2e 66 61 69 6c 75 72 polemy.failur
3970: 65 2e 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 e.RuntimeExcepti
3980: 6f 6e 3a 20 5b 3c 52 45 50 4c 3e 3a 31 34 3a 32 on: [<REPL>:14:2
3990: 39 5d 20 76 61 72 69 61 62 6c 65 20 78 20 6e 6f 9] variable x no
39a0: 74 20 66 6f 75 6e 64 0a 0a 20 20 20 20 3e 3e 20 t found.. >>
39b0: 40 6d 61 63 72 6f 28 20 6c 65 74 20 78 20 3d 20 @macro( let x =
39c0: 31 20 69 6e 20 40 6d 61 63 72 6f 28 78 29 20 29 1 in @macro(x) )
39d0: 0a 20 20 20 20 7b 70 6f 73 40 76 61 6c 75 65 3a . {pos@value:
39e0: 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 31 35 {lineno@value:15
39f0: 2c 20 2e 2e 2e 0a 0a 0a 0a 5b 4c 61 79 65 72 73 , .......[Layers
3a00: 20 3a 3a 20 4c 61 79 65 72 65 64 2d 50 61 72 61 :: Layered-Para
3a10: 6d 65 74 65 72 73 5d 0a 0a 20 20 20 20 3e 3e 20 meters].. >>
3a20: 64 65 66 20 66 6f 6f 28 78 20 40 6d 61 63 72 6f def foo(x @macro
3a30: 20 40 76 61 6c 75 65 29 20 7b 20 7b 66 73 74 3a @value) { {fst:
3a40: 20 78 2c 20 73 6e 64 3a 20 40 6d 61 63 72 6f 28 x, snd: @macro(
3a50: 78 29 7d 20 7d 0a 20 20 20 20 28 66 75 6e 63 74 x)} }. (funct
3a60: 69 6f 6e 3a 31 37 33 30 33 36 30 3a 31 37 38 39 ion:1730360:1789
3a70: 37 32 30 29 0a 0a 20 20 49 66 20 79 6f 75 20 61 720).. If you a
3a80: 6e 6e 6f 74 61 74 65 20 66 75 6e 63 74 69 6f 6e nnotate function
3a90: 20 70 61 72 61 6d 65 74 65 72 73 20 62 79 20 40 parameters by @
3aa0: 4c 61 79 65 72 4e 61 6d 65 73 2c 20 77 68 65 6e LayerNames, when
3ab0: 20 79 6f 75 20 69 6e 76 6f 6b 65 20 74 68 65 20 you invoke the
3ac0: 66 75 6e 63 74 69 6f 6e 2e 2e 2e 0a 0a 20 20 20 function.....
3ad0: 20 3e 3e 20 66 6f 6f 28 31 2b 32 29 0a 20 20 20 >> foo(1+2).
3ae0: 20 7b 73 6e 64 40 76 61 6c 75 65 3a 20 7b 70 6f {snd@value: {po
3af0: 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 s@value:{lineno@
3b00: 76 61 6c 75 65 3a 31 37 2c 20 63 6f 6c 75 6d 6e value:17, column
3b10: 40 76 61 6c 75 65 3a 35 2c 20 66 69 6c 65 6e 61 @value:5, filena
3b20: 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d me@value:<REPL>}
3b30: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ,.
3b40: 20 20 20 20 69 73 40 76 61 6c 75 65 3a 61 70 70 is@value:app
3b50: 2c 20 61 72 67 40 76 61 6c 75 65 3a 7b 2e 2e 2e , arg@value:{...
3b60: 0a 20 20 20 20 2f 66 73 74 40 76 61 6c 75 65 3a . /fst@value:
3b70: 33 0a 20 20 20 20 2f 7d 0a 0a 20 20 69 74 73 20 3. /}.. its
3b80: 63 6f 72 72 65 73 70 6f 6e 64 69 6e 67 20 61 72 corresponding ar
3b90: 67 75 6d 65 6e 74 73 20 61 72 65 20 65 76 61 6c guments are eval
3ba0: 75 61 74 65 64 20 69 6e 20 74 68 65 20 6c 61 79 uated in the lay
3bb0: 65 72 20 61 6e 64 20 70 61 73 73 65 64 20 74 6f er and passed to
3bc0: 20 69 74 2e 0a 20 20 49 66 20 79 6f 75 20 73 70 it.. If you sp
3bd0: 65 63 69 66 79 20 6d 75 6c 74 69 70 6c 65 20 6c ecify multiple l
3be0: 61 79 65 72 73 2c 20 74 68 65 20 61 72 67 75 6d ayers, the argum
3bf0: 65 6e 74 20 65 78 70 72 65 73 73 69 6f 6e 20 69 ent expression i
3c00: 73 20 72 75 6e 20 6d 75 6c 74 69 70 6c 65 20 74 s run multiple t
3c10: 69 6d 65 73 2e 0a 20 20 49 66 20 79 6f 75 20 64 imes.. If you d
3c20: 6f 20 6e 6f 74 20 73 70 65 63 69 66 79 20 61 6e o not specify an
3c30: 79 20 6c 61 79 65 72 20 66 6f 72 20 61 20 70 61 y layer for a pa
3c40: 72 61 6d 65 74 65 72 2c 20 69 74 20 77 6f 72 6b rameter, it work
3c50: 73 20 69 6e 20 74 68 65 20 6e 65 75 74 72 61 6c s in the neutral
3c60: 20 6c 61 79 65 72 2e 0a 3c 2f 70 72 65 3e 0a 29 layer..</pre>.)
3c70: 29 0a 0a 0a 24 28 53 45 43 54 49 4f 4e 20 4d 61 )...$(SECTION Ma
3c80: 63 72 6f 20 4c 61 79 65 72 73 2c 20 24 28 53 45 cro Layers, $(SE
3c90: 43 42 4f 44 59 0a 3c 70 3e 0a 50 6f 6c 65 6d 79 CBODY.<p>.Polemy
3ca0: 20 e8 a8 80 e8 aa 9e e7 b5 84 e3 81 bf e8 be bc ...............
3cb0: e3 81 bf e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e3 ................
3cc0: 81 af 20 3c 63 6f 64 65 3e 40 76 61 6c 75 65 3c .. <code>@value<
3cd0: 2f 63 6f 64 65 3e 20 e3 81 a8 20 3c 63 6f 64 65 /code> ... <code
3ce0: 3e 40 6d 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3 >@macro</code> .
3cf0: 81 ae e4 ba 8c e3 81 a4 e3 81 a7 e3 81 99 e3 80 ................
3d00: 82 0a ef bc 88 e5 86 85 e9 83 a8 e7 9a 84 e3 81 ................
3d10: ab e3 81 af e3 82 82 e3 81 86 e3 81 84 e3 81 8f ................
3d20: e3 81 a4 e3 81 8b e3 81 82 e3 82 8a e3 81 be e3 ................
3d30: 81 99 e3 81 8c e3 80 81 e3 83 a6 e3 83 bc e3 82 ................
3d40: b6 e3 81 8b e3 82 89 e7 9b b4 e6 8e a5 e3 81 af ................
3d50: e4 bd bf e3 81 88 e3 81 be e3 81 9b e3 82 93 e3 ................
3d60: 80 82 ef bc 89 0a 3c 63 6f 64 65 3e 40 76 61 6c ......<code>@val
3d70: 75 65 3c 2f 63 6f 64 65 3e 20 e3 81 af e3 80 81 ue</code> ......
3d80: e3 80 8c e6 99 ae e9 80 9a e3 81 ab e3 80 8d e6 ................
3d90: 99 ae e9 80 9a e3 81 ae e3 82 bb e3 83 9e e3 83 ................
3da0: b3 e3 83 86 e3 82 a3 e3 82 af e3 82 b9 e3 81 a7 ................
3db0: e3 83 97 e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e3 ................
3dc0: 82 92 e5 ae 9f e8 a1 8c e3 81 99 e3 82 8b e3 83 ................
3dd0: ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81 97 e3 81 9f ................
3de0: e3 80 82 0a 3c 63 6f 64 65 3e 40 6d 61 63 72 6f ....<code>@macro
3df0: 3c 2f 63 6f 64 65 3e 20 e3 81 af e3 80 81 e5 ae </code> ........
3e00: 9f e3 81 af e3 80 81 3c 63 6f 64 65 3e 40 76 61 .......<code>@va
3e10: 6c 75 65 3c 2f 63 6f 64 65 3e 20 e3 82 88 e3 82 lue</code> .....
3e20: 8a e3 82 82 e5 89 8d e3 81 ab e5 ae 9f e8 a1 8c ................
3e30: e3 81 95 e3 82 8c e3 82 8b e3 83 ac e3 82 a4 e3 ................
3e40: 83 a4 e3 81 a7 e3 80 81 0a e3 80 8c e3 83 97 e3 ................
3e50: 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e3 82 92 e5 ae ................
3e60: 9f e8 a1 8c e3 81 99 e3 82 8b e3 81 a8 e3 81 9d ................
3e70: e3 81 ae e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 e8 ................
3e80: bf 94 e3 81 99 e3 80 8d e3 81 a8 e3 81 84 e3 81 ................
3e90: 86 e3 82 bb e3 83 9e e3 83 b3 e3 83 86 e3 82 a3 ................
3ea0: e3 82 af e3 82 b9 e3 81 a7 e5 8b 95 e3 81 8d e3 ................
3eb0: 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 .........</p>.<p
3ec0: 72 65 3e 0a 20 20 20 20 28 e3 81 93 e3 81 93 e3 re>. (.......
3ed0: 81 ab e4 be 8b 29 0a 3c 2f 70 72 65 3e 0a 3c 70 .....).</pre>.<p
3ee0: 3e 0a e5 8b 95 e3 81 8d e3 81 a8 e3 81 97 e3 81 >...............
3ef0: a6 e3 81 af e3 81 93 e3 81 86 e3 81 a7 e3 81 99 ................
3f00: e3 80 82 0a 3c 2f 70 3e 0a 3c 6f 6c 3e 0a 3c 6c ....</p>.<ol>.<l
3f10: 69 3e e9 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 i>..............
3f20: ba e3 81 97 e6 99 82 ef bc 88 e3 81 a8 e3 83 88 ................
3f30: e3 83 83 e3 83 97 e3 83 ac e3 83 99 e3 83 ab e7 ................
3f40: 92 b0 e5 a2 83 e3 81 ae e5 ae 9f e8 a1 8c e9 96 ................
3f50: 8b e5 a7 8b e6 99 82 ef bc 89 e3 81 ab e3 80 81 ................
3f60: 0a 09 e3 81 be e3 81 9a e3 80 81 3c 63 6f 64 65 ...........<code
3f70: 3e 40 6d 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3 >@macro</code> .
3f80: 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 82 b3 e3 83 ................
3f90: bc e3 83 89 e3 82 92 e5 ae 9f e8 a1 8c e3 80 82 ................
3fa0: 3c 2f 6c 69 3e 0a 3c 6c 69 3e e8 bf 94 e3 81 a3 </li>.<li>......
3fb0: e3 81 a6 e3 81 8d e3 81 9f e6 a7 8b e6 96 87 e6 ................
3fc0: 9c a8 e3 82 92 e3 80 81 3c 63 6f 64 65 3e 40 76 ........<code>@v
3fd0: 61 6c 75 65 3c 2f 63 6f 64 65 3e 20 e3 83 ac e3 alue</code> ....
3fe0: 82 a4 e3 83 a4 e3 80 81 0a 09 e3 81 be e3 81 9f ................
3ff0: e3 81 af e3 81 9d e3 81 ae e9 96 a2 e6 95 b0 e3 ................
4000: 82 92 e5 91 bc e3 81 b3 e5 87 ba e3 81 97 e3 81 ................
4010: 9f e3 81 a8 e3 81 8d e3 81 ae e3 83 ac e3 82 a4 ................
4020: e3 83 a4 e3 81 a7 e5 ae 9f e8 a1 8c e3 80 82 3c ...............<
4030: 2f 6c 69 3e 0a 3c 2f 6f 6c 3e 0a 3c 70 3e 0a 3c /li>.</ol>.<p>.<
4040: 63 6f 64 65 3e 40 6d 61 63 72 6f 3c 2f 63 6f 64 code>@macro</cod
4050: 65 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 82 82 e6 e> .............
4060: 89 80 e8 a9 ae e3 81 9f e3 81 a0 e3 81 ae e3 83 ................
4070: ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81 99 e3 81 ae ................
4080: e3 81 a7 e3 80 81 0a e4 b8 8a e3 81 a7 e8 aa ac ................
4090: e6 98 8e e3 81 97 e3 81 9f e6 96 b9 e6 b3 95 e3 ................
40a0: 81 a7 20 3c 63 6f 64 65 3e 40 6d 61 63 72 6f 3c .. <code>@macro<
40b0: 2f 63 6f 64 65 3e 20 e3 83 ac e3 82 a4 e3 83 a4 /code> .........
40c0: e3 81 ab e9 96 a2 e6 95 b0 e3 81 aa e3 81 a9 e3 ................
40d0: 82 92 e7 99 bb e9 8c b2 e3 81 97 e3 81 a6 e3 81 ................
40e0: 8a e3 81 8f e3 81 93 e3 81 a8 e3 81 a7 e3 80 81 ................
40f0: 0a e6 a7 8b e6 96 87 e6 9c a8 e3 81 ae e7 94 9f ................
4100: e6 88 90 e3 82 92 e3 81 84 e3 81 98 e3 82 8b e3 ................
4110: 81 93 e3 81 a8 e3 81 8c e5 8f af e8 83 bd e3 81 ................
4120: a7 e3 81 99 e3 80 82 e3 81 be e3 81 95 e3 81 ab ................
4130: e3 83 9e e3 82 af e3 83 ad e3 80 82 0a 3c 2f 70 .............</p
4140: 3e 0a 0a 24 28 44 44 4f 43 5f 4d 45 4d 42 45 52 >..$(DDOC_MEMBER
4150: 53 0a 24 28 53 45 43 54 49 4f 4e 20 e6 a6 82 e8 S.$(SECTION ....
4160: a6 81 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 .., $(SECBODY.<p
4170: 3e 0a 73 61 6d 70 6c 65 73 2f 6d 61 63 72 6f 2e >.samples/macro.
4180: 70 6d 79 20 e3 81 ab e3 81 84 e3 81 8f e3 81 a4 pmy ............
4190: e3 81 8b e4 bd bf e3 81 84 e6 96 b9 e3 82 b5 e3 ................
41a0: 83 b3 e3 83 97 e3 83 ab e3 81 8c e7 bd ae e3 81 ................
41b0: 84 e3 81 a6 e3 81 82 e3 82 8a e3 81 be e3 81 99 ................
41c0: e3 81 ae e3 81 a7 e3 80 81 e8 a9 b3 e3 81 97 e3 ................
41d0: 81 8f e3 81 af e3 81 9d e3 81 a1 e3 82 89 e3 82 ................
41e0: 92 e3 81 a9 e3 81 86 e3 81 9e e3 80 82 0a 3c 2f ..............</
41f0: 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 26 67 74 p>.<pre>. >
4200: 3b 26 67 74 3b 20 40 6d 61 63 72 6f 28 20 74 77 ;> @macro( tw
4210: 69 63 65 28 70 72 69 6e 74 28 22 48 65 6c 6c 6f ice(print("Hello
4220: 22 29 29 20 29 0a 20 20 20 20 7b 0a 20 20 20 20 ")) ). {.
4230: 20 20 70 6f 73 3a 20 7b 6c 69 6e 65 6e 6f 3a 31 pos: {lineno:1
4240: 2c 20 63 6f 6c 75 6d 6e 3a 39 2c 20 66 69 6c 65 , column:9, file
4250: 6e 61 6d 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 name:<REPL>},.
4260: 20 20 20 61 72 67 73 3a 20 5b 20 7b 20 70 6f 73 args: [ { pos
4270: 3a 20 7b 6c 69 6e 65 6e 6f 3a 31 2c 20 63 6f 6c : {lineno:1, col
4280: 75 6d 6e 3a 31 35 2c 20 66 69 6c 65 6e 61 6d 65 umn:15, filename
4290: 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 :<REPL>},.
42a0: 20 20 20 20 20 20 20 20 61 72 67 73 3a 20 5b 7b args: [{
42b0: 70 6f 73 3a 7b 6c 69 6e 65 6e 6f 3a 31 2c 20 63 pos:{lineno:1, c
42c0: 6f 6c 75 6d 6e 3a 32 31 2c 20 66 69 6c 65 6e 61 olumn:21, filena
42d0: 6d 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 me:<REPL>},.
42e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
42f0: 20 20 20 69 73 3a 53 74 72 2c 0a 20 20 20 20 20 is:Str,.
4300: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
4310: 64 61 74 61 3a 48 65 6c 6c 6f 7d 5d 2c 0a 20 20 data:Hello}],.
4320: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 69 73 is
4330: 3a 20 41 70 70 2c 0a 20 20 20 20 20 20 20 20 20 : App,.
4340: 20 20 20 20 20 20 66 75 6e 3a 20 7b 70 6f 73 3a fun: {pos:
4350: 7b 6c 69 6e 65 6e 6f 3a 31 2c 20 63 6f 6c 75 6d {lineno:1, colum
4360: 6e 3a 31 35 2c 20 66 69 6c 65 6e 61 6d 65 3a 3c n:15, filename:<
4370: 52 45 50 4c 3e 7d 2c 20 69 73 3a 56 61 72 2c 20 REPL>}, is:Var,
4380: 6e 61 6d 65 3a 70 72 69 6e 74 7d 7d 0a 20 20 20 name:print}}.
4390: 20 20 20 20 20 20 20 20 5d 2c 0a 20 20 20 20 20 ],.
43a0: 20 20 69 73 3a 20 41 70 70 2c 0a 20 20 20 20 20 is: App,.
43b0: 20 66 75 6e 3a 20 7b 70 6f 73 3a 7b 6c 69 6e 65 fun: {pos:{line
43c0: 6e 6f 3a 31 2c 20 63 6f 6c 75 6d 6e 3a 39 2c 20 no:1, column:9,
43d0: 66 69 6c 65 6e 61 6d 65 3a 3c 52 45 50 4c 3e 7d filename:<REPL>}
43e0: 2c 20 69 73 3a 56 61 72 2c 20 6e 61 6d 65 3a 74 , is:Var, name:t
43f0: 77 69 63 65 7d 0a 20 20 20 20 7d 0a 3c 2f 70 72 wice}. }.</pr
4400: 65 3e 0a 3c 70 3e 0a e8 a9 b3 e7 b4 b0 e3 81 af e>.<p>..........
4410: e6 b0 97 e3 81 ab e3 81 97 e3 81 aa e3 81 8f e3 ................
4420: 81 a6 e6 a7 8b e3 81 84 e3 81 be e3 81 9b e3 82 ................
4430: 93 e3 81 8c e3 80 81 e3 81 a8 e3 81 ab e3 81 8b ................
4440: e3 81 8f e3 80 81 3c 74 74 3e 40 6d 61 63 72 6f ......<tt>@macro
4450: 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 </tt> ..........
4460: 81 a7 e3 81 af e3 80 81 0a e5 9f ba e6 9c ac e7 ................
4470: 9a 84 e3 81 ab e3 81 af e3 80 81 e3 82 b3 e3 83 ................
4480: bc e3 83 89 e3 82 92 e5 ae 9f e8 a1 8c e3 81 99 ................
4490: e3 82 8b e3 81 a8 e3 81 9d e3 81 ae e3 82 b3 e3 ................
44a0: 83 bc e3 83 89 e3 81 ae e6 a7 8b e6 96 87 e6 9c ................
44b0: a8 e3 81 8c e3 81 a7 e3 81 a6 e3 81 8d e3 81 be ................
44c0: e3 81 99 e3 80 82 0a e3 81 93 e3 81 ae e6 8c 99 ................
44d0: e5 8b 95 e3 81 af 20 3c 74 74 3e 40 6d 61 63 72 ...... <tt>@macr
44e0: 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 o</tt> .........
44f0: e3 81 ae e5 a4 89 e6 95 b0 e3 82 92 e3 82 bb e3 ................
4500: 83 83 e3 83 88 e3 81 99 e3 82 8b e3 81 93 e3 81 ................
4510: a8 e3 81 a7 e3 80 81 e3 82 ab e3 82 b9 e3 82 bf ................
4520: e3 83 9e e3 82 a4 e3 82 ba e3 81 a7 e3 81 8d e3 ................
4530: 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 .........</p>.<p
4540: 72 65 3e 0a 20 20 20 20 26 67 74 3b 26 67 74 3b re>. >>
4550: 20 40 6d 61 63 72 6f 20 74 77 69 63 65 28 78 29 @macro twice(x)
4560: 20 7b 20 78 3b 20 78 20 7d 20 69 6e 20 74 77 69 { x; x } in twi
4570: 63 65 28 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 ce(print("Hello"
4580: 29 29 0a 20 20 20 20 48 65 6c 6c 6f 0a 20 20 20 )). Hello.
4590: 20 48 65 6c 6c 6f 0a 20 20 20 20 48 65 6c 6c 6f Hello. Hello
45a0: 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a ef bc 88 ef .</pre>.<p>.....
45b0: bc 93 e5 9b 9e e5 87 ba e5 8a 9b e3 81 95 e3 82 ................
45c0: 8c e3 81 a6 e3 81 be e3 81 99 e3 81 8c e3 80 81 ................
45d0: ef bc 93 e5 80 8b e7 9b ae e3 81 af 20 3c 74 74 ............ <tt
45e0: 3e 70 72 69 6e 74 28 78 29 3c 2f 74 74 3e 20 e3 >print(x)</tt> .
45f0: 81 ae e8 bf 94 e5 80 a4 e3 81 af 20 3c 74 74 3e ........... <tt>
4600: 78 3c 2f 74 74 3e 20 e3 81 aa e3 81 ae e3 81 a7 x</tt> .........
4610: e3 80 81 0a e3 81 9d e3 82 8c e3 81 8c 52 45 50 .............REP
4620: 4c e3 81 ab e3 82 88 e3 81 a3 e3 81 a6 e5 8d b0 L...............
4630: e5 ad 97 e3 81 95 e3 82 8c e3 81 a6 e3 81 84 e3 ................
4640: 82 8b e3 81 a0 e3 81 91 e3 81 a7 e3 81 99 e3 80 ................
4650: 82 ef bc 89 0a 3c 74 74 3e 40 6d 61 63 72 6f 3c .....<tt>@macro<
4660: 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 /tt> ...........
4670: a7 20 3c 74 74 3e 69 6e 3c 2f 74 74 3e 20 e4 bb . <tt>in</tt> ..
4680: a5 e9 99 8d e3 82 92 e5 ae 9f e8 a1 8c e3 81 99 ................
4690: e3 82 8b e3 81 a8 e3 80 81 3c 74 74 3e 70 72 69 .........<tt>pri
46a0: 6e 74 28 22 48 65 6c 6c 6f 22 29 3c 2f 74 74 3e nt("Hello")</tt>
46b0: 20 e3 81 a8 e3 81 84 e3 81 86 e5 bc 8f e3 82 92 ...............
46c0: e8 a1 a8 e3 81 99 e6 a7 8b e6 96 87 e6 9c a8 e3 ................
46d0: 81 8c e4 bd 9c e3 82 89 e3 82 8c e3 80 81 0a e3 ................
46e0: 81 9d e3 82 8c e3 81 8c 20 3c 74 74 3e 74 77 69 ........ <tt>twi
46f0: 63 65 3c 2f 74 74 3e 20 e9 96 a2 e6 95 b0 e3 81 ce</tt> ........
4700: ab e6 b8 a1 e3 81 95 e3 82 8c e3 81 be e3 81 99 ................
4710: e3 80 82 3c 74 74 3e 74 77 69 63 65 3c 2f 74 74 ...<tt>twice</tt
4720: 3e 20 e3 81 ae e4 b8 ad e8 ba ab e3 82 82 20 3c > ............ <
4730: 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 tt>@macro</tt> .
4740: 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e5 ae 9f e8 a1 ................
4750: 8c e3 81 95 e3 82 8c e3 82 8b e3 81 ae e3 81 a7 ................
4760: e3 80 81 0a e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 ................
4770: e4 bd 9c e3 82 8d e3 81 86 e3 81 a8 e3 81 97 e3 ................
4780: 81 be e3 81 99 e3 81 8c e3 80 81 e5 a4 89 e6 95 ................
4790: b0 20 3c 74 74 3e 78 3c 2f 74 74 3e 20 e3 81 ab . <tt>x</tt> ...
47a0: e3 81 af 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f ... <tt>@macro</
47b0: 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 tt> ............
47c0: e5 80 a4 e3 81 8c e5 85 a5 e3 81 a3 e3 81 a6 e3 ................
47d0: 81 84 e3 82 8b e3 81 ae e3 81 a7 e3 80 81 0a e3 ................
47e0: 81 9d e3 81 ae e5 80 a4 e3 82 92 e8 aa ad e3 81 ................
47f0: bf e5 8f 96 e3 81 a3 e3 81 a6 e6 a7 8b e6 96 87 ................
4800: e6 9c a8 e3 82 92 e4 bd 9c e6 88 90 e3 81 97 e3 ................
4810: 81 be e3 81 99 e3 80 82 0a e7 b5 90 e6 9e 9c e3 ................
4820: 81 a8 e3 81 97 e3 81 a6 e3 80 81 ef bc 92 e5 9b ................
4830: 9e 20 3c 74 74 3e 70 72 69 6e 74 28 22 48 65 6c . <tt>print("Hel
4840: 6c 6f 22 29 3c 2f 74 74 3e 20 e3 81 99 e3 82 8b lo")</tt> ......
4850: e6 a7 8b e6 96 87 e6 9c a8 e3 81 8c e4 bd 9c e3 ................
4860: 82 89 e3 82 8c e3 81 a6 e3 80 81 0a e3 81 9d e3 ................
4870: 81 ae e5 be 8c e3 81 a7 e3 80 81 e3 81 9d e3 82 ................
4880: 8c e3 81 8c 20 3c 74 74 3e 40 76 61 6c 75 65 3c .... <tt>@value<
4890: 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 /tt> ...........
48a0: a7 e5 ae 9f e8 a1 8c e3 81 95 e3 82 8c e3 81 a6 ................
48b0: e3 81 84 e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 .............</p
48c0: 3e 0a 3c 70 3e 0a e6 9c ac e5 bd 93 e3 81 ab e3 >.<p>...........
48d0: 83 99 e3 82 bf e3 81 ab e6 a7 8b e6 96 87 e6 9c ................
48e0: a8 e3 82 92 e4 bd 9c e3 82 8b e3 81 a0 e3 81 91 ................
48f0: e3 81 aa e3 81 ae e3 81 a7 e3 80 81 e5 a4 89 e6 ................
4900: 95 b0 e5 90 8d e3 81 ae e8 a1 9d e7 aa 81 e3 81 ................
4910: aa e3 81 a9 e3 81 aa e3 81 a9 e3 81 af e6 b0 97 ................
4920: e3 81 ab e3 81 97 e3 81 be e3 81 9b e3 82 93 e3 ................
4930: 80 82 e3 80 8c e8 a1 9b e7 94 9f e7 9a 84 e3 81 ................
4940: a7 e3 81 aa e3 81 84 e3 80 8d e3 83 9e e3 82 af ................
4950: e3 83 ad e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 .............</p
4960: 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 40 6d 61 63 >.<pre>. @mac
4970: 72 6f 20 4c 65 74 49 74 42 65 28 78 2c 20 79 29 ro LetItBe(x, y)
4980: 20 7b 20 76 61 72 20 24 28 42 20 69 74 29 20 3d { var $(B it) =
4990: 20 78 3b 20 79 20 7d 3b 20 20 24 28 44 5f 43 4f x; y }; $(D_CO
49a0: 4d 4d 45 4e 54 20 23 20 79 20 e3 81 ae e4 b8 ad MMENT # y ......
49b0: e3 81 a7 e5 a4 89 e6 95 b0 20 69 74 20 e3 81 8c ......... it ...
49c0: e4 bd bf e3 81 88 e3 82 8b 29 0a 20 20 20 20 70 .........). p
49d0: 72 69 6e 74 28 20 4c 65 74 49 74 42 65 28 22 6d rint( LetItBe("m
49e0: 79 73 65 6c 66 22 2c 20 20 22 77 68 65 6e 20 49 yself", "when I
49f0: 20 66 69 6e 64 20 22 20 7e 20 24 28 42 20 69 74 find " ~ $(B it
4a00: 29 20 7e 20 22 20 69 6e 20 74 69 6d 65 73 20 6f ) ~ " in times o
4a10: 66 20 74 72 6f 75 62 6c 65 22 29 20 29 3b 0a 3c f trouble") );.<
4a20: 2f 70 72 65 3e 0a 3c 70 3e 0a e5 a4 89 e6 95 b0 /pre>.<p>.......
4a30: e5 90 8d e3 81 ab e6 b0 97 e3 82 92 e3 81 a4 e3 ................
4a40: 81 91 e3 82 8b e3 81 ab e3 81 af e3 80 81 e7 b5 ................
4a50: 84 e3 81 bf e8 be bc e3 81 bf e9 96 a2 e6 95 b0 ................
4a60: 20 3c 74 74 3e 67 65 6e 73 79 6d 28 29 3c 2f 74 <tt>gensym()</t
4a70: 74 3e 20 e3 82 92 e4 bd bf e3 81 a3 e3 81 a6 e9 t> .............
4a80: a0 91 e5 bc b5 e3 81 a3 e3 81 a6 e4 b8 8b e3 81 ................
4a90: 95 e3 81 84 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a ........</p>.)).
4aa0: 24 28 53 45 43 54 49 4f 4e 20 e3 83 ac e3 82 a4 $(SECTION ......
4ab0: e3 83 a4 e5 88 87 e3 82 8a e6 9b bf e3 81 88 2c ...............,
4ac0: 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e4 $(SECBODY.<p>..
4ad0: bb 96 e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e5 90 ................
4ae0: 8c e6 a7 98 e3 80 81 3c 74 74 3e 40 6d 61 63 72 .......<tt>@macr
4af0: 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 o</tt> .........
4b00: e3 82 92 e5 ae 9f e8 a1 8c e4 b8 ad e3 81 ab 20 ...............
4b10: 3c 74 74 3e 40 6c 61 79 65 72 28 20 2e 2e 2e 20 <tt>@layer( ...
4b20: 29 3c 2f 74 74 3e 20 e6 a7 8b e6 96 87 e3 82 92 )</tt> .........
4b30: e4 bd bf e3 81 86 e3 81 93 e3 81 a8 e3 81 a7 e3 ................
4b40: 80 81 0a e5 88 a5 e3 81 ae e3 83 ac e3 82 a4 e3 ................
4b50: 83 a4 e3 81 a7 e3 82 b3 e3 83 bc e3 83 89 e3 82 ................
4b60: 92 e5 8b 95 e3 81 8b e3 81 99 e3 81 93 e3 81 a8 ................
4b70: e3 82 82 e3 81 a7 e3 81 8d e3 81 be e3 81 99 e3 ................
4b80: 80 82 e3 82 88 e3 81 8f e4 bd bf e3 81 86 e4 be ................
4b90: 8b e3 81 af e3 80 81 3c 74 74 3e 40 76 61 6c 75 .......<tt>@valu
4ba0: 65 3c 2f 74 74 3e 0a e3 83 ac e3 82 a4 e3 83 a4 e</tt>..........
4bb0: e3 81 ab e7 a7 bb e3 82 8b e3 81 93 e3 81 a8 e3 ................
4bc0: 81 a7 e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 e6 99 ................
4bd0: ae e9 80 9a e3 81 ab e8 a8 88 e7 ae 97 e3 81 97 ................
4be0: e3 81 a6 e8 89 b2 e3 80 85 e3 83 97 e3 83 ad e3 ................
4bf0: 82 b0 e3 83 a9 e3 83 a0 e7 9a 84 e3 81 ab e3 81 ................
4c00: 84 e3 81 98 e3 82 8b e7 94 a8 e9 80 94 e3 81 a7 ................
4c10: e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 .......</p>.<pre
4c20: 3e 0a 20 20 20 20 40 6d 61 63 72 6f 20 72 65 76 >. @macro rev
4c30: 65 72 73 65 41 72 67 73 28 65 29 20 7b 24 28 42 erseArgs(e) {$(B
4c40: 20 40 76 61 6c 75 65 29 28 0a 20 20 20 20 20 20 @value)(.
4c50: 20 20 64 65 66 20 72 65 76 28 78 73 2c 20 61 63 def rev(xs, ac
4c60: 63 29 20 7b 0a 20 20 20 20 20 20 20 20 20 20 63 c) {. c
4c70: 61 73 65 20 78 73 20 77 68 65 6e 20 7b 63 61 72 ase xs when {car
4c80: 3a 78 2c 20 63 64 72 3a 78 73 7d 3a 20 72 65 76 :x, cdr:xs}: rev
4c90: 28 78 73 2c 20 7b 63 61 72 3a 78 2c 20 63 64 72 (xs, {car:x, cdr
4ca0: 3a 61 63 63 7d 29 20 77 68 65 6e 20 7b 7d 3a 20 :acc}) when {}:
4cb0: 61 63 63 0a 20 20 20 20 20 20 20 20 7d 3b 0a 20 acc. };.
4cc0: 20 20 20 20 20 20 20 63 61 73 65 20 40 6d 61 63 case @mac
4cd0: 72 6f 28 65 29 0a 20 20 20 20 20 20 20 20 20 20 ro(e).
4ce0: 77 68 65 6e 20 7b 69 73 3a 22 41 70 70 22 2c 20 when {is:"App",
4cf0: 66 75 6e 3a 66 2c 20 61 72 67 73 3a 61 73 7d 3a fun:f, args:as}:
4d00: 20 7b 69 73 3a 22 41 70 70 22 2c 20 66 75 6e 3a {is:"App", fun:
4d10: 66 2c 20 61 72 67 73 3a 72 65 76 28 61 73 2c 7b f, args:rev(as,{
4d20: 7d 29 7d 0a 20 20 20 20 20 20 20 20 20 20 77 68 })}. wh
4d30: 65 6e 20 65 3a 20 65 0a 20 20 20 20 29 7d 3b 0a en e: e. )};.
4d40: 20 20 20 20 70 72 69 6e 74 28 20 72 65 76 65 72 print( rever
4d50: 73 65 41 72 67 73 28 31 2d 32 29 20 29 3b 20 24 seArgs(1-2) ); $
4d60: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 32 2d 31 (D_COMMENT # 2-1
4d70: 20 3d 3d 20 31 29 0a 3c 2f 70 72 65 3e 0a 3c 70 == 1).</pre>.<p
4d80: 3e 0a 3c 74 74 3e 72 65 76 65 72 73 65 41 72 67 >.<tt>reverseArg
4d90: 73 3c 2f 74 74 3e 20 e3 81 af e3 80 81 e9 96 a2 s</tt> .........
4da0: e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 81 97 e3 ................
4db0: 81 ae e6 a7 8b e6 96 87 e6 9c a8 e3 81 ae e3 80 ................
4dc0: 81 e5 bc 95 e6 95 b0 e3 81 ae e9 a0 86 e7 95 aa ................
4dd0: e3 82 92 e9 80 86 e8 bb a2 e3 81 99 e3 82 8b e9 ................
4de0: 96 a2 e6 95 b0 e3 81 a7 e3 81 99 e3 80 82 0a 3c ...............<
4df0: 74 74 3e 40 6d 61 63 72 6f 28 65 29 3c 2f 74 74 tt>@macro(e)</tt
4e00: 3e 20 e3 81 ab e3 82 88 e3 81 a3 e3 81 a6 e3 83 > ..............
4e10: 9e e3 82 af e3 83 ad e3 83 ac e3 82 a4 e3 83 a4 ................
4e20: e3 81 ab e3 82 bb e3 83 83 e3 83 88 e3 81 95 e3 ................
4e30: 82 8c e3 81 a6 e3 81 84 e3 82 8b e6 a7 8b e6 96 ................
4e40: 87 e6 9c a8 e5 bc 95 e6 95 b0 e3 82 92 e5 8f 96 ................
4e50: e3 82 8a e5 87 ba e3 81 97 e3 80 81 0a e3 81 9d ................
4e60: e3 82 8c e3 82 92 20 3c 74 74 3e 40 76 61 6c 75 ...... <tt>@valu
4e70: 65 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e</tt> .........
4e80: e3 81 ab e3 82 88 e3 82 8b e6 99 ae e9 80 9a e3 ................
4e90: 81 ae e8 a8 88 e7 ae 97 e3 83 97 e3 83 ad e3 82 ................
4ea0: b0 e3 83 a9 e3 83 a0 e3 81 a7 e6 93 8d e4 bd 9c ................
4eb0: e3 81 97 e3 81 a6 e3 81 84 e3 81 be e3 81 99 e3 ................
4ec0: 80 82 0a e8 a6 81 e3 81 af e3 80 81 3c 74 74 3e ............<tt>
4ed0: 40 6d 61 63 72 6f 28 2e 2e 2e 29 3c 2f 74 74 3e @macro(...)</tt>
4ee0: 20 e3 81 af e3 81 84 e3 82 8f e3 82 86 e3 82 8b ...............
4ef0: e3 80 8c e6 ba 96 e3 82 af e3 82 aa e3 83 bc e3 ................
4f00: 83 88 20 28 71 75 61 73 69 71 75 6f 74 65 29 e3 .. (quasiquote).
4f10: 80 8d e3 80 81 0a 3c 74 74 3e 40 76 61 6c 75 65 ......<tt>@value
4f20: 28 2e 2e 2e 29 3c 2f 74 74 3e 20 e3 81 af e3 80 (...)</tt> .....
4f30: 8c e9 80 86 e3 82 af e3 82 aa e3 83 bc e3 83 88 ................
4f40: 20 28 75 6e 71 75 6f 74 65 29 e3 80 8d e3 81 ab (unquote)......
4f50: e8 bf 91 e3 81 84 e5 83 8d e3 81 8d e3 82 92 e3 ................
4f60: 81 97 e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e ............</p>
4f70: 0a 3c 70 3e 0a 3c 74 74 3e 40 6c 61 79 65 72 28 .<p>.<tt>@layer(
4f80: 2e 2e 2e 29 3c 2f 74 74 3e 20 e3 81 a0 e3 81 91 ...)</tt> ......
4f90: e3 81 a7 e3 81 aa e3 81 8f e3 80 81 e9 96 a2 e6 ................
4fa0: 95 b0 e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e6 8c ................
4fb0: 87 e5 ae 9a e5 bc 95 e6 95 b0 e3 81 aa e3 81 a9 ................
4fc0: e3 82 82 e5 90 8c e6 a7 98 e3 81 ab e4 bd bf e3 ................
4fd0: 81 86 e3 81 93 e3 81 a8 e3 81 8c e3 81 a7 e3 81 ................
4fe0: 8d e3 82 8b e3 81 ae e3 81 a7 e3 80 81 0a e4 b8 ................
4ff0: 80 e9 83 a8 e3 81 ae e5 bc 95 e6 95 b0 e3 81 af ................
5000: 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e <tt>@macro</tt>
5010: e3 80 81 e4 b8 80 e9 83 a8 e3 81 ae e5 bc 95 e6 ................
5020: 95 b0 e3 81 af 20 3c 74 74 3e 40 76 61 6c 75 65 ..... <tt>@value
5030: 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 </tt> ..........
5040: 81 a7 e5 8f 97 e3 81 91 e5 8f 96 e3 82 8b e9 96 ................
5050: a2 e6 95 b0 e3 82 92 e6 9b b8 e3 81 8f e3 81 aa ................
5060: e3 81 a9 e3 80 81 0a e3 81 95 e3 82 89 e3 81 ab ................
5070: e8 89 b2 e3 80 85 e9 9d a2 e7 99 bd e3 81 84 e3 ................
5080: 81 93 e3 81 a8 e3 81 8c e5 8f af e8 83 bd e3 81 ................
5090: a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a ........</p>.)).
50a0: 24 28 53 45 43 54 49 4f 4e 20 e6 a7 8b e6 96 87 $(SECTION ......
50b0: e6 9c a8 e3 81 ae e6 a7 8b e9 80 a0 2c 20 24 28 ............, $(
50c0: 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e6 a7 8b e6 SECBODY.<p>.....
50d0: 96 87 e6 9c a8 e3 81 8c e3 81 a9 e3 81 ae e3 82 ................
50e0: 88 e3 81 86 e3 81 aa e3 83 86 e3 83 bc e3 83 96 ................
50f0: e3 83 ab e3 81 a7 e6 b8 a1 e3 81 95 e3 82 8c e3 ................
5100: 81 a6 e3 81 8f e3 82 8b e3 81 8b e3 81 ab e3 81 ................
5110: a4 e3 81 84 e3 81 a6 e3 81 af e3 80 81 e3 82 bd ................
5120: e3 83 bc e3 82 b9 e3 83 89 e3 82 ad e3 83 a5 e3 ................
5130: 83 a1 e3 83 b3 e3 83 88 e3 81 ae 0a 3c 61 20 68 ............<a h
5140: 72 65 66 3d 22 68 74 74 70 3a 2f 2f 77 77 77 2e ref="http://www.
5150: 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 72 65 70 6f 73 kmonos.net/repos
5160: 2f 70 6f 6c 65 6d 79 2f 64 6f 63 2f 74 69 70 2f /polemy/doc/tip/
5170: 64 6f 63 2f 61 73 74 2e 68 74 6d 6c 22 3e 70 6f doc/ast.html">po
5180: 6c 65 6d 79 2e 61 73 74 3c 2f 61 3e 0a e3 81 ae lemy.ast</a>....
5190: e3 83 9a e3 83 bc e3 82 b8 e3 82 92 e3 81 94 e8 ................
51a0: a6 a7 e4 b8 8b e3 81 95 e3 81 84 e3 80 82 e4 be ................
51b0: 8b e3 81 88 e3 81 b0 e5 a4 89 e6 95 b0 e5 90 8d ................
51c0: e3 82 92 e8 a1 a8 e3 81 99 20 3c 63 6f 64 65 3e ......... <code>
51d0: 56 61 72 3c 2f 63 6f 64 65 3e 20 e3 82 af e3 83 Var</code> .....
51e0: a9 e3 82 b9 e3 81 ab e3 81 af e3 80 81 0a e7 b6 ................
51f0: 99 e6 89 bf e3 81 ae e5 88 86 e3 82 82 e5 90 88 ................
5200: e3 82 8f e3 81 9b e3 81 a6 0a 3c 74 74 3e 3c 61 ..........<tt><a
5210: 20 68 72 65 66 3d 22 68 74 74 70 3a 2f 2f 77 77 href="http://ww
5220: 77 2e 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 72 65 70 w.kmonos.net/rep
5230: 6f 73 2f 70 6f 6c 65 6d 79 2f 64 6f 63 2f 74 69 os/polemy/doc/ti
5240: 70 2f 64 6f 63 2f 66 61 69 6c 75 72 65 2e 68 74 p/doc/failure.ht
5250: 6d 6c 22 3e 4c 65 78 50 6f 73 69 74 69 6f 6e 3c ml">LexPosition<
5260: 2f 61 3e 20 70 6f 73 3b 3c 2f 74 74 3e 0a e3 81 /a> pos;</tt>...
5270: a8 20 3c 74 74 3e 73 74 72 69 6e 67 20 6e 61 6d . <tt>string nam
5280: 65 3b 3c 2f 74 74 3e 20 e3 81 ae ef bc 92 e3 81 e;</tt> ........
5290: a4 e3 81 ae e3 83 a1 e3 83 b3 e3 83 90 e3 81 8c ................
52a0: e3 81 82 e3 82 8b e3 81 ae e3 81 a7 0a 3c 2f 70 .............</p
52b0: 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 7b 20 69 73 >.<pre>. { is
52c0: 3a 20 20 20 22 56 61 72 22 2c 0a 20 20 20 20 20 : "Var",.
52d0: 20 70 6f 73 3a 20 20 7b 66 69 6c 65 6e 61 6d 65 pos: {filename
52e0: 3a 22 66 6f 6f 2e 70 6d 79 22 2c 20 6c 69 6e 65 :"foo.pmy", line
52f0: 6e 6f 3a 31 32 33 2c 20 63 6f 6c 75 6d 6e 3a 34 no:123, column:4
5300: 35 7d 2c 0a 20 20 20 20 20 20 6e 61 6d 65 3a 20 5},. name:
5310: 22 78 22 20 7d 0a 3c 2f 70 72 65 3e 0a 3c 70 3e "x" }.</pre>.<p>
5320: 0a e3 81 93 e3 82 93 e3 81 aa e6 84 9f e3 81 98 ................
5330: e3 81 ae e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 ................
5340: 81 ab e3 81 aa e3 82 8a e3 81 be e3 81 99 e3 80 ................
5350: 82 0a e3 82 af e3 83 a9 e3 82 b9 e5 90 8d e3 81 ................
5360: 8c 20 3c 74 74 3e 69 73 3c 2f 74 74 3e 20 e3 83 . <tt>is</tt> ..
5370: 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ab ................
5380: e3 80 81 e3 83 a1 e3 83 b3 e3 83 90 e5 a4 89 e6 ................
5390: 95 b0 e3 81 af e3 81 9d e3 81 ae e3 81 be e3 81 ................
53a0: be e3 81 ae e5 90 8d e5 89 8d e3 81 a7 e5 85 a5 ................
53b0: e3 82 8a e3 81 be e3 81 99 e3 80 82 0a e9 85 8d ................
53c0: e5 88 97 e3 83 a1 e3 83 b3 e3 83 90 e3 81 af 20 ...............
53d0: 63 6f 6e 73 20 e3 83 aa e3 82 b9 e3 83 88 e3 81 cons ...........
53e0: ab e3 81 aa e3 81 a3 e3 81 a6 e5 85 a5 e3 81 a3 ................
53f0: e3 81 a6 e3 81 8d e3 81 be e3 81 99 e3 80 82 0a ................
5400: e8 87 aa e5 88 86 e3 81 a7 e6 a7 8b e6 96 87 e6 ................
5410: 9c a8 e3 82 92 e4 bd 9c e3 82 8b e6 99 82 e3 81 ................
5420: af e3 80 81 3c 74 74 3e 70 6f 73 3c 2f 74 74 3e ....<tt>pos</tt>
5430: 20 e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 ...............
5440: e3 81 a0 e3 81 91 e3 81 af e7 9c 81 e7 95 a5 e3 ................
5450: 81 97 e3 81 a6 e3 82 82 e6 a7 8b e3 81 84 e3 81 ................
5460: be e3 81 9b e3 82 93 e3 80 82 0a 3c 2f 70 3e 0a ...........</p>.
5470: 29 29 0a 24 28 53 45 43 54 49 4f 4e 20 e5 be ae )).$(SECTION ...
5480: e5 a6 99 e3 81 aa e3 81 a8 e3 81 93 e3 82 8d 2c ...............,
5490: 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e3 $(SECBODY.<p>..
54a0: 81 93 e3 81 93 e3 81 be e3 81 a7 e3 80 81 3c 74 ..............<t
54b0: 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 81 t>@macro</tt> ..
54c0: 8c e6 9c ac e5 bd 93 e3 81 ab e3 81 9f e3 81 a0 ................
54d0: e3 81 ae ef bc 91 e3 83 ac e3 82 a4 e3 83 a4 e3 ................
54e0: 81 a7 e3 81 82 e3 82 8b e3 81 8b e3 81 ae e3 82 ................
54f0: 88 e3 81 86 e3 81 ab e8 aa ac e6 98 8e e3 81 97 ................
5500: e3 81 a6 e3 81 8d e3 81 be e3 81 97 e3 81 9f e3 ................
5510: 81 8c e3 80 81 0a e5 ae 9f e3 81 af e3 81 a1 e3 ................
5520: 82 87 e3 81 a3 e3 81 a8 e5 b9 be e3 81 a4 e3 81 ................
5530: 8b e3 81 ae e3 83 88 e3 83 aa e3 83 83 e3 82 af ................
5540: e3 81 8c e6 bd 9c e3 82 93 e3 81 a7 e3 81 84 e3 ................
5550: 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 .........</p>.<p
5560: 72 65 3e 0a 20 20 20 20 26 67 74 3b 26 67 74 3b re>. >>
5570: 20 40 6d 61 63 72 6f 20 74 77 69 63 65 28 78 29 @macro twice(x)
5580: 20 7b 78 3b 20 78 7d 20 69 6e 20 74 77 69 63 65 {x; x} in twice
5590: 28 24 28 42 20 40 76 61 6c 75 65 29 28 70 72 69 ($(B @value)(pri
55a0: 6e 74 28 22 48 65 6c 6c 6f 22 29 29 29 0a 20 20 nt("Hello"))).
55b0: 20 20 48 65 6c 6c 6f 0a 20 20 20 20 48 65 6c 6c Hello. Hell
55c0: 6f 0a 20 20 20 20 48 65 6c 6c 6f 0a 3c 2f 70 72 o. Hello.</pr
55d0: 65 3e 0a 3c 70 3e 0a e5 85 88 e3 81 bb e3 81 a9 e>.<p>..........
55e0: e3 81 ae e4 be 8b e3 81 ab 20 3c 74 74 3e 40 76 ......... <tt>@v
55f0: 61 6c 75 65 3c 2f 74 74 3e 20 e3 82 92 e5 a2 97 alue</tt> ......
5600: e3 82 84 e3 81 97 e3 81 9f e3 82 82 e3 81 ae e3 ................
5610: 81 a7 e3 81 99 e3 81 8c e3 80 81 e3 81 93 e3 82 ................
5620: 8c e3 81 a7 e3 82 82 e3 82 84 e3 81 af e3 82 8a ................
5630: e3 80 81 48 65 6c 6c 6f 0a e3 81 8c ef bc 92 e5 ...Hello........
5640: 9b 9e 20 70 72 69 6e 74 20 e3 81 95 e3 82 8c e3 .. print .......
5650: 82 8b e3 82 88 e3 81 86 e3 81 ab e3 81 aa e3 82 ................
5660: 8a e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a ...........</p>.
5670: 3c 70 72 65 3e 0a 3c 74 74 3e 40 6d 61 63 72 6f <pre>.<tt>@macro
5680: 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 </tt> ..........
5690: 81 a8 20 3c 74 74 3e 28 72 61 77 6d 61 63 72 6f .. <tt>(rawmacro
56a0: 29 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 )</tt> .........
56b0: e3 81 a8 e3 81 84 e3 81 86 e4 ba 8c e3 81 a4 e3 ................
56c0: 81 8c e5 8d 94 e8 aa bf e3 81 97 e3 81 a6 e5 8b ................
56d0: 95 e4 bd 9c e3 81 97 e3 81 a6 e3 81 84 e3 81 be ................
56e0: e3 81 99 e3 80 82 0a 20 20 20 28 72 61 77 6d 61 ....... (rawma
56f0: 63 72 6f 29 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 cro) ...........
5700: ae e8 a9 b1 0a 0a 20 20 20 20 20 20 5b 5b 6c 69 ...... [[li
5710: 6d 69 74 61 74 69 6f 6e 73 5d 5d 0a 0a 20 20 20 mitations]]..
5720: 54 68 69 73 20 40 6d 61 63 72 6f 20 6c 61 79 65 This @macro laye
5730: 72 20 69 73 20 61 20 76 65 72 79 20 70 72 69 6d r is a very prim
5740: 69 74 69 76 65 20 6f 6e 65 2c 20 61 6e 64 20 6e itive one, and n
5750: 6f 74 20 61 20 70 65 72 66 65 63 74 20 6d 61 63 ot a perfect mac
5760: 72 6f 20 6c 61 6e 67 75 61 67 65 2e 0a 20 20 20 ro language..
5770: 54 77 6f 20 6d 61 6a 6f 72 20 6c 69 6d 69 74 61 Two major limita
5780: 74 69 6f 6e 73 20 61 72 65 20 73 65 65 6e 20 69 tions are seen i
5790: 6e 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 n the following
57a0: 22 69 74 22 20 65 78 61 6d 70 6c 65 2e 0a 0a 20 "it" example...
57b0: 20 20 20 20 3e 3e 20 40 6d 61 63 72 6f 20 4c 65 >> @macro Le
57c0: 74 49 74 42 65 28 78 2c 20 79 29 20 7b 20 6c 65 tItBe(x, y) { le
57d0: 74 20 69 74 20 3d 20 78 20 69 6e 20 79 20 7d 3b t it = x in y };
57e0: 0a 0a 20 20 20 54 68 65 20 76 61 72 69 61 62 6c .. The variabl
57f0: 65 20 6e 61 6d 65 20 69 73 20 6e 6f 74 20 68 79 e name is not hy
5800: 67 65 6e 69 63 2c 20 61 6e 64 20 73 6f 20 77 69 genic, and so wi
5810: 74 68 6f 75 74 20 61 6e 79 20 65 66 66 6f 72 74 thout any effort
5820: 2c 20 74 68 65 20 73 79 6e 74 61 78 20 74 72 65 , the syntax tre
5830: 65 20 22 79 22 0a 20 20 20 63 61 6e 20 61 63 63 e "y". can acc
5840: 65 73 73 20 74 68 65 20 6f 75 74 65 72 20 76 61 ess the outer va
5850: 72 69 61 62 6c 65 20 22 69 74 22 2e 0a 0a 20 20 riable "it"...
5860: 20 20 20 3e 3e 20 64 65 66 20 66 6f 6f 28 29 20 >> def foo()
5870: 7b 20 4c 65 74 49 74 42 65 28 20 31 2b 32 2b 33 { LetItBe( 1+2+3
5880: 2c 20 69 74 2a 69 74 20 29 20 7d 0a 20 20 20 20 , it*it ) }.
5890: 20 3e 3e 20 66 6f 6f 28 29 0a 20 20 20 20 20 33 >> foo(). 3
58a0: 36 0a 0a 20 20 20 4f 66 20 63 6f 75 72 73 65 2c 6.. Of course,
58b0: 20 74 68 69 73 20 69 73 20 6e 6f 74 20 6a 75 73 this is not jus
58c0: 74 20 61 20 6c 69 6d 69 74 61 74 69 6f 6e 3b 20 t a limitation;
58d0: 69 74 20 63 61 6e 20 73 6f 6d 65 74 69 6d 65 73 it can sometimes
58e0: 20 61 6c 6c 6f 77 20 75 73 20 74 6f 20 77 72 69 allow us to wri
58f0: 74 65 0a 20 20 20 6d 61 6e 79 20 69 6e 74 65 72 te. many inter
5900: 65 73 74 69 6e 67 20 6d 61 63 72 6f 73 2e 0a 0a esting macros...
5910: 20 20 20 54 68 65 20 6f 74 68 65 72 20 70 72 6f The other pro
5920: 62 6c 65 6d 20 69 73 20 74 68 61 74 20 74 68 65 blem is that the
5930: 20 6d 61 63 72 6f 20 65 78 70 61 6e 73 69 6f 6e macro expansion
5940: 20 69 73 20 6f 6e 6c 79 20 64 6f 6e 65 20 61 74 is only done at
5950: 20 66 75 6e 63 74 69 6f 6e 20 73 74 61 72 74 75 function startu
5960: 70 2e 0a 20 20 20 53 6f 20 0a 0a 20 20 20 20 20 p.. So ..
5970: 3e 3e 20 4c 65 74 49 74 42 65 28 20 31 2b 32 2b >> LetItBe( 1+2+
5980: 33 2c 20 69 74 2a 69 74 20 29 0a 20 20 20 20 20 3, it*it ).
5990: 2e 2e 2e 5c 76 61 6c 75 65 2e 64 28 31 37 33 29 ...\value.d(173)
59a0: 3a 20 5b 3c 52 45 50 4c 3e 3a 32 34 3a 31 5d 20 : [<REPL>:24:1]
59b0: 76 61 72 69 61 62 6c 65 20 4c 65 74 49 74 42 65 variable LetItBe
59c0: 20 69 73 20 6e 6f 74 20 73 65 74 20 69 6e 20 6c is not set in l
59d0: 61 79 65 72 20 40 76 61 6c 75 65 0a 0a 20 20 20 ayer @value..
59e0: 79 6f 75 20 63 61 6e 6e 6f 74 20 64 69 72 65 63 you cannot direc
59f0: 74 6c 79 20 75 73 65 20 74 68 65 20 6d 61 63 72 tly use the macr
5a00: 6f 20 69 6e 20 74 68 65 20 73 61 6d 65 20 73 63 o in the same sc
5a10: 6f 70 65 20 61 73 20 74 68 65 20 64 65 66 69 6e ope as the defin
5a20: 69 74 69 6f 6e 2e 0a 20 20 20 59 6f 75 20 6e 65 ition.. You ne
5a30: 65 64 20 74 6f 20 77 72 61 70 20 69 74 20 75 70 ed to wrap it up
5a40: 20 69 6e 20 61 20 66 75 6e 63 74 69 6f 6e 20 28 in a function (
5a50: 6c 69 6b 65 20 74 68 65 20 66 6f 6f 28 29 20 69 like the foo() i
5a60: 6e 20 74 68 65 20 61 62 6f 76 65 20 65 78 61 6d n the above exam
5a70: 70 6c 65 29 2e 0a 3c 2f 70 72 65 3e 0a 29 29 0a ple)..</pre>.)).
5a80: 29 0a 29 29 0a 0a 0a 24 28 53 45 43 54 49 4f 4e ).))...$(SECTION
5a90: 20 42 75 69 6c 74 2d 69 6e 20 50 72 69 6d 69 74 Built-in Primit
5aa0: 69 76 65 73 2c 20 24 28 53 45 43 42 4f 44 59 0a ives, $(SECBODY.
5ab0: 3c 70 3e 0a e7 b5 84 e3 81 bf e8 be bc e3 81 bf <p>.............
5ac0: e9 96 a2 e6 95 b0 e3 83 bb e5 a4 89 e6 95 b0 e3 ................
5ad0: 81 ae e4 b8 80 e8 a6 a7 e3 80 82 0a 3c 2f 70 3e ............</p>
5ae0: 0a 24 28 44 44 4f 43 5f 4d 45 4d 42 45 52 53 0a .$(DDOC_MEMBERS.
5af0: 0a 24 28 53 45 43 54 49 4f 4e 20 e3 83 86 e3 83 .$(SECTION .....
5b00: bc e3 83 96 e3 83 ab e6 93 8d e4 bd 9c 2c 20 24 ............., $
5b10: 28 53 45 43 42 4f 44 59 0a 20 20 24 28 54 41 42 (SECBODY. $(TAB
5b20: 4c 45 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 LE. $(TR $(TH
5b30: 20 7b 7d 29 20 24 28 54 44 20 28 29 29 20 24 28 {}) $(TD ()) $(
5b40: 54 44 20 e7 a9 ba e3 81 ae e3 83 86 e3 83 bc e3 TD .............
5b50: 83 96 e3 83 ab e3 82 92 e4 bd 9c e3 82 8b 29 29 ..............))
5b60: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 2e . $(TR $(TH .
5b70: 29 20 24 28 54 44 20 28 74 2c 20 73 29 29 20 24 ) $(TD (t, s)) $
5b80: 28 54 44 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab (TD ............
5b90: 20 74 20 e3 81 ae e5 90 8d e5 89 8d 20 73 20 e3 t ......... s .
5ba0: 81 ae e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 ................
5bb0: 89 e3 81 ae e5 80 a4 e3 82 92 e5 8f 96 e5 be 97 ................
5bc0: e3 80 82 e3 81 aa e3 81 91 e3 82 8c e3 81 b0 20 ...............
5bd0: 3c 74 74 3e 75 6e 64 65 66 69 6e 65 64 3c 2f 74 <tt>undefined</t
5be0: 74 3e 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 t>)). $(TR $(
5bf0: 54 48 20 2e 3f 29 20 24 28 54 44 20 28 74 2c 20 TH .?) $(TD (t,
5c00: 73 29 29 20 24 28 54 44 20 e3 83 86 e3 83 bc e3 s)) $(TD .......
5c10: 83 96 e3 83 ab 20 74 20 e3 81 ab e5 90 8d e5 89 ..... t ........
5c20: 8d 20 73 20 e3 81 ae e3 83 95 e3 82 a3 e3 83 bc . s ............
5c30: e3 83 ab e3 83 89 e3 81 8c e3 81 82 e3 82 8c e3 ................
5c40: 81 b0 20 31 e3 80 81 e3 81 aa e3 81 91 e3 82 8c .. 1............
5c50: e3 81 b0 20 30 29 29 0a 20 20 20 20 24 28 54 52 ... 0)). $(TR
5c60: 20 24 28 54 48 20 2e 3d 29 20 24 28 54 44 20 28 $(TH .=) $(TD (
5c70: 74 2c 20 73 2c 20 76 29 29 20 24 28 54 44 20 e3 t, s, v)) $(TD .
5c80: 83 86 e3 83 bc e3 83 96 e3 83 ab 20 74 20 e3 82 ........... t ..
5c90: 92 e8 a6 aa e3 81 ab e6 8c 81 e3 81 a1 e3 80 81 ................
5ca0: e5 90 8d e5 89 8d 20 73 20 e3 81 ae e3 83 95 e3 ...... s .......
5cb0: 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ab 20 76 .............. v
5cc0: 20 e3 81 8c e5 85 a5 e3 81 a3 e3 81 9f e3 83 86 ...............
5cd0: e3 83 bc e3 83 96 e3 83 ab e3 82 92 e4 bd 9c e3 ................
5ce0: 82 8b 29 29 0a 20 20 29 0a 29 29 0a 3c 62 72 20 ..)). ).)).<br
5cf0: 2f 3e 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e5 88 />..$(SECTION ..
5d00: b6 e5 be a1 e3 83 95 e3 83 ad e3 83 bc 2c 20 24 ............., $
5d10: 28 53 45 43 42 4f 44 59 0a 20 20 24 28 54 41 42 (SECBODY. $(TAB
5d20: 4c 45 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 LE. $(TR $(TH
5d30: 20 69 66 29 20 24 28 54 44 20 28 6e 2c 20 66 74 if) $(TD (n, ft
5d40: 2c 20 66 65 29 29 20 24 28 54 44 20 6e 20 e3 81 , fe)) $(TD n ..
5d50: 8c e9 9d 9e 20 30 20 e3 81 aa e3 82 89 20 3c 74 .... 0 ...... <t
5d60: 74 3e 66 74 28 29 3c 2f 74 3e e3 80 81 30 20 e3 t>ft()</t>...0 .
5d70: 81 aa e3 82 89 20 3c 74 74 3e 66 65 28 29 3c 2f ..... <tt>fe()</
5d80: 74 74 3e 20 e3 82 92 e5 ae 9f e8 a1 8c 29 29 0a tt> .........)).
5d90: 20 20 29 0a 29 29 0a 3c 62 72 20 2f 3e 0a 0a 24 ).)).<br />..$
5da0: 28 53 45 43 54 49 4f 4e 20 e6 bc 94 e7 ae 97 2c (SECTION ......,
5db0: 20 24 28 53 45 43 42 4f 44 59 0a 20 20 24 28 54 $(SECBODY. $(T
5dc0: 41 42 4c 45 0a 20 20 20 20 24 28 54 52 20 24 28 ABLE. $(TR $(
5dd0: 54 48 20 2b 29 20 24 28 54 44 20 28 6e 2c 20 6d TH +) $(TD (n, m
5de0: 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 20 6e )) $(TD ...... n
5df0: 20 e3 81 a8 e6 95 b4 e6 95 b0 20 6d 20 e3 82 92 ......... m ...
5e00: e8 b6 b3 e3 81 97 e3 81 a6 e8 bf 94 e3 81 99 29 ...............)
5e10: 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 ). $(TR $(TH
5e20: 2d 29 20 24 28 54 44 20 28 6e 2c 20 6d 29 29 20 -) $(TD (n, m))
5e30: 24 28 54 44 20 e6 95 b4 e6 95 b0 e3 81 ae e5 bc $(TD ...........
5e40: 95 e3 81 8d e7 ae 97 29 29 0a 20 20 20 20 24 28 .......)). $(
5e50: 54 52 20 24 28 54 48 20 2a 29 20 24 28 54 44 20 TR $(TH *) $(TD
5e60: 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 (n, m)) $(TD ...
5e70: e6 95 b0 e3 81 ae e6 8e 9b e3 81 91 e7 ae 97 29 ...............)
5e80: 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 ). $(TR $(TH
5e90: 2f 29 20 24 28 54 44 20 28 6e 2c 20 6d 29 29 20 /) $(TD (n, m))
5ea0: 24 28 54 44 20 e6 95 b4 e6 95 b0 e3 81 ae e5 89 $(TD ...........
5eb0: b2 e3 82 8a e7 ae 97 29 29 0a 20 20 20 20 24 28 .......)). $(
5ec0: 54 52 20 24 28 54 48 20 25 29 20 24 28 54 44 20 TR $(TH %) $(TD
5ed0: 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 (n, m)) $(TD ...
5ee0: e6 95 b0 e3 81 ae e5 89 b0 e4 bd 99 29 29 0a 20 ............)).
5ef0: 20 20 20 24 28 54 52 20 24 28 54 48 20 26 61 6d $(TR $(TH &am
5f00: 70 3b 26 61 6d 70 3b 29 20 24 28 54 44 20 28 6e p;&) $(TD (n
5f10: 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 , m)) $(TD .....
5f20: b0 20 6e 20 e3 81 a8 20 6d 20 e3 81 8c e4 b8 a1 . n ... m ......
5f30: e6 96 b9 e9 9d 9e 20 30 20 e3 81 aa e3 82 89 20 ...... 0 ......
5f40: 31 e3 80 81 e3 81 9d e3 82 8c e4 bb a5 e5 a4 96 1...............
5f50: e3 81 a7 e3 81 af 20 30 29 29 0a 20 20 20 20 24 ...... 0)). $
5f60: 28 54 52 20 24 28 54 48 20 7c 7c 29 20 24 28 54 (TR $(TH ||) $(T
5f70: 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6 D (n, m)) $(TD .
5f80: 95 b4 e6 95 b0 20 6e 20 e3 81 a8 20 6d 20 e3 81 ..... n ... m ..
5f90: 8c e3 81 a9 e3 81 a1 e3 82 89 e3 81 8b e9 9d 9e ................
5fa0: 20 30 20 e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 0 ...... 1.....
5fb0: 9d e3 82 8c e4 bb a5 e5 a4 96 e3 81 a7 e3 81 af ................
5fc0: 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 0)). $(TR $(
5fd0: 54 48 20 7e 29 20 24 28 54 44 20 28 61 2c 20 62 TH ~) $(TD (a, b
5fe0: 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 )) $(TD a ... b
5ff0: e3 82 92 e6 96 87 e5 ad 97 e5 88 97 e5 8c 96 e3 ................
6000: 81 97 e3 81 a6 e7 b5 90 e5 90 88 29 29 0a 20 20 ...........)).
6010: 20 20 24 28 54 52 20 24 28 54 48 20 26 6c 74 3b $(TR $(TH <
6020: 29 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 ) $(TD (a, b)) $
6030: 28 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 (TD a ... b ....
6040: af 94 e8 bc 83 29 29 0a 20 20 20 20 24 28 54 52 .....)). $(TR
6050: 20 24 28 54 48 20 26 6c 74 3b 3d 29 20 24 28 54 $(TH <=) $(T
6060: 44 20 28 61 2c 20 62 29 29 20 24 28 54 44 20 61 D (a, b)) $(TD a
6070: 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 ... b .........
6080: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 )). $(TR $(TH
6090: 20 26 67 74 3b 29 20 24 28 54 44 20 28 61 2c 20 >) $(TD (a,
60a0: 62 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 b)) $(TD a ... b
60b0: 20 e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 20 .........)).
60c0: 20 24 28 54 52 20 24 28 54 48 20 26 67 74 3b 3d $(TR $(TH >=
60d0: 29 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 ) $(TD (a, b)) $
60e0: 28 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 (TD a ... b ....
60f0: af 94 e8 bc 83 29 29 0a 20 20 20 20 24 28 54 52 .....)). $(TR
6100: 20 24 28 54 48 20 3d 3d 29 20 24 28 54 44 20 28 $(TH ==) $(TD (
6110: 61 2c 20 62 29 29 20 24 28 54 44 20 61 20 e3 81 a, b)) $(TD a ..
6120: a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 29 29 0a . b .........)).
6130: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 21 3d $(TR $(TH !=
6140: 29 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 ) $(TD (a, b)) $
6150: 28 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 (TD a ... b ....
6160: af 94 e8 bc 83 29 29 0a 20 20 29 0a 3c 70 3e 0a .....)). ).<p>.
6170: e6 b3 a8 e6 84 8f e7 82 b9 e3 81 a8 e3 81 97 e3 ................
6180: 81 a6 e3 80 81 e4 bd 9c e8 80 85 e3 81 ae e8 b6 ................
6190: a3 e5 91 b3 e3 81 ae e5 95 8f e9 a1 8c e3 81 a7 ................
61a0: e3 80 81 3c 74 74 3e 26 61 6d 70 3b 26 61 6d 70 ...<tt>&&
61b0: 3b 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 7c ;</tt> ... <tt>|
61c0: 7c 3c 2f 74 74 3e 20 e3 81 af 20 73 68 6f 72 74 |</tt> ... short
61d0: 2d 63 69 72 63 75 69 74 20 e8 a9 95 e4 be a1 e3 -circuit .......
61e0: 82 92 e3 81 97 e3 81 be e3 81 9b e3 82 93 e3 80 ................
61f0: 82 0a e6 95 b4 e6 95 b0 e6 bc 94 e7 ae 97 e3 81 ................
6200: ae e7 a8 ae e9 a1 9e e3 81 8c e5 b0 91 e3 81 aa ................
6210: e3 81 84 e3 81 ae e3 81 af e3 80 81 44 20 e8 a8 ............D ..
6220: 80 e8 aa 9e e3 81 ae 20 73 74 64 2e 62 69 67 69 ....... std.bigi
6230: 6e 74 20 e3 81 8c e3 83 93 e3 83 83 e3 83 88 e6 nt .............
6240: bc 94 e7 ae 97 e3 81 aa e3 81 a9 e3 82 92 e3 82 ................
6250: b5 e3 83 9d e3 83 bc e3 83 88 e3 81 97 e3 81 a6 ................
6260: e3 81 aa e3 81 84 e3 81 9f e3 82 81 e3 81 a7 e3 ................
6270: 81 99 e3 80 82 0a e6 96 87 e5 ad 97 e5 88 97 e3 ................
6280: 81 8c e7 b5 90 e5 90 88 e3 81 97 e3 81 8b e3 81 ................
6290: a7 e3 81 8d e3 81 aa e3 81 84 e3 81 ae e3 81 af ................
62a0: e3 80 81 e5 8d 98 e3 81 ab e6 89 8b e6 8a 9c e3 ................
62b0: 81 8d e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e ............</p>
62c0: 0a 29 29 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e5 .))..$(SECTION .
62d0: a4 96 e9 83 a8 e3 81 a8 e3 81 ae e3 82 84 e3 82 ................
62e0: 8a e3 81 a8 e3 82 8a 2c 20 24 28 53 45 43 42 4f ......., $(SECBO
62f0: 44 59 0a 20 20 24 28 54 41 42 4c 45 0a 20 20 20 DY. $(TABLE.
6300: 20 24 28 54 52 20 24 28 54 48 20 70 72 69 6e 74 $(TR $(TH print
6310: 29 20 24 28 54 44 20 28 61 29 29 20 24 28 54 44 ) $(TD (a)) $(TD
6320: 20 61 20 e3 82 92 e6 96 87 e5 ad 97 e5 88 97 e5 a .............
6330: 8c 96 e6 a8 99 e6 ba 96 e5 87 ba e5 8a 9b e3 81 ................
6340: ab e6 94 b9 e8 a1 8c e4 bb 98 e3 81 8d e3 81 a7 ................
6350: e8 a1 a8 e7 a4 ba e3 81 97 e3 81 a6 e3 80 81 61 ...............a
6360: 20 e3 82 92 e8 bf 94 e3 81 99 29 29 0a 20 20 20 .........)).
6370: 20 24 28 54 52 20 24 28 54 48 20 61 72 67 76 29 $(TR $(TH argv)
6380: 20 24 28 54 44 20 29 20 24 28 54 44 20 e3 82 b9 $(TD ) $(TD ...
6390: e3 82 af e3 83 aa e3 83 97 e3 83 88 e3 81 ab e6 ................
63a0: b8 a1 e3 81 95 e3 82 8c e3 81 9f e5 bc 95 e6 95 ................
63b0: b0 e6 96 87 e5 ad 97 e5 88 97 e3 81 ae 63 6f 6e .............con
63c0: 73 e3 83 aa e3 82 b9 e3 83 88 29 29 0a 20 20 20 s.........)).
63d0: 20 24 28 54 52 20 24 28 54 48 20 67 65 6e 73 79 $(TR $(TH gensy
63e0: 6d 29 20 24 28 54 44 20 28 29 29 20 24 28 54 44 m) $(TD ()) $(TD
63f0: 20 e3 82 a8 e3 82 bb 67 65 6e 73 79 6d e3 80 82 ......gensym...
6400: e5 a4 89 e6 95 b0 e5 90 8d e3 81 a8 e3 81 97 e3 ................
6410: 81 a6 e4 bb 96 e3 81 a8 e3 81 8b e3 81 b6 e3 82 ................
6420: 89 e3 81 aa e3 81 9d e3 81 86 e3 81 aa e6 96 87 ................
6430: e5 ad 97 e5 88 97 e3 82 92 e8 bf 94 e3 81 97 e3 ................
6440: 81 be e3 81 99 29 29 0a 20 20 20 20 24 28 54 52 .....)). $(TR
6450: 20 24 28 54 48 20 72 61 6e 64 29 20 24 28 54 44 $(TH rand) $(TD
6460: 20 28 6e 29 29 20 24 28 54 44 20 30 20 e4 bb a5 (n)) $(TD 0 ...
6470: e4 b8 8a 20 6e 20 e6 9c aa e6 ba 80 e3 81 ae e8 ... n ..........
6480: 87 aa e7 84 b6 e6 95 b0 e3 82 92 33 31 62 69 74 ...........31bit
6490: e4 bb a5 e5 86 85 e3 81 a7 e3 83 a9 e3 83 b3 e3 ................
64a0: 83 80 e3 83 a0 e3 81 ab e7 94 9f e6 88 90 e3 81 ................
64b0: 97 e3 81 be e3 81 99 29 29 0a 20 20 29 0a 29 29 .......)). ).))
64c0: 0a 3c 62 72 20 2f 3e 0a 0a 24 28 53 45 43 54 49 .<br />..$(SECTI
64d0: 4f 4e 20 e3 83 87 e3 83 bc e3 82 bf e5 9e 8b e5 ON .............
64e0: 88 a4 e5 ae 9a 2c 20 24 28 53 45 43 42 4f 44 59 ....., $(SECBODY
64f0: 0a 20 20 24 28 54 41 42 4c 45 0a 20 20 20 20 24 . $(TABLE. $
6500: 28 54 52 20 24 28 54 48 20 5f 69 73 69 6e 74 29 (TR $(TH _isint)
6510: 20 24 28 54 44 20 28 61 29 29 20 24 28 54 44 20 $(TD (a)) $(TD
6520: 61 20 e3 81 8c e6 95 b4 e6 95 b0 e3 81 aa e3 82 a ..............
6530: 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 . 1.............
6540: 82 8c e3 81 b0 20 30 29 29 0a 20 20 20 20 24 28 ..... 0)). $(
6550: 54 52 20 24 28 54 48 20 5f 69 73 73 74 72 29 20 TR $(TH _isstr)
6560: 24 28 54 44 20 28 61 29 29 20 24 28 54 44 20 61 $(TD (a)) $(TD a
6570: 20 e3 81 8c e6 96 87 e5 ad 97 e5 88 97 e3 81 aa ...............
6580: e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 ... 1...........
6590: 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 20 20 ....... 0)).
65a0: 24 28 54 52 20 24 28 54 48 20 5f 69 73 66 75 6e $(TR $(TH _isfun
65b0: 29 20 24 28 54 44 20 28 61 29 29 20 24 28 54 44 ) $(TD (a)) $(TD
65c0: 20 61 20 e3 81 8c e9 96 a2 e6 95 b0 e3 81 aa e3 a .............
65d0: 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 .. 1............
65e0: e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 20 20 24 ...... 0)). $
65f0: 28 54 52 20 24 28 54 48 20 5f 69 73 74 61 62 6c (TR $(TH _istabl
6600: 65 29 20 24 28 54 44 20 28 61 29 29 20 24 28 54 e) $(TD (a)) $(T
6610: 44 20 61 20 e3 81 8c e3 83 86 e3 83 bc e3 83 96 D a ............
6620: e3 83 ab e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 ......... 1.....
6630: a7 e3 81 aa e3 81 91 e3 82 8c e3 81 b0 20 30 29 ............. 0)
6640: 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 ). $(TR $(TH
6650: 5f 69 73 75 6e 64 65 66 69 6e 65 64 29 20 24 28 _isundefined) $(
6660: 54 44 20 28 61 29 29 20 24 28 54 44 20 61 20 e3 TD (a)) $(TD a .
6670: 81 8c e6 9c aa e5 ae 9a e7 be a9 e5 80 a4 e3 81 ................
6680: aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 .... 1..........
6690: 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 29 ........ 0)). )
66a0: 0a 29 29 0a 29 0a 29 29 0a 0a 29 0a 4d 61 63 72 .)).).))..).Macr
66b0: 6f 73 3a 0a 20 20 20 20 54 49 54 4c 45 3d 50 6f os:. TITLE=Po
66c0: 6c 65 6d 79 20 52 65 66 65 72 65 6e 63 65 20 4d lemy Reference M
66d0: 61 6e 75 61 6c 0a 20 20 20 20 44 4f 43 46 49 4c anual. DOCFIL
66e0: 45 4e 41 4d 45 3d 69 6e 64 65 78 2e 68 74 6d 6c ENAME=index.html
66f0: 0a 20 20 20 20 53 45 43 54 49 4f 4e 3d 24 28 44 . SECTION=$(D
6700: 44 4f 43 5f 44 45 43 4c 20 24 28 44 44 4f 43 5f DOC_DECL $(DDOC_
6710: 50 53 59 4d 42 4f 4c 20 24 31 29 29 20 24 28 44 PSYMBOL $1)) $(D
6720: 44 4f 43 5f 44 45 43 4c 5f 44 44 20 24 32 29 0a DOC_DECL_DD $2).
6730: 20 20 20 20 53 45 43 42 4f 44 59 3d 24 30 0a SECBODY=$0.