Hex Artifact Content
Not logged in

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..