0000: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0010: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0020: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0030: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0040: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 20 20 -------------.
0050: 50 6f 6c 65 6d 79 20 30 2e 31 2e 30 0a 20 20 20 Polemy 0.1.0.
0060: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0070: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0080: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 62 79 by
0090: 20 6b 2e 69 6e 61 62 61 20 28 77 77 77 2e 6b 6d k.inaba (www.km
00a0: 6f 6e 6f 73 2e 6e 65 74 29 0a 20 20 20 20 20 20 onos.net).
00b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
00c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
00d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
00e0: 20 20 20 20 20 20 20 20 20 4e 6f 76 20 32 30 2c Nov 20,
00f0: 20 32 30 31 30 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2010.----------
0100: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0110: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0120: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0130: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0140: 2d 2d 2d 0a 0a 0a 0a 3c 3c 48 6f 77 20 74 6f 20 ---....<<How to
0150: 42 75 69 6c 64 3e 3e 0a 0a 20 20 2d 20 49 6e 73 Build>>.. - Ins
0160: 74 61 6c 6c 20 44 4d 44 0a 20 20 20 20 20 20 68 tall DMD. h
0170: 74 74 70 3a 2f 2f 77 77 77 2e 64 69 67 69 74 61 ttp://www.digita
0180: 6c 6d 61 72 73 2e 63 6f 6d 2f 64 2f 32 2e 30 2f lmars.com/d/2.0/
0190: 63 68 61 6e 67 65 6c 6f 67 2e 68 74 6d 6c 0a 20 changelog.html.
01a0: 20 20 20 56 65 72 73 69 6f 6e 20 32 2e 30 35 30 Version 2.050
01b0: 20 69 73 20 72 65 63 6f 6d 6d 65 6e 64 65 64 2e is recommended.
01c0: 20 4f 6c 64 65 72 20 6f 72 20 6e 65 77 65 72 20 Older or newer
01d0: 76 65 72 73 69 6f 6e 20 6d 61 79 20 6e 6f 74 20 version may not
01e0: 77 6f 72 6b 2e 0a 0a 20 20 2d 20 42 75 69 6c 64 work... - Build
01f0: 0a 20 20 20 20 20 20 28 66 6f 72 20 57 69 6e 64 . (for Wind
0200: 6f 77 73 29 20 52 75 6e 20 62 75 69 6c 64 2e 62 ows) Run build.b
0210: 61 74 0a 20 20 20 20 20 20 28 66 6f 72 20 55 6e at. (for Un
0220: 69 78 29 20 52 75 6e 20 62 75 69 6c 64 2e 73 68 ix) Run build.sh
0230: 0a 20 20 20 20 20 20 6f 72 20 75 73 65 20 79 6f . or use yo
0240: 75 72 20 66 61 76 6f 72 69 74 65 20 62 75 69 6c ur favorite buil
0250: 64 20 74 6f 6f 6c 73 20 75 70 6f 6e 20 6d 61 69 d tools upon mai
0260: 6e 2e 64 20 61 6e 64 20 70 6f 6c 65 6d 79 2f 2a n.d and polemy/*
0270: 2e 64 2e 0a 0a 20 20 54 68 65 6e 20 79 6f 75 20 .d... Then you
0280: 77 69 6c 6c 20 67 65 74 20 74 68 65 20 65 78 65 will get the exe
0290: 63 75 74 61 62 6c 65 20 22 70 6f 6c 65 6d 79 22 cutable "polemy"
02a0: 20 69 6e 20 74 68 65 20 22 62 69 6e 22 20 64 69 in the "bin" di
02b0: 72 65 63 74 6f 72 79 2e 0a 0a 0a 0a 3c 3c 4c 69 rectory.....<<Li
02c0: 63 65 6e 73 65 3e 3e 0a 0a 20 20 64 32 73 74 61 cense>>.. d2sta
02d0: 63 6b 74 72 61 63 65 2f 2a 0a 0a 20 20 20 20 69 cktrace/*.. i
02e0: 73 20 77 72 69 74 74 65 6e 20 62 79 20 42 65 6e s written by Ben
02f0: 6a 61 6d 69 6e 20 54 68 61 75 74 20 61 6e 64 20 jamin Thaut and
0300: 6c 69 63 65 6e 73 65 64 20 75 6e 64 65 72 20 32 licensed under 2
0310: 2d 63 6c 61 75 73 65 20 42 53 44 20 4c 69 63 65 -clause BSD Lice
0320: 6e 73 65 2e 0a 20 20 20 20 53 65 65 20 68 74 74 nse.. See htt
0330: 70 3a 2f 2f 33 64 2e 62 65 6e 6a 61 6d 69 6e 2d p://3d.benjamin-
0340: 74 68 61 75 74 2e 64 65 2f 3f 70 3d 31 35 20 66 thaut.de/?p=15 f
0350: 6f 72 20 74 68 65 20 64 65 74 61 69 6c 2e 0a 0a or the detail...
0360: 20 20 20 20 28 74 68 69 73 20 70 61 63 6b 61 67 (this packag
0370: 65 20 69 73 20 75 73 65 64 20 6f 6e 6c 79 20 66 e is used only f
0380: 6f 72 20 65 6e 61 62 6c 69 6e 67 20 73 74 61 63 or enabling stac
0390: 6b 2d 74 72 61 63 65 73 20 64 75 72 69 6e 67 20 k-traces during
03a0: 70 72 69 6e 74 69 6e 67 20 65 78 63 65 70 74 69 printing excepti
03b0: 6f 6e 73 3b 0a 20 20 20 20 20 69 74 20 69 73 20 ons;. it is
03c0: 6e 6f 74 20 75 73 65 64 20 66 6f 72 20 72 65 6c not used for rel
03d0: 65 61 73 65 20 62 75 69 6c 64 73 2e 29 0a 0a 20 ease builds.)..
03e0: 20 70 6f 6c 65 6d 79 2f 2a 0a 20 20 6d 61 69 6e polemy/*. main
03f0: 2e 64 0a 0a 20 20 20 20 41 6c 6c 20 74 68 65 20 .d.. All the
0400: 6f 74 68 65 72 20 70 61 72 74 73 20 61 72 65 20 other parts are
0410: 77 72 69 74 74 65 6e 20 62 79 20 4b 61 7a 75 68 written by Kazuh
0420: 69 72 6f 20 49 6e 61 62 61 20 61 6e 64 0a 20 20 iro Inaba and.
0430: 20 20 6c 69 63 65 6e 73 65 64 20 75 6e 64 65 72 licensed under
0440: 20 4e 59 53 4c 20 30 2e 39 39 38 32 20 28 20 68 NYSL 0.9982 ( h
0450: 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f 73 ttp://www.kmonos
0460: 2e 6e 65 74 2f 6e 79 73 6c 2f 20 29 2e 0a 0a 0a .net/nysl/ )....
0470: 0a 3c 3c 48 6f 77 20 74 6f 20 55 73 65 3e 3e 0a .<<How to Use>>.
0480: 0a 20 20 3e 20 70 6f 6c 65 6d 79 0a 20 20 20 20 . > polemy.
0490: 20 20 73 74 61 72 74 73 20 52 45 50 4c 0a 0a 20 starts REPL..
04a0: 20 3e 20 70 6f 6c 65 6d 79 20 66 6f 6f 2e 70 6d > polemy foo.pm
04b0: 79 0a 20 20 20 20 20 20 65 78 65 63 75 74 65 73 y. executes
04c0: 20 66 6f 6f 2e 70 6d 79 0a 0a 20 20 3e 20 70 6f foo.pmy.. > po
04d0: 6c 65 6d 79 20 2d 6c 20 66 6f 6f 2e 70 6d 79 0a lemy -l foo.pmy.
04e0: 20 20 20 20 20 20 61 66 74 65 72 20 65 78 65 63 after exec
04f0: 75 74 69 6e 67 20 66 6f 6f 2e 70 6d 79 2c 20 73 uting foo.pmy, s
0500: 74 61 72 74 73 20 52 45 50 4c 0a 0a 20 20 3e 20 tarts REPL.. >
0510: 70 6f 6c 65 6d 79 20 2d 6c 20 66 6f 6f 2e 70 6d polemy -l foo.pm
0520: 79 20 2d 6c 20 62 61 72 2e 70 6d 79 20 62 75 7a y -l bar.pmy buz
0530: 2e 70 6d 79 0a 20 20 20 20 20 20 65 78 65 63 75 .pmy. execu
0540: 74 65 73 20 66 6f 6f 2e 70 6d 79 2c 20 62 61 72 tes foo.pmy, bar
0550: 2e 62 6d 79 2c 20 61 6e 64 20 74 68 65 6e 20 62 .bmy, and then b
0560: 75 7a 2e 70 6d 79 0a 0a 0a 0a 3c 3c 53 79 6e 74 uz.pmy....<<Synt
0570: 61 78 3e 3e 0a 0a 20 43 6f 6d 6d 65 6e 74 20 69 ax>>.. Comment i
0580: 73 20 22 23 20 2e 2e 2e 20 5c 6e 22 0a 0a 20 45 s "# ... \n".. E
0590: 20 3a 3a 3d 0a 20 20 20 2f 2f 20 64 65 63 6c 61 ::=. // decla
05a0: 72 61 74 69 6f 6e 0a 20 20 20 20 20 7c 20 28 22 ration. | ("
05b0: 76 61 72 22 7c 22 6c 65 74 22 7c 22 64 65 66 22 var"|"let"|"def"
05c0: 7c 4c 41 59 45 52 29 20 49 44 20 22 3d 22 20 45 |LAYER) ID "=" E
05d0: 20 28 22 3b 22 7c 22 69 6e 22 29 20 45 0a 20 20 (";"|"in") E.
05e0: 20 20 20 7c 20 28 22 76 61 72 22 7c 22 6c 65 74 | ("var"|"let
05f0: 22 7c 22 64 65 66 22 7c 4c 41 59 45 52 29 20 49 "|"def"|LAYER) I
0600: 44 20 22 28 22 20 50 41 52 41 4d 53 20 22 29 22 D "(" PARAMS ")"
0610: 20 22 7b 22 20 45 20 22 7d 22 20 28 22 3b 22 7c "{" E "}" (";"|
0620: 22 69 6e 22 29 20 45 0a 20 20 20 20 20 7c 20 28 "in") E. | (
0630: 22 76 61 72 22 7c 22 6c 65 74 22 7c 22 64 65 66 "var"|"let"|"def
0640: 22 7c 4c 41 59 45 52 29 20 49 44 20 22 3d 22 20 "|LAYER) ID "="
0650: 45 0a 20 20 20 20 20 7c 20 28 22 76 61 72 22 7c E. | ("var"|
0660: 22 6c 65 74 22 7c 22 64 65 66 22 7c 4c 41 59 45 "let"|"def"|LAYE
0670: 52 29 20 49 44 20 22 28 22 20 50 41 52 41 4d 53 R) ID "(" PARAMS
0680: 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 0a 20 ")" "{" E "}".
0690: 20 20 2f 2f 20 6c 69 74 65 72 61 6c 0a 20 20 20 // literal.
06a0: 20 20 7c 20 49 4e 54 45 47 45 52 0a 09 20 7c 20 | INTEGER.. |
06b0: 53 54 52 49 4e 47 0a 09 20 7c 20 22 7b 22 20 45 STRING.. | "{" E
06c0: 4e 54 52 59 53 20 22 7d 22 20 20 20 20 20 20 20 NTRYS "}"
06d0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f 20 74 // t
06e0: 61 62 6c 65 0a 20 20 20 20 20 7c 20 22 66 75 6e able. | "fun
06f0: 22 20 22 28 22 20 50 41 52 41 4d 53 20 22 29 22 " "(" PARAMS ")"
0700: 20 22 7b 22 20 45 20 22 7d 22 20 20 20 2f 2f 20 "{" E "}" //
0710: 61 6e 6f 6e 79 6d 6f 75 73 20 66 75 6e 63 74 69 anonymous functi
0720: 6f 6e 0a 20 20 20 2f 2f 20 66 75 6e 63 74 69 6f on. // functio
0730: 6e 20 63 61 6c 6c 0a 20 20 20 20 20 7c 20 45 20 n call. | E
0740: 22 28 22 20 41 52 47 53 22 29 22 0a 09 20 20 20 "(" ARGS")"..
0750: 20 20 77 68 65 72 65 20 41 52 47 53 20 3a 3a 3d where ARGS ::=
0760: 20 45 20 22 2c 22 20 2e 2e 2e 20 22 2c 22 20 45 E "," ... "," E
0770: 0a 09 20 20 20 20 20 20 20 20 20 50 41 52 41 4d .. PARAM
0780: 53 20 3a 3a 3d 20 49 44 20 4c 41 59 45 52 2a 20 S ::= ID LAYER*
0790: 22 2c 22 20 2e 2e 2e 20 22 2c 22 20 49 44 20 4c "," ... "," ID L
07a0: 41 59 45 52 2a 0a 09 09 09 20 45 4e 54 52 59 53 AYER*.... ENTRYS
07b0: 20 3a 3a 3d 20 49 44 20 22 3a 22 20 45 20 20 22 ::= ID ":" E "
07c0: 2c 22 20 2e 2e 2e 20 22 2c 22 20 49 44 20 22 3a ," ... "," ID ":
07d0: 22 20 45 0a 20 20 20 20 20 20 20 20 20 20 20 20 " E.
07e0: 20 20 20 20 20 49 44 20 3a 3a 3d 20 27 61 2d 7a ID ::= 'a-z
07f0: 41 2d 5a 30 2d 39 5f 2e 2e 2e 27 2b 0a 20 20 20 A-Z0-9_...'+.
0800: 20 20 20 20 20 20 20 20 20 20 20 4c 41 59 45 52 LAYER
0810: 20 3a 3a 3d 20 22 40 22 20 49 44 0a 20 20 20 2f ::= "@" ID. /
0820: 2f 20 6f 70 65 72 61 74 6f 72 73 0a 20 20 20 20 / operators.
0830: 20 7c 20 22 28 22 20 45 20 22 29 22 0a 09 20 7c | "(" E ")".. |
0840: 20 45 20 22 2e 22 20 49 44 20 20 20 20 20 20 20 E "." ID
0850: 20 20 20 20 2f 2f 20 74 61 62 6c 65 20 66 69 65 // table fie
0860: 6c 64 20 61 63 63 65 73 73 0a 09 20 7c 20 45 20 ld access.. | E
0870: 22 2e 3f 22 20 49 44 20 20 20 20 20 20 20 20 20 ".?" ID
0880: 20 2f 2f 20 74 61 62 6c 65 20 66 69 65 6c 64 20 // table field
0890: 65 78 69 73 74 65 6e 63 65 20 63 68 65 63 6b 0a existence check.
08a0: 20 20 20 20 20 7c 20 45 20 22 7b 22 20 45 4e 54 | E "{" ENT
08b0: 52 59 53 20 22 7d 22 20 20 20 2f 2f 20 74 61 62 RYS "}" // tab
08c0: 6c 65 20 65 78 74 65 6e 64 20 28 70 75 72 65 20 le extend (pure
08d0: 66 75 6e 63 74 69 6f 6e 61 6c 6c 79 29 0a 20 20 functionally).
08e0: 20 20 20 7c 20 45 20 42 49 4e 4f 50 20 45 0a 20 | E BINOP E.
08f0: 20 20 20 20 7c 20 22 69 66 22 20 22 28 22 20 45 | "if" "(" E
0900: 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 0a 20 ")" "{" E "}".
0910: 20 20 20 20 7c 20 22 69 66 22 20 22 28 22 20 45 | "if" "(" E
0920: 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 20 22 ")" "{" E "}" "
0930: 65 6c 73 65 20 22 7b 22 20 45 20 22 7d 22 0a 20 else "{" E "}".
0940: 20 20 2f 2f 20 6c 61 79 65 72 65 64 20 65 78 65 // layered exe
0950: 63 0a 20 20 20 20 20 7c 20 4c 41 59 45 52 20 22 c. | LAYER "
0960: 28 22 20 45 20 22 29 22 0a 0a 54 68 65 20 66 6f (" E ")"..The fo
0970: 6c 6c 6f 77 69 6e 67 20 61 72 65 20 61 63 74 75 llowing are actu
0980: 61 6c 6c 79 20 72 65 77 72 69 74 74 65 6e 20 74 ally rewritten t
0990: 6f 20 66 75 6e 63 74 69 6f 6e 20 63 61 6c 6c 73 o function calls
09a0: 3a 0a 0a 20 20 2d 20 69 66 20 28 45 29 20 74 68 :.. - if (E) th
09b0: 65 6e 7b 45 7d 20 65 6c 73 65 7b 45 7d 20 3d 3d en{E} else{E} ==
09c0: 3e 20 69 66 28 20 45 2c 20 66 75 6e 28 29 7b 45 > if( E, fun(){E
09d0: 7d 2c 20 66 75 6e 28 29 7b 45 7d 20 29 0a 20 20 }, fun(){E} ).
09e0: 2d 20 45 20 42 49 4e 4f 50 20 45 20 20 20 20 20 - E BINOP E
09f0: 20 20 20 20 20 20 20 20 20 3d 3d 3e 20 42 49 4e ==> BIN
0a00: 4f 50 28 45 2c 20 45 29 0a 20 20 2d 20 45 2e 49 OP(E, E). - E.I
0a10: 44 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 D
0a20: 20 20 20 20 3d 3d 3e 20 2e 20 28 45 2c 20 49 44 ==> . (E, ID
0a30: 29 0a 20 20 2d 20 45 2e 3f 49 44 20 20 20 20 20 ). - E.?ID
0a40: 20 20 20 20 20 20 20 20 20 20 20 20 20 3d 3d 3e ==>
0a50: 20 2e 3f 28 45 2c 20 49 44 29 0a 20 20 2d 20 7b .?(E, ID). - {
0a60: 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 }
0a70: 20 20 20 20 20 20 3d 3d 3e 20 7b 7d 28 29 0a 20 ==> {}().
0a80: 20 2d 20 7b 20 45 4e 54 52 49 45 53 20 7d 20 20 - { ENTRIES }
0a90: 20 20 20 20 20 20 20 20 20 20 3d 3d 3e 20 7b 7d ==> {}
0aa0: 7b 20 45 4e 54 52 49 45 53 20 7d 0a 20 20 2d 20 { ENTRIES }. -
0ab0: 45 20 7b 49 44 3a 45 2c 20 2e 2e 2e 7d 20 20 20 E {ID:E, ...}
0ac0: 20 20 20 20 20 20 20 3d 3d 3e 20 28 2e 3d 28 45 ==> (.=(E
0ad0: 2c 20 49 44 2c 20 45 29 29 20 7b 20 2e 2e 2e 20 , ID, E)) { ...
0ae0: 7d 0a 0a 53 65 76 65 72 61 6c 20 73 74 79 6c 65 }..Several style
0af0: 73 20 6f 66 20 76 61 72 69 61 62 6c 65 20 64 65 s of variable de
0b00: 63 6c 61 72 61 74 69 6f 6e 20 63 61 6e 20 62 65 claration can be
0b10: 20 75 73 65 64 3a 0a 0a 20 20 2d 20 66 75 6e 28 used:.. - fun(
0b20: 78 29 7b 20 66 75 6e 28 79 29 7b 78 7d 20 7d 20 x){ fun(y){x} }
0b30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 23 20 #
0b40: 4b 2d 63 6f 6d 62 69 6e 61 74 6f 72 0a 20 20 2d K-combinator. -
0b50: 20 66 75 6e 28 78 29 7b 20 6c 65 74 20 66 20 3d fun(x){ let f =
0b60: 20 66 75 6e 28 79 29 7b 78 7d 20 69 6e 20 66 20 fun(y){x} in f
0b70: 7d 20 20 23 20 6c 65 74 2d 69 6e 20 73 74 79 6c } # let-in styl
0b80: 65 0a 20 20 2d 20 66 75 6e 28 78 29 7b 20 76 61 e. - fun(x){ va
0b90: 72 20 66 20 3d 20 66 75 6e 28 79 29 7b 78 7d 3b r f = fun(y){x};
0ba0: 20 66 20 7d 20 20 20 20 23 20 76 61 72 2d 3b 20 f } # var-;
0bb0: 20 73 74 79 6c 65 0a 20 20 2d 20 66 75 6e 28 78 style. - fun(x
0bc0: 29 7b 20 64 65 66 20 66 20 3d 20 66 75 6e 28 79 ){ def f = fun(y
0bd0: 29 7b 78 7d 20 69 6e 20 66 20 7d 20 20 23 20 79 ){x} in f } # y
0be0: 6f 75 20 63 61 6e 20 75 73 65 20 61 6e 79 20 63 ou can use any c
0bf0: 6f 6d 62 69 6e 61 74 69 6f 6e 20 6f 66 20 28 6c ombination of (l
0c00: 65 74 7c 76 61 72 7c 64 65 66 29 2d 28 3b 7c 69 et|var|def)-(;|i
0c10: 6e 29 0a 20 20 2d 20 66 75 6e 28 78 29 7b 20 64 n). - fun(x){ d
0c20: 65 66 20 66 28 79 29 7b 78 7d 20 69 6e 20 66 20 ef f(y){x} in f
0c30: 7d 20 23 20 73 79 6e 74 61 78 20 73 75 67 61 72 } # syntax sugar
0c40: 20 66 6f 72 20 66 75 6e 63 74 69 6f 6e 20 64 65 for function de
0c50: 63 6c 61 72 61 74 69 6f 6e 0a 20 20 2d 20 66 75 claration. - fu
0c60: 6e 28 78 29 7b 20 6c 65 74 20 66 28 79 29 7b 78 n(x){ let f(y){x
0c70: 7d 3b 20 66 20 7d 20 20 20 23 20 74 68 69 73 20 }; f } # this
0c80: 69 73 20 61 6c 73 6f 20 6f 6b 0a 20 20 2d 20 66 is also ok. - f
0c90: 75 6e 28 78 29 7b 20 76 61 72 20 66 28 79 29 7b un(x){ var f(y){
0ca0: 78 7d 20 7d 20 20 20 20 20 20 23 20 6f 6d 69 74 x} } # omit
0cb0: 74 69 6e 67 20 28 3b 7c 69 6e 29 20 72 65 74 75 ting (;|in) retu
0cc0: 72 6e 73 20 74 68 65 20 6c 61 73 74 20 64 65 63 rns the last dec
0cd0: 6c 61 72 65 64 20 6f 62 6a 65 63 74 20 64 69 72 lared object dir
0ce0: 65 63 74 6c 79 0a 20 20 2d 20 66 75 6e 28 78 2c ectly. - fun(x,
0cf0: 79 29 7b 78 7d 20 23 3c 20 74 68 69 73 20 69 73 y){x} #< this is
0d00: 20 6e 6f 74 20 65 71 75 61 6c 20 74 6f 20 74 68 not equal to th
0d10: 65 20 61 62 6f 76 65 20 6f 6e 65 73 2e 20 66 75 e above ones. fu
0d20: 6e 63 74 69 6f 6e 73 20 61 72 65 20 6e 6f 20 63 nctions are no c
0d30: 75 72 72 69 65 64 2e 0a 0a 4e 4f 54 45 3a 20 54 urried...NOTE: T
0d40: 68 65 72 65 73 20 6e 6f 20 22 6c 65 74 20 72 65 heres no "let re
0d50: 63 22 20 73 79 6e 74 61 78 2c 20 62 75 74 20 73 c" syntax, but s
0d60: 74 69 6c 6c 20 72 65 63 75 72 73 69 76 65 20 64 till recursive d
0d70: 65 66 69 6e 69 74 69 6f 6e 20 77 6f 72 6b 73 0a efinition works.
0d80: 20 20 20 20 64 65 66 20 66 28 78 29 20 7b 20 69 def f(x) { i
0d90: 66 28 78 3d 3d 30 29 7b 31 7d 65 6c 73 65 7b 78 f(x==0){1}else{x
0da0: 2a 66 28 78 2d 31 29 7d 20 7d 20 69 6e 20 66 28 *f(x-1)} } in f(
0db0: 31 30 29 20 20 23 3d 3e 20 33 36 32 38 38 30 30 10) #=> 3628800
0dc0: 0a 20 20 79 65 74 20 73 74 69 6c 6c 20 74 68 65 . yet still the
0dd0: 20 63 6f 64 65 20 62 65 6c 6f 77 20 61 6c 73 6f code below also
0de0: 20 77 6f 72 6b 73 0a 20 20 20 20 64 65 66 20 78 works. def x
0df0: 3d 32 31 20 69 6e 20 64 65 66 20 78 3d 78 2b 78 =21 in def x=x+x
0e00: 20 69 6e 20 78 20 20 23 3d 3e 20 34 32 2e 0a 20 in x #=> 42..
0e10: 20 54 68 65 20 69 6e 74 65 72 6e 61 6c 20 73 63 The internal sc
0e20: 6f 70 69 6e 67 20 6d 65 63 68 61 6e 69 73 6d 20 oping mechanism
0e30: 69 73 20 61 20 6c 69 74 74 6c 65 20 74 72 69 63 is a little tric
0e40: 6b 79 20 28 74 68 69 73 20 69 73 20 66 6f 72 20 ky (this is for
0e50: 63 6f 70 69 6e 67 20 77 69 74 68 0a 20 20 74 68 coping with. th
0e60: 65 20 22 6c 61 79 65 72 22 20 66 65 61 74 75 72 e "layer" featur
0e70: 65 20 65 78 70 6c 61 69 6e 65 64 20 62 65 6c 6f e explained belo
0e80: 77 29 2c 20 62 75 74 20 49 20 68 6f 70 65 20 74 w), but I hope t
0e90: 68 61 74 20 69 74 20 77 6f 72 6b 73 20 61 73 20 hat it works as
0ea0: 65 76 65 72 79 6f 6e 65 0a 20 20 65 78 70 65 63 everyone. expec
0eb0: 74 73 20 69 6e 20 6d 6f 73 74 20 63 61 73 65 73 ts in most cases
0ec0: 2c 20 61 73 20 6c 6f 6e 67 20 61 73 20 79 6f 75 , as long as you
0ed0: 20 64 6f 6e 27 74 20 75 73 65 20 74 68 65 20 73 don't use the s
0ee0: 61 6d 65 2d 6e 61 6d 65 2d 76 61 72 69 61 62 6c ame-name-variabl
0ef0: 65 73 20 68 65 61 76 69 6c 79 20 3a 29 2e 0a 0a es heavily :)...
0f00: 28 45 78 70 65 72 69 6d 65 6e 74 61 6c 29 20 70 (Experimental) p
0f10: 61 74 74 65 72 6e 20 6d 61 74 63 68 69 6e 67 20 attern matching
0f20: 69 73 20 61 6c 73 6f 20 61 76 61 69 6c 61 62 6c is also availabl
0f30: 65 2e 20 48 65 72 65 20 69 73 20 61 6e 20 65 78 e. Here is an ex
0f40: 61 6d 70 6c 65 2e 0a 0a 20 20 64 65 66 20 61 64 ample... def ad
0f50: 6a 53 75 6d 28 6c 73 74 29 0a 20 20 7b 0a 20 20 jSum(lst). {.
0f60: 20 20 63 61 73 65 28 20 6c 73 74 20 29 0a 20 20 case( lst ).
0f70: 20 20 20 20 77 68 65 6e 28 20 7b 63 61 72 3a 78 when( {car:x
0f80: 2c 20 63 64 72 3a 7b 63 61 72 3a 20 79 2c 20 63 , cdr:{car: y, c
0f90: 64 72 3a 7a 7d 7d 20 29 20 7b 20 7b 63 61 72 3a dr:z}} ) { {car:
0fa0: 20 78 2b 79 2c 20 63 64 72 3a 20 61 64 6a 53 75 x+y, cdr: adjSu
0fb0: 6d 28 7a 29 7d 20 7d 0a 20 20 20 20 20 20 77 68 m(z)} }. wh
0fc0: 65 6e 28 20 7b 63 61 72 3a 78 2c 20 63 64 72 3a en( {car:x, cdr:
0fd0: 7b 7d 7d 20 29 20 7b 20 7b 63 61 72 3a 20 78 2c {}} ) { {car: x,
0fe0: 20 63 64 72 3a 20 7b 7d 7d 20 7d 0a 20 20 20 20 cdr: {}} }.
0ff0: 20 20 77 68 65 6e 28 20 7b 7d 20 29 20 7b 20 7b when( {} ) { {
1000: 7d 20 7d 0a 20 20 7d 3b 0a 0a 49 74 20 69 73 20 } }. };..It is
1010: 65 78 70 61 6e 64 65 64 20 74 6f 20 61 20 73 65 expanded to a se
1020: 71 75 65 6e 63 65 20 6f 66 20 69 66 2d 74 68 65 quence of if-the
1030: 6e 2d 65 6c 73 65 73 20 70 72 65 66 65 72 69 6e n-elses preferin
1040: 67 20 74 68 65 20 66 69 72 73 74 2d 6d 61 74 63 g the first-matc
1050: 68 2e 20 0a 4e 6f 74 65 20 74 68 61 74 20 7b 61 h. .Note that {a
1060: 3a 20 5f 7d 20 70 61 74 74 65 72 6e 20 6d 61 74 : _} pattern mat
1070: 63 68 65 73 20 61 6c 6c 20 74 68 65 20 74 61 62 ches all the tab
1080: 6c 65 73 20 74 68 61 74 20 68 61 76 65 20 74 68 les that have th
1090: 65 20 2e 61 20 66 69 65 6c 64 2e 0a 49 74 20 61 e .a field..It a
10a0: 6c 73 6f 20 6d 61 74 63 68 65 73 20 74 6f 20 7b lso matches to {
10b0: 61 3a 20 31 32 33 2c 20 62 3a 20 34 35 36 7d 20 a: 123, b: 456}
10c0: 68 61 76 69 6e 67 20 65 78 74 72 61 20 2e 62 20 having extra .b
10d0: 66 69 65 6c 64 2e 20 53 6f 2c 20 63 68 61 6e 67 field. So, chang
10e0: 69 6e 67 20 74 68 65 0a 6f 72 64 65 72 20 6f 66 ing the.order of
10f0: 20 22 77 68 65 6e 22 73 20 69 6e 20 74 68 65 20 "when"s in the
1100: 61 62 6f 76 65 20 63 6f 64 65 20 63 68 61 6e 67 above code chang
1110: 65 73 20 74 68 65 20 62 65 68 61 76 69 6f 72 2e es the behavior.
1120: 0a 0a 0a 0a 0a 3c 3c 42 61 73 69 63 20 46 65 61 .....<<Basic Fea
1130: 74 75 72 65 73 3e 3e 0a 0a 20 20 50 6f 6c 65 6d tures>>.. Polem
1140: 79 20 69 73 20 61 6e 20 75 6e 74 79 70 65 64 20 y is an untyped
1150: 66 75 6e 63 74 69 6f 6e 61 6c 20 70 72 6f 67 72 functional progr
1160: 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 20 amming language
1170: 74 68 61 74 20 68 61 73 0a 20 20 20 2d 20 69 6e that has. - in
1180: 74 65 67 65 72 73 3a 20 20 20 30 2c 20 31 32 33 tegers: 0, 123
1190: 2c 20 34 35 36 36 36 36 36 36 36 36 36 36 36 36 , 45666666666666
11a0: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 6666666666666666
11b0: 36 36 36 36 36 36 36 36 36 37 38 39 2c 20 2e 2e 666666666789, ..
11c0: 2e 0a 20 20 20 2d 20 73 74 72 69 6e 67 73 3a 20 .. - strings:
11d0: 20 20 20 22 68 65 6c 6c 6f 2c 20 77 6f 72 6c 64 "hello, world
11e0: 21 5c 6e 22 2c 20 2e 2e 2e 0a 20 20 20 2d 20 74 !\n", .... - t
11f0: 61 62 6c 65 73 3a 20 20 20 20 20 7b 63 61 72 3a ables: {car:
1200: 20 31 2c 20 63 64 72 3a 20 7b 63 61 72 3a 20 32 1, cdr: {car: 2
1210: 2c 20 63 64 72 3a 20 7b 7d 7d 7d 0a 20 20 20 2d , cdr: {}}}. -
1220: 20 66 75 6e 63 74 69 6f 6e 73 3a 20 20 66 75 6e functions: fun
1230: 28 78 29 7b 78 2b 31 7d 0a 20 20 61 73 20 70 72 (x){x+1}. as pr
1240: 69 6d 69 74 69 76 65 20 64 61 74 61 74 79 70 65 imitive datatype
1250: 73 2e 20 46 75 6e 63 74 69 6f 6e 73 20 63 61 70 s. Functions cap
1260: 74 75 72 65 20 6c 65 78 69 63 61 6c 20 63 6c 6f ture lexical clo
1270: 73 75 72 65 73 2e 0a 20 20 49 74 20 69 73 20 61 sures.. It is a
1280: 6c 6d 6f 73 74 20 27 70 75 72 65 27 20 28 65 78 lmost 'pure' (ex
1290: 63 65 70 74 20 74 68 65 20 70 72 69 6d 69 74 76 cept the primitv
12a0: 65 20 66 75 6e 63 74 69 6f 6e 20 22 70 72 69 6e e function "prin
12b0: 74 22 20 61 6e 64 20 73 6f 6d 65 0a 20 20 74 72 t" and some. tr
12c0: 69 63 6b 20 69 6e 73 69 64 65 20 73 63 6f 70 69 ick inside scopi
12d0: 6e 67 20 6d 65 63 68 61 6e 69 73 6d 73 29 2e 0a ng mechanisms)..
12e0: 0a 0a 3c 3c 4c 61 79 65 72 73 20 3a 3a 20 4f 76 ..<<Layers :: Ov
12f0: 65 72 76 69 65 77 3e 3e 0a 0a 20 20 50 6f 6c 65 erview>>.. Pole
1300: 6d 79 27 73 20 72 75 6e 74 69 6d 65 20 65 6e 76 my's runtime env
1310: 69 72 6f 6e 6d 65 6e 74 20 68 61 73 20 6d 61 6e ironment has man
1320: 79 20 22 6c 61 79 65 72 22 73 2e 0a 20 20 55 73 y "layer"s.. Us
1330: 75 61 6c 20 65 78 65 63 75 74 69 6f 6e 20 72 75 ual execution ru
1340: 6e 20 69 6e 20 74 68 65 20 40 76 61 6c 75 65 20 n in the @value
1350: 6c 61 79 65 72 2e 0a 0a 20 20 20 20 3e 3e 20 31 layer... >> 1
1360: 20 2b 20 32 0a 20 20 20 20 33 0a 20 20 20 20 3e + 2. 3. >
1370: 3e 20 40 76 61 6c 75 65 28 20 31 20 2b 20 32 20 > @value( 1 + 2
1380: 29 0a 20 20 20 20 33 0a 0a 20 20 48 65 72 65 20 ). 3.. Here
1390: 79 6f 75 20 63 61 6e 20 73 65 65 20 74 68 61 74 you can see that
13a0: 20 40 4c 61 79 65 72 4e 61 6d 65 28 20 45 78 70 @LayerName( Exp
13b0: 72 65 73 73 69 6f 6e 20 29 20 65 78 65 63 75 74 ression ) execut
13c0: 65 73 20 74 68 65 20 69 6e 6e 65 72 20 45 78 70 es the inner Exp
13d0: 72 65 73 73 69 6f 6e 20 69 6e 0a 20 20 74 68 65 ression in. the
13e0: 20 40 4c 61 79 65 72 4e 61 6d 65 20 6c 61 79 65 @LayerName laye
13f0: 72 2e 20 4f 74 68 65 72 20 74 68 61 6e 20 40 76 r. Other than @v
1400: 61 6c 75 65 2c 20 6f 6e 65 20 6f 74 68 65 72 20 alue, one other
1410: 70 72 65 64 65 66 69 6e 65 64 20 6c 61 79 65 72 predefined layer
1420: 20 65 78 69 73 74 73 3a 20 40 6d 61 63 72 6f 2e exists: @macro.
1430: 0a 0a 20 20 20 20 3e 3e 20 40 6d 61 63 72 6f 28 .. >> @macro(
1440: 20 31 2b 32 20 29 0a 20 20 20 20 7b 70 6f 73 40 1+2 ). {pos@
1450: 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 value:{lineno@va
1460: 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 lue:3, column@va
1470: 6c 75 65 3a 39 2c 20 66 69 6c 65 6e 61 6d 65 40 lue:9, filename@
1480: 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 value:<REPL>},.
1490: 20 20 20 20 20 69 73 40 76 61 6c 75 65 3a 61 70 is@value:ap
14a0: 70 2c 0a 20 20 20 20 61 72 67 73 40 76 61 6c 75 p,. args@valu
14b0: 65 3a 7b 63 61 72 40 76 61 6c 75 65 3a 7b 70 6f e:{car@value:{po
14c0: 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 s@value:{lineno@
14d0: 76 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 value:3, column@
14e0: 76 61 6c 75 65 3a 39 2c 20 66 69 6c 65 6e 61 6d value:9, filenam
14f0: 65 40 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c e@value:<REPL>},
1500: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
1510: 20 20 20 20 20 20 20 20 20 20 20 20 20 69 73 40 is@
1520: 76 61 6c 75 65 3a 69 6e 74 2c 0a 20 20 20 20 20 value:int,.
1530: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1540: 20 20 20 20 20 64 61 74 61 40 76 61 6c 75 65 3a data@value:
1550: 31 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 1},.
1560: 20 20 20 20 63 64 72 40 76 61 6c 75 65 3a 7b 0a cdr@value:{.
1570: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1580: 20 20 63 61 72 40 76 61 6c 75 65 3a 7b 70 6f 73 car@value:{pos
1590: 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 @value:{lineno@v
15a0: 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 alue:3, column@v
15b0: 61 6c 75 65 3a 31 31 2c 20 66 69 6c 65 6e 61 6d alue:11, filenam
15c0: 65 40 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c e@value:<REPL>},
15d0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
15e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 69 i
15f0: 73 40 76 61 6c 75 65 3a 69 6e 74 2c 0a 20 20 20 s@value:int,.
1600: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1610: 20 20 20 20 20 20 20 20 20 64 61 74 61 40 76 61 data@va
1620: 6c 75 65 3a 32 7d 2c 0a 20 20 20 20 20 20 20 20 lue:2},.
1630: 20 20 20 20 20 20 20 20 20 20 63 64 72 40 76 61 cdr@va
1640: 6c 75 65 3a 7b 7d 7d 7d 2c 0a 20 20 20 20 20 66 lue:{}}},. f
1650: 75 6e 40 76 61 6c 75 65 3a 7b 70 6f 73 40 76 61 un@value:{pos@va
1660: 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 lue:{lineno@valu
1670: 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 e:3, column@valu
1680: 65 3a 31 30 2c 20 66 69 6c 65 6e 61 6d 65 40 76 e:10, filename@v
1690: 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 alue:<REPL>},.
16a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 69 i
16b0: 73 40 76 61 6c 75 65 3a 76 61 72 2c 0a 20 20 20 s@value:var,.
16c0: 20 20 20 20 20 20 20 20 20 20 20 20 6e 61 6d 65 name
16d0: 40 76 61 6c 75 65 3a 2b 7d 7d 0a 0a 20 20 28 53 @value:+}}.. (S
16e0: 6f 72 72 79 2c 20 74 68 69 73 20 70 72 65 74 74 orry, this prett
16f0: 79 20 70 72 69 6e 74 69 6e 67 20 69 73 20 6e 6f y printing is no
1700: 74 20 61 76 61 69 6c 61 62 6c 65 20 6f 6e 20 74 t available on t
1710: 68 65 20 61 63 74 75 61 6c 20 69 6e 74 65 72 70 he actual interp
1720: 72 65 74 65 72 2e 2e 2e 29 0a 20 20 54 68 69 73 reter...). This
1730: 20 65 76 61 6c 75 61 74 65 73 20 74 68 65 20 65 evaluates the e
1740: 78 70 72 65 73 73 69 6f 6e 20 31 2b 32 20 69 6e xpression 1+2 in
1750: 20 74 68 65 20 40 6d 61 63 72 6f 20 6c 61 79 65 the @macro laye
1760: 72 2e 20 49 6e 20 74 68 69 73 20 6c 61 79 65 72 r. In this layer
1770: 2c 20 74 68 65 20 6d 65 61 6e 69 6e 67 20 6f 66 , the meaning of
1780: 0a 20 20 74 68 65 20 70 72 6f 67 72 61 6d 20 69 . the program i
1790: 73 20 69 74 73 20 61 62 73 74 72 61 63 74 20 73 s its abstract s
17a0: 79 6e 74 61 78 20 74 72 65 65 2e 0a 0a 20 20 59 yntax tree... Y
17b0: 6f 75 20 63 61 6e 20 69 6e 74 65 72 6c 65 61 76 ou can interleav
17c0: 65 20 6c 61 79 65 72 73 2e 0a 20 20 54 68 65 20 e layers.. The
17d0: 72 6f 6f 74 20 6e 6f 64 65 20 6f 66 20 74 68 65 root node of the
17e0: 20 61 62 73 74 72 61 63 74 20 73 79 6e 74 61 78 abstract syntax
17f0: 20 74 72 65 65 20 69 73 20 66 75 6e 63 74 69 6f tree is functio
1800: 6e 20 22 61 70 70 22 6c 69 63 61 74 69 6f 6e 2e n "app"lication.
1810: 0a 0a 20 20 20 20 3e 3e 20 40 76 61 6c 75 65 28 .. >> @value(
1820: 40 6d 61 63 72 6f 28 20 31 2b 32 20 29 2e 69 73 @macro( 1+2 ).is
1830: 29 0a 20 20 20 20 61 70 70 0a 0a 0a 0a 3c 3c 4c ). app....<<L
1840: 61 79 65 72 73 20 3a 3a 20 44 65 66 69 6e 69 6e ayers :: Definin
1850: 67 20 61 20 6e 65 77 20 6c 61 79 65 72 3e 3e 0a g a new layer>>.
1860: 0a 20 20 54 6f 20 64 65 66 69 6e 65 20 61 20 6e . To define a n
1870: 65 77 20 6c 61 79 65 72 2c 20 79 6f 75 20 73 68 ew layer, you sh
1880: 6f 75 6c 64 20 66 69 72 73 74 20 74 65 6c 6c 20 ould first tell
1890: 68 6f 77 20 74 6f 20 22 6c 69 66 74 22 20 65 78 how to "lift" ex
18a0: 69 73 74 69 6e 67 20 76 61 6c 75 65 73 20 74 77 isting values tw
18b0: 6f 20 74 68 65 20 6e 65 77 20 6c 61 79 65 72 2e o the new layer.
18c0: 0a 20 20 4c 65 74 20 75 73 20 64 65 66 69 6e 65 . Let us define
18d0: 20 74 68 65 20 22 40 74 79 70 65 22 20 6c 61 79 the "@type" lay
18e0: 65 72 2c 20 77 68 65 72 65 20 74 68 65 20 6d 65 er, where the me
18f0: 61 6e 69 6e 67 20 6f 66 20 70 72 6f 67 72 61 6d aning of program
1900: 73 20 69 73 20 74 68 65 69 72 20 73 74 61 74 69 s is their stati
1910: 63 20 74 79 70 65 2e 0a 0a 20 20 20 20 3e 3e 20 c type... >>
1920: 40 40 74 79 70 65 20 3d 20 66 75 6e 28 78 29 20 @@type = fun(x)
1930: 7b 0a 20 20 20 20 3e 3e 20 20 20 69 66 28 20 5f {. >> if( _
1940: 69 73 69 6e 74 28 78 29 20 29 20 7b 20 22 69 6e isint(x) ) { "in
1950: 74 22 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20 20 t" } else {.
1960: 3e 3e 20 20 20 69 66 28 20 5f 69 73 66 75 6e 28 >> if( _isfun(
1970: 78 29 20 29 20 7b 20 78 20 7d 20 65 6c 73 65 20 x) ) { x } else
1980: 7b 20 22 75 6e 6b 6e 6f 77 6e 22 20 7d 20 7d 0a { "unknown" } }.
1990: 20 20 20 20 3e 3e 20 7d 0a 20 20 20 20 28 4e 6f >> }. (No
19a0: 74 65 3a 20 70 6f 6c 65 6d 79 20 52 45 50 4c 20 te: polemy REPL
19b0: 6d 61 79 20 77 61 72 6e 20 73 6f 6d 65 20 65 78 may warn some ex
19c0: 63 65 70 74 69 6f 6e 20 68 65 72 65 20 62 75 74 ception here but
19d0: 20 70 6c 65 61 73 65 20 69 67 6e 6f 72 65 29 0a please ignore).
19e0: 0a 20 20 46 6f 72 20 73 69 6d 70 6c 69 63 69 74 . For simplicit
19f0: 79 2c 20 49 20 68 65 72 65 20 64 65 61 6c 20 6f y, I here deal o
1a00: 6e 6c 79 20 77 69 74 68 20 69 6e 74 65 67 65 72 nly with integer
1a10: 73 2e 0a 20 20 5f 69 73 69 6e 74 20 69 73 20 61 s.. _isint is a
1a20: 20 70 72 69 6d 69 74 69 76 65 20 66 75 6e 63 74 primitive funct
1a30: 69 6f 6e 20 6f 66 20 50 6f 6c 65 6d 79 20 74 68 ion of Polemy th
1a40: 61 74 20 63 68 65 63 6b 73 20 74 68 65 20 64 79 at checks the dy
1a50: 6e 61 6d 69 63 20 74 79 70 65 20 6f 66 20 61 20 namic type of a
1a60: 76 61 6c 75 65 2e 0a 20 20 46 6f 72 20 66 75 6e value.. For fun
1a70: 63 74 69 6f 6e 2c 20 6c 65 61 76 69 6e 67 20 69 ction, leaving i
1a80: 74 20 75 6e 74 6f 75 63 68 65 64 20 77 6f 72 6b t untouched work
1a90: 73 20 77 65 6c 6c 20 66 6f 72 20 61 6c 6d 6f 73 s well for almos
1aa0: 74 20 61 6c 6c 20 6c 61 79 65 72 73 2e 0a 0a 20 t all layers...
1ab0: 20 20 20 3e 3e 20 40 74 79 70 65 28 20 31 20 29 >> @type( 1 )
1ac0: 0a 20 20 20 20 69 6e 74 0a 20 20 20 20 3e 3e 20 . int. >>
1ad0: 40 74 79 70 65 28 20 32 20 29 0a 20 20 20 20 69 @type( 2 ). i
1ae0: 6e 74 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 28 nt. >> @type(
1af0: 20 22 66 6f 6f 22 20 29 0a 20 20 20 20 75 6e 6b "foo" ). unk
1b00: 6e 6f 77 6e 0a 0a 20 20 46 69 6e 65 21 20 4c 65 nown.. Fine! Le
1b10: 74 27 73 20 74 72 79 20 74 6f 20 74 79 70 65 20 t's try to type
1b20: 31 2b 32 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 1+2... >> @ty
1b30: 70 65 28 20 31 20 2b 20 32 20 29 0a 20 20 20 20 pe( 1 + 2 ).
1b40: 2e 2e 2e 5c 76 61 6c 75 65 2e 64 28 31 31 39 29 ...\value.d(119)
1b50: 3a 20 5b 3c 52 45 50 4c 3e 3a 36 3a 38 5d 20 6f : [<REPL>:6:8] o
1b60: 6e 6c 79 20 40 76 61 6c 75 65 20 6c 61 79 65 72 nly @value layer
1b70: 20 63 61 6e 20 63 61 6c 6c 20 6e 61 74 69 76 65 can call native
1b80: 20 66 75 6e 63 74 69 6f 6e 0a 0a 20 20 4e 6f 74 function.. Not
1b90: 65 20 74 68 61 74 20 74 68 65 20 62 65 68 61 76 e that the behav
1ba0: 69 6f 72 20 6f 66 20 74 68 69 73 20 70 72 6f 67 ior of this prog
1bb0: 72 61 6d 20 69 73 0a 20 20 20 20 2d 20 72 75 6e ram is. - run
1bc0: 20 31 2b 32 20 69 6e 20 74 68 65 20 40 74 79 70 1+2 in the @typ
1bd0: 65 20 6c 61 79 65 72 0a 20 20 61 6e 64 20 4e 4f e layer. and NO
1be0: 54 0a 20 20 20 20 2d 20 72 75 6e 20 31 2b 32 20 T. - run 1+2
1bf0: 69 6e 20 40 76 61 6c 75 65 20 61 6e 64 20 6f 62 in @value and ob
1c00: 74 61 69 6e 20 33 20 61 6e 64 20 72 75 6e 20 33 tain 3 and run 3
1c10: 20 69 6e 20 74 68 65 20 40 74 79 70 65 2e 0a 20 in the @type..
1c20: 20 54 68 65 20 70 72 6f 62 6c 65 6d 20 69 73 2c The problem is,
1c30: 20 74 68 65 20 76 61 72 69 61 62 6c 65 20 22 2b the variable "+
1c40: 22 20 69 73 20 64 65 66 69 6e 65 64 20 6f 6e 6c " is defined onl
1c50: 79 20 69 6e 20 74 68 65 20 40 76 61 6c 75 65 20 y in the @value
1c60: 6c 61 79 65 72 2e 0a 20 20 54 6f 20 63 61 72 72 layer.. To carr
1c70: 79 20 6f 75 74 20 63 6f 6d 70 75 74 61 74 69 6f y out computatio
1c80: 6e 20 69 6e 20 74 68 65 20 40 74 79 70 65 20 6c n in the @type l
1c90: 61 79 65 72 2e 20 57 65 20 6e 65 65 64 20 74 6f ayer. We need to
1ca0: 20 64 65 66 69 6e 65 20 69 74 20 61 6c 73 6f 0a define it also.
1cb0: 20 20 69 6e 20 74 68 65 20 40 74 79 70 65 20 6c in the @type l
1cc0: 61 79 65 72 2e 0a 0a 20 20 54 6f 20 64 65 66 69 ayer... To defi
1cd0: 6e 65 20 73 6f 6d 65 20 76 61 72 69 61 62 6c 65 ne some variable
1ce0: 20 69 6e 20 61 20 73 70 65 63 69 66 69 63 20 6c in a specific l
1cf0: 61 79 65 72 2c 20 75 73 65 20 40 4c 61 79 65 72 ayer, use @Layer
1d00: 4e 61 6d 65 20 69 6e 20 70 6c 61 63 65 20 6f 66 Name in place of
1d10: 0a 20 20 28 6c 65 74 7c 76 61 72 7c 64 65 66 29 . (let|var|def)
1d20: 73 2e 0a 0a 20 20 20 20 3e 3e 20 6c 65 74 20 78 s... >> let x
1d30: 20 3d 20 32 0a 20 20 20 20 3e 3e 20 40 76 61 6c = 2. >> @val
1d40: 75 65 20 78 20 3d 20 32 0a 20 20 20 20 3e 3e 20 ue x = 2. >>
1d50: 40 74 79 70 65 20 78 20 3d 20 22 69 6e 74 22 0a @type x = "int".
1d60: 20 20 20 20 3e 3e 20 40 68 6f 67 65 20 78 20 3d >> @hoge x =
1d70: 20 22 66 75 67 61 22 0a 0a 20 20 46 6f 72 20 22 "fuga".. For "
1d80: 2b 22 2c 20 64 6f 20 69 74 20 6c 69 6b 65 20 74 +", do it like t
1d90: 68 69 73 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 his... >> @ty
1da0: 70 65 20 22 2b 22 20 3d 20 66 75 6e 28 78 2c 79 pe "+" = fun(x,y
1db0: 29 20 7b 40 76 61 6c 75 65 28 0a 20 20 20 20 3e ) {@value(. >
1dc0: 3e 20 20 20 69 66 28 20 40 74 79 70 65 28 78 29 > if( @type(x)
1dd0: 3d 3d 22 69 6e 74 22 20 26 26 20 40 74 79 70 65 =="int" && @type
1de0: 28 79 29 3d 3d 22 69 6e 74 22 20 29 20 7b 20 22 (y)=="int" ) { "
1df0: 69 6e 74 22 20 7d 20 65 6c 73 65 20 7b 20 22 74 int" } else { "t
1e00: 79 70 65 65 72 72 6f 72 22 20 7d 0a 20 20 20 20 ypeerror" }.
1e10: 3e 3e 20 29 7d 0a 20 20 20 20 70 6f 6c 65 6d 79 >> )}. polemy
1e20: 2e 76 61 6c 75 65 2e 6e 61 74 69 76 65 21 28 49 .value.native!(I
1e30: 6e 74 56 61 6c 75 65 2c 49 6e 74 56 61 6c 75 65 ntValue,IntValue
1e40: 2c 49 6e 74 56 61 6c 75 65 29 2e 6e 61 74 69 76 ,IntValue).nativ
1e50: 65 2e 5f 5f 61 6e 6f 6e 63 6c 61 73 73 32 34 0a e.__anonclass24.
1e60: 0a 20 20 49 74 20 69 73 20 6a 75 73 74 20 63 6f . It is just co
1e70: 6d 70 75 74 69 6e 67 20 74 68 65 20 72 65 74 75 mputing the retu
1e80: 72 6e 20 74 79 70 65 20 66 72 6f 6d 20 74 68 65 rn type from the
1e90: 20 69 6e 70 75 74 20 74 79 70 65 2e 0a 20 20 4e input type.. N
1ea0: 6f 74 20 68 65 72 65 20 74 68 61 74 20 74 68 65 ot here that the
1eb0: 20 69 6e 74 65 6e 64 65 64 20 22 6d 65 61 6e 69 intended "meani
1ec0: 6e 67 22 20 6f 66 20 69 66 2d 74 68 65 6e 2d 65 ng" of if-then-e
1ed0: 6c 73 65 20 69 73 20 74 68 65 20 72 75 6e 74 69 lse is the runti
1ee0: 6d 65 2d 62 72 61 6e 63 68 69 6e 67 2c 0a 20 20 me-branching,.
1ef0: 61 6e 64 20 74 68 65 20 6d 65 61 6e 69 6e 67 20 and the meaning
1f00: 6f 66 20 22 3d 3d 22 20 69 73 20 74 68 65 20 76 of "==" is the v
1f10: 61 6c 75 65 2d 63 6f 6d 70 61 72 69 73 6f 6e 2e alue-comparison.
1f20: 20 54 68 65 73 65 20 61 72 65 20 74 68 65 20 40 These are the @
1f30: 76 61 6c 75 65 20 6c 61 79 65 72 0a 20 20 62 65 value layer. be
1f40: 68 61 76 69 6f 72 2e 20 53 6f 20 77 65 20 68 61 havior. So we ha
1f50: 76 65 20 64 65 66 69 6e 65 64 20 74 68 65 20 66 ve defined the f
1f60: 75 6e 63 74 69 6f 6e 20 62 6f 64 79 20 69 6e 73 unction body ins
1f70: 69 64 65 20 40 76 61 6c 75 65 20 6c 61 79 65 72 ide @value layer
1f80: 2e 0a 20 20 42 75 74 20 77 68 65 6e 20 77 65 20 .. But when we
1f90: 72 65 66 65 72 20 74 68 65 20 76 61 72 69 61 62 refer the variab
1fa0: 6c 65 73 20 78 20 61 6e 64 20 79 2c 20 77 65 20 les x and y, we
1fb0: 6e 65 65 64 20 69 74 73 20 40 74 79 70 65 20 6c need its @type l
1fc0: 61 79 65 72 20 6d 65 61 6e 69 6e 67 2e 0a 20 20 ayer meaning..
1fd0: 48 65 6e 63 65 20 77 65 20 75 73 65 20 40 74 79 Hence we use @ty
1fe0: 70 65 28 29 20 74 68 65 72 65 2e 0a 0a 20 20 4e pe() there... N
1ff0: 6f 77 20 77 65 20 67 65 74 20 69 74 2e 0a 0a 20 ow we get it...
2000: 20 20 20 3e 3e 20 40 74 79 70 65 28 20 31 20 2b >> @type( 1 +
2010: 20 32 20 29 0a 20 20 20 20 69 6e 74 0a 0a 20 20 2 ). int..
2020: 57 65 6c 6c 2c 20 62 75 74 20 64 6f 20 77 65 20 Well, but do we
2030: 68 61 76 65 20 74 6f 20 64 65 66 69 6e 65 20 74 have to define t
2040: 68 65 20 40 74 79 70 65 20 6c 61 79 65 72 20 6d he @type layer m
2050: 65 61 6e 69 6e 67 20 66 6f 72 20 65 76 65 72 79 eaning for every
2060: 20 76 61 72 69 61 62 6c 65 73 3f 3f 3f 0a 20 20 variables???.
2070: 4e 6f 2e 20 41 66 74 65 72 20 79 6f 75 20 64 65 No. After you de
2080: 66 69 6e 65 64 20 40 74 79 70 65 20 22 2b 22 2c fined @type "+",
2090: 20 79 6f 75 27 6c 6c 20 61 75 74 6f 6d 61 74 69 you'll automati
20a0: 63 61 6c 6c 79 20 67 65 74 20 74 68 65 20 66 6f cally get the fo
20b0: 6c 6c 6f 77 69 6e 67 3a 0a 0a 20 20 20 20 3e 3e llowing:.. >>
20c0: 20 64 65 66 20 64 6f 75 62 6c 65 28 78 29 20 7b def double(x) {
20d0: 20 78 20 2b 20 78 20 7d 0a 20 20 20 20 28 66 75 x + x }. (fu
20e0: 6e 63 74 69 6f 6e 3a 31 37 65 34 37 34 30 3a 31 nction:17e4740:1
20f0: 37 38 39 37 32 30 29 0a 0a 20 20 20 20 3e 3e 20 789720).. >>
2100: 40 74 79 70 65 28 20 64 6f 75 62 6c 65 28 31 32 @type( double(12
2110: 33 29 20 29 0a 20 20 20 20 69 6e 74 0a 0a 20 20 3) ). int..
2120: 45 76 65 72 79 20 75 73 65 72 2d 64 65 66 69 6e Every user-defin
2130: 65 64 20 66 75 6e 63 74 69 6f 6e 73 20 61 72 65 ed functions are
2140: 20 61 75 74 6f 6d 61 74 69 63 61 6c 6c 79 20 22 automatically "
2150: 6c 69 66 74 22 65 64 20 74 6f 20 74 68 65 20 61 lift"ed to the a
2160: 70 70 72 6f 70 72 69 61 74 65 20 6c 61 79 65 72 ppropriate layer
2170: 2e 0a 20 20 4f 6e 6c 79 20 70 72 69 6d 69 74 69 .. Only primiti
2180: 76 65 20 66 75 6e 63 74 69 6f 6e 73 20 6c 69 6b ve functions lik
2190: 65 20 22 2b 22 20 72 65 71 75 69 72 65 73 20 40 e "+" requires @
21a0: 79 6f 75 72 4e 65 77 4c 61 79 65 72 20 61 6e 6e yourNewLayer ann
21b0: 6f 74 61 74 69 6f 6e 2e 0a 0a 0a 0a 3c 3c 4c 61 otation.....<<La
21c0: 79 65 72 73 20 3a 3a 20 6e 65 75 74 72 61 6c 2d yers :: neutral-
21d0: 6c 61 79 65 72 3e 3e 0a 0a 20 20 6c 65 74 7c 76 layer>>.. let|v
21e0: 61 72 7c 64 65 66 20 69 73 20 74 6f 20 64 65 66 ar|def is to def
21f0: 69 6e 65 20 61 20 76 61 72 69 61 62 6c 65 20 69 ine a variable i
2200: 6e 20 74 68 65 20 22 63 75 72 72 65 6e 74 22 20 n the "current"
2210: 6c 61 79 65 72 2e 0a 20 20 4e 6f 74 20 6e 65 63 layer.. Not nec
2220: 65 73 73 61 72 79 20 74 6f 20 74 68 65 20 40 76 essary to the @v
2230: 61 6c 75 65 20 6c 61 79 65 72 2e 0a 0a 20 20 20 alue layer...
2240: 20 3e 3e 20 40 76 61 6c 75 65 28 20 6c 65 74 20 >> @value( let
2250: 78 20 3d 20 31 20 69 6e 20 40 76 61 6c 75 65 28 x = 1 in @value(
2260: 78 29 20 29 0a 20 20 20 20 31 0a 0a 20 20 20 20 x) ). 1..
2270: 3e 3e 20 40 6d 61 63 72 6f 28 20 6c 65 74 20 78 >> @macro( let x
2280: 20 3d 20 31 20 69 6e 20 40 76 61 6c 75 65 28 78 = 1 in @value(x
2290: 29 20 29 0a 20 20 20 20 70 6f 6c 65 6d 79 2e 66 ) ). polemy.f
22a0: 61 69 6c 75 72 65 2e 52 75 6e 74 69 6d 65 45 78 ailure.RuntimeEx
22b0: 63 65 70 74 69 6f 6e 3a 20 5b 3c 52 45 50 4c 3e ception: [<REPL>
22c0: 3a 31 34 3a 32 39 5d 20 76 61 72 69 61 62 6c 65 :14:29] variable
22d0: 20 78 20 6e 6f 74 20 66 6f 75 6e 64 0a 0a 20 20 x not found..
22e0: 20 20 3e 3e 20 40 6d 61 63 72 6f 28 20 6c 65 74 >> @macro( let
22f0: 20 78 20 3d 20 31 20 69 6e 20 40 6d 61 63 72 6f x = 1 in @macro
2300: 28 78 29 20 29 0a 20 20 20 20 7b 70 6f 73 40 76 (x) ). {pos@v
2310: 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c alue:{lineno@val
2320: 75 65 3a 31 35 2c 20 2e 2e 2e 0a 0a 0a 0a 3c 3c ue:15, .......<<
2330: 4c 61 79 65 72 73 20 3a 3a 20 4c 61 79 65 72 65 Layers :: Layere
2340: 64 2d 50 61 72 61 6d 65 74 65 72 73 3e 3e 0a 0a d-Parameters>>..
2350: 20 20 20 20 3e 3e 20 64 65 66 20 66 6f 6f 28 78 >> def foo(x
2360: 20 40 6d 61 63 72 6f 20 40 76 61 6c 75 65 29 20 @macro @value)
2370: 7b 20 7b 66 73 74 3a 20 78 2c 20 73 6e 64 3a 20 { {fst: x, snd:
2380: 40 6d 61 63 72 6f 28 78 29 7d 20 7d 0a 20 20 20 @macro(x)} }.
2390: 20 28 66 75 6e 63 74 69 6f 6e 3a 31 37 33 30 33 (function:17303
23a0: 36 30 3a 31 37 38 39 37 32 30 29 0a 0a 20 20 49 60:1789720).. I
23b0: 66 20 79 6f 75 20 61 6e 6e 6f 74 61 74 65 20 66 f you annotate f
23c0: 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 unction paramete
23d0: 72 73 20 62 79 20 40 4c 61 79 65 72 4e 61 6d 65 rs by @LayerName
23e0: 73 2c 20 77 68 65 6e 20 79 6f 75 20 69 6e 76 6f s, when you invo
23f0: 6b 65 20 74 68 65 20 66 75 6e 63 74 69 6f 6e 2e ke the function.
2400: 2e 2e 0a 0a 20 20 20 20 3e 3e 20 66 6f 6f 28 31 .... >> foo(1
2410: 2b 32 29 0a 20 20 20 20 7b 73 6e 64 40 76 61 6c +2). {snd@val
2420: 75 65 3a 20 7b 70 6f 73 40 76 61 6c 75 65 3a 7b ue: {pos@value:{
2430: 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 31 37 2c lineno@value:17,
2440: 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 35 2c column@value:5,
2450: 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a filename@value:
2460: 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 <REPL>},.
2470: 20 20 20 20 20 20 20 20 20 20 20 69 73 40 76 61 is@va
2480: 6c 75 65 3a 61 70 70 2c 20 61 72 67 40 76 61 6c lue:app, arg@val
2490: 75 65 3a 7b 2e 2e 2e 0a 20 20 20 20 2f 66 73 74 ue:{.... /fst
24a0: 40 76 61 6c 75 65 3a 33 0a 20 20 20 20 2f 7d 0a @value:3. /}.
24b0: 0a 20 20 69 74 73 20 63 6f 72 72 65 73 70 6f 6e . its correspon
24c0: 64 69 6e 67 20 61 72 67 75 6d 65 6e 74 73 20 61 ding arguments a
24d0: 72 65 20 65 76 61 6c 75 61 74 65 64 20 69 6e 20 re evaluated in
24e0: 74 68 65 20 6c 61 79 65 72 20 61 6e 64 20 70 61 the layer and pa
24f0: 73 73 65 64 20 74 6f 20 69 74 2e 0a 20 20 49 66 ssed to it.. If
2500: 20 79 6f 75 20 73 70 65 63 69 66 79 20 6d 75 6c you specify mul
2510: 74 69 70 6c 65 20 6c 61 79 65 72 73 2c 20 74 68 tiple layers, th
2520: 65 20 61 72 67 75 6d 65 6e 74 20 65 78 70 72 65 e argument expre
2530: 73 73 69 6f 6e 20 69 73 20 72 75 6e 20 6d 75 6c ssion is run mul
2540: 74 69 70 6c 65 20 74 69 6d 65 73 2e 0a 20 20 49 tiple times.. I
2550: 66 20 79 6f 75 20 64 6f 20 6e 6f 74 20 73 70 65 f you do not spe
2560: 63 69 66 79 20 61 6e 79 20 6c 61 79 65 72 20 66 cify any layer f
2570: 6f 72 20 61 20 70 61 72 61 6d 65 74 65 72 2c 20 or a parameter,
2580: 69 74 20 77 6f 72 6b 73 20 69 6e 20 74 68 65 20 it works in the
2590: 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 2e 0a 0a neutral layer...
25a0: 0a 0a 3c 3c 40 6d 61 63 72 6f 20 6c 61 79 65 72 ..<<@macro layer
25b0: 3e 3e 0a 0a 20 20 20 57 68 65 6e 20 66 75 6e 63 >>.. When func
25c0: 74 69 6f 6e 20 69 73 20 69 6e 76 6f 6b 65 64 2c tion is invoked,
25d0: 20 69 74 20 66 69 72 73 74 20 72 75 6e 20 69 6e it first run in
25e0: 20 74 68 65 20 40 6d 61 63 72 6f 20 6c 61 79 65 the @macro laye
25f0: 72 2c 20 61 6e 64 20 61 66 74 65 72 20 74 68 61 r, and after tha
2600: 74 2c 0a 20 20 20 69 74 20 72 75 6e 20 69 6e 20 t,. it run in
2610: 74 68 65 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 the neutral laye
2620: 72 2e 20 48 65 72 65 20 69 73 20 61 6e 20 65 78 r. Here is an ex
2630: 61 6d 70 6c 65 2e 0a 0a 20 20 20 20 20 3e 3e 20 ample... >>
2640: 40 6d 61 63 72 6f 20 74 77 69 63 65 28 78 29 20 @macro twice(x)
2650: 7b 20 78 3b 20 78 20 7d 0a 20 20 20 20 20 3e 3e { x; x }. >>
2660: 20 64 65 66 20 66 28 29 20 7b 20 74 77 69 63 65 def f() { twice
2670: 28 70 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 29 (print("Hello"))
2680: 3b 20 39 39 39 20 7d 0a 20 20 20 20 20 28 66 75 ; 999 }. (fu
2690: 6e 63 74 69 6f 6e 3a 31 37 33 62 36 61 30 3a 31 nction:173b6a0:1
26a0: 37 38 39 37 32 30 29 0a 20 20 20 20 20 3e 3e 20 789720). >>
26b0: 66 28 29 0a 20 20 20 20 20 48 65 6c 6c 6f 0a 20 f(). Hello.
26c0: 20 20 20 20 48 65 6c 6c 6f 0a 20 20 20 20 20 39 Hello. 9
26d0: 39 39 0a 0a 20 20 20 57 68 65 6e 20 74 68 65 20 99.. When the
26e0: 69 6e 74 65 72 70 72 65 74 65 72 20 65 76 61 6c interpreter eval
26f0: 75 61 74 65 73 20 66 28 29 2c 20 69 74 20 66 69 uates f(), it fi
2700: 72 73 74 20 65 78 65 63 75 74 65 73 0a 20 20 20 rst executes.
2710: 20 20 22 74 77 69 63 65 28 70 72 69 6e 74 28 22 "twice(print("
2720: 48 65 6c 6c 6f 22 29 29 3b 20 39 39 39 22 0a 20 Hello")); 999".
2730: 20 20 69 6e 20 74 68 65 20 40 6d 61 63 72 6f 20 in the @macro
2740: 6c 61 79 65 72 2e 20 42 61 73 69 63 61 6c 6c 79 layer. Basically
2750: 20 77 68 61 74 20 69 74 20 64 6f 65 73 20 69 73 what it does is
2760: 20 74 6f 20 6a 75 73 74 20 63 6f 6e 73 74 72 75 to just constru
2770: 63 74 20 69 74 73 20 73 79 6e 74 61 78 20 74 72 ct its syntax tr
2780: 65 65 2e 0a 20 20 20 42 75 74 2c 20 73 69 6e 63 ee.. But, sinc
2790: 65 20 77 65 20 68 61 76 65 20 64 65 66 69 6e 65 e we have define
27a0: 64 20 74 68 65 20 22 74 77 69 63 65 22 20 66 75 d the "twice" fu
27b0: 6e 63 74 69 6f 6e 20 69 6e 20 74 68 65 20 40 6d nction in the @m
27c0: 61 63 72 6f 20 6c 61 79 65 72 2c 20 69 74 20 69 acro layer, it i
27d0: 73 0a 20 20 20 65 78 65 63 75 74 65 20 61 73 20 s. execute as
27e0: 61 20 66 75 6e 63 74 69 6f 6e 2e 20 52 65 73 75 a function. Resu
27f0: 6c 74 69 6e 67 20 73 79 6e 74 61 78 20 74 72 65 lting syntax tre
2800: 65 20 69 73 0a 20 20 20 20 20 22 70 72 69 6e 74 e is. "print
2810: 28 22 48 65 6c 6c 6f 22 29 3b 20 70 72 69 6e 74 ("Hello"); print
2820: 28 22 48 65 6c 6c 6f 22 29 3b 20 39 39 39 22 0a ("Hello"); 999".
2830: 20 20 20 61 6e 64 20 74 68 69 73 20 69 73 20 65 and this is e
2840: 78 65 63 75 74 65 64 20 6f 6e 20 74 68 65 20 6e xecuted on the n
2850: 65 75 74 72 61 6c 20 28 69 6e 20 74 68 69 73 20 eutral (in this
2860: 65 78 61 6d 70 6c 65 2c 20 40 76 61 6c 75 65 29 example, @value)
2870: 20 6c 61 79 65 72 2e 0a 20 20 20 54 68 69 73 20 layer.. This
2880: 69 73 20 74 68 65 20 72 65 61 73 6f 6e 20 77 68 is the reason wh
2890: 79 20 79 6f 75 20 73 65 65 20 74 77 6f 20 22 48 y you see two "H
28a0: 65 6c 6c 6f 22 73 2e 0a 0a 0a 0a 20 20 20 20 20 ello"s.....
28b0: 20 5b 5b 6c 69 6d 69 74 61 74 69 6f 6e 73 5d 5d [[limitations]]
28c0: 0a 0a 20 20 20 54 68 69 73 20 40 6d 61 63 72 6f .. This @macro
28d0: 20 6c 61 79 65 72 20 69 73 20 61 20 76 65 72 79 layer is a very
28e0: 20 70 72 69 6d 69 74 69 76 65 20 6f 6e 65 2c 20 primitive one,
28f0: 61 6e 64 20 6e 6f 74 20 61 20 70 65 72 66 65 63 and not a perfec
2900: 74 20 6d 61 63 72 6f 20 6c 61 6e 67 75 61 67 65 t macro language
2910: 2e 0a 20 20 20 54 77 6f 20 6d 61 6a 6f 72 20 6c .. Two major l
2920: 69 6d 69 74 61 74 69 6f 6e 73 20 61 72 65 20 73 imitations are s
2930: 65 65 6e 20 69 6e 20 74 68 65 20 66 6f 6c 6c 6f een in the follo
2940: 77 69 6e 67 20 22 69 74 22 20 65 78 61 6d 70 6c wing "it" exampl
2950: 65 2e 0a 0a 20 20 20 20 20 3e 3e 20 40 6d 61 63 e... >> @mac
2960: 72 6f 20 4c 65 74 49 74 42 65 28 78 2c 20 79 29 ro LetItBe(x, y)
2970: 20 7b 20 6c 65 74 20 69 74 20 3d 20 78 20 69 6e { let it = x in
2980: 20 79 20 7d 3b 0a 0a 20 20 20 54 68 65 20 76 61 y };.. The va
2990: 72 69 61 62 6c 65 20 6e 61 6d 65 20 69 73 20 6e riable name is n
29a0: 6f 74 20 68 79 67 65 6e 69 63 2c 20 61 6e 64 20 ot hygenic, and
29b0: 73 6f 20 77 69 74 68 6f 75 74 20 61 6e 79 20 65 so without any e
29c0: 66 66 6f 72 74 2c 20 74 68 65 20 73 79 6e 74 61 ffort, the synta
29d0: 78 20 74 72 65 65 20 22 79 22 0a 20 20 20 63 61 x tree "y". ca
29e0: 6e 20 61 63 63 65 73 73 20 74 68 65 20 6f 75 74 n access the out
29f0: 65 72 20 76 61 72 69 61 62 6c 65 20 22 69 74 22 er variable "it"
2a00: 2e 0a 0a 20 20 20 20 20 3e 3e 20 64 65 66 20 66 ... >> def f
2a10: 6f 6f 28 29 20 7b 20 4c 65 74 49 74 42 65 28 20 oo() { LetItBe(
2a20: 31 2b 32 2b 33 2c 20 69 74 2a 69 74 20 29 20 7d 1+2+3, it*it ) }
2a30: 0a 20 20 20 20 20 3e 3e 20 66 6f 6f 28 29 0a 20 . >> foo().
2a40: 20 20 20 20 33 36 0a 0a 20 20 20 4f 66 20 63 6f 36.. Of co
2a50: 75 72 73 65 2c 20 74 68 69 73 20 69 73 20 6e 6f urse, this is no
2a60: 74 20 6a 75 73 74 20 61 20 6c 69 6d 69 74 61 74 t just a limitat
2a70: 69 6f 6e 3b 20 69 74 20 63 61 6e 20 73 6f 6d 65 ion; it can some
2a80: 74 69 6d 65 73 20 61 6c 6c 6f 77 20 75 73 20 74 times allow us t
2a90: 6f 20 77 72 69 74 65 0a 20 20 20 6d 61 6e 79 20 o write. many
2aa0: 69 6e 74 65 72 65 73 74 69 6e 67 20 6d 61 63 72 interesting macr
2ab0: 6f 73 2e 0a 0a 20 20 20 54 68 65 20 6f 74 68 65 os... The othe
2ac0: 72 20 70 72 6f 62 6c 65 6d 20 69 73 20 74 68 61 r problem is tha
2ad0: 74 20 74 68 65 20 6d 61 63 72 6f 20 65 78 70 61 t the macro expa
2ae0: 6e 73 69 6f 6e 20 69 73 20 6f 6e 6c 79 20 64 6f nsion is only do
2af0: 6e 65 20 61 74 20 66 75 6e 63 74 69 6f 6e 20 73 ne at function s
2b00: 74 61 72 74 75 70 2e 0a 20 20 20 53 6f 20 0a 0a tartup.. So ..
2b10: 20 20 20 20 20 3e 3e 20 4c 65 74 49 74 42 65 28 >> LetItBe(
2b20: 20 31 2b 32 2b 33 2c 20 69 74 2a 69 74 20 29 0a 1+2+3, it*it ).
2b30: 20 20 20 20 20 2e 2e 2e 5c 76 61 6c 75 65 2e 64 ...\value.d
2b40: 28 31 37 33 29 3a 20 5b 3c 52 45 50 4c 3e 3a 32 (173): [<REPL>:2
2b50: 34 3a 31 5d 20 76 61 72 69 61 62 6c 65 20 4c 65 4:1] variable Le
2b60: 74 49 74 42 65 20 69 73 20 6e 6f 74 20 73 65 74 tItBe is not set
2b70: 20 69 6e 20 6c 61 79 65 72 20 40 76 61 6c 75 65 in layer @value
2b80: 0a 0a 20 20 20 79 6f 75 20 63 61 6e 6e 6f 74 20 .. you cannot
2b90: 64 69 72 65 63 74 6c 79 20 75 73 65 20 74 68 65 directly use the
2ba0: 20 6d 61 63 72 6f 20 69 6e 20 74 68 65 20 73 61 macro in the sa
2bb0: 6d 65 20 73 63 6f 70 65 20 61 73 20 74 68 65 20 me scope as the
2bc0: 64 65 66 69 6e 69 74 69 6f 6e 2e 0a 20 20 20 59 definition.. Y
2bd0: 6f 75 20 6e 65 65 64 20 74 6f 20 77 72 61 70 20 ou need to wrap
2be0: 69 74 20 75 70 20 69 6e 20 61 20 66 75 6e 63 74 it up in a funct
2bf0: 69 6f 6e 20 28 6c 69 6b 65 20 74 68 65 20 66 6f ion (like the fo
2c00: 6f 28 29 20 69 6e 20 74 68 65 20 61 62 6f 76 65 o() in the above
2c10: 20 65 78 61 6d 70 6c 65 29 2e 0a 0a 0a 0a 20 20 example).....
2c20: 20 20 20 20 5b 5b 71 75 6f 74 65 20 61 6e 64 20 [[quote and
2c30: 75 6e 71 75 6f 74 65 5d 5d 0a 0a 20 20 20 48 65 unquote]].. He
2c40: 72 65 20 69 73 20 6d 6f 72 65 20 69 6e 76 6f 6c re is more invol
2c50: 76 65 64 20 65 78 61 6d 70 6c 65 20 6f 66 20 63 ved example of c
2c60: 6f 64 65 20 67 65 6e 72 61 74 69 6f 6e 2e 0a 20 ode genration..
2c70: 20 20 46 72 6f 6d 20 22 78 22 2c 20 69 74 20 67 From "x", it g
2c80: 65 6e 65 72 61 74 65 73 20 22 78 2a 78 2a 78 2a enerates "x*x*x*
2c90: 78 2a 78 2a 78 2a 78 2a 78 2a 78 2a 78 22 2e 0a x*x*x*x*x*x*x"..
2ca0: 0a 20 20 20 20 20 40 6d 61 63 72 6f 20 70 6f 77 . @macro pow
2cb0: 31 30 28 78 29 20 7b 0a 20 20 20 20 20 20 20 40 10(x) {. @
2cc0: 76 61 6c 75 65 28 0a 20 20 20 20 20 20 20 20 20 value(.
2cd0: 64 65 66 20 70 6f 77 28 78 2c 20 6e 29 20 7b 0a def pow(x, n) {.
2ce0: 20 20 20 20 20 20 20 20 20 20 20 69 66 28 20 6e if( n
2cf0: 20 3d 3d 20 31 20 29 20 7b 20 78 20 7d 0a 20 20 == 1 ) { x }.
2d00: 20 20 20 20 20 20 20 20 20 65 6c 73 65 20 7b 0a else {.
2d10: 20 20 20 20 20 20 20 20 20 20 20 20 20 40 6d 61 @ma
2d20: 63 72 6f 28 20 40 76 61 6c 75 65 28 78 29 20 2a cro( @value(x) *
2d30: 20 40 76 61 6c 75 65 28 70 6f 77 28 78 2c 6e 2d @value(pow(x,n-
2d40: 31 29 29 20 29 0a 20 20 20 20 20 20 20 20 20 20 1)) ).
2d50: 20 7d 0a 20 20 20 20 20 20 20 20 20 7d 0a 20 20 }. }.
2d60: 20 20 20 20 20 20 20 69 6e 0a 20 20 20 20 20 20 in.
2d70: 20 20 20 20 20 70 6f 77 28 40 6d 61 63 72 6f 28 pow(@macro(
2d80: 78 29 2c 31 30 29 0a 20 20 20 20 20 20 20 29 0a x),10). ).
2d90: 20 20 20 20 20 7d 3b 0a 0a 20 20 20 48 65 72 65 };.. Here
2da0: 2c 20 78 20 69 73 20 61 20 73 79 6e 74 61 78 20 , x is a syntax
2db0: 74 72 65 65 20 62 75 74 20 6e 20 69 73 20 61 6e tree but n is an
2dc0: 20 61 63 74 75 61 6c 20 69 6e 74 65 67 65 72 2e actual integer.
2dd0: 20 49 66 20 79 6f 75 20 72 65 61 64 20 63 61 72 If you read car
2de0: 65 66 75 6c 6c 79 2c 0a 20 20 20 79 6f 75 20 73 efully,. you s
2df0: 68 6f 75 6c 64 20 67 65 74 20 77 68 61 74 20 69 hould get what i
2e00: 73 20 67 6f 69 6e 67 20 6f 6e 2e 20 42 61 73 69 s going on. Basi
2e10: 63 61 6c 6c 79 2c 20 40 6d 61 63 72 6f 20 63 61 cally, @macro ca
2e20: 6e 20 62 65 20 63 6f 6e 73 69 64 65 72 65 64 20 n be considered
2e30: 6c 69 6b 65 0a 20 20 20 71 75 61 73 69 71 75 6f like. quasiquo
2e40: 74 69 6e 67 20 61 6e 64 20 40 76 61 6c 75 65 20 ting and @value
2e50: 74 6f 20 62 65 20 61 6e 20 65 73 63 61 70 65 20 to be an escape
2e60: 66 72 6f 6d 20 69 74 2e 0a 0a 0a 0a 3c 3c 50 72 from it.....<<Pr
2e70: 69 6d 69 74 69 76 65 73 3e 3e 0a 0a 20 20 7b 7d imitives>>.. {}
2e80: 20 20 30 2d 61 72 79 20 20 63 72 65 61 74 65 2d 0-ary create-
2e90: 65 6d 70 74 79 2d 74 61 62 6c 65 0a 20 20 2e 20 empty-table. .
2ea0: 20 20 32 2d 61 72 79 20 20 74 61 62 6c 65 2d 67 2-ary table-g
2eb0: 65 74 0a 20 20 2e 3f 20 20 32 2d 61 72 79 20 20 et. .? 2-ary
2ec0: 74 61 62 6c 65 2d 68 61 73 3f 0a 20 20 2e 3d 20 table-has?. .=
2ed0: 20 33 2d 61 72 79 20 20 74 61 62 6c 65 2d 73 65 3-ary table-se
2ee0: 74 0a 0a 20 20 69 66 20 20 33 2d 61 72 79 20 20 t.. if 3-ary
2ef0: 69 66 2d 74 68 65 6e 2d 65 6c 73 65 0a 0a 20 20 if-then-else..
2f00: 2b 20 2d 20 2a 20 2f 20 25 20 7c 7c 20 26 26 20 + - * / % || &&
2f10: 20 20 20 32 2d 61 72 79 20 20 69 6e 74 65 67 65 2-ary intege
2f20: 72 2d 6f 70 65 72 61 74 69 6f 6e 73 20 28 4e 4f r-operations (NO
2f30: 54 45 21 20 6e 6f 20 73 68 6f 72 74 2d 63 69 72 TE! no short-cir
2f40: 63 75 69 74 20 66 6f 72 20 26 26 20 61 6e 64 20 cuit for && and
2f50: 7c 7c 2e 29 0a 20 20 3c 20 3e 20 3c 3d 20 3e 3d ||.). < > <= >=
2f60: 20 3d 3d 20 21 3d 20 20 20 20 32 2d 61 72 79 20 == != 2-ary
2f70: 20 67 65 6e 65 72 69 63 20 63 6f 6d 70 61 72 69 generic compari
2f80: 73 6f 6e 0a 20 20 7e 20 20 20 20 20 20 20 20 20 son. ~
2f90: 20 20 20 20 20 20 20 20 20 32 2d 61 72 79 20 20 2-ary
2fa0: 73 74 72 69 6e 67 20 63 6f 6e 63 61 74 65 6e 61 string concatena
2fb0: 74 69 6f 6e 20 28 77 6f 72 6b 73 20 61 6c 73 6f tion (works also
2fc0: 20 66 6f 72 20 6e 6f 6e 2d 73 74 72 69 6e 67 20 for non-string
2fd0: 6f 62 6a 65 63 74 73 29 0a 0a 20 20 70 72 69 6e objects).. prin
2fe0: 74 20 31 2d 61 72 79 20 70 72 69 6e 74 2d 74 6f t 1-ary print-to
2ff0: 2d 73 74 64 6f 75 74 0a 0a 20 20 5f 69 73 69 6e -stdout.. _isin
3000: 74 20 5f 69 73 73 74 72 20 5f 69 73 66 75 6e 20 t _isstr _isfun
3010: 5f 69 73 75 6e 64 65 66 69 6e 65 64 20 5f 69 73 _isundefined _is
3020: 74 61 62 6c 65 20 20 31 2d 61 72 79 20 20 64 79 table 1-ary dy
3030: 6e 61 6d 69 63 2d 74 79 70 65 2d 74 65 73 74 0a namic-type-test.
3040: 0a .