@fraczak/k 1.1.3 → 1.2.0

package/{code.k → Examples/code.k}

@@ -1,5 +1,7 @@
 inc = [(),1] PLUS;
-max = <GT .0, .1>;  -- max = < SNOC [.0, .1 max] <GT .0, .1>, .0 >;
+max = <GT .0, .1>;  -- select max from vector of two
+-- Finding a max in any vector would be: 
+--   max = < SNOC [.0, .1 max] <GT .0, .1>, .0 >;
 $tree = < string leaf, {tree left, tree right} tree>;
 height =  $tree <
   .leaf 0,

package/{factorial.k → Examples/factorial.k}

@@ -4,8 +4,9 @@
 --    {"x":5,"x!":120}
 
 dec = [(),1] MINUS;
+zero? = [(),0] EQ;
 factorial = <
-  [1,()] GT 1,
+  zero? 1, 
   [dec factorial, ()] TIMES
 >;
-{ x: (), "x!": factorial }
+{ () x, factorial "x!" }

package/Examples/fib.k

@@ -0,0 +1,17 @@
+pos? = [(), 0] GT .0;
+dec = [(), -1] PLUS;
+fib_aux =
+  <
+    { .n pos? dec n,
+      ."fib(n),fib(n-1),..." [[.0,.1] PLUS, ()] CONS "fib(n),fib(n-1),..."
+    } fib_aux,
+    ."fib(n),fib(n-1),..."
+  >
+;
+
+fib = {() n, [1,1] "fib(n),fib(n-1),..."}
+  fib_aux _log! .0;
+
+----------------------
+
+fib

package/Examples/rec-code.k

@@ -0,0 +1,80 @@
+$ t = < { t l, int v, t r } t, {} _ >;
+
+t = 
+$ {t l, int v, t r} 
+  {() t} 
+$ t
+;
+
+empty = {{} _} $t;
+
+leave = 
+$ int 
+  { empty l, 
+    () v, 
+    empty r 
+  } t 
+$ t
+; 
+
+sort = 
+$ [ int ]
+  <
+    SNOC { .0 x, .1 sort t } insert,
+    { empty l, .0 v, empty r } t,
+    empty
+  >
+$ t
+;
+
+insert = 
+$ { int x, t t } 
+  <
+    [.t._ , .x leave ] .1,
+    [[.x, .t.t.v] GT .0, .t.t]
+        { 
+            .1.l l,
+            .1.v v,
+            {.0 x, .1.r t} insert r  
+        } t,
+    { 
+        {.x x, .t.t.l t} insert l,  
+        .t.t.v v,
+        .t.t.r r  
+    } t
+  >
+$ t
+;
+
+inc = $int [(),1] PLUS $int;
+len = 
+ < SNOC .1 len inc,
+   .0 1,
+   0
+ >
+;
+
+concat = 
+$ [ [ int ] ] 
+  < 
+    SNOC 
+      < [.0 SNOC, .1] [.0.0, [.0.1, .1] CONS concat ] CONS,
+        [.0.0, .1 concat] CONS,
+        .1 concat
+      >,
+    .0,
+    []
+  >
+$ [ int ]
+; 
+
+toVector = 
+$ t 
+  < ._ [],
+    .t [.l toVector, [.v], .r toVector] concat
+  >
+$ [ int ] 
+;
+
+[len, sort toVector]
+

package/codes.coffee

@@ -102,7 +102,7 @@ normalizeAll = (codes,representatives) ->
             normalized[name] = { code: code.code } 
             normalized[name][code.code] = normalize code[code.code], representatives
           when "vector"
-            normalized[name] = {code:"vector", vector: representatives[code.vector]}
+            normalized[name] = {code:"vector", vector: representatives[code.vector] ? code.vector}
   
     normalized    
   , {}

package/codes.js

@@ -156,6 +156,7 @@
     return normalized = names.reduce(function(normalized, name) {
       if (name === representatives[name]) {
         (function(code) {
+          var ref;
           switch (code.code) {
             case "union":
             case "product":
@@ -166,7 +167,7 @@
             case "vector":
               return normalized[name] = {
                 code: "vector",
-                vector: representatives[code.vector]
+                vector: (ref = representatives[code.vector]) != null ? ref : code.vector
               };
           }
         })(codes[name]);

package/package.json

@@ -1,23 +1,22 @@
 {
     "name": "@fraczak/k",
-    "version": "1.1.3",
+    "version": "1.2.0",
     "description": "k-language for JSON-like data transformation",
     "main": "index.js",
     "scripts": {
         "prepare": "coffee -c symbol-table.coffee; jison parser.jison",
-        "prepublishOnly": "coffee -c *.coffee; echo '#!/usr/bin/env node' | cat - k.js > k.sh",
-        "all": "npm run prepublishOnly; npm run prepare; npm run prepublishOnly",
+	"prepublishOnly": "coffee -c *.coffee; echo '#!/usr/bin/env node' | cat - k.js > k.sh; echo '#!/usr/bin/env node' | cat - repl.js > repl.sh;", 
+        "all": "coffee -c *.coffee; npm run prepare; npm run prepublishOnly",
         "test": "coffee -c symbol-table.coffee; jison parser.jison; coffee test.coffee"
     },
     "author": "Wojciech Fraczak",
     "license": "ISC",
     "bin": {
-        "k": "./k.sh"
+        "k": "./k.sh",
+        "k-repl": "./repl.sh"
     },
     "devDependencies": {
-        "jison": "^0.4.18"
-    },
-    "dependencies": {
+        "jison": "^0.4.18",
         "coffeescript": "^2.7.0"
     }
 }

package/parser.jison

@@ -51,27 +51,26 @@ input_with_eof: defs comp EOF               {
 
 defs:                                   {  }
     | defs name EQ comp SC              { s.add_rel($2,$4); }
-    | defs DOLLAR name EQ code SC       { s.add_code($3,$5); }
+    | defs DOLLAR name EQ codeDef SC    { s.add_code($3,$5); }
     ;
 
 code
     : name                              { $$ = {code: "ref", ref: $1}; }
-    | LC labelled_codes RC              { $$ = {code: "product", 
-                                                product: $2.reduce((r, lc) => { 
-                                                  r[lc.label] = s.as_ref(lc.code);
-                                                  return r }
-                                                , {})}; }
+    | codeDef                           { $$ = $1; }
+    ;
+
+codeDef
+    : LC labelled_codes RC              { $$ = {code: "product", product: $2}; }
     | LB code RB                        { $$ = {code: "vector", vector: s.as_ref($2)}; }
-    | LA labelled_codes RA              { $$ = {code: "union", 
-                                                union: $2.reduce((r, lc) => { 
-                                                  r[lc.label] = s.as_ref(lc.code);
-                                                  return r }
-                                                , {})}; }
+    | LA labelled_codes RA              { $$ = {code: "union", union: $2}; }
     ;
 
 labelled_codes 
-    :                                   { $$ = [] }
-    | non_empty_labelled_codes          { $$ = $1; }
+    :                                   { $$ = {} }
+    | non_empty_labelled_codes          { $$ = $1.reduce((r, lc) => { 
+                                                  r[lc.label] = s.as_ref(lc.code);
+                                                  return r }
+                                                , {}); }
     ;
 
 non_empty_labelled_codes

package/parser.js

@@ -72,12 +72,12 @@
   }
 */
 var parser = (function(){
-var o=function(k,v,o,l){for(o=o||{},l=k.length;l--;o[k[l]]=v);return o},$V0=[4,6,8,15,17,20,22,31,33],$V1=[1,7],$V2=[1,15],$V3=[1,16],$V4=[1,8],$V5=[1,9],$V6=[1,10],$V7=[1,11],$V8=[1,14],$V9=[1,20],$Va=[4,6,8,12,15,17,20,22,31,33],$Vb=[2,25],$Vc=[1,24],$Vd=[1,25],$Ve=[1,26],$Vf=[4,6,8,12,14,15,17,19,20,21,22,23,26,31,32,33],$Vg=[2,42],$Vh=[2,28],$Vi=[2,8],$Vj=[2,12],$Vk=[19,26],$Vl=[21,23,26],$Vm=[19,23,26],$Vn=[2,38],$Vo=[2,39];
+var o=function(k,v,o,l){for(o=o||{},l=k.length;l--;o[k[l]]=v);return o},$V0=[4,6,8,15,18,21,23,32,34],$V1=[1,7],$V2=[1,15],$V3=[1,16],$V4=[1,8],$V5=[1,9],$V6=[1,10],$V7=[1,11],$V8=[1,14],$V9=[1,20],$Va=[4,6,8,12,15,18,21,23,32,34],$Vb=[2,26],$Vc=[1,25],$Vd=[1,26],$Ve=[1,27],$Vf=[4,6,8,12,14,15,18,20,21,22,23,24,27,32,33,34],$Vg=[2,43],$Vh=[2,29],$Vi=[2,8],$Vj=[2,13],$Vk=[20,27],$Vl=[22,24,27],$Vm=[20,24,27],$Vn=[2,39],$Vo=[2,40];
 var parser = {trace: function trace () { },
 yy: {},
-symbols_: {"error":2,"name":3,"NAME":4,"str":5,"STRING":6,"int":7,"INT":8,"input_with_eof":9,"defs":10,"comp":11,"EOF":12,"EQ":13,"SC":14,"DOLLAR":15,"code":16,"LC":17,"labelled_codes":18,"RC":19,"LB":20,"RB":21,"LA":22,"RA":23,"non_empty_labelled_codes":24,"code_label":25,"COMMA":26,"COL":27,"exp":28,"labelled":29,"list":30,"LP":31,"RP":32,"DOT":33,"non_empty_labelled":34,"comp_label":35,"non_empty_list":36,"$accept":0,"$end":1},
-terminals_: {2:"error",4:"NAME",6:"STRING",8:"INT",12:"EOF",13:"EQ",14:"SC",15:"DOLLAR",17:"LC",19:"RC",20:"LB",21:"RB",22:"LA",23:"RA",26:"COMMA",27:"COL",31:"LP",32:"RP",33:"DOT"},
-productions_: [0,[3,1],[5,1],[7,1],[9,3],[10,0],[10,5],[10,6],[16,1],[16,3],[16,3],[16,3],[18,0],[18,1],[24,1],[24,3],[25,2],[25,2],[25,3],[25,3],[11,1],[11,2],[28,3],[28,3],[28,3],[28,1],[28,2],[28,3],[28,1],[28,1],[28,2],[28,2],[28,2],[28,2],[29,0],[29,1],[34,1],[34,3],[35,2],[35,2],[35,3],[35,3],[30,0],[30,1],[36,1],[36,3]],
+symbols_: {"error":2,"name":3,"NAME":4,"str":5,"STRING":6,"int":7,"INT":8,"input_with_eof":9,"defs":10,"comp":11,"EOF":12,"EQ":13,"SC":14,"DOLLAR":15,"codeDef":16,"code":17,"LC":18,"labelled_codes":19,"RC":20,"LB":21,"RB":22,"LA":23,"RA":24,"non_empty_labelled_codes":25,"code_label":26,"COMMA":27,"COL":28,"exp":29,"labelled":30,"list":31,"LP":32,"RP":33,"DOT":34,"non_empty_labelled":35,"comp_label":36,"non_empty_list":37,"$accept":0,"$end":1},
+terminals_: {2:"error",4:"NAME",6:"STRING",8:"INT",12:"EOF",13:"EQ",14:"SC",15:"DOLLAR",18:"LC",20:"RC",21:"LB",22:"RB",23:"LA",24:"RA",27:"COMMA",28:"COL",32:"LP",33:"RP",34:"DOT"},
+productions_: [0,[3,1],[5,1],[7,1],[9,3],[10,0],[10,5],[10,6],[17,1],[17,1],[16,3],[16,3],[16,3],[19,0],[19,1],[25,1],[25,3],[26,2],[26,2],[26,3],[26,3],[11,1],[11,2],[29,3],[29,3],[29,3],[29,1],[29,2],[29,3],[29,1],[29,1],[29,2],[29,2],[29,2],[29,2],[30,0],[30,1],[35,1],[35,3],[36,2],[36,2],[36,3],[36,3],[31,0],[31,1],[37,1],[37,3]],
 performAction: function anonymous(yytext, yyleng, yylineno, yy, yystate /* action[1] */, $$ /* vstack */, _$ /* lstack */) {
 /* this == yyval */
 
@@ -111,95 +111,93 @@ break;
 case 8:
  this.$ = {code: "ref", ref: $$[$0]}; 
 break;
-case 9:
- this.$ = {code: "product", 
-                                                product: $$[$0-1].reduce((r, lc) => { 
-                                                  r[lc.label] = s.as_ref(lc.code);
-                                                  return r }
-                                                , {})}; 
+case 9: case 21: case 36: case 44:
+ this.$ = $$[$0]; 
 break;
 case 10:
- this.$ = {code: "vector", vector: s.as_ref($$[$0-1])}; 
+ this.$ = {code: "product", product: $$[$0-1]}; 
 break;
 case 11:
- this.$ = {code: "union", 
-                                                union: $$[$0-1].reduce((r, lc) => { 
-                                                  r[lc.label] = s.as_ref(lc.code);
-                                                  return r }
-                                                , {})}; 
+ this.$ = {code: "vector", vector: s.as_ref($$[$0-1])}; 
 break;
 case 12:
- this.$ = [] 
+ this.$ = {code: "union", union: $$[$0-1]}; 
 break;
-case 13: case 20: case 35: case 43:
- this.$ = $$[$0]; 
+case 13:
+ this.$ = {} 
 break;
-case 14: case 44:
- this.$ = [$$[$0]]; 
+case 14:
+ this.$ = $$[$0].reduce((r, lc) => { 
+                                                  r[lc.label] = s.as_ref(lc.code);
+                                                  return r }
+                                                , {}); 
 break;
 case 15: case 45:
+ this.$ = [$$[$0]]; 
+break;
+case 16: case 46:
  this.$ = [].concat($$[$0-2],$$[$0]); 
 break;
-case 16: case 17:
+case 17: case 18:
  this.$ = {label: $$[$0], code: $$[$0-1]}; 
 break;
-case 18: case 19:
+case 19: case 20:
  this.$ = {label: $$[$0-2], code: $$[$0]}; 
 break;
-case 21:
+case 22:
  this.$ = s.comp($$[$0-1], $$[$0]); 
 break;
-case 22:
+case 23:
  this.$ = $$[$0-1]; 
 break;
-case 23:
+case 24:
  this.$ = {op: "vector", vector: $$[$0-1]}; 
 break;
-case 24:
+case 25:
  this.$ = s.union($$[$0-1]); 
 break;
-case 25:
+case 26:
  this.$ = {op: "ref", ref: $$[$0]}; 
 break;
-case 26:
+case 27:
  this.$ = s.identity;  
 break;
-case 27:
+case 28:
  this.$ = $$[$0-1];  
 break;
-case 28:
+case 29:
  this.$ = {op: "str", str: $$[$0]}; 
 break;
-case 29:
+case 30:
  this.$ = {op: "int", int: $$[$0]}; 
 break;
-case 30: case 31: case 32:
+case 31: case 32: case 33:
  this.$ = {op: "dot", dot: $$[$0]}; 
 break;
-case 33:
+case 34:
  this.$ = {op: "code", code: s.as_ref($$[$0])}; 
 break;
-case 34:
+case 35:
  this.$ = {op: "product", product: []}; 
 break;
-case 36:
+case 37:
  this.$ = {op: "product", product: [$$[$0]]}; 
 break;
-case 37:
+case 38:
  $$[$0-2].product = [].concat($$[$0-2].product,$$[$0]); this.$ = $$[$0-2]; 
 break;
-case 38: case 39:
+case 39: case 40:
  this.$ = {label: $$[$0], exp: $$[$0-1]}; 
 break;
-case 40: case 41:
+case 41: case 42:
  this.$ = {label: $$[$0-2], exp: $$[$0]}; 
 break;
-case 42:
+case 43:
  this.$ = []; 
 break;
 }
 },
-table: [o($V0,[2,5],{9:1,10:2}),{1:[3]},{3:4,4:$V1,5:12,6:$V2,7:13,8:$V3,11:3,15:[1,5],17:$V4,20:$V5,22:$V6,28:6,31:$V7,33:$V8},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,12:[1,17],15:$V9,17:$V4,20:$V5,22:$V6,28:18,31:$V7,33:$V8},o($Va,$Vb,{13:[1,21]}),{3:22,4:$V1,16:23,17:$Vc,20:$Vd,22:$Ve},o($Vf,[2,20]),o([4,6,8,12,13,14,15,17,19,20,21,22,23,26,27,31,32,33],[2,1]),{3:31,4:$V1,5:32,6:$V2,7:13,8:$V3,11:30,15:$V9,17:$V4,19:[2,34],20:$V5,22:$V6,28:6,29:27,31:$V7,33:$V8,34:28,35:29},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:35,15:$V9,17:$V4,20:$V5,21:$Vg,22:$V6,28:6,30:33,31:$V7,33:$V8,36:34},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:35,15:$V9,17:$V4,20:$V5,22:$V6,23:$Vg,28:6,30:36,31:$V7,33:$V8,36:34},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:38,15:$V9,17:$V4,20:$V5,22:$V6,28:6,31:$V7,32:[1,37],33:$V8},o($Vf,$Vh),o($Vf,[2,29]),{3:41,4:$V1,5:40,6:$V2,7:39,8:$V3},o([4,6,8,12,14,15,17,19,20,21,22,23,26,27,31,32,33],[2,2]),o($Vf,[2,3]),{1:[2,4]},o($Vf,[2,21]),o($Vf,$Vb),{3:42,4:$V1,16:23,17:$Vc,20:$Vd,22:$Ve},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:43,15:$V9,17:$V4,20:$V5,22:$V6,28:6,31:$V7,33:$V8},o($Va,$Vi,{13:[1,44]}),o($Vf,[2,33]),{3:49,4:$V1,5:50,6:$V2,16:48,17:$Vc,18:45,19:$Vj,20:$Vd,22:$Ve,24:46,25:47},{3:42,4:$V1,16:51,17:$Vc,20:$Vd,22:$Ve},{3:49,4:$V1,5:50,6:$V2,16:48,17:$Vc,18:52,20:$Vd,22:$Ve,23:$Vj,24:46,25:47},{19:[1,53]},{19:[2,35],26:[1,54]},o($Vk,[2,36]),{3:55,4:$V1,5:56,6:$V2,7:13,8:$V3,15:$V9,17:$V4,20:$V5,22:$V6,28:18,31:$V7,33:$V8},o($V0,$Vb,{27:[1,57]}),o($V0,$Vh,{27:[1,58]}),{21:[1,59]},o([21,23],[2,43],{26:[1,60]}),o($Vl,[2,44],{5:12,7:13,28:18,3:19,4:$V1,6:$V2,8:$V3,15:$V9,17:$V4,20:$V5,22:$V6,31:$V7,33:$V8}),{23:[1,61]},o($Vf,[2,26]),{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,15:$V9,17:$V4,20:$V5,22:$V6,28:18,31:$V7,32:[1,62],33:$V8},o($Vf,[2,30]),o($Vf,[2,31]),o($Vf,[2,32]),o($Vf,$Vi),{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,14:[1,63],15:$V9,17:$V4,20:$V5,22:$V6,28:18,31:$V7,33:$V8},{3:42,4:$V1,16:64,17:$Vc,20:$Vd,22:$Ve},{19:[1,65]},o([19,23],[2,13],{26:[1,66]}),o($Vm,[2,14]),{3:67,4:$V1,5:68,6:$V2},o([4,6],$Vi,{27:[1,69]}),{27:[1,70]},{21:[1,71]},{23:[1,72]},o($Vf,[2,22]),{3:31,4:$V1,5:32,6:$V2,7:13,8:$V3,11:30,15:$V9,17:$V4,20:$V5,22:$V6,28:6,31:$V7,33:$V8,35:73},o($V0,$Vb,{19:$Vn,26:$Vn}),o($V0,$Vh,{19:$Vo,26:$Vo}),{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:74,15:$V9,17:$V4,20:$V5,22:$V6,28:6,31:$V7,33:$V8},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:75,15:$V9,17:$V4,20:$V5,22:$V6,28:6,31:$V7,33:$V8},o($Vf,[2,23]),{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:76,15:$V9,17:$V4,20:$V5,22:$V6,28:6,31:$V7,33:$V8},o($Vf,[2,24]),o($Vf,[2,27]),o($V0,[2,6]),{14:[1,77]},o($Vf,[2,9]),{3:49,4:$V1,5:50,6:$V2,16:48,17:$Vc,20:$Vd,22:$Ve,25:78},o($Vm,[2,16]),o($Vm,[2,17]),{3:42,4:$V1,16:79,17:$Vc,20:$Vd,22:$Ve},{3:42,4:$V1,16:80,17:$Vc,20:$Vd,22:$Ve},o($Vf,[2,10]),o($Vf,[2,11]),o($Vk,[2,37]),o($Vk,[2,40],{5:12,7:13,28:18,3:19,4:$V1,6:$V2,8:$V3,15:$V9,17:$V4,20:$V5,22:$V6,31:$V7,33:$V8}),o($Vk,[2,41],{5:12,7:13,28:18,3:19,4:$V1,6:$V2,8:$V3,15:$V9,17:$V4,20:$V5,22:$V6,31:$V7,33:$V8}),o($Vl,[2,45],{5:12,7:13,28:18,3:19,4:$V1,6:$V2,8:$V3,15:$V9,17:$V4,20:$V5,22:$V6,31:$V7,33:$V8}),o($V0,[2,7]),o($Vm,[2,15]),o($Vm,[2,18]),o($Vm,[2,19])],
+table: [o($V0,[2,5],{9:1,10:2}),{1:[3]},{3:4,4:$V1,5:12,6:$V2,7:13,8:$V3,11:3,15:[1,5],18:$V4,21:$V5,23:$V6,29:6,32:$V7,34:$V8},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,12:[1,17],15:$V9,18:$V4,21:$V5,23:$V6,29:18,32:$V7,34:$V8},o($Va,$Vb,{13:[1,21]}),{3:22,4:$V1,16:24,17:23,18:$Vc,21:$Vd,23:$Ve},o($Vf,[2,21]),o([4,6,8,12,13,14,15,18,20,21,22,23,24,27,28,32,33,34],[2,1]),{3:32,4:$V1,5:33,6:$V2,7:13,8:$V3,11:31,15:$V9,18:$V4,20:[2,35],21:$V5,23:$V6,29:6,30:28,32:$V7,34:$V8,35:29,36:30},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:36,15:$V9,18:$V4,21:$V5,22:$Vg,23:$V6,29:6,31:34,32:$V7,34:$V8,37:35},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:36,15:$V9,18:$V4,21:$V5,23:$V6,24:$Vg,29:6,31:37,32:$V7,34:$V8,37:35},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:39,15:$V9,18:$V4,21:$V5,23:$V6,29:6,32:$V7,33:[1,38],34:$V8},o($Vf,$Vh),o($Vf,[2,30]),{3:42,4:$V1,5:41,6:$V2,7:40,8:$V3},o([4,6,8,12,14,15,18,20,21,22,23,24,27,28,32,33,34],[2,2]),o($Vf,[2,3]),{1:[2,4]},o($Vf,[2,22]),o($Vf,$Vb),{3:43,4:$V1,16:24,17:23,18:$Vc,21:$Vd,23:$Ve},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:44,15:$V9,18:$V4,21:$V5,23:$V6,29:6,32:$V7,34:$V8},o($Va,$Vi,{13:[1,45]}),o($Vf,[2,34]),o($Vf,[2,9]),{3:50,4:$V1,5:51,6:$V2,16:24,17:49,18:$Vc,19:46,20:$Vj,21:$Vd,23:$Ve,25:47,26:48},{3:43,4:$V1,16:24,17:52,18:$Vc,21:$Vd,23:$Ve},{3:50,4:$V1,5:51,6:$V2,16:24,17:49,18:$Vc,19:53,21:$Vd,23:$Ve,24:$Vj,25:47,26:48},{20:[1,54]},{20:[2,36],27:[1,55]},o($Vk,[2,37]),{3:56,4:$V1,5:57,6:$V2,7:13,8:$V3,15:$V9,18:$V4,21:$V5,23:$V6,29:18,32:$V7,34:$V8},o($V0,$Vb,{28:[1,58]}),o($V0,$Vh,{28:[1,59]}),{22:[1,60]},o([22,24],[2,44],{27:[1,61]}),o($Vl,[2,45],{5:12,7:13,29:18,3:19,4:$V1,6:$V2,8:$V3,15:$V9,18:$V4,21:$V5,23:$V6,32:$V7,34:$V8}),{24:[1,62]},o($Vf,[2,27]),{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,15:$V9,18:$V4,21:$V5,23:$V6,29:18,32:$V7,33:[1,63],34:$V8},o($Vf,[2,31]),o($Vf,[2,32]),o($Vf,[2,33]),o($Vf,$Vi),{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,14:[1,64],15:$V9,18:$V4,21:$V5,23:$V6,29:18,32:$V7,34:$V8},{16:65,18:$Vc,21:$Vd,23:$Ve},{20:[1,66]},o([20,24],[2,14],{27:[1,67]}),o($Vm,[2,15]),{3:68,4:$V1,5:69,6:$V2},o([4,6],$Vi,{28:[1,70]}),{28:[1,71]},{22:[1,72]},{24:[1,73]},o($Vf,[2,23]),{3:32,4:$V1,5:33,6:$V2,7:13,8:$V3,11:31,15:$V9,18:$V4,21:$V5,23:$V6,29:6,32:$V7,34:$V8,36:74},o($V0,$Vb,{20:$Vn,27:$Vn}),o($V0,$Vh,{20:$Vo,27:$Vo}),{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:75,15:$V9,18:$V4,21:$V5,23:$V6,29:6,32:$V7,34:$V8},{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:76,15:$V9,18:$V4,21:$V5,23:$V6,29:6,32:$V7,34:$V8},o($Vf,[2,24]),{3:19,4:$V1,5:12,6:$V2,7:13,8:$V3,11:77,15:$V9,18:$V4,21:$V5,23:$V6,29:6,32:$V7,34:$V8},o($Vf,[2,25]),o($Vf,[2,28]),o($V0,[2,6]),{14:[1,78]},o($Vf,[2,10]),{3:50,4:$V1,5:51,6:$V2,16:24,17:49,18:$Vc,21:$Vd,23:$Ve,26:79},o($Vm,[2,17]),o($Vm,[2,18]),{3:43,4:$V1,16:24,17:80,18:$Vc,21:$Vd,23:$Ve},{3:43,4:$V1,16:24,17:81,18:$Vc,21:$Vd,23:$Ve},o($Vf,[2,11]),o($Vf,[2,12]),o($Vk,[2,38]),o($Vk,[2,41],{5:12,7:13,29:18,3:19,4:$V1,6:$V2,8:$V3,15:$V9,18:$V4,21:$V5,23:$V6,32:$V7,34:$V8}),o($Vk,[2,42],{5:12,7:13,29:18,3:19,4:$V1,6:$V2,8:$V3,15:$V9,18:$V4,21:$V5,23:$V6,32:$V7,34:$V8}),o($Vl,[2,46],{5:12,7:13,29:18,3:19,4:$V1,6:$V2,8:$V3,15:$V9,18:$V4,21:$V5,23:$V6,32:$V7,34:$V8}),o($V0,[2,7]),o($Vm,[2,16]),o($Vm,[2,19]),o($Vm,[2,20])],
 defaultActions: {17:[2,4]},
 parseError: function parseError (str, hash) {
     if (hash.recoverable) {
@@ -686,31 +684,31 @@ case 1:/* one line comment */
 break;
 case 2:/* blanks */
 break;
-case 3:return 22;
+case 3:return 23;
 break;
-case 4:return 17;
+case 4:return 18;
 break;
-case 5:return 20;
+case 5:return 21;
 break;
-case 6:return 31;
+case 6:return 32;
 break;
-case 7:return 23;
+case 7:return 24;
 break;
-case 8:return 19;
+case 8:return 20;
 break;
-case 9:return 21;
+case 9:return 22;
 break;
-case 10:return 32;
+case 10:return 33;
 break;
 case 11:return 13; 
 break;
-case 12:return 33;
+case 12:return 34;
 break;
-case 13:return 26;
+case 13:return 27;
 break;
 case 14:return 14;
 break;
-case 15:return 27;
+case 15:return 28;
 break;
 case 16:return 15; 
 break;

package/repl.coffee

@@ -0,0 +1,23 @@
+#!/usr/bin/env coffee
+k = require "./"
+
+do (val = {}, buffer = []) ->
+  process.stdin.on 'data', (data) ->
+    [first, rest...] = data.toString("utf8").split "\n"
+    buffer.push first
+    if rest.length > 0
+      todo = buffer.join ""
+      [rest..., last] = rest
+      buffer = [last]
+      todo = [todo, rest...]
+      for line in todo
+        if val is undefined
+          val = {}
+        if not line.match /^[ \n\t]*(?:#.*)?$/
+          try
+            val = k.run "#{line} ()", val 
+            console.log "=> #{JSON.stringify val}"
+          catch e 
+            console.error "ERROR:"
+            console.error e
+        

package/repl.js

@@ -0,0 +1,43 @@
+// Generated by CoffeeScript 2.7.0
+(function() {
+  //!/usr/bin/env coffee
+  var k,
+    splice = [].splice;
+
+  k = require("./");
+
+  (function(val, buffer) {
+    return process.stdin.on('data', function(data) {
+      var e, first, i, last, len, line, ref, rest, results, todo;
+      [first, ...rest] = data.toString("utf8").split("\n");
+      buffer.push(first);
+      if (rest.length > 0) {
+        todo = buffer.join("");
+        ref = rest, [...rest] = ref, [last] = splice.call(rest, -1);
+        buffer = [last];
+        todo = [todo, ...rest];
+        results = [];
+        for (i = 0, len = todo.length; i < len; i++) {
+          line = todo[i];
+          if (val === void 0) {
+            val = {};
+          }
+          if (!line.match(/^[ \n\t]*(?:#.*)?$/)) {
+            try {
+              val = k.run(`${line} ()`, val);
+              results.push(console.log(`=> ${JSON.stringify(val)}`));
+            } catch (error) {
+              e = error;
+              console.error("ERROR:");
+              results.push(console.error(e));
+            }
+          } else {
+            results.push(void 0);
+          }
+        }
+        return results;
+      }
+    });
+  })({}, []);
+
+}).call(this);

package/repl.sh

@@ -0,0 +1,44 @@
+#!/usr/bin/env node
+// Generated by CoffeeScript 2.7.0
+(function() {
+  //!/usr/bin/env coffee
+  var k,
+    splice = [].splice;
+
+  k = require("./");
+
+  (function(val, buffer) {
+    return process.stdin.on('data', function(data) {
+      var e, first, i, last, len, line, ref, rest, results, todo;
+      [first, ...rest] = data.toString("utf8").split("\n");
+      buffer.push(first);
+      if (rest.length > 0) {
+        todo = buffer.join("");
+        ref = rest, [...rest] = ref, [last] = splice.call(rest, -1);
+        buffer = [last];
+        todo = [todo, ...rest];
+        results = [];
+        for (i = 0, len = todo.length; i < len; i++) {
+          line = todo[i];
+          if (val === void 0) {
+            val = {};
+          }
+          if (!line.match(/^[ \n\t]*(?:#.*)?$/)) {
+            try {
+              val = k.run(`${line} ()`, val);
+              results.push(console.log(`=> ${JSON.stringify(val)}`));
+            } catch (error) {
+              e = error;
+              console.error("ERROR:");
+              results.push(console.error(e));
+            }
+          } else {
+            results.push(void 0);
+          }
+        }
+        return results;
+      }
+    });
+  })({}, []);
+
+}).call(this);

package/run.coffee

@@ -1,3 +1,5 @@
+fs = require "fs"
+
 valid = (x) ->
   return undefined if isNaN x
   return x if x?
@@ -6,6 +8,11 @@ builtin =
   "_log!": (arg) ->
     console.log "_log!: #{JSON.stringify arg}"
     arg
+  "fromFILE": (fileName) ->
+    fs.readFileSync(fileName).toString() 
+  "toFILE": ([x,fileName]) ->
+    fs.writeFileSync fileName, x
+    return x 
   "GT": (args) ->
     [ok,_] = do ([last,args...] = args) ->
       args.reduce ([ok,last], x) ->
@@ -49,7 +56,8 @@ codes =
 
 verify = (code, value) ->
   # representatives = run.defs.representatives
-  # console.log {code,value,representatives}
+  # defCodes = JSON.stringify run.defs.codes
+  # console.log {code,value, representatives, defCodes}
   switch code.code
     when "vector"
       value.every (x) ->
@@ -115,5 +123,4 @@ run = (exp, value) ->
       else  
         console.log exp.op
 
-
 module.exports = run

package/run.js

@@ -1,8 +1,10 @@
 // Generated by CoffeeScript 2.7.0
 (function() {
-  var builtin, codes, run, valid, verify,
+  var builtin, codes, fs, run, valid, verify,
     modulo = function(a, b) { return (+a % (b = +b) + b) % b; };
 
+  fs = require("fs");
+
   valid = function(x) {
     if (isNaN(x)) {
       return void 0;
@@ -17,6 +19,13 @@
       console.log(`_log!: ${JSON.stringify(arg)}`);
       return arg;
     },
+    "fromFILE": function(fileName) {
+      return fs.readFileSync(fileName).toString();
+    },
+    "toFILE": function([x, fileName]) {
+      fs.writeFileSync(fileName, x);
+      return x;
+    },
     "GT": function(args) {
       var _, ok;
       [ok, _] = (function([last, ...args]) {
@@ -112,7 +121,8 @@
 
   verify = function(code, value) {
     // representatives = run.defs.representatives
-    // console.log {code,value,representatives}
+    // defCodes = JSON.stringify run.defs.codes
+    // console.log {code,value, representatives, defCodes}
     switch (code.code) {
       case "vector":
         return value.every(function(x) {

package/test.coffee

@@ -48,3 +48,19 @@ console.log ""
   console.log "k_fn(#{JSON.stringify(data)});"
   console.log "// RETURNS: #{JSON.stringify k_fn data}"
   console.log ""
+
+k_expression = "$ < < [ int ] ints, [ bool ] bools > list, string None>"
+k_fn  = k.compile k_expression
+console.log "var k_fn = k.compile('#{k_expression}');"
+console.log ""
+
+[ 
+  {None: "None"}
+  {list: {ints: []}}
+  {list: {ints: [1,2,3]}}
+].map (data) -> 
+  console.log "k_fn(#{JSON.stringify(data)});"
+  console.log "// RETURNS: #{JSON.stringify k_fn data}"
+  console.log ""
+
+

package/test.js

@@ -116,4 +116,34 @@
     return console.log("");
   });
 
+  k_expression = "$ < < [ int ] ints, [ bool ] bools > list, string None>";
+
+  k_fn = k.compile(k_expression);
+
+  console.log(`var k_fn = k.compile('${k_expression}');`);
+
+  console.log("");
+
+  [
+    {
+      None: "None"
+    },
+    {
+      list: {
+        ints: []
+      }
+    },
+    {
+      list: {
+        ints: [1,
+    2,
+    3]
+      }
+    }
+  ].map(function(data) {
+    console.log(`k_fn(${JSON.stringify(data)});`);
+    console.log(`// RETURNS: ${JSON.stringify(k_fn(data))}`);
+    return console.log("");
+  });
+
 }).call(this);

package/fib.k

@@ -1,15 +0,0 @@
-fib_aux = _log!
-  <
-    { [.n, 1] GT [.0,-1] PLUS n,
-      ."[fib(n),fib(n-1)" [[.0,.1] PLUS, .0] "[fib(n),fib(n-1)"
-    } fib_aux,
-    ."[fib(n),fib(n-1)"
-  >
-;
-
-fib = {() n, [1,1] "[fib(n),fib(n-1)"}
-  fib_aux .0;
-
-----------------------
-
-fib