Artifact 6629940451babbd38ec926b9d5212dbb65c9fd3a:
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 20 20 3e 20 70 6f 6c 65 6d 79 20 2d 6c 20 .. > polemy -l
0520: 66 6f 6f 2e 70 6d 79 20 2d 6c 20 62 61 72 2e 70 foo.pmy -l bar.p
0530: 6d 79 20 62 75 7a 2e 70 6d 79 0d 0a 20 20 20 20 my buz.pmy..
0540: 20 20 65 78 65 63 75 74 65 73 20 66 6f 6f 2e 70 executes foo.p
0550: 6d 79 2c 20 62 61 72 2e 62 6d 79 2c 20 61 6e 64 my, bar.bmy, and
0560: 20 74 68 65 6e 20 62 75 7a 2e 70 6d 79 0d 0a 0d then buz.pmy...
0570: 0a 0a 0a 3c 3c 53 79 6e 74 61 78 3e 3e 0d 0a 0d ...<<Syntax>>...
0580: 0a 20 43 6f 6d 6d 65 6e 74 20 69 73 20 22 23 20 . Comment is "#
0590: 2e 2e 2e 20 5c 6e 22 0d 0a 0a 20 45 20 3a 3a 3d ... \n"... E ::=
05a0: 0d 0a 20 20 20 2f 2f 20 64 65 63 6c 61 72 61 74 .. // declarat
05b0: 69 6f 6e 0d 0a 20 20 20 20 20 7c 20 28 22 76 61 ion.. | ("va
05c0: 72 22 7c 22 6c 65 74 22 7c 22 64 65 66 22 7c 4c r"|"let"|"def"|L
05d0: 41 59 45 52 29 20 49 44 20 22 3d 22 20 45 20 28 AYER) ID "=" E (
05e0: 22 3b 22 7c 22 69 6e 22 29 20 45 0d 0a 20 20 20 ";"|"in") E..
05f0: 20 20 7c 20 28 22 76 61 72 22 7c 22 6c 65 74 22 | ("var"|"let"
0600: 7c 22 64 65 66 22 7c 4c 41 59 45 52 29 20 49 44 |"def"|LAYER) ID
0610: 20 22 28 22 20 50 41 52 41 4d 53 20 22 29 22 20 "(" PARAMS ")"
0620: 22 7b 22 20 45 20 22 7d 22 20 28 22 3b 22 7c 22 "{" E "}" (";"|"
0630: 69 6e 22 29 20 45 0d 0a 20 20 20 20 20 7c 20 28 in") E.. | (
0640: 22 76 61 72 22 7c 22 6c 65 74 22 7c 22 64 65 66 "var"|"let"|"def
0650: 22 7c 4c 41 59 45 52 29 20 49 44 20 22 3d 22 20 "|LAYER) ID "="
0660: 45 0d 0a 20 20 20 20 20 7c 20 28 22 76 61 72 22 E.. | ("var"
0670: 7c 22 6c 65 74 22 7c 22 64 65 66 22 7c 4c 41 59 |"let"|"def"|LAY
0680: 45 52 29 20 49 44 20 22 28 22 20 50 41 52 41 4d ER) ID "(" PARAM
0690: 53 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 0d S ")" "{" E "}".
06a0: 0a 20 20 20 2f 2f 20 6c 69 74 65 72 61 6c 0d 0a . // literal..
06b0: 20 20 20 20 20 7c 20 49 4e 54 45 47 45 52 0d 0a | INTEGER..
06c0: 09 20 7c 20 53 54 52 49 4e 47 0d 0a 09 20 7c 20 . | STRING... |
06d0: 22 7b 22 20 45 4e 54 52 59 53 20 22 7d 22 0a 20 "{" ENTRYS "}".
06e0: 20 20 20 20 7c 20 22 66 75 6e 22 20 22 28 22 20 | "fun" "("
06f0: 50 41 52 41 4d 53 20 22 29 22 20 22 7b 22 20 45 PARAMS ")" "{" E
0700: 20 22 7d 22 0d 0a 20 20 20 2f 2f 20 66 75 6e 63 "}".. // func
0710: 74 69 6f 6e 20 63 61 6c 6c 0a 20 20 20 20 20 7c tion call. |
0720: 20 45 20 22 28 22 20 41 52 47 53 22 29 22 0d 0a E "(" ARGS")"..
0730: 09 20 20 20 20 20 77 68 65 72 65 20 41 52 47 53 . where ARGS
0740: 20 3a 3a 3d 20 45 20 22 2c 22 20 2e 2e 2e 20 22 ::= E "," ... "
0750: 2c 22 20 45 0d 0a 09 20 20 20 20 20 20 20 20 20 ," E...
0760: 50 41 52 41 4d 53 20 3a 3a 3d 20 49 44 20 4c 41 PARAMS ::= ID LA
0770: 59 45 52 2a 20 22 2c 22 20 2e 2e 2e 20 22 2c 22 YER* "," ... ","
0780: 20 49 44 20 4c 41 59 45 52 2a 0d 0a 09 09 09 20 ID LAYER*.....
0790: 45 4e 54 52 59 53 20 3a 3a 3d 20 49 44 20 22 3a ENTRYS ::= ID ":
07a0: 22 20 45 20 20 22 2c 22 20 2e 2e 2e 20 22 2c 22 " E "," ... ","
07b0: 20 49 44 20 22 3a 22 20 45 0d 0a 20 20 20 20 20 ID ":" E..
07c0: 20 20 20 20 20 20 20 20 20 20 20 20 49 44 20 3a ID :
07d0: 3a 3d 20 27 61 2d 7a 41 2d 5a 30 2d 39 5f 2e 2e := 'a-zA-Z0-9_..
07e0: 2e 27 2b 0d 0a 20 20 20 20 20 20 20 20 20 20 20 .'+..
07f0: 20 20 20 4c 41 59 45 52 20 3a 3a 3d 20 22 40 22 LAYER ::= "@"
0800: 20 49 44 0d 0a 20 20 20 2f 2f 20 6f 70 65 72 61 ID.. // opera
0810: 74 6f 72 73 0d 0a 20 20 20 20 20 7c 20 22 28 22 tors.. | "("
0820: 20 45 20 22 29 22 0d 0a 09 20 7c 20 45 20 22 2e E ")"... | E ".
0830: 22 20 49 44 0d 0a 09 20 7c 20 45 20 22 2e 3f 22 " ID... | E ".?"
0840: 20 49 44 0d 0a 20 20 20 20 20 7c 20 45 20 42 49 ID.. | E BI
0850: 4e 4f 50 20 45 0d 0a 20 20 20 20 20 7c 20 22 69 NOP E.. | "i
0860: 66 22 20 22 28 22 20 45 20 22 29 22 20 22 7b 22 f" "(" E ")" "{"
0870: 20 45 20 22 7d 22 0d 0a 20 20 20 20 20 7c 20 22 E "}".. | "
0880: 69 66 22 20 22 28 22 20 45 20 22 29 22 20 22 7b if" "(" E ")" "{
0890: 22 20 45 20 22 7d 22 20 22 65 6c 73 65 20 22 7b " E "}" "else "{
08a0: 22 20 45 20 22 7d 22 0d 0a 20 20 20 2f 2f 20 6c " E "}".. // l
08b0: 61 79 65 72 65 64 20 65 78 65 63 0d 0a 20 20 20 ayered exec..
08c0: 20 20 7c 20 4c 41 59 45 52 20 22 28 22 20 45 20 | LAYER "(" E
08d0: 22 29 22 0d 0a 0d 0a 54 68 65 20 66 6f 6c 6c 6f ")"....The follo
08e0: 77 69 6e 67 20 61 72 65 20 61 63 74 75 61 6c 6c wing are actuall
08f0: 79 20 72 65 77 72 69 74 74 65 6e 20 74 6f 20 66 y rewritten to f
0900: 75 6e 63 74 69 6f 6e 20 63 61 6c 6c 73 3a 0a 0d unction calls:..
0910: 0a 20 20 2d 20 69 66 20 28 45 29 20 74 68 65 6e . - if (E) then
0920: 7b 45 7d 20 65 6c 73 65 7b 45 7d 20 3d 3d 3e 20 {E} else{E} ==>
0930: 69 66 28 20 45 2c 20 66 75 6e 28 29 7b 45 7d 2c if( E, fun(){E},
0940: 20 66 75 6e 28 29 7b 45 7d 20 29 0d 0a 20 20 2d fun(){E} ).. -
0950: 20 45 20 42 49 4e 4f 50 20 45 20 20 20 20 20 20 E BINOP E
0960: 20 20 20 20 20 20 20 20 3d 3d 3e 20 42 49 4e 4f ==> BINO
0970: 50 28 45 2c 20 45 29 0d 0a 20 20 2d 20 45 2e 49 P(E, E).. - E.I
0980: 44 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 D
0990: 20 20 20 20 3d 3d 3e 20 2e 20 28 45 2c 20 49 44 ==> . (E, ID
09a0: 29 0a 20 20 2d 20 45 2e 3f 49 44 20 20 20 20 20 ). - E.?ID
09b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 3d 3d 3e ==>
09c0: 20 2e 3f 28 45 2c 20 49 44 29 0d 0a 20 20 2d 20 .?(E, ID).. -
09d0: 7b 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20 {}
09e0: 20 20 20 20 20 20 20 3d 3d 3e 20 7b 7d 28 29 0d ==> {}().
09f0: 0a 20 20 2d 20 7b 49 44 3a 45 2c 20 2e 2e 2e 7d . - {ID:E, ...}
0a00: 20 20 20 20 20 20 20 20 20 20 20 20 3d 3d 3e 20 ==>
0a10: 2e 3d 28 7b 2e 2e 2e 7d 2c 20 49 44 2c 20 45 29 .=({...}, ID, E)
0a20: 0a 0d 0a 53 65 76 65 72 61 6c 20 73 74 79 6c 65 ...Several style
0a30: 73 20 6f 66 20 76 61 72 69 61 62 6c 65 20 64 65 s of variable de
0a40: 63 6c 61 72 61 74 69 6f 6e 20 63 61 6e 20 62 65 claration can be
0a50: 20 75 73 65 64 3a 0d 0a 0d 0a 20 20 2d 20 66 75 used:.... - fu
0a60: 6e 28 78 29 7b 20 66 75 6e 28 79 29 7b 78 7d 20 n(x){ fun(y){x}
0a70: 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 }
0a80: 23 20 4b 2d 63 6f 6d 62 69 6e 61 74 6f 72 0d 0a # K-combinator..
0a90: 20 20 2d 20 66 75 6e 28 78 29 7b 20 6c 65 74 20 - fun(x){ let
0aa0: 66 20 3d 20 66 75 6e 28 79 29 7b 78 7d 20 69 6e f = fun(y){x} in
0ab0: 20 66 20 7d 20 20 23 20 6c 65 74 2d 69 6e 20 73 f } # let-in s
0ac0: 74 79 6c 65 0d 0a 20 20 2d 20 66 75 6e 28 78 29 tyle.. - fun(x)
0ad0: 7b 20 76 61 72 20 66 20 3d 20 66 75 6e 28 79 29 { var f = fun(y)
0ae0: 7b 78 7d 3b 20 66 20 7d 20 20 20 20 23 20 76 61 {x}; f } # va
0af0: 72 2d 3b 20 20 73 74 79 6c 65 0d 0a 20 20 2d 20 r-; style.. -
0b00: 66 75 6e 28 78 29 7b 20 64 65 66 20 66 20 3d 20 fun(x){ def f =
0b10: 66 75 6e 28 79 29 7b 78 7d 20 69 6e 20 66 20 7d fun(y){x} in f }
0b20: 20 20 23 20 79 6f 75 20 63 61 6e 20 75 73 65 20 # you can use
0b30: 61 6e 79 20 63 6f 6d 62 69 6e 61 74 69 6f 6e 20 any combination
0b40: 6f 66 20 28 6c 65 74 7c 76 61 72 7c 64 65 66 29 of (let|var|def)
0b50: 2d 28 3b 7c 69 6e 29 0d 0a 20 20 2d 20 66 75 6e -(;|in).. - fun
0b60: 28 78 29 7b 20 64 65 66 20 66 28 79 29 7b 78 7d (x){ def f(y){x}
0b70: 20 69 6e 20 66 20 7d 20 23 20 73 79 6e 74 61 78 in f } # syntax
0b80: 20 73 75 67 61 72 20 66 6f 72 20 66 75 6e 63 74 sugar for funct
0b90: 69 6f 6e 20 64 65 63 6c 61 72 61 74 69 6f 6e 0d ion declaration.
0ba0: 0a 20 20 2d 20 66 75 6e 28 78 29 7b 20 6c 65 74 . - fun(x){ let
0bb0: 20 66 28 79 29 7b 78 7d 3b 20 66 20 7d 20 20 20 f(y){x}; f }
0bc0: 23 20 74 68 69 73 20 69 73 20 61 6c 73 6f 20 6f # this is also o
0bd0: 6b 0d 0a 20 20 2d 20 66 75 6e 28 78 29 7b 20 76 k.. - fun(x){ v
0be0: 61 72 20 66 28 79 29 7b 78 7d 20 7d 20 20 20 20 ar f(y){x} }
0bf0: 20 20 23 20 6f 6d 69 74 74 69 6e 67 20 28 3b 7c # omitting (;|
0c00: 69 6e 29 20 72 65 74 75 72 6e 73 20 74 68 65 20 in) returns the
0c10: 6c 61 73 74 20 64 65 63 6c 61 72 65 64 20 6f 62 last declared ob
0c20: 6a 65 63 74 20 64 69 72 65 63 74 6c 79 0d 0a 20 ject directly..
0c30: 20 2d 20 66 75 6e 28 78 2c 79 29 7b 78 7d 20 23 - fun(x,y){x} #
0c40: 3c 20 74 68 69 73 20 69 73 20 6e 6f 74 20 65 71 < this is not eq
0c50: 75 61 6c 20 74 6f 20 74 68 65 20 61 62 6f 76 65 ual to the above
0c60: 20 6f 6e 65 73 2e 20 66 75 6e 63 74 69 6f 6e 73 ones. functions
0c70: 20 61 72 65 20 6e 6f 20 63 75 72 72 69 65 64 2e are no curried.
0c80: 0d 0a 0d 0a 4e 4f 54 45 3a 20 54 68 65 72 65 73 ....NOTE: Theres
0c90: 20 6e 6f 20 22 6c 65 74 20 72 65 63 22 20 73 79 no "let rec" sy
0ca0: 6e 74 61 78 2c 20 62 75 74 20 73 74 69 6c 6c 20 ntax, but still
0cb0: 72 65 63 75 72 73 69 76 65 20 64 65 66 69 6e 69 recursive defini
0cc0: 74 69 6f 6e 20 77 6f 72 6b 73 0d 0a 20 20 20 20 tion works..
0cd0: 64 65 66 20 66 28 78 29 20 7b 20 69 66 28 78 3d def f(x) { if(x=
0ce0: 3d 30 29 7b 31 7d 65 6c 73 65 7b 78 2a 66 28 78 =0){1}else{x*f(x
0cf0: 2d 31 29 7d 20 7d 20 69 6e 20 66 28 31 30 29 20 -1)} } in f(10)
0d00: 20 23 3d 3e 20 33 36 32 38 38 30 30 0d 0a 20 20 #=> 3628800..
0d10: 79 65 74 20 73 74 69 6c 6c 20 74 68 65 20 63 6f yet still the co
0d20: 64 65 20 62 65 6c 6f 77 20 61 6c 73 6f 20 77 6f de below also wo
0d30: 72 6b 73 0d 0a 20 20 20 20 64 65 66 20 78 3d 32 rks.. def x=2
0d40: 31 20 69 6e 20 64 65 66 20 78 3d 78 2b 78 20 69 1 in def x=x+x i
0d50: 6e 20 78 20 20 23 3d 3e 20 34 32 2e 0d 0a 20 20 n x #=> 42...
0d60: 54 68 65 20 69 6e 74 65 72 6e 61 6c 20 73 63 6f The internal sco
0d70: 70 69 6e 67 20 6d 65 63 68 61 6e 69 73 6d 20 69 ping mechanism i
0d80: 73 20 61 20 6c 69 74 74 6c 65 20 74 72 69 63 6b s a little trick
0d90: 79 20 28 74 68 69 73 20 69 73 20 66 6f 72 20 63 y (this is for c
0da0: 6f 70 69 6e 67 20 77 69 74 68 0d 0a 20 20 74 68 oping with.. th
0db0: 65 20 22 6c 61 79 65 72 22 20 66 65 61 74 75 72 e "layer" featur
0dc0: 65 20 65 78 70 6c 61 69 6e 65 64 20 62 65 6c 6f e explained belo
0dd0: 77 29 2c 20 62 75 74 20 49 20 68 6f 70 65 20 74 w), but I hope t
0de0: 68 61 74 20 69 74 20 77 6f 72 6b 73 20 61 73 20 hat it works as
0df0: 65 76 65 72 79 6f 6e 65 0d 0a 20 20 65 78 70 65 everyone.. expe
0e00: 63 74 73 20 69 6e 20 6d 6f 73 74 20 63 61 73 65 cts in most case
0e10: 73 2c 20 61 73 20 6c 6f 6e 67 20 61 73 20 79 6f s, as long as yo
0e20: 75 20 64 6f 6e 27 74 20 75 73 65 20 74 68 65 20 u don't use the
0e30: 73 61 6d 65 2d 6e 61 6d 65 2d 76 61 72 69 61 62 same-name-variab
0e40: 6c 65 73 20 68 65 61 76 69 6c 79 20 3a 29 2e 0d les heavily :)..
0e50: 0a 0d 0a 0d 0a 0d 0a 3c 3c 42 61 73 69 63 20 46 .......<<Basic F
0e60: 65 61 74 75 72 65 73 3e 3e 0d 0a 0d 0a 20 20 50 eatures>>.... P
0e70: 6f 6c 65 6d 79 20 69 73 20 61 6e 20 75 6e 74 79 olemy is an unty
0e80: 70 65 64 20 66 75 6e 63 74 69 6f 6e 61 6c 20 70 ped functional p
0e90: 72 6f 67 72 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 rogramming langu
0ea0: 61 67 65 20 74 68 61 74 20 68 61 73 0d 0a 20 20 age that has..
0eb0: 20 2d 20 69 6e 74 65 67 65 72 73 3a 20 20 20 30 - integers: 0
0ec0: 2c 20 31 32 33 2c 20 34 35 36 36 36 36 36 36 36 , 123, 456666666
0ed0: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 6666666666666666
0ee0: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 37 38 6666666666666678
0ef0: 39 2c 20 2e 2e 2e 0d 0a 20 20 20 2d 20 73 74 72 9, ..... - str
0f00: 69 6e 67 73 3a 20 20 20 20 22 68 65 6c 6c 6f 2c ings: "hello,
0f10: 20 77 6f 72 6c 64 21 5c 6e 22 2c 20 2e 2e 2e 0d world!\n", ....
0f20: 0a 20 20 20 2d 20 74 61 62 6c 65 73 3a 20 20 20 . - tables:
0f30: 20 20 7b 63 61 72 3a 20 31 2c 20 63 64 72 3a 20 {car: 1, cdr:
0f40: 7b 63 61 72 3a 20 32 2c 20 63 64 72 3a 20 7b 7d {car: 2, cdr: {}
0f50: 7d 7d 0d 0a 20 20 20 2d 20 66 75 6e 63 74 69 6f }}.. - functio
0f60: 6e 73 3a 20 20 66 75 6e 28 78 29 7b 78 2b 31 7d ns: fun(x){x+1}
0f70: 0d 0a 20 20 61 73 20 70 72 69 6d 69 74 69 76 65 .. as primitive
0f80: 20 64 61 74 61 74 79 70 65 73 2e 20 46 75 6e 63 datatypes. Func
0f90: 74 69 6f 6e 73 20 63 61 70 74 75 72 65 20 6c 65 tions capture le
0fa0: 78 69 63 61 6c 20 63 6c 6f 73 75 72 65 73 2e 0d xical closures..
0fb0: 0a 20 20 49 74 20 69 73 20 61 6c 6d 6f 73 74 20 . It is almost
0fc0: 27 70 75 72 65 27 20 28 65 78 63 65 70 74 20 74 'pure' (except t
0fd0: 68 65 20 70 72 69 6d 69 74 76 65 20 66 75 6e 63 he primitve func
0fe0: 74 69 6f 6e 20 22 70 72 69 6e 74 22 20 61 6e 64 tion "print" and
0ff0: 20 73 6f 6d 65 0d 0a 20 20 74 72 69 63 6b 20 69 some.. trick i
1000: 6e 73 69 64 65 20 73 63 6f 70 69 6e 67 20 6d 65 nside scoping me
1010: 63 68 61 6e 69 73 6d 73 29 2e 0d 0a 0d 0a 0d 0a chanisms).......
1020: 3c 3c 4c 61 79 65 72 3e 3e 0d 0a 0d 0a 20 74 6f <<Layer>>.... to
1030: 20 62 65 20 77 72 69 74 74 65 6e 0d 0a be written..