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 0a 3c 70 x, $(SECBODY..<p
0170: 3e 0a e6 96 87 e6 b3 95 e3 81 ab e3 81 a4 e3 81 >...............
0180: 84 e3 81 a6 e3 80 82 0a e5 ad 97 e5 8f a5 e8 a7 ................
0190: a3 e6 9e 90 e3 81 8c e3 82 8f e3 82 8a e3 81 a8 ................
01a0: e9 81 a9 e5 bd 93 e3 81 aa e3 81 ae e3 81 a7 e3 ................
01b0: 80 81 0a e5 a4 89 e6 95 b0 e5 ae a3 e8 a8 80 e3 ................
01c0: 81 ae e5 a4 89 e6 95 b0 e5 90 8d e3 81 ae e3 81 ................
01d0: a8 e3 81 93 e3 82 8d e3 81 ab e3 80 81 e6 95 b0 ................
01e0: e5 ad 97 e3 82 92 e5 a4 89 e6 95 b0 e5 90 8d e3 ................
01f0: 81 a8 e3 81 97 e3 81 a6 e4 bd bf e3 81 88 e3 81 ................
0200: a6 e5 8f 82 e7 85 a7 e3 81 a7 e3 81 8d e3 81 aa ................
0210: e3 81 84 e5 a4 89 e6 95 b0 e3 81 8c e4 bd 9c e3 ................
0220: 82 8c e3 81 9f e3 82 8a e3 80 81 0a e4 ba 88 e7 ................
0230: b4 84 e8 aa 9e e3 81 af e4 ba 88 e7 b4 84 e8 aa ................
0240: 9e e3 81 a8 e3 81 97 e3 81 a6 e8 a7 a3 e9 87 88 ................
0250: e3 81 95 e3 82 8c e5 be 97 e3 81 aa e3 81 84 e3 ................
0260: 81 a8 e3 81 93 e3 82 8d e3 81 a7 e3 81 af e6 99 ................
0270: ae e9 80 9a e3 81 ab e5 a4 89 e6 95 b0 e5 90 8d ................
0280: e3 81 a8 e3 81 97 e3 81 a6 e4 bd bf e3 81 88 e3 ................
0290: 81 a1 e3 82 83 e3 81 a3 e3 81 9f e3 82 8a e3 81 ................
02a0: 97 e3 81 a6 e3 80 81 0a e5 81 b6 e3 81 ab e3 81 ................
02b0: a8 e3 82 93 e3 81 a7 e3 82 82 e3 81 aa e3 81 84 ................
02c0: e8 a6 8b e3 81 8b e3 81 91 e3 81 ae e3 82 bd e3 ................
02d0: 83 bc e3 82 b9 e3 81 8c e6 a7 8b e6 96 87 e8 a7 ................
02e0: a3 e6 9e 90 e9 80 9a e3 82 8a e3 81 be e3 81 99 ................
02f0: e3 81 8c e3 80 81 e6 b0 97 e3 81 ab e3 81 97 e3 ................
0300: 81 aa e3 81 84 e3 81 a7 e9 81 a9 e5 bd 93 e3 81 ................
0310: ab e4 bd bf e3 81 a3 e3 81 a6 e4 b8 8b e3 81 95 ................
0320: e3 81 84 e3 80 82 0a 3c 2f 70 3e 0a 0a 24 28 44 .......</p>..$(D
0330: 44 4f 43 5f 4d 45 4d 42 45 52 53 0a 0a 24 28 53 DOC_MEMBERS..$(S
0340: 45 43 54 49 4f 4e 20 e6 96 87 e5 ad 97 e3 82 b3 ECTION .........
0350: e3 83 bc e3 83 89 2c 20 24 28 53 45 43 42 4f 44 ......, $(SECBOD
0360: 59 0a 3c 70 3e 0a 55 54 46 2d 38 20 e3 81 ae e3 Y.<p>.UTF-8 ....
0370: 81 bf e5 af be e5 bf 9c e3 81 a7 e3 81 99 e3 80 ................
0380: 82 0a 3c 2f 70 3e 0a 29 29 0a 0a 24 28 53 45 43 ..</p>.))..$(SEC
0390: 54 49 4f 4e 20 e3 82 b3 e3 83 a1 e3 83 b3 e3 83 TION ...........
03a0: 88 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e ., $(SECBODY.<p>
03b0: 0a e8 a1 8c e3 82 b3 e3 83 a1 e3 83 b3 e3 83 88 ................
03c0: e3 81 af 20 3c 74 74 3e 23 3c 2f 74 74 3e 20 e3 ... <tt>#</tt> .
03d0: 81 8b e3 82 89 e6 94 b9 e8 a1 8c e3 81 be e3 81 ................
03e0: a7 e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a ...........</p>.
03f0: 3c 70 3e 0a e3 83 96 e3 83 ad e3 83 83 e3 82 af <p>.............
0400: e3 82 b3 e3 83 a1 e3 83 b3 e3 83 88 e3 81 af e3 ................
0410: 81 82 e3 82 8a e3 81 be e3 81 9b e3 82 93 e3 80 ................
0420: 82 0a 3c 2f 70 3e 0a 29 29 0a 0a 24 28 53 45 43 ..</p>.))..$(SEC
0430: 54 49 4f 4e 20 42 4e 46 2c 20 24 28 53 45 43 42 TION BNF, $(SECB
0440: 4f 44 59 0a 3c 70 72 65 3e 0a 20 49 44 20 20 20 ODY.<pre>. ID
0450: 20 3a 3a 3d 20 e9 81 a9 e5 bd 93 e3 81 ab e8 ad ::= ...........
0460: 98 e5 88 a5 e5 ad 90 e3 81 a3 e3 81 bd e3 81 84 ................
0470: e6 96 87 e5 ad 97 e5 88 97 0a 20 4c 41 59 45 52 .......... LAYER
0480: 20 3a 3a 3d 20 22 40 22 20 49 44 0a 0a 20 45 20 ::= "@" ID.. E
0490: 3a 3a 3d 0a 20 20 20 24 28 44 5f 43 4f 4d 4d 45 ::=. $(D_COMME
04a0: 4e 54 20 23 20 e5 a4 89 e6 95 b0 e5 ae a3 e8 a8 NT # ...........
04b0: 80 29 0a 20 20 20 20 20 7c 20 28 22 76 61 72 22 .). | ("var"
04c0: 7c 22 6c 65 74 22 7c 22 64 65 66 22 7c 4c 41 59 |"let"|"def"|LAY
04d0: 45 52 29 20 49 44 20 22 3d 22 20 45 20 28 22 3b ER) ID "=" E (";
04e0: 22 7c 22 69 6e 22 29 20 45 0a 20 20 20 20 20 7c "|"in") E. |
04f0: 20 28 22 76 61 72 22 7c 22 6c 65 74 22 7c 22 64 ("var"|"let"|"d
0500: 65 66 22 7c 4c 41 59 45 52 29 20 49 44 20 22 28 ef"|LAYER) ID "(
0510: 22 20 50 41 52 41 4d 53 20 22 29 22 20 22 7b 22 " PARAMS ")" "{"
0520: 20 45 20 22 7d 22 20 28 22 3b 22 7c 22 69 6e 22 E "}" (";"|"in"
0530: 29 20 45 0a 20 20 20 20 20 7c 20 28 22 76 61 72 ) E. | ("var
0540: 22 7c 22 6c 65 74 22 7c 22 64 65 66 22 7c 4c 41 "|"let"|"def"|LA
0550: 59 45 52 29 20 49 44 20 22 3d 22 20 45 0a 20 20 YER) ID "=" E.
0560: 20 20 20 7c 20 28 22 76 61 72 22 7c 22 6c 65 74 | ("var"|"let
0570: 22 7c 22 64 65 66 22 7c 4c 41 59 45 52 29 20 49 "|"def"|LAYER) I
0580: 44 20 22 28 22 20 50 41 52 41 4d 53 20 22 29 22 D "(" PARAMS ")"
0590: 20 22 7b 22 20 45 20 22 7d 22 0a 0a 20 20 20 24 "{" E "}".. $
05a0: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 aa (D_COMMENT # ...
05b0: e3 83 86 e3 83 a9 e3 83 ab 29 0a 20 20 20 20 20 .........).
05c0: 7c 20 49 4e 54 45 47 45 52 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: 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e9 $(D_COMMENT # .
05f0: 9d 9e e8 b2 a0 e6 95 b4 e6 95 b0 29 0a 20 20 20 ...........).
0600: 20 20 7c 20 53 54 52 49 4e 47 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 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 $(D_COMMENT #
0630: 20 22 22 20 e3 81 a7 e3 81 8f e3 81 8f e3 81 a3 "" ............
0640: e3 81 9f e6 96 87 e5 ad 97 e5 88 97 e3 80 82 5c ...............\
0650: 22 20 e3 81 a8 20 5c 5c 20 e3 81 af e4 bd bf e3 " ... \\ .......
0660: 81 88 e3 82 8b 29 0a 20 20 20 20 20 7c 20 22 7b .....). | "{
0670: 22 20 45 4e 54 52 59 53 20 22 7d 22 20 20 20 20 " ENTRYS "}"
0680: 20 20 20 20 20 20 20 20 20 20 20 20 20 24 28 44 $(D
0690: 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 86 e3 83 _COMMENT # .....
06a0: bc e3 83 96 e3 83 ab 29 0a 20 20 20 20 20 7c 20 .......). |
06b0: 22 66 75 6e 22 20 22 28 22 20 50 41 52 41 4d 53 "fun" "(" PARAMS
06c0: 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 20 24 ")" "{" E "}" $
06d0: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e7 84 a1 (D_COMMENT # ...
06e0: e5 90 8d e9 96 a2 e6 95 b0 29 0a 20 20 20 20 20 .........).
06f0: 7c 20 20 22 ce bb 22 20 22 28 22 20 50 41 52 41 | ".." "(" PARA
0700: 4d 53 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 MS ")" "{" E "}"
0710: 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e7 $(D_COMMENT # .
0720: 84 a1 e5 90 8d e9 96 a2 e6 95 b0 29 0a 0a 20 20 ...........)..
0730: 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e9 $(D_COMMENT # .
0740: 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 81 ................
0750: 97 29 0a 20 20 20 20 20 7c 20 45 20 22 28 22 20 .). | E "("
0760: 41 52 47 53 22 29 22 0a 0a 20 20 20 20 20 20 20 ARGS")"..
0770: 20 20 77 68 65 72 65 20 20 20 20 41 52 47 53 20 where ARGS
0780: 3a 3a 3d 20 45 20 22 2c 22 20 2e 2e 2e 20 22 2c ::= E "," ... ",
0790: 22 20 45 0a 20 20 20 20 20 20 20 20 20 20 20 20 " E.
07a0: 20 20 20 20 50 41 52 41 4d 53 20 3a 3a 3d 20 28 PARAMS ::= (
07b0: 49 44 7c 4c 41 59 45 52 29 2b 20 22 2c 22 20 2e ID|LAYER)+ "," .
07c0: 2e 2e 20 22 2c 22 20 28 49 44 7c 4c 41 59 45 52 .. "," (ID|LAYER
07d0: 29 2b 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 )+.
07e0: 20 20 20 45 4e 54 52 59 53 20 3a 3a 3d 20 49 44 ENTRYS ::= ID
07f0: 20 22 3a 22 20 45 20 20 20 20 22 2c 22 20 2e 2e ":" E "," ..
0800: 2e 20 22 2c 22 20 49 44 20 22 3a 22 20 45 0a 0a . "," ID ":" E..
0810: 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 $(D_COMMENT #
0820: 20 e6 bc 94 e7 ae 97 e5 ad 90 e3 81 aa e3 81 a9 ...............
0830: 29 0a 20 20 20 20 20 7c 20 22 28 22 20 45 20 22 ). | "(" E "
0840: 29 22 20 20 20 20 20 20 20 20 20 20 20 20 20 20 )"
0850: 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 $(D_COMMENT #
0860: 20 e3 81 9f e3 81 a0 e3 81 ae e6 8b ac e5 bc a7 ...............
0870: 29 0a 20 20 20 20 20 7c 20 45 20 42 49 4e 4f 50 ). | E BINOP
0880: 20 45 20 20 20 20 20 20 20 20 20 20 20 20 20 20 E
0890: 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 $(D_COMMENT #
08a0: 20 e4 ba 8c e9 a0 85 e6 bc 94 e7 ae 97 e5 ad 90 ...............
08b0: e3 81 84 e3 82 8d e3 81 84 e3 82 8d 29 0a 20 20 ............).
08c0: 20 20 20 7c 20 45 20 22 2e 22 20 20 49 44 20 20 | E "." ID
08d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24 $
08e0: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 83 86 (D_COMMENT # ...
08f0: e3 83 bc e3 83 96 e3 83 ab e3 81 ae e3 83 95 e3 ................
0900: 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 82 a2 e3 82 ................
0910: af e3 82 bb e3 82 b9 29 0a 20 20 20 20 20 7c 20 .......). |
0920: 45 20 22 2e 3f 22 20 49 44 20 20 20 20 20 20 20 E ".?" ID
0930: 20 20 20 20 20 20 20 20 20 20 24 28 44 5f 43 4f $(D_CO
0940: 4d 4d 45 4e 54 20 23 20 e3 83 86 e3 83 bc e3 83 MMENT # ........
0950: 96 e3 83 ab e3 81 ab e3 83 95 e3 82 a3 e3 83 bc ................
0960: e3 83 ab e3 83 89 e3 81 8c e3 81 82 e3 82 8b e3 ................
0970: 81 8b e5 90 a6 e3 81 8b 29 0a 20 20 20 20 20 7c ........). |
0980: 20 45 20 22 7b 22 20 45 4e 54 52 59 53 20 22 7d E "{" ENTRYS "}
0990: 22 20 20 20 20 20 20 20 20 20 20 24 28 44 5f 43 " $(D_C
09a0: 4f 4d 4d 45 4e 54 20 23 20 e3 83 86 e3 83 bc e3 OMMENT # .......
09b0: 83 96 e3 83 ab e6 8b a1 e5 bc b5 29 0a 20 20 20 ...........).
09c0: 20 20 7c 20 22 69 66 22 20 22 28 22 20 45 20 22 | "if" "(" E "
09d0: 29 22 20 22 7b 22 20 45 20 22 7d 22 0a 20 20 20 )" "{" E "}".
09e0: 20 20 7c 20 22 69 66 22 20 22 28 22 20 45 20 22 | "if" "(" E "
09f0: 29 22 20 22 7b 22 20 45 20 22 7d 22 20 22 65 6c )" "{" E "}" "el
0a00: 73 65 20 22 7b 22 20 45 20 22 7d 22 0a 0a 20 20 se "{" E "}"..
0a10: 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 $(D_COMMENT # .
0a20: 83 91 e3 82 bf e3 83 bc e3 83 b3 e3 83 9e e3 83 ................
0a30: 83 e3 83 81 29 0a 20 20 20 20 20 7c 20 22 63 61 ....). | "ca
0a40: 73 65 22 20 22 28 22 20 45 20 22 29 22 20 28 22 se" "(" E ")" ("
0a50: 77 68 65 6e 22 20 22 28 22 20 50 41 54 54 45 52 when" "(" PATTER
0a60: 4e 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 29 N ")" "{" E "}")
0a70: 2a 20 0a 0a 20 20 20 20 20 20 20 20 20 77 68 65 * .. whe
0a80: 72 65 20 50 41 54 54 45 52 4e 20 3a 3a 3d 20 e5 re PATTERN ::= .
0a90: bc 8f e3 81 8c e3 81 a0 e3 81 84 e3 81 9f e3 81 ................
0aa0: 84 e3 81 aa e3 82 93 e3 81 a7 e3 82 82 e6 9b b8 ................
0ab0: e3 81 91 e3 82 8b e6 b0 97 e3 81 8c e3 81 99 e3 ................
0ac0: 82 8b 0a 0a 20 20 20 24 28 44 5f 43 4f 4d 4d 45 .... $(D_COMME
0ad0: 4e 54 20 23 20 e3 83 ac e3 82 a4 e3 83 a4 e6 8c NT # ...........
0ae0: 87 e5 ae 9a e5 ae 9f e8 a1 8c 29 0a 20 20 20 20 ..........).
0af0: 20 7c 20 4c 41 59 45 52 20 22 28 22 20 45 20 22 | LAYER "(" E "
0b00: 29 22 0a 3c 2f 70 72 65 3e 0a 29 29 0a 0a 24 28 )".</pre>.))..$(
0b10: 53 45 43 54 49 4f 4e 20 e7 b3 96 e8 a1 a3 e6 a7 SECTION ........
0b20: 8b e6 96 87 2c 20 24 28 53 45 43 42 4f 44 59 0a ...., $(SECBODY.
0b30: 3c 70 3e 0a e6 bc 94 e7 ae 97 e5 ad 90 e3 81 a8 <p>.............
0b40: e3 81 84 e3 81 86 e3 82 82 e3 81 ae e3 81 af e3 ................
0b50: 81 82 e3 82 8a e3 81 be e3 81 9b e3 82 93 e3 80 ................
0b60: 82 e5 86 85 e9 83 a8 e7 9a 84 e3 81 ab e3 81 af ................
0b70: e5 85 a8 e3 81 a6 e9 96 a2 e6 95 b0 e5 91 bc e3 ................
0b80: 81 b3 e5 87 ba e3 81 97 e6 a7 8b e6 96 87 e3 81 ................
0b90: ab e6 9b b8 e3 81 8d e6 8f 9b e3 81 88 e3 82 89 ................
0ba0: e3 82 8c e3 81 a6 e3 81 84 e3 81 be e3 81 99 e3 ................
0bb0: 80 82 3c 74 74 3e 69 66 3c 2f 74 74 3e 20 e3 82 ..<tt>if</tt> ..
0bc0: 82 e3 81 a7 e3 81 99 e3 80 82 0a 3c 62 72 2f 3e ...........<br/>
0bd0: 0a e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3 83 9e ................
0be0: e3 83 83 e3 83 81 e3 82 82 e5 85 a8 e9 83 a8 20 ...............
0bf0: 3c 74 74 3e 69 66 3c 2f 74 74 3e 20 e3 81 a8 20 <tt>if</tt> ...
0c00: 3c 74 74 3e 3d 3d 3c 2f 74 74 3e 20 e3 81 a8 20 <tt>==</tt> ...
0c10: 3c 74 74 3e 26 61 6d 70 3b 26 61 6d 70 3b 3c 2f <tt>&&</
0c20: 74 74 3e 20 e3 81 a8 0a 3c 74 74 3e 2e 3c 2f 74 tt> ....<tt>.</t
0c30: 74 3e 20 e3 81 a8 20 3c 74 74 3e 2e 3f 3c 2f 74 t> ... <tt>.?</t
0c40: 74 3e 20 e3 82 92 e4 bd bf e3 81 a3 e3 81 9f e9 t> .............
0c50: 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 81 ................
0c60: 97 e5 bc 8f e3 81 ab e6 9b b8 e3 81 8d e6 8f 9b ................
0c70: e3 81 88 e3 82 89 e3 82 8c e3 81 a6 e3 81 84 e3 ................
0c80: 81 be e3 81 99 e3 81 8c e3 80 81 0a e8 a6 8f e5 ................
0c90: 89 87 e3 81 ae e8 a9 b3 e7 b4 b0 e3 82 92 e8 aa ................
0ca0: ac e6 98 8e e3 81 99 e3 82 8b e3 81 ae e3 81 8c ................
0cb0: e9 9d a2 e5 80 92 e3 81 aa e3 81 ae e3 81 a7 e9 ................
0cc0: 81 a9 e5 bd 93 e3 81 ab e6 83 b3 e5 83 8f e3 81 ................
0cd0: 97 e3 81 a6 e4 b8 8b e3 81 95 e3 81 84 e3 80 82 ................
0ce0: 0a e4 bb 96 e3 81 ae e6 9b b8 e3 81 8d e6 8f 9b ................
0cf0: e3 81 88 e3 81 af e3 81 93 e3 82 93 e3 81 aa e6 ................
0d00: 84 9f e3 81 98 e3 81 a7 e3 81 99 e3 80 82 0a 3c ...............<
0d10: 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 69 66 /p>.<pre>. if
0d20: 20 28 45 29 20 74 68 65 6e 7b 45 7d 20 20 20 20 (E) then{E}
0d30: 20 20 20 20 20 e2 87 92 20 69 66 28 20 45 2c 20 ... if( E,
0d40: 66 75 6e 28 29 7b 45 7d 2c 20 66 75 6e 28 29 7b fun(){E}, fun(){
0d50: 7d 20 29 0a 20 20 20 20 69 66 20 28 45 29 20 74 } ). if (E) t
0d60: 68 65 6e 7b 45 7d 20 65 6c 73 65 7b 45 7d 20 e2 hen{E} else{E} .
0d70: 87 92 20 69 66 28 20 45 2c 20 66 75 6e 28 29 7b .. if( E, fun(){
0d80: 45 7d 2c 20 66 75 6e 28 29 7b 45 7d 20 29 0a 20 E}, fun(){E} ).
0d90: 20 20 20 45 20 42 49 4e 4f 50 20 45 20 20 20 20 E BINOP E
0da0: 20 20 20 20 20 20 20 20 20 20 e2 87 92 20 42 49 ... BI
0db0: 4e 4f 50 28 45 2c 20 45 29 0a 20 20 20 20 7b 20 NOP(E, E). {
0dc0: 45 4e 54 52 49 45 53 20 7d 20 20 20 20 20 20 20 ENTRIES }
0dd0: 20 20 20 20 20 e2 87 92 20 7b 7d 7b 20 45 4e 54 ... {}{ ENT
0de0: 52 49 45 53 20 7d 0a 20 20 20 20 7b 7d 20 20 20 RIES }. {}
0df0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0e00: 20 20 e2 87 92 20 7b 7d 28 29 0a 20 20 20 20 45 ... {}(). E
0e10: 20 7b 49 44 3a 45 2c 20 2e 2e 2e 7d 20 20 20 20 {ID:E, ...}
0e20: 20 20 20 20 20 20 e2 87 92 20 2e 3d 28 45 2c 20 ... .=(E,
0e30: 49 44 2c 20 45 29 20 7b 20 2e 2e 2e 20 7d 0a 3c ID, E) { ... }.<
0e40: 2f 70 72 65 3e 0a 3c 70 3e 0a e5 a4 89 e6 95 b0 /pre>.<p>.......
0e50: e5 ae a3 e8 a8 80 e3 81 ab e8 89 b2 e3 80 85 e3 ................
0e60: 81 82 e3 82 8a e3 81 be e3 81 99 e3 81 8c e3 80 ................
0e70: 81 3c 74 74 3e 6c 65 74 3c 2f 74 74 3e 20 e3 81 .<tt>let</tt> ..
0e80: a8 20 3c 74 74 3e 76 61 72 3c 2f 74 74 3e 20 e3 . <tt>var</tt> .
0e90: 81 a8 20 3c 74 74 3e 64 65 66 3c 2f 74 74 3e 20 .. <tt>def</tt>
0ea0: e3 81 af e5 90 8c e3 81 98 e6 89 b1 e3 81 84 e3 ................
0eb0: 81 a7 e3 80 81 0a 3c 74 74 3e 69 6e 3c 2f 74 74 ......<tt>in</tt
0ec0: 3e 20 e3 81 a8 20 3c 74 74 3e 3b 3c 2f 74 74 3e > ... <tt>;</tt>
0ed0: 20 e3 81 af e5 90 8c e3 81 98 e6 89 b1 e3 81 84 ...............
0ee0: e3 81 a7 e3 81 99 e3 80 82 e3 81 a4 e3 81 be e3 ................
0ef0: 82 8a 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 ...</p>.<pre>.
0f00: 20 6c 65 74 20 78 20 3d 20 45 20 69 6e 20 45 0a let x = E in E.
0f10: 20 20 20 76 61 72 20 78 20 3d 20 45 20 69 6e 20 var x = E in
0f20: 45 0a 20 20 20 64 65 66 20 78 20 3d 20 45 20 69 E. def x = E i
0f30: 6e 20 45 0a 20 20 20 6c 65 74 20 78 20 3d 20 45 n E. let x = E
0f40: 20 3b 20 45 0a 20 20 20 76 61 72 20 78 20 3d 20 ; E. var x =
0f50: 45 20 3b 20 45 0a 20 20 20 64 65 66 20 78 20 3d E ; E. def x =
0f60: 20 45 20 3b 20 45 0a 3c 2f 70 72 65 3e 0a 3c 70 E ; E.</pre>.<p
0f70: 3e 0a e4 bb a5 e4 b8 8a e3 81 ae e3 81 a9 e3 82 >...............
0f80: 8c e3 82 82 e5 90 8c e3 81 98 e6 84 8f e5 91 b3 ................
0f90: e3 81 aa e3 81 ae e3 81 a7 e3 80 81 e3 81 aa e3 ................
0fa0: 82 93 e3 81 a8 e3 81 aa e3 81 8f e9 96 a2 e6 95 ................
0fb0: b0 e5 9e 8b e3 81 a3 e3 81 bd e3 81 8f e6 9b b8 ................
0fc0: e3 81 8d e3 81 9f e3 81 84 e6 b0 97 e5 88 86 e3 ................
0fd0: 81 ae e6 97 a5 e3 81 af 20 3c 74 74 3e 6c 65 74 ........ <tt>let
0fe0: 20 69 6e 3c 2f 74 74 3e 20 e3 82 92 e3 80 81 0a in</tt> .......
0ff0: e6 89 8b e7 b6 9a e3 81 8d e5 9e 8b e3 81 a3 e3 ................
1000: 81 bd e3 81 8f e6 9b b8 e3 81 8d e3 81 9f e3 81 ................
1010: 84 e6 b0 97 e5 88 86 e3 81 ae e6 97 a5 e3 81 af ................
1020: 20 3c 74 74 3e 76 61 72 20 3b 3c 2f 74 74 3e 20 <tt>var ;</tt>
1030: e3 82 92 e4 bd bf e3 81 86 e3 81 a8 e3 82 88 e3 ................
1040: 81 84 e3 81 a7 e3 81 97 e3 82 87 e3 81 86 e3 80 ................
1050: 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e9 96 a2 e6 95 ..</p>.<p>......
1060: b0 e3 82 92 e5 ae a3 e8 a8 80 e3 81 99 e3 82 8b ................
1070: e3 81 a8 e3 81 8d e3 81 af e3 80 81 3c 74 74 3e ............<tt>
1080: 66 75 6e 3c 2f 74 74 3e 20 e3 82 84 20 3c 74 74 fun</tt> ... <tt
1090: 3e ce bb 3c 2f 74 74 3e 20 e3 82 92 e7 9c 81 e7 >..</tt> .......
10a0: 95 a5 e3 81 a7 e3 81 8d e3 81 be e3 81 99 e3 80 ................
10b0: 82 0a e4 bb a5 e4 b8 8b e3 81 ae e6 9b b8 e3 81 ................
10c0: 8d e6 8f 9b e3 81 88 e3 81 8c e8 a1 8c e3 82 8f ................
10d0: e3 82 8c e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 .............</p
10e0: 3e 0a 3c 70 72 65 3e 0a 20 20 20 64 65 66 20 66 >.<pre>. def f
10f0: 28 20 41 52 47 53 20 29 20 7b 20 45 20 7d 3b 20 ( ARGS ) { E };
1100: 45 20 20 20 e2 87 92 20 20 20 64 65 66 20 66 20 E ... def f
1110: 3d 20 66 75 6e 28 41 52 47 53 29 7b 45 7d 3b 20 = fun(ARGS){E};
1120: 45 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e4 bb 96 E.</pre>.<p>....
1130: e3 81 ab e3 80 81 e3 82 82 e3 81 a3 e3 81 a8 e6 ................
1140: 89 8b e7 b6 9a e3 81 8d e5 9e 8b e3 81 a3 e3 81 ................
1150: bd e3 81 8f e3 81 9f e3 82 81 e3 81 ae e6 9b b8 ................
1160: e3 81 8d e6 8f 9b e3 81 88 e8 89 b2 e3 80 85 0a ................
1170: 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 66 75 </p>.<pre>. fu
1180: 6e 20 28 29 20 7b 20 45 3b 20 45 3b 20 45 20 20 n () { E; E; E
1190: 20 20 20 20 7d 20 20 20 e2 87 92 20 20 20 66 75 } ... fu
11a0: 6e 20 28 29 20 7b 20 6c 65 74 20 5f 20 3d 20 45 n () { let _ = E
11b0: 20 69 6e 20 6c 65 74 20 5f 20 3d 20 45 20 69 6e in let _ = E in
11c0: 20 45 20 7d 0a 20 20 20 66 75 6e 20 28 29 20 7b E }. fun () {
11d0: 20 76 61 72 20 78 20 3d 20 31 30 30 20 20 7d 20 var x = 100 }
11e0: 20 20 e2 87 92 20 20 20 66 75 6e 20 28 29 20 7b ... fun () {
11f0: 20 76 61 72 20 78 20 3d 20 31 30 30 3b 20 78 20 var x = 100; x
1200: 7d 0a 20 20 20 66 75 6e 20 28 29 20 7b 20 76 61 }. fun () { va
1210: 72 20 78 20 3d 20 31 30 30 3b 20 7d 20 20 20 e2 r x = 100; } .
1220: 87 92 20 20 20 66 75 6e 20 28 29 20 7b 20 76 61 .. fun () { va
1230: 72 20 78 20 3d 20 31 30 30 3b 20 78 20 7d 0a 20 r x = 100; x }.
1240: 20 20 66 75 6e 20 28 29 20 7b 20 7d 20 20 20 20 fun () { }
1250: 20 20 20 20 20 20 20 20 20 20 20 20 e2 87 92 20 ...
1260: 20 20 66 75 6e 20 28 29 20 7b 20 22 28 65 6d 70 fun () { "(emp
1270: 74 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 ty function body
1280: 29 22 20 7d 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a )" }.</pre>.<p>.
1290: e4 b8 ad e8 ba ab e3 81 8c e7 a9 ba e3 81 ae e9 ................
12a0: 96 a2 e6 95 b0 e3 81 ab e4 bd 95 e3 82 92 e8 bf ................
12b0: 94 e3 81 95 e3 81 9b e3 82 8b e3 81 8b e3 81 af ................
12c0: e9 81 a9 e5 bd 93 e3 81 a7 e3 81 99 e3 80 82 e4 ................
12d0: bb 8a e3 81 af e3 81 a8 e3 82 8a e3 81 82 e3 81 ................
12e0: 88 e3 81 9a e9 81 a9 e5 bd 93 e3 81 ab e6 96 87 ................
12f0: e5 ad 97 e5 88 97 e8 bf 94 e3 81 97 e3 81 a6 e3 ................
1300: 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29 29 .........</p>.))
1310: 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e5 a4 89 e6 ..$(SECTION ....
1320: 95 b0 e3 81 ae e3 82 b9 e3 82 b3 e3 83 bc e3 83 ................
1330: 97 e8 a6 8f e5 89 87 2c 20 24 28 53 45 43 42 4f ......., $(SECBO
1340: 44 59 0a 3c 70 3e 0a 4e 4f 54 45 3a 20 54 68 65 DY.<p>.NOTE: The
1350: 72 65 73 20 6e 6f 20 22 6c 65 74 20 72 65 63 22 res no "let rec"
1360: 20 73 79 6e 74 61 78 2c 20 62 75 74 20 73 74 69 syntax, but sti
1370: 6c 6c 20 72 65 63 75 72 73 69 76 65 20 64 65 66 ll recursive def
1380: 69 6e 69 74 69 6f 6e 20 77 6f 72 6b 73 0a 20 20 inition works.
1390: 20 20 64 65 66 20 66 28 78 29 20 7b 20 69 66 28 def f(x) { if(
13a0: 78 3d 3d 30 29 7b 31 7d 65 6c 73 65 7b 78 2a 66 x==0){1}else{x*f
13b0: 28 78 2d 31 29 7d 20 7d 20 69 6e 20 66 28 31 30 (x-1)} } in f(10
13c0: 29 20 20 23 3d 3e 20 33 36 32 38 38 30 30 0a 20 ) #=> 3628800.
13d0: 20 79 65 74 20 73 74 69 6c 6c 20 74 68 65 20 63 yet still the c
13e0: 6f 64 65 20 62 65 6c 6f 77 20 61 6c 73 6f 20 77 ode below also w
13f0: 6f 72 6b 73 0a 20 20 20 20 64 65 66 20 78 3d 32 orks. def x=2
1400: 31 20 69 6e 20 64 65 66 20 78 3d 78 2b 78 20 69 1 in def x=x+x i
1410: 6e 20 78 20 20 23 3d 3e 20 34 32 2e 0a 20 20 54 n x #=> 42.. T
1420: 68 65 20 69 6e 74 65 72 6e 61 6c 20 73 63 6f 70 he internal scop
1430: 69 6e 67 20 6d 65 63 68 61 6e 69 73 6d 20 69 73 ing mechanism is
1440: 20 61 20 6c 69 74 74 6c 65 20 74 72 69 63 6b 79 a little tricky
1450: 20 28 74 68 69 73 20 69 73 20 66 6f 72 20 63 6f (this is for co
1460: 70 69 6e 67 20 77 69 74 68 0a 20 20 74 68 65 20 ping with. the
1470: 22 6c 61 79 65 72 22 20 66 65 61 74 75 72 65 20 "layer" feature
1480: 65 78 70 6c 61 69 6e 65 64 20 62 65 6c 6f 77 29 explained below)
1490: 2c 20 62 75 74 20 49 20 68 6f 70 65 20 74 68 61 , but I hope tha
14a0: 74 20 69 74 20 77 6f 72 6b 73 20 61 73 20 65 76 t it works as ev
14b0: 65 72 79 6f 6e 65 0a 20 20 65 78 70 65 63 74 73 eryone. expects
14c0: 20 69 6e 20 6d 6f 73 74 20 63 61 73 65 73 2c 20 in most cases,
14d0: 61 73 20 6c 6f 6e 67 20 61 73 20 79 6f 75 20 64 as long as you d
14e0: 6f 6e 27 74 20 75 73 65 20 74 68 65 20 73 61 6d on't use the sam
14f0: 65 2d 6e 61 6d 65 2d 76 61 72 69 61 62 6c 65 73 e-name-variables
1500: 20 68 65 61 76 69 6c 79 20 3a 29 2e 0a 3c 2f 70 heavily :)..</p
1510: 3e 0a 29 29 0a 0a 29 29 0a 0a 0a 0a 0a 24 28 53 >.))..)).....$(S
1520: 45 43 54 49 4f 4e 20 42 61 73 69 63 20 46 65 61 ECTION Basic Fea
1530: 74 75 72 65 73 2c 20 24 28 53 45 43 42 4f 44 59 tures, $(SECBODY
1540: 0a 3c 70 3e 0a e7 89 b9 e3 81 ab e7 89 b9 e5 be .<p>............
1550: b4 e7 9a 84 e3 81 a7 e3 82 82 e3 81 aa e3 81 84 ................
1560: e9 83 a8 e5 88 86 e3 82 92 e7 b0 a1 e5 8d 98 e3 ................
1570: 81 ab e3 81 be e3 81 a8 e3 82 81 e3 80 82 0a 3c ...............<
1580: 2f 70 3e 0a 3c 75 6c 3e 0a 20 20 3c 6c 69 3e e9 /p>.<ul>. <li>.
1590: 9d 99 e7 9a 84 e5 9e 8b e3 82 b7 e3 82 b9 e3 83 ................
15a0: 86 e3 83 a0 e3 81 af e3 81 82 e3 82 8a e3 81 be ................
15b0: e3 81 9b e3 82 93 e3 80 82 3c 2f 6c 69 3e 0a 20 .........</li>.
15c0: 20 3c 6c 69 3e 22 e3 81 bb e3 81 bc 22 20 e7 b4 <li>"......" ..
15d0: 94 e7 b2 8b e9 96 a2 e6 95 b0 e5 9e 8b e8 a8 80 ................
15e0: e8 aa 9e e3 81 a7 e3 81 99 e3 80 82 e5 a4 89 e6 ................
15f0: 95 b0 e3 82 84 e3 83 86 e3 83 bc e3 83 96 e3 83 ................
1600: ab e3 81 ae e3 83 95 e3 82 a3 e3 83 bc e3 83 ab ................
1610: e3 83 89 e3 81 ae e7 a0 b4 e5 a3 8a e7 9a 84 e3 ................
1620: 81 aa e6 9b b8 e3 81 8d e6 8f 9b e3 81 88 e3 81 ................
1630: af e3 81 a7 e3 81 8d e3 81 be e3 81 9b e3 82 93 ................
1640: e3 80 82 3c 62 72 2f 3e 0a 20 20 20 20 20 20 e3 ...<br/>. .
1650: 81 9f e3 81 a0 e3 81 97 e3 80 81 e7 b5 84 e3 81 ................
1660: bf e8 be bc e3 81 bf e9 96 a2 e6 95 b0 ef bc 88 ................
1670: 3c 74 74 3e 70 72 69 6e 74 3c 2f 74 74 3e ef bc <tt>print</tt>..
1680: 89 e3 81 a8 e3 80 81 e5 a4 89 e6 95 b0 e3 81 ae ................
1690: e3 82 b9 e3 82 b3 e3 83 bc e3 83 97 e8 a6 8f e5 ................
16a0: 89 87 e3 81 ae e3 83 9e e3 82 b8 e3 82 ab e3 83 ................
16b0: ab e3 81 aa e7 89 87 e9 9a 85 e3 81 ab e5 89 af ................
16c0: e4 bd 9c e7 94 a8 e3 81 8c e3 81 82 e3 82 8a e3 ................
16d0: 81 be e3 81 99 e3 80 82 3c 2f 6c 69 3e 0a 3c 2f ........</li>.</
16e0: 75 6c 3e 0a 3c 70 3e 0a e9 9d 99 e7 9a 84 e5 9e ul>.<p>.........
16f0: 8b e3 82 b7 e3 82 b9 e3 83 86 e3 83 a0 e3 81 8c ................
1700: e3 81 aa e3 81 84 e3 81 ae e3 81 af e6 84 8f e5 ................
1710: 9b b3 e7 9a 84 e3 81 a7 e3 81 99 e3 81 8c e3 80 ................
1720: 81 e7 a0 b4 e5 a3 8a e7 9a 84 e4 bb a3 e5 85 a5 ................
1730: e3 81 8c e3 81 aa e3 81 84 e3 81 ae e3 81 af e3 ................
1740: 80 81 e5 8d 98 e3 81 ab e5 ae 9f e8 a3 85 e3 81 ................
1750: 8c e3 82 81 e3 82 93 e3 81 a9 e3 81 8b e3 81 a3 ................
1760: e3 81 9f e3 81 a0 e3 81 91 e3 81 aa e3 81 ae e3 ................
1770: 81 a7 e3 80 81 0a e4 bb 8a e5 be 8c e4 bd 95 e3 ................
1780: 81 8b e5 a2 97 e3 81 88 e3 82 8b e3 81 8b e3 82 ................
1790: 82 e3 81 97 e3 82 8c e3 81 be e3 81 9b e3 82 93 ................
17a0: e3 80 82 e5 a2 97 e3 81 88 e3 81 aa e3 81 84 e3 ................
17b0: 81 8b e3 82 82 e3 81 97 e3 82 8c e3 81 be e3 81 ................
17c0: 9b e3 82 93 e3 80 82 0a 3c 2f 70 3e 0a 24 28 44 ........</p>.$(D
17d0: 44 4f 43 5f 4d 45 4d 42 45 52 53 0a 24 28 53 45 DOC_MEMBERS.$(SE
17e0: 43 54 49 4f 4e 20 e3 83 87 e3 83 bc e3 82 bf e5 CTION ..........
17f0: 9e 8b 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 .., $(SECBODY.<p
1800: 3e 0a e4 bb a5 e4 b8 8b e3 81 ae e3 83 87 e3 83 >...............
1810: bc e3 82 bf e5 9e 8b e3 81 8c e3 81 82 e3 82 8a ................
1820: e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c ..........</p>.<
1830: 75 6c 3e 0a 20 20 3c 6c 69 3e e6 95 b4 e6 95 b0 ul>. <li>......
1840: 3a 20 20 20 20 20 3c 74 74 3e 30 3c 2f 74 74 3e : <tt>0</tt>
1850: 2c 20 3c 74 74 3e 31 32 33 3c 2f 74 74 3e 2c 20 , <tt>123</tt>,
1860: 3c 74 74 3e 34 35 36 36 36 36 36 36 36 36 36 36 <tt>456666666666
1870: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 6666666666666666
1880: 36 36 36 36 36 36 36 36 36 36 36 37 38 39 3c 2f 66666666666789</
1890: 74 74 3e 2c 20 2e 2e 2e 3c 2f 6c 69 3e 0a 20 20 tt>, ...</li>.
18a0: 3c 6c 69 3e e6 96 87 e5 ad 97 e5 88 97 3a 20 20 <li>.........:
18b0: 20 3c 74 74 3e 22 68 65 6c 6c 6f 2c 20 77 6f 72 <tt>"hello, wor
18c0: 6c 64 21 22 3c 2f 74 74 3e 2c 20 2e 2e 2e 3c 2f ld!"</tt>, ...</
18d0: 6c 69 3e 0a 20 20 3c 6c 69 3e e9 96 a2 e6 95 b0 li>. <li>......
18e0: 3a 20 20 20 20 20 3c 74 74 3e 66 75 6e 28 78 29 : <tt>fun(x)
18f0: 7b 78 2b 31 7d 3c 2f 74 74 3e 3c 2f 6c 69 3e 0a {x+1}</tt></li>.
1900: 20 20 3c 6c 69 3e e3 83 86 e3 83 bc e3 83 96 e3 <li>..........
1910: 83 ab 3a 20 3c 74 74 3e 7b 63 61 72 3a 20 31 2c ..: <tt>{car: 1,
1920: 20 63 64 72 3a 20 7b 63 61 72 3a 20 32 2c 20 63 cdr: {car: 2, c
1930: 64 72 3a 20 7b 7d 7d 7d 3c 2f 74 74 3e 3c 2f 6c dr: {}}}</tt></l
1940: 69 3e 0a 20 20 3c 6c 69 3e e6 9c aa e5 ae 9a e7 i>. <li>.......
1950: be a9 e5 80 a4 3a 20 28 e3 83 86 e3 83 bc e3 83 .....: (........
1960: 96 e3 83 ab e3 81 ae e3 80 81 e5 ad 98 e5 9c a8 ................
1970: e3 81 97 e3 81 aa e3 81 84 e3 83 95 e3 82 a3 e3 ................
1980: 83 bc e3 83 ab e3 83 89 e3 81 ab e3 82 a2 e3 82 ................
1990: af e3 82 bb e3 82 b9 e3 81 97 e3 81 9f e3 82 8a ................
19a0: e3 81 99 e3 82 8b e3 81 a8 e4 bd 9c e3 82 8c e3 ................
19b0: 81 be e3 81 99 29 3c 2f 6c 69 3e 0a 3c 2f 75 6c .....)</li>.</ul
19c0: 3e 0a 3c 70 3e 0a e9 96 a2 e6 95 b0 e3 81 af e3 >.<p>...........
19d0: 81 84 e3 82 8f e3 82 86 e3 82 8b e3 80 8c e3 82 ................
19e0: af e3 83 ad e3 83 bc e3 82 b8 e3 83 a3 e3 80 8d ................
19f0: e3 81 a7 e3 81 99 e3 80 82 e9 9d 99 e7 9a 84 e3 ................
1a00: 82 b9 e3 82 b3 e3 83 bc e3 83 97 e3 81 a7 e5 a4 ................
1a10: 96 e5 81 b4 e3 81 ae e7 92 b0 e5 a2 83 e3 81 ab ................
1a20: e3 82 a2 e3 82 af e3 82 bb e3 82 b9 e3 81 a7 e3 ................
1a30: 81 8d e3 81 be e3 81 99 e3 80 82 0a e3 83 86 e3 ................
1a40: 83 bc e3 83 96 e3 83 ab e3 81 af e3 81 84 e3 82 ................
1a50: 8f e3 82 86 e3 82 8b e3 83 97 e3 83 ad e3 83 88 ................
1a60: e3 82 bf e3 82 a4 e3 83 97 e3 83 81 e3 82 a7 e3 ................
1a70: 83 bc e3 83 b3 e3 82 92 e6 8c 81 e3 81 a3 e3 81 ................
1a80: a6 e3 81 84 e3 81 a6 e3 80 81 0a e8 87 aa e5 88 ................
1a90: 86 e3 81 ab e3 81 aa e3 81 84 e3 83 95 e3 82 a3 ................
1aa0: e3 83 bc e3 83 ab e3 83 89 e3 81 ae e5 a0 b4 e5 ................
1ab0: 90 88 e3 81 af e8 a6 aa e3 81 ab e5 95 8f e3 81 ................
1ac0: 84 e5 90 88 e3 82 8f e3 81 9b e3 81 8c e8 a1 8c ................
1ad0: e3 81 8f e6 84 9f e3 81 98 e3 81 ab e3 81 aa e3 ................
1ae0: 81 a3 e3 81 a6 e3 81 84 e3 81 be e3 81 99 e3 81 ................
1af0: 8c e3 80 81 0a e3 83 95 e3 82 a3 e3 83 bc e3 83 ................
1b00: ab e3 83 89 e3 81 ae e6 9b b8 e3 81 8d e6 8f 9b ................
1b10: e3 81 88 e3 81 8c e3 81 aa e3 81 84 e3 81 ae e3 ................
1b20: 81 a7 e3 80 81 e3 81 93 e3 82 8c e3 81 af e7 89 ................
1b30: b9 e3 81 ab e6 84 8f e5 91 b3 e3 81 aa e3 81 84 ................
1b40: e3 81 8b e3 82 82 e3 81 97 e3 82 8c e3 81 aa e3 ................
1b50: 81 84 e2 80 a6 e3 80 82 0a 3c 2f 70 3e 0a 29 29 .........</p>.))
1b60: 0a 24 28 53 45 43 54 49 4f 4e 20 e3 83 91 e3 82 .$(SECTION .....
1b70: bf e3 83 bc e3 83 b3 e3 83 9e e3 83 83 e3 83 81 ................
1b80: 2c 20 24 28 53 45 43 42 4f 44 59 0a 70 61 74 74 , $(SECBODY.patt
1b90: 65 72 6e 20 6d 61 74 63 68 69 6e 67 20 69 73 20 ern matching is
1ba0: 61 6c 73 6f 20 61 76 61 69 6c 61 62 6c 65 2e 20 also available.
1bb0: 48 65 72 65 20 69 73 20 61 6e 20 65 78 61 6d 70 Here is an examp
1bc0: 6c 65 2e 0a 0a 20 20 64 65 66 20 61 64 6a 53 75 le... def adjSu
1bd0: 6d 28 6c 73 74 29 0a 20 20 7b 0a 20 20 20 20 63 m(lst). {. c
1be0: 61 73 65 28 20 6c 73 74 20 29 0a 20 20 20 20 20 ase( lst ).
1bf0: 20 77 68 65 6e 28 20 7b 63 61 72 3a 78 2c 20 63 when( {car:x, c
1c00: 64 72 3a 7b 63 61 72 3a 20 79 2c 20 63 64 72 3a dr:{car: y, cdr:
1c10: 7a 7d 7d 20 29 20 7b 20 7b 63 61 72 3a 20 78 2b z}} ) { {car: x+
1c20: 79 2c 20 63 64 72 3a 20 61 64 6a 53 75 6d 28 7a y, cdr: adjSum(z
1c30: 29 7d 20 7d 0a 20 20 20 20 20 20 77 68 65 6e 28 )} }. when(
1c40: 20 7b 63 61 72 3a 78 2c 20 63 64 72 3a 7b 7d 7d {car:x, cdr:{}}
1c50: 20 29 20 7b 20 7b 63 61 72 3a 20 78 2c 20 63 64 ) { {car: x, cd
1c60: 72 3a 20 7b 7d 7d 20 7d 0a 20 20 20 20 20 20 77 r: {}} }. w
1c70: 68 65 6e 28 20 7b 7d 20 29 20 7b 20 7b 7d 20 7d hen( {} ) { {} }
1c80: 0a 20 20 7d 3b 0a 0a 49 74 20 69 73 20 65 78 70 . };..It is exp
1c90: 61 6e 64 65 64 20 74 6f 20 61 20 73 65 71 75 65 anded to a seque
1ca0: 6e 63 65 20 6f 66 20 69 66 2d 74 68 65 6e 2d 65 nce of if-then-e
1cb0: 6c 73 65 73 20 70 72 65 66 65 72 69 6e 67 20 74 lses prefering t
1cc0: 68 65 20 66 69 72 73 74 2d 6d 61 74 63 68 2e 20 he first-match.
1cd0: 0a 4e 6f 74 65 20 74 68 61 74 20 7b 61 3a 20 5f .Note that {a: _
1ce0: 7d 20 70 61 74 74 65 72 6e 20 6d 61 74 63 68 65 } pattern matche
1cf0: 73 20 61 6c 6c 20 74 68 65 20 74 61 62 6c 65 73 s all the tables
1d00: 20 74 68 61 74 20 68 61 76 65 20 74 68 65 20 2e that have the .
1d10: 61 20 66 69 65 6c 64 2e 0a 49 74 20 61 6c 73 6f a field..It also
1d20: 20 6d 61 74 63 68 65 73 20 74 6f 20 7b 61 3a 20 matches to {a:
1d30: 31 32 33 2c 20 62 3a 20 34 35 36 7d 20 68 61 76 123, b: 456} hav
1d40: 69 6e 67 20 65 78 74 72 61 20 2e 62 20 66 69 65 ing extra .b fie
1d50: 6c 64 2e 20 53 6f 2c 20 63 68 61 6e 67 69 6e 67 ld. So, changing
1d60: 20 74 68 65 0a 6f 72 64 65 72 20 6f 66 20 22 77 the.order of "w
1d70: 68 65 6e 22 73 20 69 6e 20 74 68 65 20 61 62 6f hen"s in the abo
1d80: 76 65 20 63 6f 64 65 20 63 68 61 6e 67 65 73 20 ve code changes
1d90: 74 68 65 20 62 65 68 61 76 69 6f 72 2e 0a 29 29 the behavior..))
1da0: 0a 29 0a 29 29 0a 0a 0a 0a 0a 0a 24 28 53 45 43 .).))......$(SEC
1db0: 54 49 4f 4e 20 4c 61 79 65 72 73 2c 20 24 28 53 TION Layers, $(S
1dc0: 45 43 42 4f 44 59 0a 3c 70 72 65 3e 0a 5b 4c 61 ECBODY.<pre>.[La
1dd0: 79 65 72 73 20 3a 3a 20 4f 76 65 72 76 69 65 77 yers :: Overview
1de0: 5d 0a 0a 20 20 50 6f 6c 65 6d 79 27 73 20 72 75 ].. Polemy's ru
1df0: 6e 74 69 6d 65 20 65 6e 76 69 72 6f 6e 6d 65 6e ntime environmen
1e00: 74 20 68 61 73 20 6d 61 6e 79 20 22 6c 61 79 65 t has many "laye
1e10: 72 22 73 2e 0a 20 20 55 73 75 61 6c 20 65 78 65 r"s.. Usual exe
1e20: 63 75 74 69 6f 6e 20 72 75 6e 20 69 6e 20 74 68 cution run in th
1e30: 65 20 40 76 61 6c 75 65 20 6c 61 79 65 72 2e 0a e @value layer..
1e40: 0a 20 20 20 20 3e 3e 20 31 20 2b 20 32 0a 20 20 . >> 1 + 2.
1e50: 20 20 33 0a 20 20 20 20 3e 3e 20 40 76 61 6c 75 3. >> @valu
1e60: 65 28 20 31 20 2b 20 32 20 29 0a 20 20 20 20 33 e( 1 + 2 ). 3
1e70: 0a 0a 20 20 48 65 72 65 20 79 6f 75 20 63 61 6e .. Here you can
1e80: 20 73 65 65 20 74 68 61 74 20 40 4c 61 79 65 72 see that @Layer
1e90: 4e 61 6d 65 28 20 45 78 70 72 65 73 73 69 6f 6e Name( Expression
1ea0: 20 29 20 65 78 65 63 75 74 65 73 20 74 68 65 20 ) executes the
1eb0: 69 6e 6e 65 72 20 45 78 70 72 65 73 73 69 6f 6e inner Expression
1ec0: 20 69 6e 0a 20 20 74 68 65 20 40 4c 61 79 65 72 in. the @Layer
1ed0: 4e 61 6d 65 20 6c 61 79 65 72 2e 20 4f 74 68 65 Name layer. Othe
1ee0: 72 20 74 68 61 6e 20 40 76 61 6c 75 65 2c 20 6f r than @value, o
1ef0: 6e 65 20 6f 74 68 65 72 20 70 72 65 64 65 66 69 ne other predefi
1f00: 6e 65 64 20 6c 61 79 65 72 20 65 78 69 73 74 73 ned layer exists
1f10: 3a 20 40 6d 61 63 72 6f 2e 0a 0a 20 20 20 20 3e : @macro... >
1f20: 3e 20 40 6d 61 63 72 6f 28 20 31 2b 32 20 29 0a > @macro( 1+2 ).
1f30: 20 20 20 20 7b 70 6f 73 40 76 61 6c 75 65 3a 7b {pos@value:{
1f40: 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 lineno@value:3,
1f50: 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 39 2c 20 column@value:9,
1f60: 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c filename@value:<
1f70: 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 69 73 REPL>},. is
1f80: 40 76 61 6c 75 65 3a 61 70 70 2c 0a 20 20 20 20 @value:app,.
1f90: 61 72 67 73 40 76 61 6c 75 65 3a 7b 63 61 72 40 args@value:{car@
1fa0: 76 61 6c 75 65 3a 7b 70 6f 73 40 76 61 6c 75 65 value:{pos@value
1fb0: 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 :{lineno@value:3
1fc0: 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 39 , column@value:9
1fd0: 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 , filename@value
1fe0: 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 :<REPL>},.
1ff0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2000: 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 3a 69 is@value:i
2010: 6e 74 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 nt,.
2020: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 64 61 da
2030: 74 61 40 76 61 6c 75 65 3a 31 7d 2c 0a 20 20 20 ta@value:1},.
2040: 20 20 20 20 20 20 20 20 20 20 20 20 20 63 64 72 cdr
2050: 40 76 61 6c 75 65 3a 7b 0a 20 20 20 20 20 20 20 @value:{.
2060: 20 20 20 20 20 20 20 20 20 20 20 63 61 72 40 76 car@v
2070: 61 6c 75 65 3a 7b 70 6f 73 40 76 61 6c 75 65 3a alue:{pos@value:
2080: 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 2c {lineno@value:3,
2090: 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 31 31 column@value:11
20a0: 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 , filename@value
20b0: 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 :<REPL>},.
20c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
20d0: 20 20 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 is@value
20e0: 3a 69 6e 74 2c 0a 20 20 20 20 20 20 20 20 20 20 :int,.
20f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2100: 20 20 64 61 74 61 40 76 61 6c 75 65 3a 32 7d 2c data@value:2},
2110: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
2120: 20 20 20 63 64 72 40 76 61 6c 75 65 3a 7b 7d 7d cdr@value:{}}
2130: 7d 2c 0a 20 20 20 20 20 66 75 6e 40 76 61 6c 75 },. fun@valu
2140: 65 3a 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 e:{pos@value:{li
2150: 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 63 6f neno@value:3, co
2160: 6c 75 6d 6e 40 76 61 6c 75 65 3a 31 30 2c 20 66 lumn@value:10, f
2170: 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 ilename@value:<R
2180: 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20 20 EPL>},.
2190: 20 20 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 is@value
21a0: 3a 76 61 72 2c 0a 20 20 20 20 20 20 20 20 20 20 :var,.
21b0: 20 20 20 20 20 6e 61 6d 65 40 76 61 6c 75 65 3a name@value:
21c0: 2b 7d 7d 0a 0a 20 20 28 53 6f 72 72 79 2c 20 74 +}}.. (Sorry, t
21d0: 68 69 73 20 70 72 65 74 74 79 20 70 72 69 6e 74 his pretty print
21e0: 69 6e 67 20 69 73 20 6e 6f 74 20 61 76 61 69 6c ing is not avail
21f0: 61 62 6c 65 20 6f 6e 20 74 68 65 20 61 63 74 75 able on the actu
2200: 61 6c 20 69 6e 74 65 72 70 72 65 74 65 72 2e 2e al interpreter..
2210: 2e 29 0a 20 20 54 68 69 73 20 65 76 61 6c 75 61 .). This evalua
2220: 74 65 73 20 74 68 65 20 65 78 70 72 65 73 73 69 tes the expressi
2230: 6f 6e 20 31 2b 32 20 69 6e 20 74 68 65 20 40 6d on 1+2 in the @m
2240: 61 63 72 6f 20 6c 61 79 65 72 2e 20 49 6e 20 74 acro layer. In t
2250: 68 69 73 20 6c 61 79 65 72 2c 20 74 68 65 20 6d his layer, the m
2260: 65 61 6e 69 6e 67 20 6f 66 0a 20 20 74 68 65 20 eaning of. the
2270: 70 72 6f 67 72 61 6d 20 69 73 20 69 74 73 20 61 program is its a
2280: 62 73 74 72 61 63 74 20 73 79 6e 74 61 78 20 74 bstract syntax t
2290: 72 65 65 2e 0a 0a 20 20 59 6f 75 20 63 61 6e 20 ree... You can
22a0: 69 6e 74 65 72 6c 65 61 76 65 20 6c 61 79 65 72 interleave layer
22b0: 73 2e 0a 20 20 54 68 65 20 72 6f 6f 74 20 6e 6f s.. The root no
22c0: 64 65 20 6f 66 20 74 68 65 20 61 62 73 74 72 61 de of the abstra
22d0: 63 74 20 73 79 6e 74 61 78 20 74 72 65 65 20 69 ct syntax tree i
22e0: 73 20 66 75 6e 63 74 69 6f 6e 20 22 61 70 70 22 s function "app"
22f0: 6c 69 63 61 74 69 6f 6e 2e 0a 0a 20 20 20 20 3e lication... >
2300: 3e 20 40 76 61 6c 75 65 28 40 6d 61 63 72 6f 28 > @value(@macro(
2310: 20 31 2b 32 20 29 2e 69 73 29 0a 20 20 20 20 61 1+2 ).is). a
2320: 70 70 0a 0a 0a 0a 5b 4c 61 79 65 72 73 20 3a 3a pp....[Layers ::
2330: 20 44 65 66 69 6e 69 6e 67 20 61 20 6e 65 77 20 Defining a new
2340: 6c 61 79 65 72 5d 0a 0a 20 20 54 6f 20 64 65 66 layer].. To def
2350: 69 6e 65 20 61 20 6e 65 77 20 6c 61 79 65 72 2c ine a new layer,
2360: 20 79 6f 75 20 73 68 6f 75 6c 64 20 66 69 72 73 you should firs
2370: 74 20 74 65 6c 6c 20 68 6f 77 20 74 6f 20 22 6c t tell how to "l
2380: 69 66 74 22 20 65 78 69 73 74 69 6e 67 20 76 61 ift" existing va
2390: 6c 75 65 73 20 74 77 6f 20 74 68 65 20 6e 65 77 lues two the new
23a0: 20 6c 61 79 65 72 2e 0a 20 20 4c 65 74 20 75 73 layer.. Let us
23b0: 20 64 65 66 69 6e 65 20 74 68 65 20 22 40 74 79 define the "@ty
23c0: 70 65 22 20 6c 61 79 65 72 2c 20 77 68 65 72 65 pe" layer, where
23d0: 20 74 68 65 20 6d 65 61 6e 69 6e 67 20 6f 66 20 the meaning of
23e0: 70 72 6f 67 72 61 6d 73 20 69 73 20 74 68 65 69 programs is thei
23f0: 72 20 73 74 61 74 69 63 20 74 79 70 65 2e 0a 0a r static type...
2400: 20 20 20 20 3e 3e 20 40 40 74 79 70 65 20 3d 20 >> @@type =
2410: 66 75 6e 28 78 29 20 7b 0a 20 20 20 20 3e 3e 20 fun(x) {. >>
2420: 20 20 69 66 28 20 5f 69 73 69 6e 74 28 78 29 20 if( _isint(x)
2430: 29 20 7b 20 22 69 6e 74 22 20 7d 20 65 6c 73 65 ) { "int" } else
2440: 20 7b 0a 20 20 20 20 3e 3e 20 20 20 69 66 28 20 {. >> if(
2450: 5f 69 73 66 75 6e 28 78 29 20 29 20 7b 20 78 20 _isfun(x) ) { x
2460: 7d 20 65 6c 73 65 20 7b 20 22 75 6e 6b 6e 6f 77 } else { "unknow
2470: 6e 22 20 7d 20 7d 0a 20 20 20 20 3e 3e 20 7d 0a n" } }. >> }.
2480: 20 20 20 20 28 4e 6f 74 65 3a 20 70 6f 6c 65 6d (Note: polem
2490: 79 20 52 45 50 4c 20 6d 61 79 20 77 61 72 6e 20 y REPL may warn
24a0: 73 6f 6d 65 20 65 78 63 65 70 74 69 6f 6e 20 68 some exception h
24b0: 65 72 65 20 62 75 74 20 70 6c 65 61 73 65 20 69 ere but please i
24c0: 67 6e 6f 72 65 29 0a 0a 20 20 46 6f 72 20 73 69 gnore).. For si
24d0: 6d 70 6c 69 63 69 74 79 2c 20 49 20 68 65 72 65 mplicity, I here
24e0: 20 64 65 61 6c 20 6f 6e 6c 79 20 77 69 74 68 20 deal only with
24f0: 69 6e 74 65 67 65 72 73 2e 0a 20 20 5f 69 73 69 integers.. _isi
2500: 6e 74 20 69 73 20 61 20 70 72 69 6d 69 74 69 76 nt is a primitiv
2510: 65 20 66 75 6e 63 74 69 6f 6e 20 6f 66 20 50 6f e function of Po
2520: 6c 65 6d 79 20 74 68 61 74 20 63 68 65 63 6b 73 lemy that checks
2530: 20 74 68 65 20 64 79 6e 61 6d 69 63 20 74 79 70 the dynamic typ
2540: 65 20 6f 66 20 61 20 76 61 6c 75 65 2e 0a 20 20 e of a value..
2550: 46 6f 72 20 66 75 6e 63 74 69 6f 6e 2c 20 6c 65 For function, le
2560: 61 76 69 6e 67 20 69 74 20 75 6e 74 6f 75 63 68 aving it untouch
2570: 65 64 20 77 6f 72 6b 73 20 77 65 6c 6c 20 66 6f ed works well fo
2580: 72 20 61 6c 6d 6f 73 74 20 61 6c 6c 20 6c 61 79 r almost all lay
2590: 65 72 73 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 ers... >> @ty
25a0: 70 65 28 20 31 20 29 0a 20 20 20 20 69 6e 74 0a pe( 1 ). int.
25b0: 20 20 20 20 3e 3e 20 40 74 79 70 65 28 20 32 20 >> @type( 2
25c0: 29 0a 20 20 20 20 69 6e 74 0a 20 20 20 20 3e 3e ). int. >>
25d0: 20 40 74 79 70 65 28 20 22 66 6f 6f 22 20 29 0a @type( "foo" ).
25e0: 20 20 20 20 75 6e 6b 6e 6f 77 6e 0a 0a 20 20 46 unknown.. F
25f0: 69 6e 65 21 20 4c 65 74 27 73 20 74 72 79 20 74 ine! Let's try t
2600: 6f 20 74 79 70 65 20 31 2b 32 2e 0a 0a 20 20 20 o type 1+2...
2610: 20 3e 3e 20 40 74 79 70 65 28 20 31 20 2b 20 32 >> @type( 1 + 2
2620: 20 29 0a 20 20 20 20 2e 2e 2e 5c 76 61 6c 75 65 ). ...\value
2630: 2e 64 28 31 31 39 29 3a 20 5b 3c 52 45 50 4c 3e .d(119): [<REPL>
2640: 3a 36 3a 38 5d 20 6f 6e 6c 79 20 40 76 61 6c 75 :6:8] only @valu
2650: 65 20 6c 61 79 65 72 20 63 61 6e 20 63 61 6c 6c e layer can call
2660: 20 6e 61 74 69 76 65 20 66 75 6e 63 74 69 6f 6e native function
2670: 0a 0a 20 20 4e 6f 74 65 20 74 68 61 74 20 74 68 .. Note that th
2680: 65 20 62 65 68 61 76 69 6f 72 20 6f 66 20 74 68 e behavior of th
2690: 69 73 20 70 72 6f 67 72 61 6d 20 69 73 0a 20 20 is program is.
26a0: 20 20 2d 20 72 75 6e 20 31 2b 32 20 69 6e 20 74 - run 1+2 in t
26b0: 68 65 20 40 74 79 70 65 20 6c 61 79 65 72 0a 20 he @type layer.
26c0: 20 61 6e 64 20 4e 4f 54 0a 20 20 20 20 2d 20 72 and NOT. - r
26d0: 75 6e 20 31 2b 32 20 69 6e 20 40 76 61 6c 75 65 un 1+2 in @value
26e0: 20 61 6e 64 20 6f 62 74 61 69 6e 20 33 20 61 6e and obtain 3 an
26f0: 64 20 72 75 6e 20 33 20 69 6e 20 74 68 65 20 40 d run 3 in the @
2700: 74 79 70 65 2e 0a 20 20 54 68 65 20 70 72 6f 62 type.. The prob
2710: 6c 65 6d 20 69 73 2c 20 74 68 65 20 76 61 72 69 lem is, the vari
2720: 61 62 6c 65 20 22 2b 22 20 69 73 20 64 65 66 69 able "+" is defi
2730: 6e 65 64 20 6f 6e 6c 79 20 69 6e 20 74 68 65 20 ned only in the
2740: 40 76 61 6c 75 65 20 6c 61 79 65 72 2e 0a 20 20 @value layer..
2750: 54 6f 20 63 61 72 72 79 20 6f 75 74 20 63 6f 6d To carry out com
2760: 70 75 74 61 74 69 6f 6e 20 69 6e 20 74 68 65 20 putation in the
2770: 40 74 79 70 65 20 6c 61 79 65 72 2e 20 57 65 20 @type layer. We
2780: 6e 65 65 64 20 74 6f 20 64 65 66 69 6e 65 20 69 need to define i
2790: 74 20 61 6c 73 6f 0a 20 20 69 6e 20 74 68 65 20 t also. in the
27a0: 40 74 79 70 65 20 6c 61 79 65 72 2e 0a 0a 20 20 @type layer...
27b0: 54 6f 20 64 65 66 69 6e 65 20 73 6f 6d 65 20 76 To define some v
27c0: 61 72 69 61 62 6c 65 20 69 6e 20 61 20 73 70 65 ariable in a spe
27d0: 63 69 66 69 63 20 6c 61 79 65 72 2c 20 75 73 65 cific layer, use
27e0: 20 40 4c 61 79 65 72 4e 61 6d 65 20 69 6e 20 70 @LayerName in p
27f0: 6c 61 63 65 20 6f 66 0a 20 20 28 6c 65 74 7c 76 lace of. (let|v
2800: 61 72 7c 64 65 66 29 73 2e 0a 0a 20 20 20 20 3e ar|def)s... >
2810: 3e 20 6c 65 74 20 78 20 3d 20 32 0a 20 20 20 20 > let x = 2.
2820: 3e 3e 20 40 76 61 6c 75 65 20 78 20 3d 20 32 0a >> @value x = 2.
2830: 20 20 20 20 3e 3e 20 40 74 79 70 65 20 78 20 3d >> @type x =
2840: 20 22 69 6e 74 22 0a 20 20 20 20 3e 3e 20 40 68 "int". >> @h
2850: 6f 67 65 20 78 20 3d 20 22 66 75 67 61 22 0a 0a oge x = "fuga"..
2860: 20 20 46 6f 72 20 22 2b 22 2c 20 64 6f 20 69 74 For "+", do it
2870: 20 6c 69 6b 65 20 74 68 69 73 2e 0a 0a 20 20 20 like this...
2880: 20 3e 3e 20 40 74 79 70 65 20 22 2b 22 20 3d 20 >> @type "+" =
2890: 66 75 6e 28 78 2c 79 29 20 7b 40 76 61 6c 75 65 fun(x,y) {@value
28a0: 28 0a 20 20 20 20 3e 3e 20 20 20 69 66 28 20 40 (. >> if( @
28b0: 74 79 70 65 28 78 29 3d 3d 22 69 6e 74 22 20 26 type(x)=="int" &
28c0: 26 20 40 74 79 70 65 28 79 29 3d 3d 22 69 6e 74 & @type(y)=="int
28d0: 22 20 29 20 7b 20 22 69 6e 74 22 20 7d 20 65 6c " ) { "int" } el
28e0: 73 65 20 7b 20 22 74 79 70 65 65 72 72 6f 72 22 se { "typeerror"
28f0: 20 7d 0a 20 20 20 20 3e 3e 20 29 7d 0a 20 20 20 }. >> )}.
2900: 20 70 6f 6c 65 6d 79 2e 76 61 6c 75 65 2e 6e 61 polemy.value.na
2910: 74 69 76 65 21 28 49 6e 74 56 61 6c 75 65 2c 49 tive!(IntValue,I
2920: 6e 74 56 61 6c 75 65 2c 49 6e 74 56 61 6c 75 65 ntValue,IntValue
2930: 29 2e 6e 61 74 69 76 65 2e 5f 5f 61 6e 6f 6e 63 ).native.__anonc
2940: 6c 61 73 73 32 34 0a 0a 20 20 49 74 20 69 73 20 lass24.. It is
2950: 6a 75 73 74 20 63 6f 6d 70 75 74 69 6e 67 20 74 just computing t
2960: 68 65 20 72 65 74 75 72 6e 20 74 79 70 65 20 66 he return type f
2970: 72 6f 6d 20 74 68 65 20 69 6e 70 75 74 20 74 79 rom the input ty
2980: 70 65 2e 0a 20 20 4e 6f 74 20 68 65 72 65 20 74 pe.. Not here t
2990: 68 61 74 20 74 68 65 20 69 6e 74 65 6e 64 65 64 hat the intended
29a0: 20 22 6d 65 61 6e 69 6e 67 22 20 6f 66 20 69 66 "meaning" of if
29b0: 2d 74 68 65 6e 2d 65 6c 73 65 20 69 73 20 74 68 -then-else is th
29c0: 65 20 72 75 6e 74 69 6d 65 2d 62 72 61 6e 63 68 e runtime-branch
29d0: 69 6e 67 2c 0a 20 20 61 6e 64 20 74 68 65 20 6d ing,. and the m
29e0: 65 61 6e 69 6e 67 20 6f 66 20 22 3d 3d 22 20 69 eaning of "==" i
29f0: 73 20 74 68 65 20 76 61 6c 75 65 2d 63 6f 6d 70 s the value-comp
2a00: 61 72 69 73 6f 6e 2e 20 54 68 65 73 65 20 61 72 arison. These ar
2a10: 65 20 74 68 65 20 40 76 61 6c 75 65 20 6c 61 79 e the @value lay
2a20: 65 72 0a 20 20 62 65 68 61 76 69 6f 72 2e 20 53 er. behavior. S
2a30: 6f 20 77 65 20 68 61 76 65 20 64 65 66 69 6e 65 o we have define
2a40: 64 20 74 68 65 20 66 75 6e 63 74 69 6f 6e 20 62 d the function b
2a50: 6f 64 79 20 69 6e 73 69 64 65 20 40 76 61 6c 75 ody inside @valu
2a60: 65 20 6c 61 79 65 72 2e 0a 20 20 42 75 74 20 77 e layer.. But w
2a70: 68 65 6e 20 77 65 20 72 65 66 65 72 20 74 68 65 hen we refer the
2a80: 20 76 61 72 69 61 62 6c 65 73 20 78 20 61 6e 64 variables x and
2a90: 20 79 2c 20 77 65 20 6e 65 65 64 20 69 74 73 20 y, we need its
2aa0: 40 74 79 70 65 20 6c 61 79 65 72 20 6d 65 61 6e @type layer mean
2ab0: 69 6e 67 2e 0a 20 20 48 65 6e 63 65 20 77 65 20 ing.. Hence we
2ac0: 75 73 65 20 40 74 79 70 65 28 29 20 74 68 65 72 use @type() ther
2ad0: 65 2e 0a 0a 20 20 4e 6f 77 20 77 65 20 67 65 74 e... Now we get
2ae0: 20 69 74 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 it... >> @ty
2af0: 70 65 28 20 31 20 2b 20 32 20 29 0a 20 20 20 20 pe( 1 + 2 ).
2b00: 69 6e 74 0a 0a 20 20 57 65 6c 6c 2c 20 62 75 74 int.. Well, but
2b10: 20 64 6f 20 77 65 20 68 61 76 65 20 74 6f 20 64 do we have to d
2b20: 65 66 69 6e 65 20 74 68 65 20 40 74 79 70 65 20 efine the @type
2b30: 6c 61 79 65 72 20 6d 65 61 6e 69 6e 67 20 66 6f layer meaning fo
2b40: 72 20 65 76 65 72 79 20 76 61 72 69 61 62 6c 65 r every variable
2b50: 73 3f 3f 3f 0a 20 20 4e 6f 2e 20 41 66 74 65 72 s???. No. After
2b60: 20 79 6f 75 20 64 65 66 69 6e 65 64 20 40 74 79 you defined @ty
2b70: 70 65 20 22 2b 22 2c 20 79 6f 75 27 6c 6c 20 61 pe "+", you'll a
2b80: 75 74 6f 6d 61 74 69 63 61 6c 6c 79 20 67 65 74 utomatically get
2b90: 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 3a 0a the following:.
2ba0: 0a 20 20 20 20 3e 3e 20 64 65 66 20 64 6f 75 62 . >> def doub
2bb0: 6c 65 28 78 29 20 7b 20 78 20 2b 20 78 20 7d 0a le(x) { x + x }.
2bc0: 20 20 20 20 28 66 75 6e 63 74 69 6f 6e 3a 31 37 (function:17
2bd0: 65 34 37 34 30 3a 31 37 38 39 37 32 30 29 0a 0a e4740:1789720)..
2be0: 20 20 20 20 3e 3e 20 40 74 79 70 65 28 20 64 6f >> @type( do
2bf0: 75 62 6c 65 28 31 32 33 29 20 29 0a 20 20 20 20 uble(123) ).
2c00: 69 6e 74 0a 0a 20 20 45 76 65 72 79 20 75 73 65 int.. Every use
2c10: 72 2d 64 65 66 69 6e 65 64 20 66 75 6e 63 74 69 r-defined functi
2c20: 6f 6e 73 20 61 72 65 20 61 75 74 6f 6d 61 74 69 ons are automati
2c30: 63 61 6c 6c 79 20 22 6c 69 66 74 22 65 64 20 74 cally "lift"ed t
2c40: 6f 20 74 68 65 20 61 70 70 72 6f 70 72 69 61 74 o the appropriat
2c50: 65 20 6c 61 79 65 72 2e 0a 20 20 4f 6e 6c 79 20 e layer.. Only
2c60: 70 72 69 6d 69 74 69 76 65 20 66 75 6e 63 74 69 primitive functi
2c70: 6f 6e 73 20 6c 69 6b 65 20 22 2b 22 20 72 65 71 ons like "+" req
2c80: 75 69 72 65 73 20 40 79 6f 75 72 4e 65 77 4c 61 uires @yourNewLa
2c90: 79 65 72 20 61 6e 6e 6f 74 61 74 69 6f 6e 2e 0a yer annotation..
2ca0: 0a 0a 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 6e 65 ...[Layers :: ne
2cb0: 75 74 72 61 6c 2d 6c 61 79 65 72 5d 0a 0a 20 20 utral-layer]..
2cc0: 6c 65 74 7c 76 61 72 7c 64 65 66 20 69 73 20 74 let|var|def is t
2cd0: 6f 20 64 65 66 69 6e 65 20 61 20 76 61 72 69 61 o define a varia
2ce0: 62 6c 65 20 69 6e 20 74 68 65 20 22 63 75 72 72 ble in the "curr
2cf0: 65 6e 74 22 20 6c 61 79 65 72 2e 0a 20 20 4e 6f ent" layer.. No
2d00: 74 20 6e 65 63 65 73 73 61 72 79 20 74 6f 20 74 t necessary to t
2d10: 68 65 20 40 76 61 6c 75 65 20 6c 61 79 65 72 2e he @value layer.
2d20: 0a 0a 20 20 20 20 3e 3e 20 40 76 61 6c 75 65 28 .. >> @value(
2d30: 20 6c 65 74 20 78 20 3d 20 31 20 69 6e 20 40 76 let x = 1 in @v
2d40: 61 6c 75 65 28 78 29 20 29 0a 20 20 20 20 31 0a alue(x) ). 1.
2d50: 0a 20 20 20 20 3e 3e 20 40 6d 61 63 72 6f 28 20 . >> @macro(
2d60: 6c 65 74 20 78 20 3d 20 31 20 69 6e 20 40 76 61 let x = 1 in @va
2d70: 6c 75 65 28 78 29 20 29 0a 20 20 20 20 70 6f 6c lue(x) ). pol
2d80: 65 6d 79 2e 66 61 69 6c 75 72 65 2e 52 75 6e 74 emy.failure.Runt
2d90: 69 6d 65 45 78 63 65 70 74 69 6f 6e 3a 20 5b 3c imeException: [<
2da0: 52 45 50 4c 3e 3a 31 34 3a 32 39 5d 20 76 61 72 REPL>:14:29] var
2db0: 69 61 62 6c 65 20 78 20 6e 6f 74 20 66 6f 75 6e iable x not foun
2dc0: 64 0a 0a 20 20 20 20 3e 3e 20 40 6d 61 63 72 6f d.. >> @macro
2dd0: 28 20 6c 65 74 20 78 20 3d 20 31 20 69 6e 20 40 ( let x = 1 in @
2de0: 6d 61 63 72 6f 28 78 29 20 29 0a 20 20 20 20 7b macro(x) ). {
2df0: 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e pos@value:{linen
2e00: 6f 40 76 61 6c 75 65 3a 31 35 2c 20 2e 2e 2e 0a o@value:15, ....
2e10: 0a 0a 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 4c 61 ...[Layers :: La
2e20: 79 65 72 65 64 2d 50 61 72 61 6d 65 74 65 72 73 yered-Parameters
2e30: 5d 0a 0a 20 20 20 20 3e 3e 20 64 65 66 20 66 6f ].. >> def fo
2e40: 6f 28 78 20 40 6d 61 63 72 6f 20 40 76 61 6c 75 o(x @macro @valu
2e50: 65 29 20 7b 20 7b 66 73 74 3a 20 78 2c 20 73 6e e) { {fst: x, sn
2e60: 64 3a 20 40 6d 61 63 72 6f 28 78 29 7d 20 7d 0a d: @macro(x)} }.
2e70: 20 20 20 20 28 66 75 6e 63 74 69 6f 6e 3a 31 37 (function:17
2e80: 33 30 33 36 30 3a 31 37 38 39 37 32 30 29 0a 0a 30360:1789720)..
2e90: 20 20 49 66 20 79 6f 75 20 61 6e 6e 6f 74 61 74 If you annotat
2ea0: 65 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d e function param
2eb0: 65 74 65 72 73 20 62 79 20 40 4c 61 79 65 72 4e eters by @LayerN
2ec0: 61 6d 65 73 2c 20 77 68 65 6e 20 79 6f 75 20 69 ames, when you i
2ed0: 6e 76 6f 6b 65 20 74 68 65 20 66 75 6e 63 74 69 nvoke the functi
2ee0: 6f 6e 2e 2e 2e 0a 0a 20 20 20 20 3e 3e 20 66 6f on..... >> fo
2ef0: 6f 28 31 2b 32 29 0a 20 20 20 20 7b 73 6e 64 40 o(1+2). {snd@
2f00: 76 61 6c 75 65 3a 20 7b 70 6f 73 40 76 61 6c 75 value: {pos@valu
2f10: 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a e:{lineno@value:
2f20: 31 37 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 17, column@value
2f30: 3a 35 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c :5, filename@val
2f40: 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 ue:<REPL>},.
2f50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 69 73 is
2f60: 40 76 61 6c 75 65 3a 61 70 70 2c 20 61 72 67 40 @value:app, arg@
2f70: 76 61 6c 75 65 3a 7b 2e 2e 2e 0a 20 20 20 20 2f value:{.... /
2f80: 66 73 74 40 76 61 6c 75 65 3a 33 0a 20 20 20 20 fst@value:3.
2f90: 2f 7d 0a 0a 20 20 69 74 73 20 63 6f 72 72 65 73 /}.. its corres
2fa0: 70 6f 6e 64 69 6e 67 20 61 72 67 75 6d 65 6e 74 ponding argument
2fb0: 73 20 61 72 65 20 65 76 61 6c 75 61 74 65 64 20 s are evaluated
2fc0: 69 6e 20 74 68 65 20 6c 61 79 65 72 20 61 6e 64 in the layer and
2fd0: 20 70 61 73 73 65 64 20 74 6f 20 69 74 2e 0a 20 passed to it..
2fe0: 20 49 66 20 79 6f 75 20 73 70 65 63 69 66 79 20 If you specify
2ff0: 6d 75 6c 74 69 70 6c 65 20 6c 61 79 65 72 73 2c multiple layers,
3000: 20 74 68 65 20 61 72 67 75 6d 65 6e 74 20 65 78 the argument ex
3010: 70 72 65 73 73 69 6f 6e 20 69 73 20 72 75 6e 20 pression is run
3020: 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 2e 0a multiple times..
3030: 20 20 49 66 20 79 6f 75 20 64 6f 20 6e 6f 74 20 If you do not
3040: 73 70 65 63 69 66 79 20 61 6e 79 20 6c 61 79 65 specify any laye
3050: 72 20 66 6f 72 20 61 20 70 61 72 61 6d 65 74 65 r for a paramete
3060: 72 2c 20 69 74 20 77 6f 72 6b 73 20 69 6e 20 74 r, it works in t
3070: 68 65 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 he neutral layer
3080: 2e 0a 0a 0a 0a 5b 40 6d 61 63 72 6f 20 6c 61 79 .....[@macro lay
3090: 65 72 5d 0a 0a 20 20 20 57 68 65 6e 20 66 75 6e er].. When fun
30a0: 63 74 69 6f 6e 20 69 73 20 69 6e 76 6f 6b 65 64 ction is invoked
30b0: 2c 20 69 74 20 66 69 72 73 74 20 72 75 6e 20 69 , it first run i
30c0: 6e 20 74 68 65 20 40 6d 61 63 72 6f 20 6c 61 79 n the @macro lay
30d0: 65 72 2c 20 61 6e 64 20 61 66 74 65 72 20 74 68 er, and after th
30e0: 61 74 2c 0a 20 20 20 69 74 20 72 75 6e 20 69 6e at,. it run in
30f0: 20 74 68 65 20 6e 65 75 74 72 61 6c 20 6c 61 79 the neutral lay
3100: 65 72 2e 20 48 65 72 65 20 69 73 20 61 6e 20 65 er. Here is an e
3110: 78 61 6d 70 6c 65 2e 0a 0a 20 20 20 20 20 3e 3e xample... >>
3120: 20 40 6d 61 63 72 6f 20 74 77 69 63 65 28 78 29 @macro twice(x)
3130: 20 7b 20 78 3b 20 78 20 7d 0a 20 20 20 20 20 3e { x; x }. >
3140: 3e 20 64 65 66 20 66 28 29 20 7b 20 74 77 69 63 > def f() { twic
3150: 65 28 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 e(print("Hello")
3160: 29 3b 20 39 39 39 20 7d 0a 20 20 20 20 20 28 66 ); 999 }. (f
3170: 75 6e 63 74 69 6f 6e 3a 31 37 33 62 36 61 30 3a unction:173b6a0:
3180: 31 37 38 39 37 32 30 29 0a 20 20 20 20 20 3e 3e 1789720). >>
3190: 20 66 28 29 0a 20 20 20 20 20 48 65 6c 6c 6f 0a f(). Hello.
31a0: 20 20 20 20 20 48 65 6c 6c 6f 0a 20 20 20 20 20 Hello.
31b0: 39 39 39 0a 0a 20 20 20 57 68 65 6e 20 74 68 65 999.. When the
31c0: 20 69 6e 74 65 72 70 72 65 74 65 72 20 65 76 61 interpreter eva
31d0: 6c 75 61 74 65 73 20 66 28 29 2c 20 69 74 20 66 luates f(), it f
31e0: 69 72 73 74 20 65 78 65 63 75 74 65 73 0a 20 20 irst executes.
31f0: 20 20 20 22 74 77 69 63 65 28 70 72 69 6e 74 28 "twice(print(
3200: 22 48 65 6c 6c 6f 22 29 29 3b 20 39 39 39 22 0a "Hello")); 999".
3210: 20 20 20 69 6e 20 74 68 65 20 40 6d 61 63 72 6f in the @macro
3220: 20 6c 61 79 65 72 2e 20 42 61 73 69 63 61 6c 6c layer. Basicall
3230: 79 20 77 68 61 74 20 69 74 20 64 6f 65 73 20 69 y what it does i
3240: 73 20 74 6f 20 6a 75 73 74 20 63 6f 6e 73 74 72 s to just constr
3250: 75 63 74 20 69 74 73 20 73 79 6e 74 61 78 20 74 uct its syntax t
3260: 72 65 65 2e 0a 20 20 20 42 75 74 2c 20 73 69 6e ree.. But, sin
3270: 63 65 20 77 65 20 68 61 76 65 20 64 65 66 69 6e ce we have defin
3280: 65 64 20 74 68 65 20 22 74 77 69 63 65 22 20 66 ed the "twice" f
3290: 75 6e 63 74 69 6f 6e 20 69 6e 20 74 68 65 20 40 unction in the @
32a0: 6d 61 63 72 6f 20 6c 61 79 65 72 2c 20 69 74 20 macro layer, it
32b0: 69 73 0a 20 20 20 65 78 65 63 75 74 65 20 61 73 is. execute as
32c0: 20 61 20 66 75 6e 63 74 69 6f 6e 2e 20 52 65 73 a function. Res
32d0: 75 6c 74 69 6e 67 20 73 79 6e 74 61 78 20 74 72 ulting syntax tr
32e0: 65 65 20 69 73 0a 20 20 20 20 20 22 70 72 69 6e ee is. "prin
32f0: 74 28 22 48 65 6c 6c 6f 22 29 3b 20 70 72 69 6e t("Hello"); prin
3300: 74 28 22 48 65 6c 6c 6f 22 29 3b 20 39 39 39 22 t("Hello"); 999"
3310: 0a 20 20 20 61 6e 64 20 74 68 69 73 20 69 73 20 . and this is
3320: 65 78 65 63 75 74 65 64 20 6f 6e 20 74 68 65 20 executed on the
3330: 6e 65 75 74 72 61 6c 20 28 69 6e 20 74 68 69 73 neutral (in this
3340: 20 65 78 61 6d 70 6c 65 2c 20 40 76 61 6c 75 65 example, @value
3350: 29 20 6c 61 79 65 72 2e 0a 20 20 20 54 68 69 73 ) layer.. This
3360: 20 69 73 20 74 68 65 20 72 65 61 73 6f 6e 20 77 is the reason w
3370: 68 79 20 79 6f 75 20 73 65 65 20 74 77 6f 20 22 hy you see two "
3380: 48 65 6c 6c 6f 22 73 2e 0a 0a 0a 0a 20 20 20 20 Hello"s.....
3390: 20 20 5b 5b 6c 69 6d 69 74 61 74 69 6f 6e 73 5d [[limitations]
33a0: 5d 0a 0a 20 20 20 54 68 69 73 20 40 6d 61 63 72 ].. This @macr
33b0: 6f 20 6c 61 79 65 72 20 69 73 20 61 20 76 65 72 o layer is a ver
33c0: 79 20 70 72 69 6d 69 74 69 76 65 20 6f 6e 65 2c y primitive one,
33d0: 20 61 6e 64 20 6e 6f 74 20 61 20 70 65 72 66 65 and not a perfe
33e0: 63 74 20 6d 61 63 72 6f 20 6c 61 6e 67 75 61 67 ct macro languag
33f0: 65 2e 0a 20 20 20 54 77 6f 20 6d 61 6a 6f 72 20 e.. Two major
3400: 6c 69 6d 69 74 61 74 69 6f 6e 73 20 61 72 65 20 limitations are
3410: 73 65 65 6e 20 69 6e 20 74 68 65 20 66 6f 6c 6c seen in the foll
3420: 6f 77 69 6e 67 20 22 69 74 22 20 65 78 61 6d 70 owing "it" examp
3430: 6c 65 2e 0a 0a 20 20 20 20 20 3e 3e 20 40 6d 61 le... >> @ma
3440: 63 72 6f 20 4c 65 74 49 74 42 65 28 78 2c 20 79 cro LetItBe(x, y
3450: 29 20 7b 20 6c 65 74 20 69 74 20 3d 20 78 20 69 ) { let it = x i
3460: 6e 20 79 20 7d 3b 0a 0a 20 20 20 54 68 65 20 76 n y };.. The v
3470: 61 72 69 61 62 6c 65 20 6e 61 6d 65 20 69 73 20 ariable name is
3480: 6e 6f 74 20 68 79 67 65 6e 69 63 2c 20 61 6e 64 not hygenic, and
3490: 20 73 6f 20 77 69 74 68 6f 75 74 20 61 6e 79 20 so without any
34a0: 65 66 66 6f 72 74 2c 20 74 68 65 20 73 79 6e 74 effort, the synt
34b0: 61 78 20 74 72 65 65 20 22 79 22 0a 20 20 20 63 ax tree "y". c
34c0: 61 6e 20 61 63 63 65 73 73 20 74 68 65 20 6f 75 an access the ou
34d0: 74 65 72 20 76 61 72 69 61 62 6c 65 20 22 69 74 ter variable "it
34e0: 22 2e 0a 0a 20 20 20 20 20 3e 3e 20 64 65 66 20 "... >> def
34f0: 66 6f 6f 28 29 20 7b 20 4c 65 74 49 74 42 65 28 foo() { LetItBe(
3500: 20 31 2b 32 2b 33 2c 20 69 74 2a 69 74 20 29 20 1+2+3, it*it )
3510: 7d 0a 20 20 20 20 20 3e 3e 20 66 6f 6f 28 29 0a }. >> foo().
3520: 20 20 20 20 20 33 36 0a 0a 20 20 20 4f 66 20 63 36.. Of c
3530: 6f 75 72 73 65 2c 20 74 68 69 73 20 69 73 20 6e ourse, this is n
3540: 6f 74 20 6a 75 73 74 20 61 20 6c 69 6d 69 74 61 ot just a limita
3550: 74 69 6f 6e 3b 20 69 74 20 63 61 6e 20 73 6f 6d tion; it can som
3560: 65 74 69 6d 65 73 20 61 6c 6c 6f 77 20 75 73 20 etimes allow us
3570: 74 6f 20 77 72 69 74 65 0a 20 20 20 6d 61 6e 79 to write. many
3580: 20 69 6e 74 65 72 65 73 74 69 6e 67 20 6d 61 63 interesting mac
3590: 72 6f 73 2e 0a 0a 20 20 20 54 68 65 20 6f 74 68 ros... The oth
35a0: 65 72 20 70 72 6f 62 6c 65 6d 20 69 73 20 74 68 er problem is th
35b0: 61 74 20 74 68 65 20 6d 61 63 72 6f 20 65 78 70 at the macro exp
35c0: 61 6e 73 69 6f 6e 20 69 73 20 6f 6e 6c 79 20 64 ansion is only d
35d0: 6f 6e 65 20 61 74 20 66 75 6e 63 74 69 6f 6e 20 one at function
35e0: 73 74 61 72 74 75 70 2e 0a 20 20 20 53 6f 20 0a startup.. So .
35f0: 0a 20 20 20 20 20 3e 3e 20 4c 65 74 49 74 42 65 . >> LetItBe
3600: 28 20 31 2b 32 2b 33 2c 20 69 74 2a 69 74 20 29 ( 1+2+3, it*it )
3610: 0a 20 20 20 20 20 2e 2e 2e 5c 76 61 6c 75 65 2e . ...\value.
3620: 64 28 31 37 33 29 3a 20 5b 3c 52 45 50 4c 3e 3a d(173): [<REPL>:
3630: 32 34 3a 31 5d 20 76 61 72 69 61 62 6c 65 20 4c 24:1] variable L
3640: 65 74 49 74 42 65 20 69 73 20 6e 6f 74 20 73 65 etItBe is not se
3650: 74 20 69 6e 20 6c 61 79 65 72 20 40 76 61 6c 75 t in layer @valu
3660: 65 0a 0a 20 20 20 79 6f 75 20 63 61 6e 6e 6f 74 e.. you cannot
3670: 20 64 69 72 65 63 74 6c 79 20 75 73 65 20 74 68 directly use th
3680: 65 20 6d 61 63 72 6f 20 69 6e 20 74 68 65 20 73 e macro in the s
3690: 61 6d 65 20 73 63 6f 70 65 20 61 73 20 74 68 65 ame scope as the
36a0: 20 64 65 66 69 6e 69 74 69 6f 6e 2e 0a 20 20 20 definition..
36b0: 59 6f 75 20 6e 65 65 64 20 74 6f 20 77 72 61 70 You need to wrap
36c0: 20 69 74 20 75 70 20 69 6e 20 61 20 66 75 6e 63 it up in a func
36d0: 74 69 6f 6e 20 28 6c 69 6b 65 20 74 68 65 20 66 tion (like the f
36e0: 6f 6f 28 29 20 69 6e 20 74 68 65 20 61 62 6f 76 oo() in the abov
36f0: 65 20 65 78 61 6d 70 6c 65 29 2e 0a 0a 0a 0a 20 e example).....
3700: 20 20 20 20 20 5b 5b 71 75 6f 74 65 20 61 6e 64 [[quote and
3710: 20 75 6e 71 75 6f 74 65 5d 5d 0a 0a 20 20 20 48 unquote]].. H
3720: 65 72 65 20 69 73 20 6d 6f 72 65 20 69 6e 76 6f ere is more invo
3730: 6c 76 65 64 20 65 78 61 6d 70 6c 65 20 6f 66 20 lved example of
3740: 63 6f 64 65 20 67 65 6e 72 61 74 69 6f 6e 2e 0a code genration..
3750: 20 20 20 46 72 6f 6d 20 22 78 22 2c 20 69 74 20 From "x", it
3760: 67 65 6e 65 72 61 74 65 73 20 22 78 2a 78 2a 78 generates "x*x*x
3770: 2a 78 2a 78 2a 78 2a 78 2a 78 2a 78 2a 78 22 2e *x*x*x*x*x*x*x".
3780: 0a 0a 20 20 20 20 20 40 6d 61 63 72 6f 20 70 6f .. @macro po
3790: 77 31 30 28 78 29 20 7b 0a 20 20 20 20 20 20 20 w10(x) {.
37a0: 40 76 61 6c 75 65 28 0a 20 20 20 20 20 20 20 20 @value(.
37b0: 20 64 65 66 20 70 6f 77 28 78 2c 20 6e 29 20 7b def pow(x, n) {
37c0: 0a 20 20 20 20 20 20 20 20 20 20 20 69 66 28 20 . if(
37d0: 6e 20 3d 3d 20 31 20 29 20 7b 20 78 20 7d 0a 20 n == 1 ) { x }.
37e0: 20 20 20 20 20 20 20 20 20 20 65 6c 73 65 20 7b else {
37f0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 40 6d . @m
3800: 61 63 72 6f 28 20 40 76 61 6c 75 65 28 78 29 20 acro( @value(x)
3810: 2a 20 40 76 61 6c 75 65 28 70 6f 77 28 78 2c 6e * @value(pow(x,n
3820: 2d 31 29 29 20 29 0a 20 20 20 20 20 20 20 20 20 -1)) ).
3830: 20 20 7d 0a 20 20 20 20 20 20 20 20 20 7d 0a 20 }. }.
3840: 20 20 20 20 20 20 20 20 69 6e 0a 20 20 20 20 20 in.
3850: 20 20 20 20 20 20 70 6f 77 28 40 6d 61 63 72 6f pow(@macro
3860: 28 78 29 2c 31 30 29 0a 20 20 20 20 20 20 20 29 (x),10). )
3870: 0a 20 20 20 20 20 7d 3b 0a 0a 20 20 20 48 65 72 . };.. Her
3880: 65 2c 20 78 20 69 73 20 61 20 73 79 6e 74 61 78 e, x is a syntax
3890: 20 74 72 65 65 20 62 75 74 20 6e 20 69 73 20 61 tree but n is a
38a0: 6e 20 61 63 74 75 61 6c 20 69 6e 74 65 67 65 72 n actual integer
38b0: 2e 20 49 66 20 79 6f 75 20 72 65 61 64 20 63 61 . If you read ca
38c0: 72 65 66 75 6c 6c 79 2c 0a 20 20 20 79 6f 75 20 refully,. you
38d0: 73 68 6f 75 6c 64 20 67 65 74 20 77 68 61 74 20 should get what
38e0: 69 73 20 67 6f 69 6e 67 20 6f 6e 2e 20 42 61 73 is going on. Bas
38f0: 69 63 61 6c 6c 79 2c 20 40 6d 61 63 72 6f 20 63 ically, @macro c
3900: 61 6e 20 62 65 20 63 6f 6e 73 69 64 65 72 65 64 an be considered
3910: 20 6c 69 6b 65 0a 20 20 20 71 75 61 73 69 71 75 like. quasiqu
3920: 6f 74 69 6e 67 20 61 6e 64 20 40 76 61 6c 75 65 oting and @value
3930: 20 74 6f 20 62 65 20 61 6e 20 65 73 63 61 70 65 to be an escape
3940: 20 66 72 6f 6d 20 69 74 2e 0a 3c 2f 70 72 65 3e from it..</pre>
3950: 0a 29 29 0a 0a 0a 24 28 53 45 43 54 49 4f 4e 20 .))...$(SECTION
3960: 42 75 69 6c 74 2d 69 6e 20 50 72 69 6d 69 74 69 Built-in Primiti
3970: 76 65 73 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c ves, $(SECBODY.<
3980: 70 3e 0a e7 b5 84 e3 81 bf e8 be bc e3 81 bf e9 p>..............
3990: 96 a2 e6 95 b0 e3 83 bb e5 a4 89 e6 95 b0 e3 81 ................
39a0: ae e4 b8 80 e8 a6 a7 e3 80 82 0a 3c 2f 70 3e 0a ...........</p>.
39b0: 24 28 44 44 4f 43 5f 4d 45 4d 42 45 52 53 0a 0a $(DDOC_MEMBERS..
39c0: 24 28 53 45 43 54 49 4f 4e 20 e3 83 86 e3 83 bc $(SECTION ......
39d0: e3 83 96 e3 83 ab e6 93 8d e4 bd 9c 2c 20 24 28 ............, $(
39e0: 53 45 43 42 4f 44 59 0a 20 20 24 28 54 41 42 4c SECBODY. $(TABL
39f0: 45 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 E. $(TR $(TH
3a00: 7b 7d 29 20 24 28 54 44 20 28 29 29 20 24 28 54 {}) $(TD ()) $(T
3a10: 44 20 e7 a9 ba e3 81 ae e3 83 86 e3 83 bc e3 83 D ..............
3a20: 96 e3 83 ab e3 82 92 e4 bd 9c e3 82 8b 29 29 0a .............)).
3a30: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 2e 29 $(TR $(TH .)
3a40: 20 24 28 54 44 20 28 74 2c 20 73 29 29 20 24 28 $(TD (t, s)) $(
3a50: 54 44 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab 20 TD ............
3a60: 74 20 e3 81 ae e5 90 8d e5 89 8d 20 73 20 e3 81 t ......... s ..
3a70: ae e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 ................
3a80: e3 81 ae e5 80 a4 e3 82 92 e5 8f 96 e5 be 97 e3 ................
3a90: 80 82 e3 81 aa e3 81 91 e3 82 8c e3 81 b0 20 3c .............. <
3aa0: 74 74 3e 75 6e 64 65 66 69 6e 65 64 3c 2f 74 74 tt>undefined</tt
3ab0: 3e 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 >)). $(TR $(T
3ac0: 48 20 2e 3f 29 20 24 28 54 44 20 28 74 2c 20 73 H .?) $(TD (t, s
3ad0: 29 29 20 24 28 54 44 20 e3 83 86 e3 83 bc e3 83 )) $(TD ........
3ae0: 96 e3 83 ab 20 74 20 e3 81 ab e5 90 8d e5 89 8d .... t .........
3af0: 20 73 20 e3 81 ae e3 83 95 e3 82 a3 e3 83 bc e3 s .............
3b00: 83 ab e3 83 89 e3 81 8c e3 81 82 e3 82 8c e3 81 ................
3b10: b0 20 31 e3 80 81 e3 81 aa e3 81 91 e3 82 8c e3 . 1.............
3b20: 81 b0 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 .. 0)). $(TR
3b30: 24 28 54 48 20 2e 3d 29 20 24 28 54 44 20 28 74 $(TH .=) $(TD (t
3b40: 2c 20 73 2c 20 76 29 29 20 24 28 54 44 20 e3 83 , s, v)) $(TD ..
3b50: 86 e3 83 bc e3 83 96 e3 83 ab 20 74 20 e3 82 92 .......... t ...
3b60: e8 a6 aa e3 81 ab e6 8c 81 e3 81 a1 e3 80 81 e5 ................
3b70: 90 8d e5 89 8d 20 73 20 e3 81 ae e3 83 95 e3 82 ..... s ........
3b80: a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ab 20 76 20 ............. v
3b90: e3 81 8c e5 85 a5 e3 81 a3 e3 81 9f e3 83 86 e3 ................
3ba0: 83 bc e3 83 96 e3 83 ab e3 82 92 e4 bd 9c e3 82 ................
3bb0: 8b 29 29 0a 20 20 29 0a 29 29 0a 3c 62 72 20 2f .)). ).)).<br /
3bc0: 3e 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e5 88 b6 >..$(SECTION ...
3bd0: e5 be a1 e3 83 95 e3 83 ad e3 83 bc 2c 20 24 28 ............, $(
3be0: 53 45 43 42 4f 44 59 0a 20 20 24 28 54 41 42 4c SECBODY. $(TABL
3bf0: 45 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 E. $(TR $(TH
3c00: 69 66 29 20 24 28 54 44 20 28 6e 2c 20 66 74 2c if) $(TD (n, ft,
3c10: 20 66 65 29 29 20 24 28 54 44 20 6e 20 e3 81 8c fe)) $(TD n ...
3c20: e9 9d 9e 20 30 20 e3 81 aa e3 82 89 20 3c 74 74 ... 0 ...... <tt
3c30: 3e 66 74 28 29 3c 2f 74 3e e3 80 81 30 20 e3 81 >ft()</t>...0 ..
3c40: aa e3 82 89 20 3c 74 74 3e 66 65 28 29 3c 2f 74 .... <tt>fe()</t
3c50: 74 3e 20 e3 82 92 e5 ae 9f e8 a1 8c 29 29 0a 20 t> .........)).
3c60: 20 29 0a 29 29 0a 3c 62 72 20 2f 3e 0a 0a 24 28 ).)).<br />..$(
3c70: 53 45 43 54 49 4f 4e 20 e6 bc 94 e7 ae 97 2c 20 SECTION ......,
3c80: 24 28 53 45 43 42 4f 44 59 0a 20 20 24 28 54 41 $(SECBODY. $(TA
3c90: 42 4c 45 0a 20 20 20 20 24 28 54 52 20 24 28 54 BLE. $(TR $(T
3ca0: 48 20 2b 29 20 24 28 54 44 20 28 6e 2c 20 6d 29 H +) $(TD (n, m)
3cb0: 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 20 6e 20 ) $(TD ...... n
3cc0: e3 81 a8 e6 95 b4 e6 95 b0 20 6d 20 e3 82 92 e8 ......... m ....
3cd0: b6 b3 e3 81 97 e3 81 a6 e8 bf 94 e3 81 99 29 29 ..............))
3ce0: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 2d . $(TR $(TH -
3cf0: 29 20 24 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 ) $(TD (n, m)) $
3d00: 28 54 44 20 e6 95 b4 e6 95 b0 e3 81 ae e5 bc 95 (TD ............
3d10: e3 81 8d e7 ae 97 29 29 0a 20 20 20 20 24 28 54 ......)). $(T
3d20: 52 20 24 28 54 48 20 2a 29 20 24 28 54 44 20 28 R $(TH *) $(TD (
3d30: 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 n, m)) $(TD ....
3d40: 95 b0 e3 81 ae e6 8e 9b e3 81 91 e7 ae 97 29 29 ..............))
3d50: 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 2f . $(TR $(TH /
3d60: 29 20 24 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 ) $(TD (n, m)) $
3d70: 28 54 44 20 e6 95 b4 e6 95 b0 e3 81 ae e5 89 b2 (TD ............
3d80: e3 82 8a e7 ae 97 29 29 0a 20 20 20 20 24 28 54 ......)). $(T
3d90: 52 20 24 28 54 48 20 25 29 20 24 28 54 44 20 28 R $(TH %) $(TD (
3da0: 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 n, m)) $(TD ....
3db0: 95 b0 e3 81 ae e5 89 b0 e4 bd 99 29 29 0a 20 20 ...........)).
3dc0: 20 20 24 28 54 52 20 24 28 54 48 20 26 61 6d 70 $(TR $(TH &
3dd0: 3b 26 61 6d 70 3b 29 20 24 28 54 44 20 28 6e 2c ;&) $(TD (n,
3de0: 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 m)) $(TD ......
3df0: 20 6e 20 e3 81 a8 20 6d 20 e3 81 8c e4 b8 a1 e6 n ... m .......
3e00: 96 b9 e9 9d 9e 20 30 20 e3 81 aa e3 82 89 20 31 ..... 0 ...... 1
3e10: e3 80 81 e3 81 9d e3 82 8c e4 bb a5 e5 a4 96 e3 ................
3e20: 81 a7 e3 81 af 20 30 29 29 0a 20 20 20 20 24 28 ..... 0)). $(
3e30: 54 52 20 24 28 54 48 20 7c 7c 29 20 24 28 54 44 TR $(TH ||) $(TD
3e40: 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 20 e6 95 (n, m)) $(TD ..
3e50: b4 e6 95 b0 20 6e 20 e3 81 a8 20 6d 20 e3 81 8c .... n ... m ...
3e60: e3 81 a9 e3 81 a1 e3 82 89 e3 81 8b e9 9d 9e 20 ...............
3e70: 30 20 e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 9d 0 ...... 1......
3e80: e3 82 8c e4 bb a5 e5 a4 96 e3 81 a7 e3 81 af 20 ...............
3e90: 30 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 0)). $(TR $(T
3ea0: 48 20 7e 29 20 24 28 54 44 20 28 61 2c 20 62 29 H ~) $(TD (a, b)
3eb0: 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 e3 ) $(TD a ... b .
3ec0: 82 92 e6 96 87 e5 ad 97 e5 88 97 e5 8c 96 e3 81 ................
3ed0: 97 e3 81 a6 e7 b5 90 e5 90 88 29 29 0a 20 20 20 ..........)).
3ee0: 20 24 28 54 52 20 24 28 54 48 20 26 6c 74 3b 29 $(TR $(TH <)
3ef0: 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 28 $(TD (a, b)) $(
3f00: 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af TD a ... b .....
3f10: 94 e8 bc 83 29 29 0a 20 20 20 20 24 28 54 52 20 ....)). $(TR
3f20: 24 28 54 48 20 26 6c 74 3b 3d 29 20 24 28 54 44 $(TH <=) $(TD
3f30: 20 28 61 2c 20 62 29 29 20 24 28 54 44 20 61 20 (a, b)) $(TD a
3f40: e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 29 ... b .........)
3f50: 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48 20 ). $(TR $(TH
3f60: 26 67 74 3b 29 20 24 28 54 44 20 28 61 2c 20 62 >) $(TD (a, b
3f70: 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 )) $(TD a ... b
3f80: e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 20 20 .........)).
3f90: 24 28 54 52 20 24 28 54 48 20 26 67 74 3b 3d 29 $(TR $(TH >=)
3fa0: 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 28 $(TD (a, b)) $(
3fb0: 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af TD a ... b .....
3fc0: 94 e8 bc 83 29 29 0a 20 20 20 20 24 28 54 52 20 ....)). $(TR
3fd0: 24 28 54 48 20 3d 3d 29 20 24 28 54 44 20 28 61 $(TH ==) $(TD (a
3fe0: 2c 20 62 29 29 20 24 28 54 44 20 61 20 e3 81 a8 , b)) $(TD a ...
3ff0: 20 62 20 e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 b .........)).
4000: 20 20 20 24 28 54 52 20 24 28 54 48 20 21 3d 29 $(TR $(TH !=)
4010: 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 28 $(TD (a, b)) $(
4020: 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af TD a ... b .....
4030: 94 e8 bc 83 29 29 0a 20 20 29 0a 3c 70 3e 0a e6 ....)). ).<p>..
4040: b3 a8 e6 84 8f e7 82 b9 e3 81 a8 e3 81 97 e3 81 ................
4050: a6 e3 80 81 e4 bd 9c e8 80 85 e3 81 ae e8 b6 a3 ................
4060: e5 91 b3 e3 81 ae e5 95 8f e9 a1 8c e3 81 a7 e3 ................
4070: 80 81 3c 74 74 3e 26 61 6d 70 3b 26 61 6d 70 3b ..<tt>&&
4080: 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 7c 7c </tt> ... <tt>||
4090: 3c 2f 74 74 3e 20 e3 81 af 20 73 68 6f 72 74 2d </tt> ... short-
40a0: 63 69 72 63 75 69 74 20 e8 a9 95 e4 be a1 e3 82 circuit ........
40b0: 92 e3 81 97 e3 81 be e3 81 9b e3 82 93 e3 80 82 ................
40c0: 0a e6 95 b4 e6 95 b0 e6 bc 94 e7 ae 97 e3 81 ae ................
40d0: e7 a8 ae e9 a1 9e e3 81 8c e5 b0 91 e3 81 aa e3 ................
40e0: 81 84 e3 81 ae e3 81 af e3 80 81 44 20 e8 a8 80 ...........D ...
40f0: e8 aa 9e e3 81 ae 20 73 74 64 2e 62 69 67 69 6e ...... std.bigin
4100: 74 20 e3 81 8c e3 83 93 e3 83 83 e3 83 88 e6 bc t ..............
4110: 94 e7 ae 97 e3 81 aa e3 81 a9 e3 82 92 e3 82 b5 ................
4120: e3 83 9d e3 83 bc e3 83 88 e3 81 97 e3 81 a6 e3 ................
4130: 81 aa e3 81 84 e3 81 9f e3 82 81 e3 81 a7 e3 81 ................
4140: 99 e3 80 82 0a e6 96 87 e5 ad 97 e5 88 97 e3 81 ................
4150: 8c e7 b5 90 e5 90 88 e3 81 97 e3 81 8b e3 81 a7 ................
4160: e3 81 8d e3 81 aa e3 81 84 e3 81 ae e3 81 af e3 ................
4170: 80 81 e5 8d 98 e3 81 ab e6 89 8b e6 8a 9c e3 81 ................
4180: 8d e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a ...........</p>.
4190: 29 29 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e5 a4 ))..$(SECTION ..
41a0: 96 e9 83 a8 e3 81 a8 e3 81 ae e3 82 84 e3 82 8a ................
41b0: e3 81 a8 e3 82 8a 2c 20 24 28 53 45 43 42 4f 44 ......, $(SECBOD
41c0: 59 0a 20 20 24 28 54 41 42 4c 45 0a 20 20 20 20 Y. $(TABLE.
41d0: 24 28 54 52 20 24 28 54 48 20 70 72 69 6e 74 29 $(TR $(TH print)
41e0: 20 24 28 54 44 20 28 61 29 29 20 24 28 54 44 20 $(TD (a)) $(TD
41f0: 61 20 e3 82 92 e6 96 87 e5 ad 97 e5 88 97 e5 8c a ..............
4200: 96 e6 a8 99 e6 ba 96 e5 87 ba e5 8a 9b e3 81 ab ................
4210: e6 94 b9 e8 a1 8c e4 bb 98 e3 81 8d e3 81 a7 e8 ................
4220: a1 a8 e7 a4 ba 29 29 0a 20 20 20 20 24 28 54 52 .....)). $(TR
4230: 20 24 28 54 48 20 61 72 67 76 29 20 24 28 54 44 $(TH argv) $(TD
4240: 20 29 20 24 28 54 44 20 e3 82 b9 e3 82 af e3 83 ) $(TD ........
4250: aa e3 83 97 e3 83 88 e3 81 ab e6 b8 a1 e3 81 95 ................
4260: e3 82 8c e3 81 9f e5 bc 95 e6 95 b0 e6 96 87 e5 ................
4270: ad 97 e5 88 97 e3 81 ae 63 6f 6e 73 e3 83 aa e3 ........cons....
4280: 82 b9 e3 83 88 29 29 0a 20 20 29 0a 29 29 0a 3c .....)). ).)).<
4290: 62 72 20 2f 3e 0a 0a 24 28 53 45 43 54 49 4f 4e br />..$(SECTION
42a0: 20 e3 83 87 e3 83 bc e3 82 bf e5 9e 8b e5 88 a4 ...............
42b0: e5 ae 9a 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 ..., $(SECBODY.
42c0: 20 24 28 54 41 42 4c 45 0a 20 20 20 20 24 28 54 $(TABLE. $(T
42d0: 52 20 24 28 54 48 20 5f 69 73 69 6e 74 29 20 24 R $(TH _isint) $
42e0: 28 54 44 20 28 61 29 29 20 24 28 54 44 20 61 20 (TD (a)) $(TD a
42f0: e3 81 8c e6 95 b4 e6 95 b0 e3 81 aa e3 82 89 20 ...............
4300: 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c 1...............
4310: e3 81 b0 20 30 29 29 0a 20 20 20 20 24 28 54 52 ... 0)). $(TR
4320: 20 24 28 54 48 20 5f 69 73 73 74 72 29 20 24 28 $(TH _isstr) $(
4330: 54 44 20 28 61 29 29 20 24 28 54 44 20 61 20 e3 TD (a)) $(TD a .
4340: 81 8c e6 96 87 e5 ad 97 e5 88 97 e3 81 aa e3 82 ................
4350: 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 . 1.............
4360: 82 8c e3 81 b0 20 30 29 29 0a 20 20 20 20 24 28 ..... 0)). $(
4370: 54 52 20 24 28 54 48 20 5f 69 73 66 75 6e 29 20 TR $(TH _isfun)
4380: 24 28 54 44 20 28 61 29 29 20 24 28 54 44 20 61 $(TD (a)) $(TD a
4390: 20 e3 81 8c e9 96 a2 e6 95 b0 e3 81 aa e3 82 89 ...............
43a0: 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 1..............
43b0: 8c e3 81 b0 20 30 29 29 0a 20 20 20 20 24 28 54 .... 0)). $(T
43c0: 52 20 24 28 54 48 20 5f 69 73 74 61 62 6c 65 29 R $(TH _istable)
43d0: 20 24 28 54 44 20 28 61 29 29 20 24 28 54 44 20 $(TD (a)) $(TD
43e0: 61 20 e3 81 8c e3 83 86 e3 83 bc e3 83 96 e3 83 a ..............
43f0: ab e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 ....... 1.......
4400: 81 aa e3 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a ........... 0)).
4410: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 5f 69 $(TR $(TH _i
4420: 73 75 6e 64 65 66 69 6e 65 64 29 20 24 28 54 44 sundefined) $(TD
4430: 20 28 61 29 29 20 24 28 54 44 20 61 20 e3 81 8c (a)) $(TD a ...
4440: e6 9c aa e5 ae 9a e7 be a9 e5 80 a4 e3 81 aa e3 ................
4450: 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 .. 1............
4460: e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 29 0a 29 ...... 0)). ).)
4470: 29 0a 29 0a 29 29 0a 0a 29 0a 4d 61 63 72 6f 73 ).).))..).Macros
4480: 3a 0a 20 20 20 20 54 49 54 4c 45 3d 50 6f 6c 65 :. TITLE=Pole
4490: 6d 79 20 52 65 66 65 72 65 6e 63 65 20 4d 61 6e my Reference Man
44a0: 75 61 6c 0a 20 20 20 20 44 4f 43 46 49 4c 45 4e ual. DOCFILEN
44b0: 41 4d 45 3d 69 6e 64 65 78 2e 68 74 6d 6c 0a 20 AME=index.html.
44c0: 20 20 20 53 45 43 54 49 4f 4e 3d 24 28 44 44 4f SECTION=$(DDO
44d0: 43 5f 44 45 43 4c 20 24 28 44 44 4f 43 5f 50 53 C_DECL $(DDOC_PS
44e0: 59 4d 42 4f 4c 20 24 31 29 29 20 24 28 44 44 4f YMBOL $1)) $(DDO
44f0: 43 5f 44 45 43 4c 5f 44 44 20 24 32 29 0a 20 20 C_DECL_DD $2).
4500: 20 20 53 45 43 42 4f 44 59 3d 24 30 0a SECBODY=$0.