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