Artifact b45d599d08f18ee090e56aa62009f1b4dbad6c56:
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 0d 0a 20 20 20 20 20 20 65 78 65 63 75 74 65 y.. execute
04c0: 73 20 66 6f 6f 2e 70 6d 79 0d 0a 0d 0a 20 20 3e s foo.pmy.... >
04d0: 20 70 6f 6c 65 6d 79 20 2d 6c 20 66 6f 6f 2e 70 polemy -l foo.p
04e0: 6d 79 0d 0a 20 20 20 20 20 20 61 66 74 65 72 20 my.. after
04f0: 65 78 65 63 75 74 69 6e 67 20 66 6f 6f 2e 70 6d executing foo.pm
0500: 79 2c 20 73 74 61 72 74 73 20 52 45 50 4c 0d 0a y, starts REPL..
0510: 0d 0a 0a 0a 3c 3c 53 79 6e 74 61 78 3e 3e 0d 0a ....<<Syntax>>..
0520: 0d 0a 20 43 6f 6d 6d 65 6e 74 20 69 73 20 22 23 .. Comment is "#
0530: 20 2e 2e 2e 20 5c 6e 22 0d 0a 0a 20 45 20 3a 3a ... \n"... E ::
0540: 3d 0d 0a 20 20 20 2f 2f 20 64 65 63 6c 61 72 61 =.. // declara
0550: 74 69 6f 6e 0d 0a 20 20 20 20 20 7c 20 28 22 76 tion.. | ("v
0560: 61 72 22 7c 22 6c 65 74 22 7c 22 64 65 66 22 7c ar"|"let"|"def"|
0570: 4c 41 59 45 52 29 20 49 44 20 22 3d 22 20 45 20 LAYER) ID "=" E
0580: 28 22 3b 22 7c 22 69 6e 22 29 20 45 0d 0a 20 20 (";"|"in") E..
0590: 20 20 20 7c 20 28 22 76 61 72 22 7c 22 6c 65 74 | ("var"|"let
05a0: 22 7c 22 64 65 66 22 7c 4c 41 59 45 52 29 20 49 "|"def"|LAYER) I
05b0: 44 20 22 28 22 20 50 41 52 41 4d 53 20 22 29 22 D "(" PARAMS ")"
05c0: 20 22 7b 22 20 45 20 22 7d 22 20 28 22 3b 22 7c "{" E "}" (";"|
05d0: 22 69 6e 22 29 20 45 0d 0a 20 20 20 20 20 7c 20 "in") E.. |
05e0: 28 22 76 61 72 22 7c 22 6c 65 74 22 7c 22 64 65 ("var"|"let"|"de
05f0: 66 22 7c 4c 41 59 45 52 29 20 49 44 20 22 3d 22 f"|LAYER) ID "="
0600: 20 45 0d 0a 20 20 20 20 20 7c 20 28 22 76 61 72 E.. | ("var
0610: 22 7c 22 6c 65 74 22 7c 22 64 65 66 22 7c 4c 41 "|"let"|"def"|LA
0620: 59 45 52 29 20 49 44 20 22 28 22 20 50 41 52 41 YER) ID "(" PARA
0630: 4d 53 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 MS ")" "{" E "}"
0640: 0d 0a 20 20 20 2f 2f 20 6c 69 74 65 72 61 6c 0d .. // literal.
0650: 0a 20 20 20 20 20 7c 20 49 4e 54 45 47 45 52 0d . | INTEGER.
0660: 0a 09 20 7c 20 53 54 52 49 4e 47 0d 0a 09 20 7c .. | STRING... |
0670: 20 22 7b 22 20 45 4e 54 52 59 53 20 22 7d 22 0a "{" ENTRYS "}".
0680: 20 20 20 20 20 7c 20 22 66 75 6e 22 20 22 28 22 | "fun" "("
0690: 20 50 41 52 41 4d 53 20 22 29 22 20 22 7b 22 20 PARAMS ")" "{"
06a0: 45 20 22 7d 22 0d 0a 20 20 20 2f 2f 20 66 75 6e E "}".. // fun
06b0: 63 74 69 6f 6e 20 63 61 6c 6c 0a 20 20 20 20 20 ction call.
06c0: 7c 20 45 20 22 28 22 20 41 52 47 53 22 29 22 0d | E "(" ARGS")".
06d0: 0a 09 20 20 20 20 20 77 68 65 72 65 20 41 52 47 .. where ARG
06e0: 53 20 3a 3a 3d 20 45 20 22 2c 22 20 2e 2e 2e 20 S ::= E "," ...
06f0: 22 2c 22 20 45 0d 0a 09 20 20 20 20 20 20 20 20 "," E...
0700: 20 50 41 52 41 4d 53 20 3a 3a 3d 20 49 44 20 4c PARAMS ::= ID L
0710: 41 59 45 52 2a 20 22 2c 22 20 2e 2e 2e 20 22 2c AYER* "," ... ",
0720: 22 20 49 44 20 4c 41 59 45 52 2a 0d 0a 09 09 09 " ID LAYER*.....
0730: 20 45 4e 54 52 59 53 20 3a 3a 3d 20 49 44 20 22 ENTRYS ::= ID "
0740: 3a 22 20 45 20 20 22 2c 22 20 2e 2e 2e 20 22 2c :" E "," ... ",
0750: 22 20 49 44 20 22 3a 22 20 45 0d 0a 20 20 20 20 " ID ":" E..
0760: 20 20 20 20 20 20 20 20 20 20 20 20 20 49 44 20 ID
0770: 3a 3a 3d 20 27 61 2d 7a 41 2d 5a 30 2d 39 5f 2e ::= 'a-zA-Z0-9_.
0780: 2e 2e 27 2b 0d 0a 20 20 20 20 20 20 20 20 20 20 ..'+..
0790: 20 20 20 20 4c 41 59 45 52 20 3a 3a 3d 20 22 40 LAYER ::= "@
07a0: 22 20 49 44 0d 0a 20 20 20 2f 2f 20 6f 70 65 72 " ID.. // oper
07b0: 61 74 6f 72 73 0d 0a 20 20 20 20 20 7c 20 22 28 ators.. | "(
07c0: 22 20 45 20 22 29 22 0d 0a 09 20 7c 20 45 20 22 " E ")"... | E "
07d0: 2e 22 20 49 44 0d 0a 09 20 7c 20 45 20 22 2e 3f ." ID... | E ".?
07e0: 22 20 49 44 0d 0a 20 20 20 20 20 7c 20 45 20 42 " ID.. | E B
07f0: 49 4e 4f 50 20 45 0d 0a 20 20 20 20 20 7c 20 22 INOP E.. | "
0800: 69 66 22 20 22 28 22 20 45 20 22 29 22 20 22 7b if" "(" E ")" "{
0810: 22 20 45 20 22 7d 22 0d 0a 20 20 20 20 20 7c 20 " E "}".. |
0820: 22 69 66 22 20 22 28 22 20 45 20 22 29 22 20 22 "if" "(" E ")" "
0830: 7b 22 20 45 20 22 7d 22 20 22 65 6c 73 65 20 22 {" E "}" "else "
0840: 7b 22 20 45 20 22 7d 22 0d 0a 20 20 20 2f 2f 20 {" E "}".. //
0850: 6c 61 79 65 72 65 64 20 65 78 65 63 0d 0a 20 20 layered exec..
0860: 20 20 20 7c 20 4c 41 59 45 52 20 22 28 22 20 45 | LAYER "(" E
0870: 20 22 29 22 0d 0a 0d 0a 54 68 65 20 66 6f 6c 6c ")"....The foll
0880: 6f 77 69 6e 67 20 61 72 65 20 61 63 74 75 61 6c owing are actual
0890: 6c 79 20 72 65 77 72 69 74 74 65 6e 20 74 6f 20 ly rewritten to
08a0: 66 75 6e 63 74 69 6f 6e 20 63 61 6c 6c 73 3a 0a function calls:.
08b0: 0d 0a 20 20 2d 20 69 66 20 28 45 29 20 74 68 65 .. - if (E) the
08c0: 6e 7b 45 7d 20 65 6c 73 65 7b 45 7d 20 3d 3d 3e n{E} else{E} ==>
08d0: 20 69 66 28 20 45 2c 20 66 75 6e 28 29 7b 45 7d if( E, fun(){E}
08e0: 2c 20 66 75 6e 28 29 7b 45 7d 20 29 0d 0a 20 20 , fun(){E} )..
08f0: 2d 20 45 20 42 49 4e 4f 50 20 45 20 20 20 20 20 - E BINOP E
0900: 20 20 20 20 20 20 20 20 20 3d 3d 3e 20 42 49 4e ==> BIN
0910: 4f 50 28 45 2c 20 45 29 0d 0a 20 20 2d 20 45 2e OP(E, E).. - E.
0920: 49 44 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ID
0930: 20 20 20 20 20 3d 3d 3e 20 2e 20 28 45 2c 20 49 ==> . (E, I
0940: 44 29 0a 20 20 2d 20 45 2e 3f 49 44 20 20 20 20 D). - E.?ID
0950: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 3d 3d ==
0960: 3e 20 2e 3f 28 45 2c 20 49 44 29 0d 0a 20 20 2d > .?(E, ID).. -
0970: 20 7b 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 {}
0980: 20 20 20 20 20 20 20 20 3d 3d 3e 20 7b 7d 28 29 ==> {}()
0990: 0d 0a 20 20 2d 20 7b 49 44 3a 45 2c 20 2e 2e 2e .. - {ID:E, ...
09a0: 7d 20 20 20 20 20 20 20 20 20 20 20 20 3d 3d 3e } ==>
09b0: 20 2e 3d 28 7b 2e 2e 2e 7d 2c 20 49 44 2c 20 45 .=({...}, ID, E
09c0: 29 0a 0d 0a 53 65 76 65 72 61 6c 20 73 74 79 6c )...Several styl
09d0: 65 73 20 6f 66 20 76 61 72 69 61 62 6c 65 20 64 es of variable d
09e0: 65 63 6c 61 72 61 74 69 6f 6e 20 63 61 6e 20 62 eclaration can b
09f0: 65 20 75 73 65 64 3a 0d 0a 0d 0a 20 20 2d 20 66 e used:.... - f
0a00: 75 6e 28 78 29 7b 20 66 75 6e 28 79 29 7b 78 7d un(x){ fun(y){x}
0a10: 20 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20 }
0a20: 20 23 20 4b 2d 63 6f 6d 62 69 6e 61 74 6f 72 0d # K-combinator.
0a30: 0a 20 20 2d 20 66 75 6e 28 78 29 7b 20 6c 65 74 . - fun(x){ let
0a40: 20 66 20 3d 20 66 75 6e 28 79 29 7b 78 7d 20 69 f = fun(y){x} i
0a50: 6e 20 66 20 7d 20 20 23 20 6c 65 74 2d 69 6e 20 n f } # let-in
0a60: 73 74 79 6c 65 0d 0a 20 20 2d 20 66 75 6e 28 78 style.. - fun(x
0a70: 29 7b 20 76 61 72 20 66 20 3d 20 66 75 6e 28 79 ){ var f = fun(y
0a80: 29 7b 78 7d 3b 20 66 20 7d 20 20 20 20 23 20 76 ){x}; f } # v
0a90: 61 72 2d 3b 20 20 73 74 79 6c 65 0d 0a 20 20 2d ar-; style.. -
0aa0: 20 66 75 6e 28 78 29 7b 20 64 65 66 20 66 20 3d fun(x){ def f =
0ab0: 20 66 75 6e 28 79 29 7b 78 7d 20 69 6e 20 66 20 fun(y){x} in f
0ac0: 7d 20 20 23 20 79 6f 75 20 63 61 6e 20 75 73 65 } # you can use
0ad0: 20 61 6e 79 20 63 6f 6d 62 69 6e 61 74 69 6f 6e any combination
0ae0: 20 6f 66 20 28 6c 65 74 7c 76 61 72 7c 64 65 66 of (let|var|def
0af0: 29 2d 28 3b 7c 69 6e 29 0d 0a 20 20 2d 20 66 75 )-(;|in).. - fu
0b00: 6e 28 78 29 7b 20 64 65 66 20 66 28 79 29 7b 78 n(x){ def f(y){x
0b10: 7d 20 69 6e 20 66 20 7d 20 23 20 73 79 6e 74 61 } in f } # synta
0b20: 78 20 73 75 67 61 72 20 66 6f 72 20 66 75 6e 63 x sugar for func
0b30: 74 69 6f 6e 20 64 65 63 6c 61 72 61 74 69 6f 6e tion declaration
0b40: 0d 0a 20 20 2d 20 66 75 6e 28 78 29 7b 20 6c 65 .. - fun(x){ le
0b50: 74 20 66 28 79 29 7b 78 7d 3b 20 66 20 7d 20 20 t f(y){x}; f }
0b60: 20 23 20 74 68 69 73 20 69 73 20 61 6c 73 6f 20 # this is also
0b70: 6f 6b 0d 0a 20 20 2d 20 66 75 6e 28 78 29 7b 20 ok.. - fun(x){
0b80: 76 61 72 20 66 28 79 29 7b 78 7d 20 7d 20 20 20 var f(y){x} }
0b90: 20 20 20 23 20 6f 6d 69 74 74 69 6e 67 20 28 3b # omitting (;
0ba0: 7c 69 6e 29 20 72 65 74 75 72 6e 73 20 74 68 65 |in) returns the
0bb0: 20 6c 61 73 74 20 64 65 63 6c 61 72 65 64 20 6f last declared o
0bc0: 62 6a 65 63 74 20 64 69 72 65 63 74 6c 79 0d 0a bject directly..
0bd0: 20 20 2d 20 66 75 6e 28 78 2c 79 29 7b 78 7d 20 - fun(x,y){x}
0be0: 23 3c 20 74 68 69 73 20 69 73 20 6e 6f 74 20 65 #< this is not e
0bf0: 71 75 61 6c 20 74 6f 20 74 68 65 20 61 62 6f 76 qual to the abov
0c00: 65 20 6f 6e 65 73 2e 20 66 75 6e 63 74 69 6f 6e e ones. function
0c10: 73 20 61 72 65 20 6e 6f 20 63 75 72 72 69 65 64 s are no curried
0c20: 2e 0d 0a 0d 0a 4e 4f 54 45 3a 20 54 68 65 72 65 .....NOTE: There
0c30: 73 20 6e 6f 20 22 6c 65 74 20 72 65 63 22 20 73 s no "let rec" s
0c40: 79 6e 74 61 78 2c 20 62 75 74 20 73 74 69 6c 6c yntax, but still
0c50: 20 72 65 63 75 72 73 69 76 65 20 64 65 66 69 6e recursive defin
0c60: 69 74 69 6f 6e 20 77 6f 72 6b 73 0d 0a 20 20 20 ition works..
0c70: 20 64 65 66 20 66 28 78 29 20 7b 20 69 66 28 78 def f(x) { if(x
0c80: 3d 3d 30 29 7b 31 7d 65 6c 73 65 7b 78 2a 66 28 ==0){1}else{x*f(
0c90: 78 2d 31 29 7d 20 7d 20 69 6e 20 66 28 31 30 29 x-1)} } in f(10)
0ca0: 20 20 23 3d 3e 20 33 36 32 38 38 30 30 0d 0a 20 #=> 3628800..
0cb0: 20 79 65 74 20 73 74 69 6c 6c 20 74 68 65 20 63 yet still the c
0cc0: 6f 64 65 20 62 65 6c 6f 77 20 61 6c 73 6f 20 77 ode below also w
0cd0: 6f 72 6b 73 0d 0a 20 20 20 20 64 65 66 20 78 3d orks.. def x=
0ce0: 32 31 20 69 6e 20 64 65 66 20 78 3d 78 2b 78 20 21 in def x=x+x
0cf0: 69 6e 20 78 20 20 23 3d 3e 20 34 32 2e 0d 0a 20 in x #=> 42...
0d00: 20 54 68 65 20 69 6e 74 65 72 6e 61 6c 20 73 63 The internal sc
0d10: 6f 70 69 6e 67 20 6d 65 63 68 61 6e 69 73 6d 20 oping mechanism
0d20: 69 73 20 61 20 6c 69 74 74 6c 65 20 74 72 69 63 is a little tric
0d30: 6b 79 20 28 74 68 69 73 20 69 73 20 66 6f 72 20 ky (this is for
0d40: 63 6f 70 69 6e 67 20 77 69 74 68 0d 0a 20 20 74 coping with.. t
0d50: 68 65 20 22 6c 61 79 65 72 22 20 66 65 61 74 75 he "layer" featu
0d60: 72 65 20 65 78 70 6c 61 69 6e 65 64 20 62 65 6c re explained bel
0d70: 6f 77 29 2c 20 62 75 74 20 49 20 68 6f 70 65 20 ow), but I hope
0d80: 74 68 61 74 20 69 74 20 77 6f 72 6b 73 20 61 73 that it works as
0d90: 20 65 76 65 72 79 6f 6e 65 0d 0a 20 20 65 78 70 everyone.. exp
0da0: 65 63 74 73 20 69 6e 20 6d 6f 73 74 20 63 61 73 ects in most cas
0db0: 65 73 2c 20 61 73 20 6c 6f 6e 67 20 61 73 20 79 es, as long as y
0dc0: 6f 75 20 64 6f 6e 27 74 20 75 73 65 20 74 68 65 ou don't use the
0dd0: 20 73 61 6d 65 2d 6e 61 6d 65 2d 76 61 72 69 61 same-name-varia
0de0: 62 6c 65 73 20 68 65 61 76 69 6c 79 20 3a 29 2e bles heavily :).
0df0: 0d 0a 0d 0a 0d 0a 0d 0a 3c 3c 42 61 73 69 63 20 ........<<Basic
0e00: 46 65 61 74 75 72 65 73 3e 3e 0d 0a 0d 0a 20 20 Features>>....
0e10: 50 6f 6c 65 6d 79 20 69 73 20 61 6e 20 75 6e 74 Polemy is an unt
0e20: 79 70 65 64 20 66 75 6e 63 74 69 6f 6e 61 6c 20 yped functional
0e30: 70 72 6f 67 72 61 6d 6d 69 6e 67 20 6c 61 6e 67 programming lang
0e40: 75 61 67 65 20 74 68 61 74 20 68 61 73 0d 0a 20 uage that has..
0e50: 20 20 2d 20 69 6e 74 65 67 65 72 73 3a 20 20 20 - integers:
0e60: 30 2c 20 31 32 33 2c 20 34 35 36 36 36 36 36 36 0, 123, 45666666
0e70: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 6666666666666666
0e80: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 37 6666666666666667
0e90: 38 39 2c 20 2e 2e 2e 0d 0a 20 20 20 2d 20 73 74 89, ..... - st
0ea0: 72 69 6e 67 73 3a 20 20 20 20 22 68 65 6c 6c 6f rings: "hello
0eb0: 2c 20 77 6f 72 6c 64 21 5c 6e 22 2c 20 2e 2e 2e , world!\n", ...
0ec0: 0d 0a 20 20 20 2d 20 74 61 62 6c 65 73 3a 20 20 .. - tables:
0ed0: 20 20 20 7b 63 61 72 3a 20 31 2c 20 63 64 72 3a {car: 1, cdr:
0ee0: 20 7b 63 61 72 3a 20 32 2c 20 63 64 72 3a 20 7b {car: 2, cdr: {
0ef0: 7d 7d 7d 0d 0a 20 20 20 2d 20 66 75 6e 63 74 69 }}}.. - functi
0f00: 6f 6e 73 3a 20 20 66 75 6e 28 78 29 7b 78 2b 31 ons: fun(x){x+1
0f10: 7d 0d 0a 20 20 61 73 20 70 72 69 6d 69 74 69 76 }.. as primitiv
0f20: 65 20 64 61 74 61 74 79 70 65 73 2e 20 46 75 6e e datatypes. Fun
0f30: 63 74 69 6f 6e 73 20 63 61 70 74 75 72 65 20 6c ctions capture l
0f40: 65 78 69 63 61 6c 20 63 6c 6f 73 75 72 65 73 2e exical closures.
0f50: 0d 0a 20 20 49 74 20 69 73 20 61 6c 6d 6f 73 74 .. It is almost
0f60: 20 27 70 75 72 65 27 20 28 65 78 63 65 70 74 20 'pure' (except
0f70: 74 68 65 20 70 72 69 6d 69 74 76 65 20 66 75 6e the primitve fun
0f80: 63 74 69 6f 6e 20 22 70 72 69 6e 74 22 20 61 6e ction "print" an
0f90: 64 20 73 6f 6d 65 0d 0a 20 20 74 72 69 63 6b 20 d some.. trick
0fa0: 69 6e 73 69 64 65 20 73 63 6f 70 69 6e 67 20 6d inside scoping m
0fb0: 65 63 68 61 6e 69 73 6d 73 29 2e 0d 0a 0d 0a 0d echanisms)......
0fc0: 0a 3c 3c 4c 61 79 65 72 3e 3e 0d 0a 0d 0a 20 74 .<<Layer>>.... t
0fd0: 6f 20 62 65 20 77 72 69 74 74 65 6e 0d 0a o be written..