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 e4 bd ERS.$(SECTION ..
40c0: bf e3 81 84 e6 96 b9 2c 20 24 28 53 45 43 42 4f ......., $(SECBO
40d0: 44 59 0a 3c 70 72 65 3e 0a 20 20 20 57 68 65 6e DY.<pre>. When
40e0: 20 66 75 6e 63 74 69 6f 6e 20 69 73 20 69 6e 76 function is inv
40f0: 6f 6b 65 64 2c 20 69 74 20 66 69 72 73 74 20 72 oked, it first r
4100: 75 6e 20 69 6e 20 74 68 65 20 40 6d 61 63 72 6f un in the @macro
4110: 20 6c 61 79 65 72 2c 20 61 6e 64 20 61 66 74 65 layer, and afte
4120: 72 20 74 68 61 74 2c 0a 20 20 20 69 74 20 72 75 r that,. it ru
4130: 6e 20 69 6e 20 74 68 65 20 6e 65 75 74 72 61 6c n in the neutral
4140: 20 6c 61 79 65 72 2e 20 48 65 72 65 20 69 73 20 layer. Here is
4150: 61 6e 20 65 78 61 6d 70 6c 65 2e 0a 0a 20 20 20 an example...
4160: 20 20 3e 3e 20 40 6d 61 63 72 6f 20 74 77 69 63 >> @macro twic
4170: 65 28 78 29 20 7b 20 78 3b 20 78 20 7d 0a 20 20 e(x) { x; x }.
4180: 20 20 20 3e 3e 20 64 65 66 20 66 28 29 20 7b 20 >> def f() {
4190: 74 77 69 63 65 28 70 72 69 6e 74 28 22 48 65 6c twice(print("Hel
41a0: 6c 6f 22 29 29 3b 20 39 39 39 20 7d 0a 20 20 20 lo")); 999 }.
41b0: 20 20 28 66 75 6e 63 74 69 6f 6e 3a 31 37 33 62 (function:173b
41c0: 36 61 30 3a 31 37 38 39 37 32 30 29 0a 20 20 20 6a0:1789720).
41d0: 20 20 3e 3e 20 66 28 29 0a 20 20 20 20 20 48 65 >> f(). He
41e0: 6c 6c 6f 0a 20 20 20 20 20 48 65 6c 6c 6f 0a 20 llo. Hello.
41f0: 20 20 20 20 39 39 39 0a 0a 20 20 20 57 68 65 6e 999.. When
4200: 20 74 68 65 20 69 6e 74 65 72 70 72 65 74 65 72 the interpreter
4210: 20 65 76 61 6c 75 61 74 65 73 20 66 28 29 2c 20 evaluates f(),
4220: 69 74 20 66 69 72 73 74 20 65 78 65 63 75 74 65 it first execute
4230: 73 0a 20 20 20 20 20 22 74 77 69 63 65 28 70 72 s. "twice(pr
4240: 69 6e 74 28 22 48 65 6c 6c 6f 22 29 29 3b 20 39 int("Hello")); 9
4250: 39 39 22 0a 20 20 20 69 6e 20 74 68 65 20 40 6d 99". in the @m
4260: 61 63 72 6f 20 6c 61 79 65 72 2e 20 42 61 73 69 acro layer. Basi
4270: 63 61 6c 6c 79 20 77 68 61 74 20 69 74 20 64 6f cally what it do
4280: 65 73 20 69 73 20 74 6f 20 6a 75 73 74 20 63 6f es is to just co
4290: 6e 73 74 72 75 63 74 20 69 74 73 20 73 79 6e 74 nstruct its synt
42a0: 61 78 20 74 72 65 65 2e 0a 20 20 20 42 75 74 2c ax tree.. But,
42b0: 20 73 69 6e 63 65 20 77 65 20 68 61 76 65 20 64 since we have d
42c0: 65 66 69 6e 65 64 20 74 68 65 20 22 74 77 69 63 efined the "twic
42d0: 65 22 20 66 75 6e 63 74 69 6f 6e 20 69 6e 20 74 e" function in t
42e0: 68 65 20 40 6d 61 63 72 6f 20 6c 61 79 65 72 2c he @macro layer,
42f0: 20 69 74 20 69 73 0a 20 20 20 65 78 65 63 75 74 it is. execut
4300: 65 20 61 73 20 61 20 66 75 6e 63 74 69 6f 6e 2e e as a function.
4310: 20 52 65 73 75 6c 74 69 6e 67 20 73 79 6e 74 61 Resulting synta
4320: 78 20 74 72 65 65 20 69 73 0a 20 20 20 20 20 22 x tree is. "
4330: 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 3b 20 print("Hello");
4340: 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 3b 20 print("Hello");
4350: 39 39 39 22 0a 20 20 20 61 6e 64 20 74 68 69 73 999". and this
4360: 20 69 73 20 65 78 65 63 75 74 65 64 20 6f 6e 20 is executed on
4370: 74 68 65 20 6e 65 75 74 72 61 6c 20 28 69 6e 20 the neutral (in
4380: 74 68 69 73 20 65 78 61 6d 70 6c 65 2c 20 40 76 this example, @v
4390: 61 6c 75 65 29 20 6c 61 79 65 72 2e 0a 20 20 20 alue) layer..
43a0: 54 68 69 73 20 69 73 20 74 68 65 20 72 65 61 73 This is the reas
43b0: 6f 6e 20 77 68 79 20 79 6f 75 20 73 65 65 20 74 on why you see t
43c0: 77 6f 20 22 48 65 6c 6c 6f 22 73 2e 0a 0a 20 20 wo "Hello"s...
43d0: 20 20 20 20 5b 5b 71 75 6f 74 65 20 61 6e 64 20 [[quote and
43e0: 75 6e 71 75 6f 74 65 5d 5d 0a 0a 20 20 20 48 65 unquote]].. He
43f0: 72 65 20 69 73 20 6d 6f 72 65 20 69 6e 76 6f 6c re is more invol
4400: 76 65 64 20 65 78 61 6d 70 6c 65 20 6f 66 20 63 ved example of c
4410: 6f 64 65 20 67 65 6e 72 61 74 69 6f 6e 2e 0a 20 ode genration..
4420: 20 20 46 72 6f 6d 20 22 78 22 2c 20 69 74 20 67 From "x", it g
4430: 65 6e 65 72 61 74 65 73 20 22 78 2a 78 2a 78 2a enerates "x*x*x*
4440: 78 2a 78 2a 78 2a 78 2a 78 2a 78 2a 78 22 2e 0a x*x*x*x*x*x*x"..
4450: 0a 20 20 20 20 20 40 6d 61 63 72 6f 20 70 6f 77 . @macro pow
4460: 31 30 28 78 29 20 7b 0a 20 20 20 20 20 20 20 40 10(x) {. @
4470: 76 61 6c 75 65 28 0a 20 20 20 20 20 20 20 20 20 value(.
4480: 64 65 66 20 70 6f 77 28 78 2c 20 6e 29 20 7b 0a def pow(x, n) {.
4490: 20 20 20 20 20 20 20 20 20 20 20 69 66 28 20 6e if( n
44a0: 20 3d 3d 20 31 20 29 20 7b 20 78 20 7d 0a 20 20 == 1 ) { x }.
44b0: 20 20 20 20 20 20 20 20 20 65 6c 73 65 20 7b 0a else {.
44c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 40 6d 61 @ma
44d0: 63 72 6f 28 20 40 76 61 6c 75 65 28 78 29 20 2a cro( @value(x) *
44e0: 20 40 76 61 6c 75 65 28 70 6f 77 28 78 2c 6e 2d @value(pow(x,n-
44f0: 31 29 29 20 29 0a 20 20 20 20 20 20 20 20 20 20 1)) ).
4500: 20 7d 0a 20 20 20 20 20 20 20 20 20 7d 0a 20 20 }. }.
4510: 20 20 20 20 20 20 20 69 6e 0a 20 20 20 20 20 20 in.
4520: 20 20 20 20 20 70 6f 77 28 40 6d 61 63 72 6f 28 pow(@macro(
4530: 78 29 2c 31 30 29 0a 20 20 20 20 20 20 20 29 0a x),10). ).
4540: 20 20 20 20 20 7d 3b 0a 0a 20 20 20 48 65 72 65 };.. Here
4550: 2c 20 78 20 69 73 20 61 20 73 79 6e 74 61 78 20 , x is a syntax
4560: 74 72 65 65 20 62 75 74 20 6e 20 69 73 20 61 6e tree but n is an
4570: 20 61 63 74 75 61 6c 20 69 6e 74 65 67 65 72 2e actual integer.
4580: 20 49 66 20 79 6f 75 20 72 65 61 64 20 63 61 72 If you read car
4590: 65 66 75 6c 6c 79 2c 0a 20 20 20 79 6f 75 20 73 efully,. you s
45a0: 68 6f 75 6c 64 20 67 65 74 20 77 68 61 74 20 69 hould get what i
45b0: 73 20 67 6f 69 6e 67 20 6f 6e 2e 20 42 61 73 69 s going on. Basi
45c0: 63 61 6c 6c 79 2c 20 40 6d 61 63 72 6f 20 63 61 cally, @macro ca
45d0: 6e 20 62 65 20 63 6f 6e 73 69 64 65 72 65 64 20 n be considered
45e0: 6c 69 6b 65 0a 20 20 20 71 75 61 73 69 71 75 6f like. quasiquo
45f0: 74 69 6e 67 20 61 6e 64 20 40 76 61 6c 75 65 20 ting and @value
4600: 74 6f 20 62 65 20 61 6e 20 65 73 63 61 70 65 20 to be an escape
4610: 66 72 6f 6d 20 69 74 2e 0a 3c 2f 70 72 65 3e 0a from it..</pre>.
4620: 3c 70 3e 0a e6 a7 8b e6 96 87 e6 9c a8 e3 81 8c <p>.............
4630: e3 81 a9 e3 81 ae e3 82 88 e3 81 86 e3 81 aa e3 ................
4640: 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81 a7 e6 b8 ................
4650: a1 e3 81 95 e3 82 8c e3 81 a6 e3 81 8f e3 82 8b ................
4660: e3 81 8b e3 81 ab e3 81 a4 e3 81 84 e3 81 a6 e3 ................
4670: 81 af e3 80 81 e3 82 bd e3 83 bc e3 82 b9 e3 83 ................
4680: 89 e3 82 ad e3 83 a5 e3 83 a1 e3 83 b3 e3 83 88 ................
4690: e3 81 ae 0a 3c 61 20 68 72 65 66 3d 22 68 74 74 ....<a href="htt
46a0: 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f 73 2e 6e p://www.kmonos.n
46b0: 65 74 2f 72 65 70 6f 73 2f 70 6f 6c 65 6d 79 2f et/repos/polemy/
46c0: 64 6f 63 2f 74 69 70 2f 64 6f 63 2f 61 73 74 2e doc/tip/doc/ast.
46d0: 68 74 6d 6c 22 3e 70 6f 6c 65 6d 79 2e 61 73 74 html">polemy.ast
46e0: 3c 2f 61 3e 0a e3 81 ae e3 83 9a e3 83 bc e3 82 </a>............
46f0: b8 e3 82 92 e3 81 94 e8 a6 a7 e4 b8 8b e3 81 95 ................
4700: e3 81 84 e3 80 82 e4 be 8b e3 81 88 e3 81 b0 e5 ................
4710: a4 89 e6 95 b0 e5 90 8d e3 82 92 e8 a1 a8 e3 81 ................
4720: 99 20 3c 63 6f 64 65 3e 56 61 72 3c 2f 63 6f 64 . <code>Var</cod
4730: 65 3e 20 e3 82 af e3 83 a9 e3 82 b9 e3 81 ab e3 e> .............
4740: 81 af e3 80 81 0a e7 b6 99 e6 89 bf e3 81 ae e5 ................
4750: 88 86 e3 82 82 e5 90 88 e3 82 8f e3 81 9b e3 81 ................
4760: a6 0a 3c 74 74 3e 3c 61 20 68 72 65 66 3d 22 68 ..<tt><a href="h
4770: 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f 73 ttp://www.kmonos
4780: 2e 6e 65 74 2f 72 65 70 6f 73 2f 70 6f 6c 65 6d .net/repos/polem
4790: 79 2f 64 6f 63 2f 74 69 70 2f 64 6f 63 2f 66 61 y/doc/tip/doc/fa
47a0: 69 6c 75 72 65 2e 68 74 6d 6c 22 3e 4c 65 78 50 ilure.html">LexP
47b0: 6f 73 69 74 69 6f 6e 3c 2f 61 3e 20 70 6f 73 3b osition</a> pos;
47c0: 3c 2f 74 74 3e 0a e3 81 a8 20 3c 74 74 3e 73 74 </tt>.... <tt>st
47d0: 72 69 6e 67 20 6e 61 6d 65 3b 3c 2f 74 74 3e 20 ring name;</tt>
47e0: e3 81 ae ef bc 92 e3 81 a4 e3 81 ae e3 83 a1 e3 ................
47f0: 83 b3 e3 83 90 e3 81 8c e3 81 82 e3 82 8b e3 81 ................
4800: ae e3 81 a7 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a .....</p>.<pre>.
4810: 20 20 20 20 7b 20 69 73 3a 20 20 20 22 56 61 72 { is: "Var
4820: 22 2c 0a 20 20 20 20 20 20 70 6f 73 3a 20 20 7b ",. pos: {
4830: 66 69 6c 65 6e 61 6d 65 3a 22 66 6f 6f 2e 70 6d filename:"foo.pm
4840: 79 22 2c 20 6c 69 6e 65 6e 6f 3a 31 32 33 2c 20 y", lineno:123,
4850: 63 6f 6c 75 6d 6e 3a 34 35 7d 2c 0a 20 20 20 20 column:45},.
4860: 20 20 6e 61 6d 65 3a 20 22 78 22 20 7d 0a 3c 2f name: "x" }.</
4870: 70 72 65 3e 0a 3c 70 3e 0a e3 81 93 e3 82 93 e3 pre>.<p>........
4880: 81 aa e6 84 9f e3 81 98 e3 81 ae e3 83 86 e3 83 ................
4890: bc e3 83 96 e3 83 ab e3 81 ab e3 81 aa e3 82 8a ................
48a0: e3 81 be e3 81 99 e3 80 82 0a e3 82 af e3 83 a9 ................
48b0: e3 82 b9 e5 90 8d e3 81 8c 20 3c 74 74 3e 69 73 ......... <tt>is
48c0: 3c 2f 74 74 3e 20 e3 83 95 e3 82 a3 e3 83 bc e3 </tt> ..........
48d0: 83 ab e3 83 89 e3 81 ab e3 80 81 e3 83 a1 e3 83 ................
48e0: b3 e3 83 90 e5 a4 89 e6 95 b0 e3 81 af e3 81 9d ................
48f0: e3 81 ae e3 81 be e3 81 be e3 81 ae e5 90 8d e5 ................
4900: 89 8d e3 81 a7 e5 85 a5 e3 82 8a e3 81 be e3 81 ................
4910: 99 e3 80 82 0a e9 85 8d e5 88 97 e3 83 a1 e3 83 ................
4920: b3 e3 83 90 e3 81 af 20 63 6f 6e 73 20 e3 83 aa ....... cons ...
4930: e3 82 b9 e3 83 88 e3 81 ab e3 81 aa e3 81 a3 e3 ................
4940: 81 a6 e5 85 a5 e3 81 a3 e3 81 a6 e3 81 8d e3 81 ................
4950: be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a ........</p>.)).
4960: 24 28 53 45 43 54 49 4f 4e 20 e5 be ae e5 a6 99 $(SECTION ......
4970: e3 81 aa e6 8c 99 e5 8b 95 2c 20 24 28 53 45 43 ........., $(SEC
4980: 42 4f 44 59 0a 3c 70 72 65 3e 0a 20 20 20 28 72 BODY.<pre>. (r
4990: 61 77 6d 61 63 72 6f 29 20 e3 83 ac e3 82 a4 e3 awmacro) .......
49a0: 83 a4 e3 81 ae e8 a9 b1 0a 0a 20 20 20 20 20 20 ..........
49b0: 5b 5b 6c 69 6d 69 74 61 74 69 6f 6e 73 5d 5d 0a [[limitations]].
49c0: 0a 20 20 20 54 68 69 73 20 40 6d 61 63 72 6f 20 . This @macro
49d0: 6c 61 79 65 72 20 69 73 20 61 20 76 65 72 79 20 layer is a very
49e0: 70 72 69 6d 69 74 69 76 65 20 6f 6e 65 2c 20 61 primitive one, a
49f0: 6e 64 20 6e 6f 74 20 61 20 70 65 72 66 65 63 74 nd not a perfect
4a00: 20 6d 61 63 72 6f 20 6c 61 6e 67 75 61 67 65 2e macro language.
4a10: 0a 20 20 20 54 77 6f 20 6d 61 6a 6f 72 20 6c 69 . Two major li
4a20: 6d 69 74 61 74 69 6f 6e 73 20 61 72 65 20 73 65 mitations are se
4a30: 65 6e 20 69 6e 20 74 68 65 20 66 6f 6c 6c 6f 77 en in the follow
4a40: 69 6e 67 20 22 69 74 22 20 65 78 61 6d 70 6c 65 ing "it" example
4a50: 2e 0a 0a 20 20 20 20 20 3e 3e 20 40 6d 61 63 72 ... >> @macr
4a60: 6f 20 4c 65 74 49 74 42 65 28 78 2c 20 79 29 20 o LetItBe(x, y)
4a70: 7b 20 6c 65 74 20 69 74 20 3d 20 78 20 69 6e 20 { let it = x in
4a80: 79 20 7d 3b 0a 0a 20 20 20 54 68 65 20 76 61 72 y };.. The var
4a90: 69 61 62 6c 65 20 6e 61 6d 65 20 69 73 20 6e 6f iable name is no
4aa0: 74 20 68 79 67 65 6e 69 63 2c 20 61 6e 64 20 73 t hygenic, and s
4ab0: 6f 20 77 69 74 68 6f 75 74 20 61 6e 79 20 65 66 o without any ef
4ac0: 66 6f 72 74 2c 20 74 68 65 20 73 79 6e 74 61 78 fort, the syntax
4ad0: 20 74 72 65 65 20 22 79 22 0a 20 20 20 63 61 6e tree "y". can
4ae0: 20 61 63 63 65 73 73 20 74 68 65 20 6f 75 74 65 access the oute
4af0: 72 20 76 61 72 69 61 62 6c 65 20 22 69 74 22 2e r variable "it".
4b00: 0a 0a 20 20 20 20 20 3e 3e 20 64 65 66 20 66 6f .. >> def fo
4b10: 6f 28 29 20 7b 20 4c 65 74 49 74 42 65 28 20 31 o() { LetItBe( 1
4b20: 2b 32 2b 33 2c 20 69 74 2a 69 74 20 29 20 7d 0a +2+3, it*it ) }.
4b30: 20 20 20 20 20 3e 3e 20 66 6f 6f 28 29 0a 20 20 >> foo().
4b40: 20 20 20 33 36 0a 0a 20 20 20 4f 66 20 63 6f 75 36.. Of cou
4b50: 72 73 65 2c 20 74 68 69 73 20 69 73 20 6e 6f 74 rse, this is not
4b60: 20 6a 75 73 74 20 61 20 6c 69 6d 69 74 61 74 69 just a limitati
4b70: 6f 6e 3b 20 69 74 20 63 61 6e 20 73 6f 6d 65 74 on; it can somet
4b80: 69 6d 65 73 20 61 6c 6c 6f 77 20 75 73 20 74 6f imes allow us to
4b90: 20 77 72 69 74 65 0a 20 20 20 6d 61 6e 79 20 69 write. many i
4ba0: 6e 74 65 72 65 73 74 69 6e 67 20 6d 61 63 72 6f nteresting macro
4bb0: 73 2e 0a 0a 20 20 20 54 68 65 20 6f 74 68 65 72 s... The other
4bc0: 20 70 72 6f 62 6c 65 6d 20 69 73 20 74 68 61 74 problem is that
4bd0: 20 74 68 65 20 6d 61 63 72 6f 20 65 78 70 61 6e the macro expan
4be0: 73 69 6f 6e 20 69 73 20 6f 6e 6c 79 20 64 6f 6e sion is only don
4bf0: 65 20 61 74 20 66 75 6e 63 74 69 6f 6e 20 73 74 e at function st
4c00: 61 72 74 75 70 2e 0a 20 20 20 53 6f 20 0a 0a 20 artup.. So ..
4c10: 20 20 20 20 3e 3e 20 4c 65 74 49 74 42 65 28 20 >> LetItBe(
4c20: 31 2b 32 2b 33 2c 20 69 74 2a 69 74 20 29 0a 20 1+2+3, it*it ).
4c30: 20 20 20 20 2e 2e 2e 5c 76 61 6c 75 65 2e 64 28 ...\value.d(
4c40: 31 37 33 29 3a 20 5b 3c 52 45 50 4c 3e 3a 32 34 173): [<REPL>:24
4c50: 3a 31 5d 20 76 61 72 69 61 62 6c 65 20 4c 65 74 :1] variable Let
4c60: 49 74 42 65 20 69 73 20 6e 6f 74 20 73 65 74 20 ItBe is not set
4c70: 69 6e 20 6c 61 79 65 72 20 40 76 61 6c 75 65 0a in layer @value.
4c80: 0a 20 20 20 79 6f 75 20 63 61 6e 6e 6f 74 20 64 . you cannot d
4c90: 69 72 65 63 74 6c 79 20 75 73 65 20 74 68 65 20 irectly use the
4ca0: 6d 61 63 72 6f 20 69 6e 20 74 68 65 20 73 61 6d macro in the sam
4cb0: 65 20 73 63 6f 70 65 20 61 73 20 74 68 65 20 64 e scope as the d
4cc0: 65 66 69 6e 69 74 69 6f 6e 2e 0a 20 20 20 59 6f efinition.. Yo
4cd0: 75 20 6e 65 65 64 20 74 6f 20 77 72 61 70 20 69 u need to wrap i
4ce0: 74 20 75 70 20 69 6e 20 61 20 66 75 6e 63 74 69 t up in a functi
4cf0: 6f 6e 20 28 6c 69 6b 65 20 74 68 65 20 66 6f 6f on (like the foo
4d00: 28 29 20 69 6e 20 74 68 65 20 61 62 6f 76 65 20 () in the above
4d10: 65 78 61 6d 70 6c 65 29 2e 0a 3c 2f 70 72 65 3e example)..</pre>
4d20: 0a 29 29 0a 29 0a 29 29 0a 0a 0a 24 28 53 45 43 .)).).))...$(SEC
4d30: 54 49 4f 4e 20 42 75 69 6c 74 2d 69 6e 20 50 72 TION Built-in Pr
4d40: 69 6d 69 74 69 76 65 73 2c 20 24 28 53 45 43 42 imitives, $(SECB
4d50: 4f 44 59 0a 3c 70 3e 0a e7 b5 84 e3 81 bf e8 be ODY.<p>.........
4d60: bc e3 81 bf e9 96 a2 e6 95 b0 e3 83 bb e5 a4 89 ................
4d70: e6 95 b0 e3 81 ae e4 b8 80 e8 a6 a7 e3 80 82 0a ................
4d80: 3c 2f 70 3e 0a 24 28 44 44 4f 43 5f 4d 45 4d 42 </p>.$(DDOC_MEMB
4d90: 45 52 53 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e3 ERS..$(SECTION .
4da0: 83 86 e3 83 bc e3 83 96 e3 83 ab e6 93 8d e4 bd ................
4db0: 9c 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 20 24 ., $(SECBODY. $
4dc0: 28 54 41 42 4c 45 0a 20 20 20 20 24 28 54 52 20 (TABLE. $(TR
4dd0: 24 28 54 48 20 7b 7d 29 20 24 28 54 44 20 28 29 $(TH {}) $(TD ()
4de0: 29 20 24 28 54 44 20 e7 a9 ba e3 81 ae e3 83 86 ) $(TD .........
4df0: e3 83 bc e3 83 96 e3 83 ab e3 82 92 e4 bd 9c e3 ................
4e00: 82 8b 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 ..)). $(TR $(
4e10: 54 48 20 2e 29 20 24 28 54 44 20 28 74 2c 20 73 TH .) $(TD (t, s
4e20: 29 29 20 24 28 54 44 20 e3 83 86 e3 83 bc e3 83 )) $(TD ........
4e30: 96 e3 83 ab 20 74 20 e3 81 ae e5 90 8d e5 89 8d .... t .........
4e40: 20 73 20 e3 81 ae e3 83 95 e3 82 a3 e3 83 bc e3 s .............
4e50: 83 ab e3 83 89 e3 81 ae e5 80 a4 e3 82 92 e5 8f ................
4e60: 96 e5 be 97 e3 80 82 e3 81 aa e3 81 91 e3 82 8c ................
4e70: e3 81 b0 20 3c 74 74 3e 75 6e 64 65 66 69 6e 65 ... <tt>undefine
4e80: 64 3c 2f 74 74 3e 29 29 0a 20 20 20 20 24 28 54 d</tt>)). $(T
4e90: 52 20 24 28 54 48 20 2e 3f 29 20 24 28 54 44 20 R $(TH .?) $(TD
4ea0: 28 74 2c 20 73 29 29 20 24 28 54 44 20 e3 83 86 (t, s)) $(TD ...
4eb0: e3 83 bc e3 83 96 e3 83 ab 20 74 20 e3 81 ab e5 ......... t ....
4ec0: 90 8d e5 89 8d 20 73 20 e3 81 ae e3 83 95 e3 82 ..... s ........
4ed0: a3 e3 83 bc e3 83 ab e3 83 89 e3 81 8c e3 81 82 ................
4ee0: e3 82 8c e3 81 b0 20 31 e3 80 81 e3 81 aa e3 81 ...... 1........
4ef0: 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 20 20 ....... 0)).
4f00: 24 28 54 52 20 24 28 54 48 20 2e 3d 29 20 24 28 $(TR $(TH .=) $(
4f10: 54 44 20 28 74 2c 20 73 2c 20 76 29 29 20 24 28 TD (t, s, v)) $(
4f20: 54 44 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab 20 TD ............
4f30: 74 20 e3 82 92 e8 a6 aa e3 81 ab e6 8c 81 e3 81 t ..............
4f40: a1 e3 80 81 e5 90 8d e5 89 8d 20 73 20 e3 81 ae .......... s ...
4f50: e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 ................
4f60: 81 ab 20 76 20 e3 81 8c e5 85 a5 e3 81 a3 e3 81 .. v ...........
4f70: 9f e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 82 92 ................
4f80: e4 bd 9c e3 82 8b 29 29 0a 20 20 29 0a 29 29 0a ......)). ).)).
4f90: 3c 62 72 20 2f 3e 0a 0a 24 28 53 45 43 54 49 4f <br />..$(SECTIO
4fa0: 4e 20 e5 88 b6 e5 be a1 e3 83 95 e3 83 ad e3 83 N ..............
4fb0: bc 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 20 24 ., $(SECBODY. $
4fc0: 28 54 41 42 4c 45 0a 20 20 20 20 24 28 54 52 20 (TABLE. $(TR
4fd0: 24 28 54 48 20 69 66 29 20 24 28 54 44 20 28 6e $(TH if) $(TD (n
4fe0: 2c 20 66 74 2c 20 66 65 29 29 20 24 28 54 44 20 , ft, fe)) $(TD
4ff0: 6e 20 e3 81 8c e9 9d 9e 20 30 20 e3 81 aa e3 82 n ...... 0 .....
5000: 89 20 3c 74 74 3e 66 74 28 29 3c 2f 74 3e e3 80 . <tt>ft()</t>..
5010: 81 30 20 e3 81 aa e3 82 89 20 3c 74 74 3e 66 65 .0 ...... <tt>fe
5020: 28 29 3c 2f 74 74 3e 20 e3 82 92 e5 ae 9f e8 a1 ()</tt> ........
5030: 8c 29 29 0a 20 20 29 0a 29 29 0a 3c 62 72 20 2f .)). ).)).<br /
5040: 3e 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e6 bc 94 >..$(SECTION ...
5050: e7 ae 97 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 ..., $(SECBODY.
5060: 20 24 28 54 41 42 4c 45 0a 20 20 20 20 24 28 54 $(TABLE. $(T
5070: 52 20 24 28 54 48 20 2b 29 20 24 28 54 44 20 28 R $(TH +) $(TD (
5080: 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 n, m)) $(TD ....
5090: 95 b0 20 6e 20 e3 81 a8 e6 95 b4 e6 95 b0 20 6d .. n ......... m
50a0: 20 e3 82 92 e8 b6 b3 e3 81 97 e3 81 a6 e8 bf 94 ...............
50b0: e3 81 99 29 29 0a 20 20 20 20 24 28 54 52 20 24 ...)). $(TR $
50c0: 28 54 48 20 2d 29 20 24 28 54 44 20 28 6e 2c 20 (TH -) $(TD (n,
50d0: 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 e3 m)) $(TD .......
50e0: 81 ae e5 bc 95 e3 81 8d e7 ae 97 29 29 0a 20 20 ...........)).
50f0: 20 20 24 28 54 52 20 24 28 54 48 20 2a 29 20 24 $(TR $(TH *) $
5100: 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 (TD (n, m)) $(TD
5110: 20 e6 95 b4 e6 95 b0 e3 81 ae e6 8e 9b e3 81 91 ...............
5120: e7 ae 97 29 29 0a 20 20 20 20 24 28 54 52 20 24 ...)). $(TR $
5130: 28 54 48 20 2f 29 20 24 28 54 44 20 28 6e 2c 20 (TH /) $(TD (n,
5140: 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 e3 m)) $(TD .......
5150: 81 ae e5 89 b2 e3 82 8a e7 ae 97 29 29 0a 20 20 ...........)).
5160: 20 20 24 28 54 52 20 24 28 54 48 20 25 29 20 24 $(TR $(TH %) $
5170: 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 (TD (n, m)) $(TD
5180: 20 e6 95 b4 e6 95 b0 e3 81 ae e5 89 b0 e4 bd 99 ...............
5190: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 )). $(TR $(TH
51a0: 20 26 61 6d 70 3b 26 61 6d 70 3b 29 20 24 28 54 &&) $(T
51b0: 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6 D (n, m)) $(TD .
51c0: 95 b4 e6 95 b0 20 6e 20 e3 81 a8 20 6d 20 e3 81 ..... n ... m ..
51d0: 8c e4 b8 a1 e6 96 b9 e9 9d 9e 20 30 20 e3 81 aa .......... 0 ...
51e0: e3 82 89 20 31 e3 80 81 e3 81 9d e3 82 8c e4 bb ... 1...........
51f0: a5 e5 a4 96 e3 81 a7 e3 81 af 20 30 29 29 0a 20 .......... 0)).
5200: 20 20 20 24 28 54 52 20 24 28 54 48 20 7c 7c 29 $(TR $(TH ||)
5210: 20 24 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 $(TD (n, m)) $(
5220: 54 44 20 e6 95 b4 e6 95 b0 20 6e 20 e3 81 a8 20 TD ...... n ...
5230: 6d 20 e3 81 8c e3 81 a9 e3 81 a1 e3 82 89 e3 81 m ..............
5240: 8b e9 9d 9e 20 30 20 e3 81 aa e3 82 89 20 31 e3 .... 0 ...... 1.
5250: 80 81 e3 81 9d e3 82 8c e4 bb a5 e5 a4 96 e3 81 ................
5260: a7 e3 81 af 20 30 29 29 0a 20 20 20 20 24 28 54 .... 0)). $(T
5270: 52 20 24 28 54 48 20 7e 29 20 24 28 54 44 20 28 R $(TH ~) $(TD (
5280: 61 2c 20 62 29 29 20 24 28 54 44 20 61 20 e3 81 a, b)) $(TD a ..
5290: a8 20 62 20 e3 82 92 e6 96 87 e5 ad 97 e5 88 97 . b ............
52a0: e5 8c 96 e3 81 97 e3 81 a6 e7 b5 90 e5 90 88 29 ...............)
52b0: 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 ). $(TR $(TH
52c0: 26 6c 74 3b 29 20 24 28 54 44 20 28 61 2c 20 62 <) $(TD (a, b
52d0: 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 )) $(TD a ... b
52e0: e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 20 20 .........)).
52f0: 24 28 54 52 20 24 28 54 48 20 26 6c 74 3b 3d 29 $(TR $(TH <=)
5300: 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 28 $(TD (a, b)) $(
5310: 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af TD a ... b .....
5320: 94 e8 bc 83 29 29 0a 20 20 20 20 24 28 54 52 20 ....)). $(TR
5330: 24 28 54 48 20 26 67 74 3b 29 20 24 28 54 44 20 $(TH >) $(TD
5340: 28 61 2c 20 62 29 29 20 24 28 54 44 20 61 20 e3 (a, b)) $(TD a .
5350: 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 29 29 .. b .........))
5360: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 26 . $(TR $(TH &
5370: 67 74 3b 3d 29 20 24 28 54 44 20 28 61 2c 20 62 gt;=) $(TD (a, b
5380: 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 )) $(TD a ... b
5390: e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 20 20 .........)).
53a0: 24 28 54 52 20 24 28 54 48 20 3d 3d 29 20 24 28 $(TR $(TH ==) $(
53b0: 54 44 20 28 61 2c 20 62 29 29 20 24 28 54 44 20 TD (a, b)) $(TD
53c0: 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc a ... b ........
53d0: 83 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 .)). $(TR $(T
53e0: 48 20 21 3d 29 20 24 28 54 44 20 28 61 2c 20 62 H !=) $(TD (a, b
53f0: 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 )) $(TD a ... b
5400: e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 29 0a .........)). ).
5410: 3c 70 3e 0a e6 b3 a8 e6 84 8f e7 82 b9 e3 81 a8 <p>.............
5420: e3 81 97 e3 81 a6 e3 80 81 e4 bd 9c e8 80 85 e3 ................
5430: 81 ae e8 b6 a3 e5 91 b3 e3 81 ae e5 95 8f e9 a1 ................
5440: 8c e3 81 a7 e3 80 81 3c 74 74 3e 26 61 6d 70 3b .......<tt>&
5450: 26 61 6d 70 3b 3c 2f 74 74 3e 20 e3 81 a8 20 3c &</tt> ... <
5460: 74 74 3e 7c 7c 3c 2f 74 74 3e 20 e3 81 af 20 73 tt>||</tt> ... s
5470: 68 6f 72 74 2d 63 69 72 63 75 69 74 20 e8 a9 95 hort-circuit ...
5480: e4 be a1 e3 82 92 e3 81 97 e3 81 be e3 81 9b e3 ................
5490: 82 93 e3 80 82 0a e6 95 b4 e6 95 b0 e6 bc 94 e7 ................
54a0: ae 97 e3 81 ae e7 a8 ae e9 a1 9e e3 81 8c e5 b0 ................
54b0: 91 e3 81 aa e3 81 84 e3 81 ae e3 81 af e3 80 81 ................
54c0: 44 20 e8 a8 80 e8 aa 9e e3 81 ae 20 73 74 64 2e D ......... std.
54d0: 62 69 67 69 6e 74 20 e3 81 8c e3 83 93 e3 83 83 bigint .........
54e0: e3 83 88 e6 bc 94 e7 ae 97 e3 81 aa e3 81 a9 e3 ................
54f0: 82 92 e3 82 b5 e3 83 9d e3 83 bc e3 83 88 e3 81 ................
5500: 97 e3 81 a6 e3 81 aa e3 81 84 e3 81 9f e3 82 81 ................
5510: e3 81 a7 e3 81 99 e3 80 82 0a e6 96 87 e5 ad 97 ................
5520: e5 88 97 e3 81 8c e7 b5 90 e5 90 88 e3 81 97 e3 ................
5530: 81 8b e3 81 a7 e3 81 8d e3 81 aa e3 81 84 e3 81 ................
5540: ae e3 81 af e3 80 81 e5 8d 98 e3 81 ab e6 89 8b ................
5550: e6 8a 9c e3 81 8d e3 81 a7 e3 81 99 e3 80 82 0a ................
5560: 3c 2f 70 3e 0a 29 29 0a 0a 24 28 53 45 43 54 49 </p>.))..$(SECTI
5570: 4f 4e 20 e5 a4 96 e9 83 a8 e3 81 a8 e3 81 ae e3 ON .............
5580: 82 84 e3 82 8a e3 81 a8 e3 82 8a 2c 20 24 28 53 ..........., $(S
5590: 45 43 42 4f 44 59 0a 20 20 24 28 54 41 42 4c 45 ECBODY. $(TABLE
55a0: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 70 . $(TR $(TH p
55b0: 72 69 6e 74 29 20 24 28 54 44 20 28 61 29 29 20 rint) $(TD (a))
55c0: 24 28 54 44 20 61 20 e3 82 92 e6 96 87 e5 ad 97 $(TD a .........
55d0: e5 88 97 e5 8c 96 e6 a8 99 e6 ba 96 e5 87 ba e5 ................
55e0: 8a 9b e3 81 ab e6 94 b9 e8 a1 8c e4 bb 98 e3 81 ................
55f0: 8d e3 81 a7 e8 a1 a8 e7 a4 ba e3 81 97 e3 81 a6 ................
5600: e3 80 81 61 20 e3 82 92 e8 bf 94 e3 81 99 29 29 ...a .........))
5610: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 61 . $(TR $(TH a
5620: 72 67 76 29 20 24 28 54 44 20 29 20 24 28 54 44 rgv) $(TD ) $(TD
5630: 20 e3 82 b9 e3 82 af e3 83 aa e3 83 97 e3 83 88 ...............
5640: e3 81 ab e6 b8 a1 e3 81 95 e3 82 8c e3 81 9f e5 ................
5650: bc 95 e6 95 b0 e6 96 87 e5 ad 97 e5 88 97 e3 81 ................
5660: ae 63 6f 6e 73 e3 83 aa e3 82 b9 e3 83 88 29 29 .cons.........))
5670: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 67 . $(TR $(TH g
5680: 65 6e 73 79 6d 29 20 24 28 54 44 20 28 29 29 20 ensym) $(TD ())
5690: 24 28 54 44 20 e3 82 a8 e3 82 bb 67 65 6e 73 79 $(TD ......gensy
56a0: 6d e3 80 82 e5 a4 89 e6 95 b0 e5 90 8d e3 81 a8 m...............
56b0: e3 81 97 e3 81 a6 e4 bb 96 e3 81 a8 e3 81 8b e3 ................
56c0: 81 b6 e3 82 89 e3 81 aa e3 81 9d e3 81 86 e3 81 ................
56d0: aa e6 96 87 e5 ad 97 e5 88 97 e3 82 92 e8 bf 94 ................
56e0: e3 81 97 e3 81 be e3 81 99 29 29 0a 20 20 20 20 .........)).
56f0: 24 28 54 52 20 24 28 54 48 20 72 61 6e 64 29 20 $(TR $(TH rand)
5700: 24 28 54 44 20 28 6e 29 29 20 24 28 54 44 20 30 $(TD (n)) $(TD 0
5710: 20 e4 bb a5 e4 b8 8a 20 6e 20 e6 9c aa e6 ba 80 ...... n ......
5720: e3 81 ae e8 87 aa e7 84 b6 e6 95 b0 e3 82 92 33 ...............3
5730: 31 62 69 74 e4 bb a5 e5 86 85 e3 81 a7 e3 83 a9 1bit............
5740: e3 83 b3 e3 83 80 e3 83 a0 e3 81 ab e7 94 9f e6 ................
5750: 88 90 e3 81 97 e3 81 be e3 81 99 29 29 0a 20 20 ...........)).
5760: 29 0a 29 29 0a 3c 62 72 20 2f 3e 0a 0a 24 28 53 ).)).<br />..$(S
5770: 45 43 54 49 4f 4e 20 e3 83 87 e3 83 bc e3 82 bf ECTION .........
5780: e5 9e 8b e5 88 a4 e5 ae 9a 2c 20 24 28 53 45 43 ........., $(SEC
5790: 42 4f 44 59 0a 20 20 24 28 54 41 42 4c 45 0a 20 BODY. $(TABLE.
57a0: 20 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 73 $(TR $(TH _is
57b0: 69 6e 74 29 20 24 28 54 44 20 28 61 29 29 20 24 int) $(TD (a)) $
57c0: 28 54 44 20 61 20 e3 81 8c e6 95 b4 e6 95 b0 e3 (TD a ..........
57d0: 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa ..... 1.........
57e0: e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 ......... 0)).
57f0: 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 73 73 $(TR $(TH _iss
5800: 74 72 29 20 24 28 54 44 20 28 61 29 29 20 24 28 tr) $(TD (a)) $(
5810: 54 44 20 61 20 e3 81 8c e6 96 87 e5 ad 97 e5 88 TD a ...........
5820: 97 e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 ....... 1.......
5830: 81 aa e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a ........... 0)).
5840: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 $(TR $(TH _i
5850: 73 66 75 6e 29 20 24 28 54 44 20 28 61 29 29 20 sfun) $(TD (a))
5860: 24 28 54 44 20 61 20 e3 81 8c e9 96 a2 e6 95 b0 $(TD a .........
5870: e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 ...... 1........
5880: aa e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 .......... 0)).
5890: 20 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 73 $(TR $(TH _is
58a0: 74 61 62 6c 65 29 20 24 28 54 44 20 28 61 29 29 table) $(TD (a))
58b0: 20 24 28 54 44 20 61 20 e3 81 8c e3 83 86 e3 83 $(TD a ........
58c0: bc e3 83 96 e3 83 ab e3 81 aa e3 82 89 20 31 e3 ............. 1.
58d0: 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c e3 81 ................
58e0: b0 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 24 . 0)). $(TR $
58f0: 28 54 48 20 5f 69 73 75 6e 64 65 66 69 6e 65 64 (TH _isundefined
5900: 29 20 24 28 54 44 20 28 61 29 29 20 24 28 54 44 ) $(TD (a)) $(TD
5910: 20 61 20 e3 81 8c e6 9c aa e5 ae 9a e7 be a9 e5 a .............
5920: 80 a4 e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 ........ 1......
5930: e3 81 aa e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 ............ 0))
5940: 0a 20 20 29 0a 29 29 0a 29 0a 29 29 0a 0a 29 0a . ).)).).))..).
5950: 4d 61 63 72 6f 73 3a 0a 20 20 20 20 54 49 54 4c Macros:. TITL
5960: 45 3d 50 6f 6c 65 6d 79 20 52 65 66 65 72 65 6e E=Polemy Referen
5970: 63 65 20 4d 61 6e 75 61 6c 0a 20 20 20 20 44 4f ce Manual. DO
5980: 43 46 49 4c 45 4e 41 4d 45 3d 69 6e 64 65 78 2e CFILENAME=index.
5990: 68 74 6d 6c 0a 20 20 20 20 53 45 43 54 49 4f 4e html. SECTION
59a0: 3d 24 28 44 44 4f 43 5f 44 45 43 4c 20 24 28 44 =$(DDOC_DECL $(D
59b0: 44 4f 43 5f 50 53 59 4d 42 4f 4c 20 24 31 29 29 DOC_PSYMBOL $1))
59c0: 20 24 28 44 44 4f 43 5f 44 45 43 4c 5f 44 44 20 $(DDOC_DECL_DD
59d0: 24 32 29 0a 20 20 20 20 53 45 43 42 4f 44 59 3d $2). SECBODY=
59e0: 24 30 0a $0.