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: 0a 0a 3c 3c 42 61 73 69 63 20 46 65 61 74 75 72 ..<<Basic Featur
0f10: 65 73 3e 3e 0a 0a 20 20 50 6f 6c 65 6d 79 20 69 es>>.. Polemy i
0f20: 73 20 61 6e 20 75 6e 74 79 70 65 64 20 66 75 6e s an untyped fun
0f30: 63 74 69 6f 6e 61 6c 20 70 72 6f 67 72 61 6d 6d ctional programm
0f40: 69 6e 67 20 6c 61 6e 67 75 61 67 65 20 74 68 61 ing language tha
0f50: 74 20 68 61 73 0a 20 20 20 2d 20 69 6e 74 65 67 t has. - integ
0f60: 65 72 73 3a 20 20 20 30 2c 20 31 32 33 2c 20 34 ers: 0, 123, 4
0f70: 35 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 5666666666666666
0f80: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 6666666666666666
0f90: 36 36 36 36 36 36 37 38 39 2c 20 2e 2e 2e 0a 20 666666789, ....
0fa0: 20 20 2d 20 73 74 72 69 6e 67 73 3a 20 20 20 20 - strings:
0fb0: 22 68 65 6c 6c 6f 2c 20 77 6f 72 6c 64 21 5c 6e "hello, world!\n
0fc0: 22 2c 20 2e 2e 2e 0a 20 20 20 2d 20 74 61 62 6c ", .... - tabl
0fd0: 65 73 3a 20 20 20 20 20 7b 63 61 72 3a 20 31 2c es: {car: 1,
0fe0: 20 63 64 72 3a 20 7b 63 61 72 3a 20 32 2c 20 63 cdr: {car: 2, c
0ff0: 64 72 3a 20 7b 7d 7d 7d 0a 20 20 20 2d 20 66 75 dr: {}}}. - fu
1000: 6e 63 74 69 6f 6e 73 3a 20 20 66 75 6e 28 78 29 nctions: fun(x)
1010: 7b 78 2b 31 7d 0a 20 20 61 73 20 70 72 69 6d 69 {x+1}. as primi
1020: 74 69 76 65 20 64 61 74 61 74 79 70 65 73 2e 20 tive datatypes.
1030: 46 75 6e 63 74 69 6f 6e 73 20 63 61 70 74 75 72 Functions captur
1040: 65 20 6c 65 78 69 63 61 6c 20 63 6c 6f 73 75 72 e lexical closur
1050: 65 73 2e 0a 20 20 49 74 20 69 73 20 61 6c 6d 6f es.. It is almo
1060: 73 74 20 27 70 75 72 65 27 20 28 65 78 63 65 70 st 'pure' (excep
1070: 74 20 74 68 65 20 70 72 69 6d 69 74 76 65 20 66 t the primitve f
1080: 75 6e 63 74 69 6f 6e 20 22 70 72 69 6e 74 22 20 unction "print"
1090: 61 6e 64 20 73 6f 6d 65 0a 20 20 74 72 69 63 6b and some. trick
10a0: 20 69 6e 73 69 64 65 20 73 63 6f 70 69 6e 67 20 inside scoping
10b0: 6d 65 63 68 61 6e 69 73 6d 73 29 2e 0a 0a 0a 3c mechanisms)....<
10c0: 3c 4c 61 79 65 72 73 20 3a 3a 20 4f 76 65 72 76 <Layers :: Overv
10d0: 69 65 77 3e 3e 0a 0a 20 20 50 6f 6c 65 6d 79 27 iew>>.. Polemy'
10e0: 73 20 72 75 6e 74 69 6d 65 20 65 6e 76 69 72 6f s runtime enviro
10f0: 6e 6d 65 6e 74 20 68 61 73 20 6d 61 6e 79 20 22 nment has many "
1100: 6c 61 79 65 72 22 73 2e 0a 20 20 55 73 75 61 6c layer"s.. Usual
1110: 20 65 78 65 63 75 74 69 6f 6e 20 72 75 6e 20 69 execution run i
1120: 6e 20 74 68 65 20 40 76 61 6c 75 65 20 6c 61 79 n the @value lay
1130: 65 72 2e 0a 0a 20 20 20 20 3e 3e 20 31 20 2b 20 er... >> 1 +
1140: 32 0a 20 20 20 20 33 0a 20 20 20 20 3e 3e 20 40 2. 3. >> @
1150: 76 61 6c 75 65 28 20 31 20 2b 20 32 20 29 0a 20 value( 1 + 2 ).
1160: 20 20 20 33 0a 0a 20 20 48 65 72 65 20 79 6f 75 3.. Here you
1170: 20 63 61 6e 20 73 65 65 20 74 68 61 74 20 40 4c can see that @L
1180: 61 79 65 72 4e 61 6d 65 28 20 45 78 70 72 65 73 ayerName( Expres
1190: 73 69 6f 6e 20 29 20 65 78 65 63 75 74 65 73 20 sion ) executes
11a0: 74 68 65 20 69 6e 6e 65 72 20 45 78 70 72 65 73 the inner Expres
11b0: 73 69 6f 6e 20 69 6e 0a 20 20 74 68 65 20 40 4c sion in. the @L
11c0: 61 79 65 72 4e 61 6d 65 20 6c 61 79 65 72 2e 20 ayerName layer.
11d0: 4f 74 68 65 72 20 74 68 61 6e 20 40 76 61 6c 75 Other than @valu
11e0: 65 2c 20 6f 6e 65 20 6f 74 68 65 72 20 70 72 65 e, one other pre
11f0: 64 65 66 69 6e 65 64 20 6c 61 79 65 72 20 65 78 defined layer ex
1200: 69 73 74 73 3a 20 40 6d 61 63 72 6f 2e 0a 0a 20 ists: @macro...
1210: 20 20 20 3e 3e 20 40 6d 61 63 72 6f 28 20 31 2b >> @macro( 1+
1220: 32 20 29 0a 20 20 20 20 7b 70 6f 73 40 76 61 6c 2 ). {pos@val
1230: 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 ue:{lineno@value
1240: 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 :3, column@value
1250: 3a 39 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c :9, filename@val
1260: 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 ue:<REPL>},.
1270: 20 20 69 73 40 76 61 6c 75 65 3a 61 70 70 2c 0a is@value:app,.
1280: 20 20 20 20 20 61 72 67 40 76 61 6c 75 65 3a 7b arg@value:{
1290: 63 61 72 40 76 61 6c 75 65 3a 7b 70 6f 73 40 76 car@value:{pos@v
12a0: 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c alue:{lineno@val
12b0: 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c ue:3, column@val
12c0: 75 65 3a 39 2c 20 66 69 6c 65 6e 61 6d 65 40 76 ue:9, filename@v
12d0: 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 alue:<REPL>},.
12e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
12f0: 20 20 20 20 20 20 20 20 20 20 69 73 40 76 61 6c is@val
1300: 75 65 3a 69 6e 74 2c 0a 20 20 20 20 20 20 20 20 ue:int,.
1310: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1320: 20 20 64 61 74 61 40 76 61 6c 75 65 3a 31 7d 2c data@value:1},
1330: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
1340: 20 63 64 72 40 76 61 6c 75 65 3a 7b 0a 20 20 20 cdr@value:{.
1350: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 63 c
1360: 61 72 40 76 61 6c 75 65 3a 7b 70 6f 73 40 76 61 ar@value:{pos@va
1370: 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 lue:{lineno@valu
1380: 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 e:3, column@valu
1390: 65 3a 31 31 2c 20 66 69 6c 65 6e 61 6d 65 40 76 e:11, filename@v
13a0: 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 alue:<REPL>},.
13b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
13c0: 20 20 20 20 20 20 20 20 20 20 20 20 69 73 40 76 is@v
13d0: 61 6c 75 65 3a 69 6e 74 2c 0a 20 20 20 20 20 20 alue:int,.
13e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
13f0: 20 20 20 20 20 20 64 61 74 61 40 76 61 6c 75 65 data@value
1400: 3a 32 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 20 :2},.
1410: 20 20 20 20 20 20 20 63 64 72 40 76 61 6c 75 65 cdr@value
1420: 3a 7b 7d 7d 7d 2c 0a 20 20 20 20 20 66 75 6e 40 :{}}},. fun@
1430: 76 61 6c 75 65 3a 7b 70 6f 73 40 76 61 6c 75 65 value:{pos@value
1440: 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 :{lineno@value:3
1450: 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 31 , column@value:1
1460: 30 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 0, filename@valu
1470: 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 e:<REPL>},.
1480: 20 20 20 20 20 20 20 20 20 20 20 20 69 73 40 76 is@v
1490: 61 6c 75 65 3a 76 61 72 2c 0a 20 20 20 20 20 20 alue:var,.
14a0: 20 20 20 20 20 20 20 20 20 6e 61 6d 65 40 76 61 name@va
14b0: 6c 75 65 3a 2b 7d 7d 0a 0a 20 20 28 53 6f 72 72 lue:+}}.. (Sorr
14c0: 79 2c 20 74 68 69 73 20 70 72 65 74 74 79 20 70 y, this pretty p
14d0: 72 69 6e 74 69 6e 67 20 69 73 20 6e 6f 74 20 61 rinting is not a
14e0: 76 61 69 6c 61 62 6c 65 20 6f 6e 20 74 68 65 20 vailable on the
14f0: 61 63 74 75 61 6c 20 69 6e 74 65 72 70 72 65 74 actual interpret
1500: 65 72 2e 2e 2e 29 0a 20 20 54 68 69 73 20 65 76 er...). This ev
1510: 61 6c 75 61 74 65 73 20 74 68 65 20 65 78 70 72 aluates the expr
1520: 65 73 73 69 6f 6e 20 31 2b 32 20 69 6e 20 74 68 ession 1+2 in th
1530: 65 20 40 6d 61 63 72 6f 20 6c 61 79 65 72 2e 20 e @macro layer.
1540: 49 6e 20 74 68 69 73 20 6c 61 79 65 72 2c 20 74 In this layer, t
1550: 68 65 20 6d 65 61 6e 69 6e 67 20 6f 66 0a 20 20 he meaning of.
1560: 74 68 65 20 70 72 6f 67 72 61 6d 20 69 73 20 69 the program is i
1570: 74 73 20 61 62 73 74 72 61 63 74 20 73 79 6e 74 ts abstract synt
1580: 61 78 20 74 72 65 65 2e 0a 0a 20 20 59 6f 75 20 ax tree... You
1590: 63 61 6e 20 69 6e 74 65 72 6c 65 61 76 65 20 6c can interleave l
15a0: 61 79 65 72 73 2e 0a 20 20 54 68 65 20 72 6f 6f ayers.. The roo
15b0: 74 20 6e 6f 64 65 20 6f 66 20 74 68 65 20 61 62 t node of the ab
15c0: 73 74 72 61 63 74 20 73 79 6e 74 61 78 20 74 72 stract syntax tr
15d0: 65 65 20 69 73 20 66 75 6e 63 74 69 6f 6e 20 22 ee is function "
15e0: 61 70 70 22 6c 69 63 61 74 69 6f 6e 2e 0a 0a 20 app"lication...
15f0: 20 20 20 3e 3e 20 40 76 61 6c 75 65 28 40 6d 61 >> @value(@ma
1600: 63 72 6f 28 20 31 2b 32 20 29 2e 69 73 29 0a 20 cro( 1+2 ).is).
1610: 20 20 20 61 70 70 0a 0a 0a 0a 3c 3c 4c 61 79 65 app....<<Laye
1620: 72 73 20 3a 3a 20 44 65 66 69 6e 69 6e 67 20 61 rs :: Defining a
1630: 20 6e 65 77 20 6c 61 79 65 72 3e 3e 0a 0a 20 20 new layer>>..
1640: 54 6f 20 64 65 66 69 6e 65 20 61 20 6e 65 77 20 To define a new
1650: 6c 61 79 65 72 2c 20 79 6f 75 20 73 68 6f 75 6c layer, you shoul
1660: 64 20 66 69 72 73 74 20 74 65 6c 6c 20 68 6f 77 d first tell how
1670: 20 74 6f 20 22 6c 69 66 74 22 20 65 78 69 73 74 to "lift" exist
1680: 69 6e 67 20 76 61 6c 75 65 73 20 74 77 6f 20 74 ing values two t
1690: 68 65 20 6e 65 77 20 6c 61 79 65 72 2e 0a 20 20 he new layer..
16a0: 4c 65 74 20 75 73 20 64 65 66 69 6e 65 20 74 68 Let us define th
16b0: 65 20 22 40 74 79 70 65 22 20 6c 61 79 65 72 2c e "@type" layer,
16c0: 20 77 68 65 72 65 20 74 68 65 20 6d 65 61 6e 69 where the meani
16d0: 6e 67 20 6f 66 20 70 72 6f 67 72 61 6d 73 20 69 ng of programs i
16e0: 73 20 74 68 65 69 72 20 73 74 61 74 69 63 20 74 s their static t
16f0: 79 70 65 2e 0a 0a 20 20 20 20 3e 3e 20 40 40 74 ype... >> @@t
1700: 79 70 65 20 3d 20 66 75 6e 28 78 29 20 7b 0a 20 ype = fun(x) {.
1710: 20 20 20 3e 3e 20 20 20 69 66 28 20 5f 69 73 69 >> if( _isi
1720: 6e 74 28 78 29 20 29 20 7b 20 22 69 6e 74 22 20 nt(x) ) { "int"
1730: 7d 20 65 6c 73 65 20 7b 0a 20 20 20 20 3e 3e 20 } else {. >>
1740: 20 20 69 66 28 20 5f 69 73 66 75 6e 28 78 29 20 if( _isfun(x)
1750: 29 20 7b 20 78 20 7d 20 65 6c 73 65 20 7b 20 22 ) { x } else { "
1760: 75 6e 6b 6e 6f 77 6e 22 20 7d 20 7d 0a 20 20 20 unknown" } }.
1770: 20 3e 3e 20 7d 0a 20 20 20 20 28 4e 6f 74 65 3a >> }. (Note:
1780: 20 70 6f 6c 65 6d 79 20 52 45 50 4c 20 6d 61 79 polemy REPL may
1790: 20 77 61 72 6e 20 73 6f 6d 65 20 65 78 63 65 70 warn some excep
17a0: 74 69 6f 6e 20 68 65 72 65 20 62 75 74 20 70 6c tion here but pl
17b0: 65 61 73 65 20 69 67 6e 6f 72 65 29 0a 0a 20 20 ease ignore)..
17c0: 46 6f 72 20 73 69 6d 70 6c 69 63 69 74 79 2c 20 For simplicity,
17d0: 49 20 68 65 72 65 20 64 65 61 6c 20 6f 6e 6c 79 I here deal only
17e0: 20 77 69 74 68 20 69 6e 74 65 67 65 72 73 2e 0a with integers..
17f0: 20 20 5f 69 73 69 6e 74 20 69 73 20 61 20 70 72 _isint is a pr
1800: 69 6d 69 74 69 76 65 20 66 75 6e 63 74 69 6f 6e imitive function
1810: 20 6f 66 20 50 6f 6c 65 6d 79 20 74 68 61 74 20 of Polemy that
1820: 63 68 65 63 6b 73 20 74 68 65 20 64 79 6e 61 6d checks the dynam
1830: 69 63 20 74 79 70 65 20 6f 66 20 61 20 76 61 6c ic type of a val
1840: 75 65 2e 0a 20 20 46 6f 72 20 66 75 6e 63 74 69 ue.. For functi
1850: 6f 6e 2c 20 6c 65 61 76 69 6e 67 20 69 74 20 75 on, leaving it u
1860: 6e 74 6f 75 63 68 65 64 20 77 6f 72 6b 73 20 77 ntouched works w
1870: 65 6c 6c 20 66 6f 72 20 61 6c 6d 6f 73 74 20 61 ell for almost a
1880: 6c 6c 20 6c 61 79 65 72 73 2e 0a 0a 20 20 20 20 ll layers...
1890: 3e 3e 20 40 74 79 70 65 28 20 31 20 29 0a 20 20 >> @type( 1 ).
18a0: 20 20 69 6e 74 0a 20 20 20 20 3e 3e 20 40 74 79 int. >> @ty
18b0: 70 65 28 20 32 20 29 0a 20 20 20 20 69 6e 74 0a pe( 2 ). int.
18c0: 20 20 20 20 3e 3e 20 40 74 79 70 65 28 20 22 66 >> @type( "f
18d0: 6f 6f 22 20 29 0a 20 20 20 20 75 6e 6b 6e 6f 77 oo" ). unknow
18e0: 6e 0a 0a 20 20 46 69 6e 65 21 20 4c 65 74 27 73 n.. Fine! Let's
18f0: 20 74 72 79 20 74 6f 20 74 79 70 65 20 31 2b 32 try to type 1+2
1900: 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 28 ... >> @type(
1910: 20 31 20 2b 20 32 20 29 0a 20 20 20 20 2e 2e 2e 1 + 2 ). ...
1920: 5c 76 61 6c 75 65 2e 64 28 31 31 39 29 3a 20 5b \value.d(119): [
1930: 3c 52 45 50 4c 3e 3a 36 3a 38 5d 20 6f 6e 6c 79 <REPL>:6:8] only
1940: 20 40 76 61 6c 75 65 20 6c 61 79 65 72 20 63 61 @value layer ca
1950: 6e 20 63 61 6c 6c 20 6e 61 74 69 76 65 20 66 75 n call native fu
1960: 6e 63 74 69 6f 6e 0a 0a 20 20 4e 6f 74 65 20 74 nction.. Note t
1970: 68 61 74 20 74 68 65 20 62 65 68 61 76 69 6f 72 hat the behavior
1980: 20 6f 66 20 74 68 69 73 20 70 72 6f 67 72 61 6d of this program
1990: 20 69 73 0a 20 20 20 20 2d 20 72 75 6e 20 31 2b is. - run 1+
19a0: 32 20 69 6e 20 74 68 65 20 40 74 79 70 65 20 6c 2 in the @type l
19b0: 61 79 65 72 0a 20 20 61 6e 64 20 4e 4f 54 0a 20 ayer. and NOT.
19c0: 20 20 20 2d 20 72 75 6e 20 31 2b 32 20 69 6e 20 - run 1+2 in
19d0: 40 76 61 6c 75 65 20 61 6e 64 20 6f 62 74 61 69 @value and obtai
19e0: 6e 20 33 20 61 6e 64 20 72 75 6e 20 33 20 69 6e n 3 and run 3 in
19f0: 20 74 68 65 20 40 74 79 70 65 2e 0a 20 20 54 68 the @type.. Th
1a00: 65 20 70 72 6f 62 6c 65 6d 20 69 73 2c 20 74 68 e problem is, th
1a10: 65 20 76 61 72 69 61 62 6c 65 20 22 2b 22 20 69 e variable "+" i
1a20: 73 20 64 65 66 69 6e 65 64 20 6f 6e 6c 79 20 69 s defined only i
1a30: 6e 20 74 68 65 20 40 76 61 6c 75 65 20 6c 61 79 n the @value lay
1a40: 65 72 2e 0a 20 20 54 6f 20 63 61 72 72 79 20 6f er.. To carry o
1a50: 75 74 20 63 6f 6d 70 75 74 61 74 69 6f 6e 20 69 ut computation i
1a60: 6e 20 74 68 65 20 40 74 79 70 65 20 6c 61 79 65 n the @type laye
1a70: 72 2e 20 57 65 20 6e 65 65 64 20 74 6f 20 64 65 r. We need to de
1a80: 66 69 6e 65 20 69 74 20 61 6c 73 6f 0a 20 20 69 fine it also. i
1a90: 6e 20 74 68 65 20 40 74 79 70 65 20 6c 61 79 65 n the @type laye
1aa0: 72 2e 0a 0a 20 20 54 6f 20 64 65 66 69 6e 65 20 r... To define
1ab0: 73 6f 6d 65 20 76 61 72 69 61 62 6c 65 20 69 6e some variable in
1ac0: 20 61 20 73 70 65 63 69 66 69 63 20 6c 61 79 65 a specific laye
1ad0: 72 2c 20 75 73 65 20 40 4c 61 79 65 72 4e 61 6d r, use @LayerNam
1ae0: 65 20 69 6e 20 70 6c 61 63 65 20 6f 66 0a 20 20 e in place of.
1af0: 28 6c 65 74 7c 76 61 72 7c 64 65 66 29 73 2e 0a (let|var|def)s..
1b00: 0a 20 20 20 20 3e 3e 20 6c 65 74 20 78 20 3d 20 . >> let x =
1b10: 32 0a 20 20 20 20 3e 3e 20 40 76 61 6c 75 65 20 2. >> @value
1b20: 78 20 3d 20 32 0a 20 20 20 20 3e 3e 20 40 74 79 x = 2. >> @ty
1b30: 70 65 20 78 20 3d 20 22 69 6e 74 22 0a 20 20 20 pe x = "int".
1b40: 20 3e 3e 20 40 68 6f 67 65 20 78 20 3d 20 22 66 >> @hoge x = "f
1b50: 75 67 61 22 0a 0a 20 20 46 6f 72 20 22 2b 22 2c uga".. For "+",
1b60: 20 64 6f 20 69 74 20 6c 69 6b 65 20 74 68 69 73 do it like this
1b70: 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 70 65 20 ... >> @type
1b80: 22 2b 22 20 3d 20 66 75 6e 28 78 2c 79 29 20 7b "+" = fun(x,y) {
1b90: 40 76 61 6c 75 65 28 0a 20 20 20 20 3e 3e 20 20 @value(. >>
1ba0: 20 69 66 28 20 40 74 79 70 65 28 78 29 3d 3d 22 if( @type(x)=="
1bb0: 69 6e 74 22 20 26 26 20 40 74 79 70 65 28 79 29 int" && @type(y)
1bc0: 3d 3d 22 69 6e 74 22 20 29 20 7b 20 22 69 6e 74 =="int" ) { "int
1bd0: 22 20 7d 20 65 6c 73 65 20 7b 20 22 74 79 70 65 " } else { "type
1be0: 65 72 72 6f 72 22 20 7d 0a 20 20 20 20 3e 3e 20 error" }. >>
1bf0: 29 7d 0a 20 20 20 20 70 6f 6c 65 6d 79 2e 76 61 )}. polemy.va
1c00: 6c 75 65 2e 6e 61 74 69 76 65 21 28 49 6e 74 56 lue.native!(IntV
1c10: 61 6c 75 65 2c 49 6e 74 56 61 6c 75 65 2c 49 6e alue,IntValue,In
1c20: 74 56 61 6c 75 65 29 2e 6e 61 74 69 76 65 2e 5f tValue).native._
1c30: 5f 61 6e 6f 6e 63 6c 61 73 73 32 34 0a 0a 20 20 _anonclass24..
1c40: 49 74 20 69 73 20 6a 75 73 74 20 63 6f 6d 70 75 It is just compu
1c50: 74 69 6e 67 20 74 68 65 20 72 65 74 75 72 6e 20 ting the return
1c60: 74 79 70 65 20 66 72 6f 6d 20 74 68 65 20 69 6e type from the in
1c70: 70 75 74 20 74 79 70 65 2e 0a 20 20 4e 6f 74 20 put type.. Not
1c80: 68 65 72 65 20 74 68 61 74 20 74 68 65 20 69 6e here that the in
1c90: 74 65 6e 64 65 64 20 22 6d 65 61 6e 69 6e 67 22 tended "meaning"
1ca0: 20 6f 66 20 69 66 2d 74 68 65 6e 2d 65 6c 73 65 of if-then-else
1cb0: 20 69 73 20 74 68 65 20 72 75 6e 74 69 6d 65 2d is the runtime-
1cc0: 62 72 61 6e 63 68 69 6e 67 2c 0a 20 20 61 6e 64 branching,. and
1cd0: 20 74 68 65 20 6d 65 61 6e 69 6e 67 20 6f 66 20 the meaning of
1ce0: 22 3d 3d 22 20 69 73 20 74 68 65 20 76 61 6c 75 "==" is the valu
1cf0: 65 2d 63 6f 6d 70 61 72 69 73 6f 6e 2e 20 54 68 e-comparison. Th
1d00: 65 73 65 20 61 72 65 20 74 68 65 20 40 76 61 6c ese are the @val
1d10: 75 65 20 6c 61 79 65 72 0a 20 20 62 65 68 61 76 ue layer. behav
1d20: 69 6f 72 2e 20 53 6f 20 77 65 20 68 61 76 65 20 ior. So we have
1d30: 64 65 66 69 6e 65 64 20 74 68 65 20 66 75 6e 63 defined the func
1d40: 74 69 6f 6e 20 62 6f 64 79 20 69 6e 73 69 64 65 tion body inside
1d50: 20 40 76 61 6c 75 65 20 6c 61 79 65 72 2e 0a 20 @value layer..
1d60: 20 42 75 74 20 77 68 65 6e 20 77 65 20 72 65 66 But when we ref
1d70: 65 72 20 74 68 65 20 76 61 72 69 61 62 6c 65 73 er the variables
1d80: 20 78 20 61 6e 64 20 79 2c 20 77 65 20 6e 65 65 x and y, we nee
1d90: 64 20 69 74 73 20 40 74 79 70 65 20 6c 61 79 65 d its @type laye
1da0: 72 20 6d 65 61 6e 69 6e 67 2e 0a 20 20 48 65 6e r meaning.. Hen
1db0: 63 65 20 77 65 20 75 73 65 20 40 74 79 70 65 28 ce we use @type(
1dc0: 29 20 74 68 65 72 65 2e 0a 0a 20 20 4e 6f 77 20 ) there... Now
1dd0: 77 65 20 67 65 74 20 69 74 2e 0a 0a 20 20 20 20 we get it...
1de0: 3e 3e 20 40 74 79 70 65 28 20 31 20 2b 20 32 20 >> @type( 1 + 2
1df0: 29 0a 20 20 20 20 69 6e 74 0a 0a 20 20 57 65 6c ). int.. Wel
1e00: 6c 2c 20 62 75 74 20 64 6f 20 77 65 20 68 61 76 l, but do we hav
1e10: 65 20 74 6f 20 64 65 66 69 6e 65 20 74 68 65 20 e to define the
1e20: 40 74 79 70 65 20 6c 61 79 65 72 20 6d 65 61 6e @type layer mean
1e30: 69 6e 67 20 66 6f 72 20 65 76 65 72 79 20 76 61 ing for every va
1e40: 72 69 61 62 6c 65 73 3f 3f 3f 0a 20 20 4e 6f 2e riables???. No.
1e50: 20 41 66 74 65 72 20 79 6f 75 20 64 65 66 69 6e After you defin
1e60: 65 64 20 40 74 79 70 65 20 22 2b 22 2c 20 79 6f ed @type "+", yo
1e70: 75 27 6c 6c 20 61 75 74 6f 6d 61 74 69 63 61 6c u'll automatical
1e80: 6c 79 20 67 65 74 20 74 68 65 20 66 6f 6c 6c 6f ly get the follo
1e90: 77 69 6e 67 3a 0a 0a 20 20 20 20 3e 3e 20 64 65 wing:.. >> de
1ea0: 66 20 64 6f 75 62 6c 65 28 78 29 20 7b 20 78 20 f double(x) { x
1eb0: 2b 20 78 20 7d 0a 20 20 20 20 28 66 75 6e 63 74 + x }. (funct
1ec0: 69 6f 6e 3a 31 37 65 34 37 34 30 3a 31 37 38 39 ion:17e4740:1789
1ed0: 37 32 30 29 0a 0a 20 20 20 20 3e 3e 20 40 74 79 720).. >> @ty
1ee0: 70 65 28 20 64 6f 75 62 6c 65 28 31 32 33 29 20 pe( double(123)
1ef0: 29 0a 20 20 20 20 69 6e 74 0a 0a 20 20 45 76 65 ). int.. Eve
1f00: 72 79 20 75 73 65 72 2d 64 65 66 69 6e 65 64 20 ry user-defined
1f10: 66 75 6e 63 74 69 6f 6e 73 20 61 72 65 20 61 75 functions are au
1f20: 74 6f 6d 61 74 69 63 61 6c 6c 79 20 22 6c 69 66 tomatically "lif
1f30: 74 22 65 64 20 74 6f 20 74 68 65 20 61 70 70 72 t"ed to the appr
1f40: 6f 70 72 69 61 74 65 20 6c 61 79 65 72 2e 0a 20 opriate layer..
1f50: 20 4f 6e 6c 79 20 70 72 69 6d 69 74 69 76 65 20 Only primitive
1f60: 66 75 6e 63 74 69 6f 6e 73 20 6c 69 6b 65 20 22 functions like "
1f70: 2b 22 20 72 65 71 75 69 72 65 73 20 40 79 6f 75 +" requires @you
1f80: 72 4e 65 77 4c 61 79 65 72 20 61 6e 6e 6f 74 61 rNewLayer annota
1f90: 74 69 6f 6e 2e 0a 0a 0a 0a 3c 3c 4c 61 79 65 72 tion.....<<Layer
1fa0: 73 20 3a 3a 20 6e 65 75 74 72 61 6c 2d 6c 61 79 s :: neutral-lay
1fb0: 65 72 3e 3e 0a 0a 20 20 6c 65 74 7c 76 61 72 7c er>>.. let|var|
1fc0: 64 65 66 20 69 73 20 74 6f 20 64 65 66 69 6e 65 def is to define
1fd0: 20 61 20 76 61 72 69 61 62 6c 65 20 69 6e 20 74 a variable in t
1fe0: 68 65 20 22 63 75 72 72 65 6e 74 22 20 6c 61 79 he "current" lay
1ff0: 65 72 2e 0a 20 20 4e 6f 74 20 6e 65 63 65 73 73 er.. Not necess
2000: 61 72 79 20 74 6f 20 74 68 65 20 40 76 61 6c 75 ary to the @valu
2010: 65 20 6c 61 79 65 72 2e 0a 0a 20 20 20 20 3e 3e e layer... >>
2020: 20 40 76 61 6c 75 65 28 20 6c 65 74 20 78 20 3d @value( let x =
2030: 20 31 20 69 6e 20 40 76 61 6c 75 65 28 78 29 20 1 in @value(x)
2040: 29 0a 20 20 20 20 31 0a 0a 20 20 20 20 3e 3e 20 ). 1.. >>
2050: 40 6d 61 63 72 6f 28 20 6c 65 74 20 78 20 3d 20 @macro( let x =
2060: 31 20 69 6e 20 40 76 61 6c 75 65 28 78 29 20 29 1 in @value(x) )
2070: 0a 20 20 20 20 70 6f 6c 65 6d 79 2e 66 61 69 6c . polemy.fail
2080: 75 72 65 2e 52 75 6e 74 69 6d 65 45 78 63 65 70 ure.RuntimeExcep
2090: 74 69 6f 6e 3a 20 5b 3c 52 45 50 4c 3e 3a 31 34 tion: [<REPL>:14
20a0: 3a 32 39 5d 20 76 61 72 69 61 62 6c 65 20 78 20 :29] variable x
20b0: 6e 6f 74 20 66 6f 75 6e 64 0a 0a 20 20 20 20 3e not found.. >
20c0: 3e 20 40 6d 61 63 72 6f 28 20 6c 65 74 20 78 20 > @macro( let x
20d0: 3d 20 31 20 69 6e 20 40 6d 61 63 72 6f 28 78 29 = 1 in @macro(x)
20e0: 20 29 0a 20 20 20 20 7b 70 6f 73 40 76 61 6c 75 ). {pos@valu
20f0: 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a e:{lineno@value:
2100: 31 35 2c 20 2e 2e 2e 0a 0a 0a 0a 3c 3c 4c 61 79 15, .......<<Lay
2110: 65 72 73 20 3a 3a 20 4c 61 79 65 72 65 64 2d 50 ers :: Layered-P
2120: 61 72 61 6d 65 74 65 72 73 3e 3e 0a 0a 20 20 20 arameters>>..
2130: 20 3e 3e 20 64 65 66 20 66 6f 6f 28 78 20 40 6d >> def foo(x @m
2140: 61 63 72 6f 20 40 76 61 6c 75 65 29 20 7b 20 7b acro @value) { {
2150: 66 73 74 3a 20 78 2c 20 73 6e 64 3a 20 40 6d 61 fst: x, snd: @ma
2160: 63 72 6f 28 78 29 7d 20 7d 0a 20 20 20 20 28 66 cro(x)} }. (f
2170: 75 6e 63 74 69 6f 6e 3a 31 37 33 30 33 36 30 3a unction:1730360:
2180: 31 37 38 39 37 32 30 29 0a 0a 20 20 49 66 20 79 1789720).. If y
2190: 6f 75 20 61 6e 6e 6f 74 61 74 65 20 66 75 6e 63 ou annotate func
21a0: 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 20 tion parameters
21b0: 62 79 20 40 4c 61 79 65 72 4e 61 6d 65 73 2c 20 by @LayerNames,
21c0: 77 68 65 6e 20 79 6f 75 20 69 6e 76 6f 6b 65 20 when you invoke
21d0: 74 68 65 20 66 75 6e 63 74 69 6f 6e 2e 2e 2e 0a the function....
21e0: 0a 20 20 20 20 3e 3e 20 66 6f 6f 28 31 2b 32 29 . >> foo(1+2)
21f0: 0a 20 20 20 20 7b 73 6e 64 40 76 61 6c 75 65 3a . {snd@value:
2200: 20 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e {pos@value:{lin
2210: 65 6e 6f 40 76 61 6c 75 65 3a 31 37 2c 20 63 6f eno@value:17, co
2220: 6c 75 6d 6e 40 76 61 6c 75 65 3a 35 2c 20 66 69 lumn@value:5, fi
2230: 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45 lename@value:<RE
2240: 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 PL>},.
2250: 20 20 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 is@value
2260: 3a 61 70 70 2c 20 61 72 67 40 76 61 6c 75 65 3a :app, arg@value:
2270: 7b 2e 2e 2e 0a 20 20 20 20 2f 66 73 74 40 76 61 {.... /fst@va
2280: 6c 75 65 3a 33 0a 20 20 20 20 2f 7d 0a 0a 20 20 lue:3. /}..
2290: 69 74 73 20 63 6f 72 72 65 73 70 6f 6e 64 69 6e its correspondin
22a0: 67 20 61 72 67 75 6d 65 6e 74 73 20 61 72 65 20 g arguments are
22b0: 65 76 61 6c 75 61 74 65 64 20 69 6e 20 74 68 65 evaluated in the
22c0: 20 6c 61 79 65 72 20 61 6e 64 20 70 61 73 73 65 layer and passe
22d0: 64 20 74 6f 20 69 74 2e 0a 20 20 49 66 20 79 6f d to it.. If yo
22e0: 75 20 73 70 65 63 69 66 79 20 6d 75 6c 74 69 70 u specify multip
22f0: 6c 65 20 6c 61 79 65 72 73 2c 20 74 68 65 20 61 le layers, the a
2300: 72 67 75 6d 65 6e 74 20 65 78 70 72 65 73 73 69 rgument expressi
2310: 6f 6e 20 69 73 20 72 75 6e 20 6d 75 6c 74 69 70 on is run multip
2320: 6c 65 20 74 69 6d 65 73 2e 0a 20 20 49 66 20 79 le times.. If y
2330: 6f 75 20 64 6f 20 6e 6f 74 20 73 70 65 63 69 66 ou do not specif
2340: 79 20 61 6e 79 20 6c 61 79 65 72 20 66 6f 72 20 y any layer for
2350: 61 20 70 61 72 61 6d 65 74 65 72 2c 20 69 74 20 a parameter, it
2360: 77 6f 72 6b 73 20 69 6e 20 74 68 65 20 6e 65 75 works in the neu
2370: 74 72 61 6c 20 6c 61 79 65 72 2e 0a 0a 0a 0a 3c tral layer.....<
2380: 3c 40 6d 61 63 72 6f 20 6c 61 79 65 72 3e 3e 0a <@macro layer>>.
2390: 0a 20 20 20 57 68 65 6e 20 66 75 6e 63 74 69 6f . When functio
23a0: 6e 20 69 73 20 69 6e 76 6f 6b 65 64 2c 20 69 74 n is invoked, it
23b0: 20 66 69 72 73 74 20 72 75 6e 20 69 6e 20 74 68 first run in th
23c0: 65 20 40 6d 61 63 72 6f 20 6c 61 79 65 72 2c 20 e @macro layer,
23d0: 61 6e 64 20 61 66 74 65 72 20 74 68 61 74 2c 0a and after that,.
23e0: 20 20 20 69 74 20 72 75 6e 20 69 6e 20 74 68 65 it run in the
23f0: 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 2e 20 neutral layer.
2400: 48 65 72 65 20 69 73 20 61 6e 20 65 78 61 6d 70 Here is an examp
2410: 6c 65 2e 0a 0a 20 20 20 20 20 3e 3e 20 40 6d 61 le... >> @ma
2420: 63 72 6f 20 74 77 69 63 65 28 78 29 20 7b 20 78 cro twice(x) { x
2430: 3b 20 78 20 7d 0a 20 20 20 20 20 3e 3e 20 64 65 ; x }. >> de
2440: 66 20 66 28 29 20 7b 20 74 77 69 63 65 28 70 72 f f() { twice(pr
2450: 69 6e 74 28 22 48 65 6c 6c 6f 22 29 29 3b 20 39 int("Hello")); 9
2460: 39 39 20 7d 0a 20 20 20 20 20 28 66 75 6e 63 74 99 }. (funct
2470: 69 6f 6e 3a 31 37 33 62 36 61 30 3a 31 37 38 39 ion:173b6a0:1789
2480: 37 32 30 29 0a 20 20 20 20 20 3e 3e 20 66 28 29 720). >> f()
2490: 0a 20 20 20 20 20 48 65 6c 6c 6f 0a 20 20 20 20 . Hello.
24a0: 20 48 65 6c 6c 6f 0a 20 20 20 20 20 39 39 39 0a Hello. 999.
24b0: 0a 20 20 20 57 68 65 6e 20 74 68 65 20 69 6e 74 . When the int
24c0: 65 72 70 72 65 74 65 72 20 65 76 61 6c 75 61 74 erpreter evaluat
24d0: 65 73 20 66 28 29 2c 20 69 74 20 66 69 72 73 74 es f(), it first
24e0: 20 65 78 65 63 75 74 65 73 0a 20 20 20 20 20 22 executes. "
24f0: 74 77 69 63 65 28 70 72 69 6e 74 28 22 48 65 6c twice(print("Hel
2500: 6c 6f 22 29 29 3b 20 39 39 39 22 0a 20 20 20 69 lo")); 999". i
2510: 6e 20 74 68 65 20 40 6d 61 63 72 6f 20 6c 61 79 n the @macro lay
2520: 65 72 2e 20 42 61 73 69 63 61 6c 6c 79 20 77 68 er. Basically wh
2530: 61 74 20 69 74 20 64 6f 65 73 20 69 73 20 74 6f at it does is to
2540: 20 6a 75 73 74 20 63 6f 6e 73 74 72 75 63 74 20 just construct
2550: 69 74 73 20 73 79 6e 74 61 78 20 74 72 65 65 2e its syntax tree.
2560: 0a 20 20 20 42 75 74 2c 20 73 69 6e 63 65 20 77 . But, since w
2570: 65 20 68 61 76 65 20 64 65 66 69 6e 65 64 20 74 e have defined t
2580: 68 65 20 22 74 77 69 63 65 22 20 66 75 6e 63 74 he "twice" funct
2590: 69 6f 6e 20 69 6e 20 74 68 65 20 40 6d 61 63 72 ion in the @macr
25a0: 6f 20 6c 61 79 65 72 2c 20 69 74 20 69 73 0a 20 o layer, it is.
25b0: 20 20 65 78 65 63 75 74 65 20 61 73 20 61 20 66 execute as a f
25c0: 75 6e 63 74 69 6f 6e 2e 20 52 65 73 75 6c 74 69 unction. Resulti
25d0: 6e 67 20 73 79 6e 74 61 78 20 74 72 65 65 20 69 ng syntax tree i
25e0: 73 0a 20 20 20 20 20 22 70 72 69 6e 74 28 22 48 s. "print("H
25f0: 65 6c 6c 6f 22 29 3b 20 70 72 69 6e 74 28 22 48 ello"); print("H
2600: 65 6c 6c 6f 22 29 3b 20 39 39 39 22 0a 20 20 20 ello"); 999".
2610: 61 6e 64 20 74 68 69 73 20 69 73 20 65 78 65 63 and this is exec
2620: 75 74 65 64 20 6f 6e 20 74 68 65 20 6e 65 75 74 uted on the neut
2630: 72 61 6c 20 28 69 6e 20 74 68 69 73 20 65 78 61 ral (in this exa
2640: 6d 70 6c 65 2c 20 40 76 61 6c 75 65 29 20 6c 61 mple, @value) la
2650: 79 65 72 2e 0a 20 20 20 54 68 69 73 20 69 73 20 yer.. This is
2660: 74 68 65 20 72 65 61 73 6f 6e 20 77 68 79 20 79 the reason why y
2670: 6f 75 20 73 65 65 20 74 77 6f 20 22 48 65 6c 6c ou see two "Hell
2680: 6f 22 73 2e 0a 0a 0a 0a 20 20 20 20 20 20 5b 5b o"s..... [[
2690: 6c 69 6d 69 74 61 74 69 6f 6e 73 5d 5d 0a 0a 20 limitations]]..
26a0: 20 20 54 68 69 73 20 40 6d 61 63 72 6f 20 6c 61 This @macro la
26b0: 79 65 72 20 69 73 20 61 20 76 65 72 79 20 70 72 yer is a very pr
26c0: 69 6d 69 74 69 76 65 20 6f 6e 65 2c 20 61 6e 64 imitive one, and
26d0: 20 6e 6f 74 20 61 20 70 65 72 66 65 63 74 20 6d not a perfect m
26e0: 61 63 72 6f 20 6c 61 6e 67 75 61 67 65 2e 0a 20 acro language..
26f0: 20 20 54 77 6f 20 6d 61 6a 6f 72 20 6c 69 6d 69 Two major limi
2700: 74 61 74 69 6f 6e 73 20 61 72 65 20 73 65 65 6e tations are seen
2710: 20 69 6e 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e in the followin
2720: 67 20 22 69 74 22 20 65 78 61 6d 70 6c 65 2e 0a g "it" example..
2730: 0a 20 20 20 20 20 3e 3e 20 40 6d 61 63 72 6f 20 . >> @macro
2740: 4c 65 74 49 74 42 65 28 78 2c 20 79 29 20 7b 20 LetItBe(x, y) {
2750: 6c 65 74 20 69 74 20 3d 20 78 20 69 6e 20 79 20 let it = x in y
2760: 7d 3b 0a 0a 20 20 20 54 68 65 20 76 61 72 69 61 };.. The varia
2770: 62 6c 65 20 6e 61 6d 65 20 69 73 20 6e 6f 74 20 ble name is not
2780: 68 79 67 65 6e 69 63 2c 20 61 6e 64 20 73 6f 20 hygenic, and so
2790: 77 69 74 68 6f 75 74 20 61 6e 79 20 65 66 66 6f without any effo
27a0: 72 74 2c 20 74 68 65 20 73 79 6e 74 61 78 20 74 rt, the syntax t
27b0: 72 65 65 20 22 79 22 0a 20 20 20 63 61 6e 20 61 ree "y". can a
27c0: 63 63 65 73 73 20 74 68 65 20 6f 75 74 65 72 20 ccess the outer
27d0: 76 61 72 69 61 62 6c 65 20 22 69 74 22 2e 0a 0a variable "it"...
27e0: 20 20 20 20 20 3e 3e 20 64 65 66 20 66 6f 6f 28 >> def foo(
27f0: 29 20 7b 20 4c 65 74 49 74 42 65 28 20 31 2b 32 ) { LetItBe( 1+2
2800: 2b 33 2c 20 69 74 2a 69 74 20 29 20 7d 0a 20 20 +3, it*it ) }.
2810: 20 20 20 3e 3e 20 66 6f 6f 28 29 0a 20 20 20 20 >> foo().
2820: 20 33 36 0a 0a 20 20 20 4f 66 20 63 6f 75 72 73 36.. Of cours
2830: 65 2c 20 74 68 69 73 20 69 73 20 6e 6f 74 20 6a e, this is not j
2840: 75 73 74 20 61 20 6c 69 6d 69 74 61 74 69 6f 6e ust a limitation
2850: 3b 20 69 74 20 63 61 6e 20 73 6f 6d 65 74 69 6d ; it can sometim
2860: 65 73 20 61 6c 6c 6f 77 20 75 73 20 74 6f 20 77 es allow us to w
2870: 72 69 74 65 0a 20 20 20 6d 61 6e 79 20 69 6e 74 rite. many int
2880: 65 72 65 73 74 69 6e 67 20 6d 61 63 72 6f 73 2e eresting macros.
2890: 0a 0a 20 20 20 54 68 65 20 6f 74 68 65 72 20 70 .. The other p
28a0: 72 6f 62 6c 65 6d 20 69 73 20 74 68 61 74 20 74 roblem is that t
28b0: 68 65 20 6d 61 63 72 6f 20 65 78 70 61 6e 73 69 he macro expansi
28c0: 6f 6e 20 69 73 20 6f 6e 6c 79 20 64 6f 6e 65 20 on is only done
28d0: 61 74 20 66 75 6e 63 74 69 6f 6e 20 73 74 61 72 at function star
28e0: 74 75 70 2e 0a 20 20 20 53 6f 20 0a 0a 20 20 20 tup.. So ..
28f0: 20 20 3e 3e 20 4c 65 74 49 74 42 65 28 20 31 2b >> LetItBe( 1+
2900: 32 2b 33 2c 20 69 74 2a 69 74 20 29 0a 20 20 20 2+3, it*it ).
2910: 20 20 2e 2e 2e 5c 76 61 6c 75 65 2e 64 28 31 37 ...\value.d(17
2920: 33 29 3a 20 5b 3c 52 45 50 4c 3e 3a 32 34 3a 31 3): [<REPL>:24:1
2930: 5d 20 76 61 72 69 61 62 6c 65 20 4c 65 74 49 74 ] variable LetIt
2940: 42 65 20 69 73 20 6e 6f 74 20 73 65 74 20 69 6e Be is not set in
2950: 20 6c 61 79 65 72 20 40 76 61 6c 75 65 0a 0a 20 layer @value..
2960: 20 20 79 6f 75 20 63 61 6e 6e 6f 74 20 64 69 72 you cannot dir
2970: 65 63 74 6c 79 20 75 73 65 20 74 68 65 20 6d 61 ectly use the ma
2980: 63 72 6f 20 69 6e 20 74 68 65 20 73 61 6d 65 20 cro in the same
2990: 73 63 6f 70 65 20 61 73 20 74 68 65 20 64 65 66 scope as the def
29a0: 69 6e 69 74 69 6f 6e 2e 0a 20 20 20 59 6f 75 20 inition.. You
29b0: 6e 65 65 64 20 74 6f 20 77 72 61 70 20 69 74 20 need to wrap it
29c0: 75 70 20 69 6e 20 61 20 66 75 6e 63 74 69 6f 6e up in a function
29d0: 20 28 6c 69 6b 65 20 74 68 65 20 66 6f 6f 28 29 (like the foo()
29e0: 20 69 6e 20 74 68 65 20 61 62 6f 76 65 20 65 78 in the above ex
29f0: 61 6d 70 6c 65 29 2e 0a 0a 0a 0a 20 20 20 20 20 ample).....
2a00: 20 5b 5b 71 75 6f 74 65 20 61 6e 64 20 75 6e 71 [[quote and unq
2a10: 75 6f 74 65 5d 5d 0a 0a 20 20 20 48 65 72 65 20 uote]].. Here
2a20: 69 73 20 6d 6f 72 65 20 69 6e 76 6f 6c 76 65 64 is more involved
2a30: 20 65 78 61 6d 70 6c 65 20 6f 66 20 63 6f 64 65 example of code
2a40: 20 67 65 6e 72 61 74 69 6f 6e 2e 0a 20 20 20 46 genration.. F
2a50: 72 6f 6d 20 22 78 22 2c 20 69 74 20 67 65 6e 65 rom "x", it gene
2a60: 72 61 74 65 73 20 22 78 2a 78 2a 78 2a 78 2a 78 rates "x*x*x*x*x
2a70: 2a 78 2a 78 2a 78 2a 78 2a 78 22 2e 0a 0a 20 20 *x*x*x*x*x"...
2a80: 20 20 20 40 6d 61 63 72 6f 20 70 6f 77 31 30 28 @macro pow10(
2a90: 78 29 20 7b 0a 20 20 20 20 20 20 20 40 76 61 6c x) {. @val
2aa0: 75 65 28 0a 20 20 20 20 20 20 20 20 20 64 65 66 ue(. def
2ab0: 20 70 6f 77 28 78 2c 20 6e 29 20 7b 0a 20 20 20 pow(x, n) {.
2ac0: 20 20 20 20 20 20 20 20 69 66 28 20 6e 20 3d 3d if( n ==
2ad0: 20 31 20 29 20 7b 20 78 20 7d 0a 20 20 20 20 20 1 ) { x }.
2ae0: 20 20 20 20 20 20 65 6c 73 65 20 7b 0a 20 20 20 else {.
2af0: 20 20 20 20 20 20 20 20 20 20 40 6d 61 63 72 6f @macro
2b00: 28 20 40 76 61 6c 75 65 28 78 29 20 2a 20 40 76 ( @value(x) * @v
2b10: 61 6c 75 65 28 70 6f 77 28 78 2c 6e 2d 31 29 29 alue(pow(x,n-1))
2b20: 20 29 0a 20 20 20 20 20 20 20 20 20 20 20 7d 0a ). }.
2b30: 20 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20 20 }.
2b40: 20 20 20 20 69 6e 0a 20 20 20 20 20 20 20 20 20 in.
2b50: 20 20 70 6f 77 28 40 6d 61 63 72 6f 28 78 29 2c pow(@macro(x),
2b60: 31 30 29 0a 20 20 20 20 20 20 20 29 0a 20 20 20 10). ).
2b70: 20 20 7d 3b 0a 0a 20 20 20 48 65 72 65 2c 20 78 };.. Here, x
2b80: 20 69 73 20 61 20 73 79 6e 74 61 78 20 74 72 65 is a syntax tre
2b90: 65 20 62 75 74 20 6e 20 69 73 20 61 6e 20 61 63 e but n is an ac
2ba0: 74 75 61 6c 20 69 6e 74 65 67 65 72 2e 20 49 66 tual integer. If
2bb0: 20 79 6f 75 20 72 65 61 64 20 63 61 72 65 66 75 you read carefu
2bc0: 6c 6c 79 2c 0a 20 20 20 79 6f 75 20 73 68 6f 75 lly,. you shou
2bd0: 6c 64 20 67 65 74 20 77 68 61 74 20 69 73 20 67 ld get what is g
2be0: 6f 69 6e 67 20 6f 6e 2e 20 42 61 73 69 63 61 6c oing on. Basical
2bf0: 6c 79 2c 20 40 6d 61 63 72 6f 20 63 61 6e 20 62 ly, @macro can b
2c00: 65 20 63 6f 6e 73 69 64 65 72 65 64 20 6c 69 6b e considered lik
2c10: 65 0a 20 20 20 71 75 61 73 69 71 75 6f 74 69 6e e. quasiquotin
2c20: 67 20 61 6e 64 20 40 76 61 6c 75 65 20 74 6f 20 g and @value to
2c30: 62 65 20 61 6e 20 65 73 63 61 70 65 20 66 72 6f be an escape fro
2c40: 6d 20 69 74 2e 0a m it..