@fraczak/k 1.0.0

package/run.coffee

@@ -0,0 +1,76 @@
+valid = (x) ->
+  return undefined if isNaN x
+  return x if x?
+
+builtin = 
+  "GT": (args) ->
+    [ok,_] = do ([last,args...] = args) ->
+      args.reduce ([ok,last], x) ->
+        [ok and (last > x), x ]
+      , [true,last]
+    return args if ok
+  "EQ": (args) ->
+    [ok,_] = do ([last,args...] = args) ->
+      args.reduce ([ok,last], x) ->
+        [ok and (last is x), x ]
+      , [true,last]
+    return args if ok
+  "PLUS": (args) -> valid args.reduce ((res, x) -> res + x), 0
+  "TIMES": (args) -> valid args.reduce ((res, x) -> res * x), 1
+  "MINUS": (args) -> 
+    return valid(- args) if 'number' is typeof args 
+    do ([res,args...] = args) ->
+      return valid (- res) if args.length is 0
+      valid args.reduce ((res, x) -> res - x), res
+  "DIV": ([x,y]) -> 
+    div = x // y
+    rem = x %% y
+    return {div,rem} if x is div * y + rem
+  "CONCAT": (strs) -> strs.join('')
+  "true": -> true
+  "false": -> false
+  "null": -> null
+  "toJSON": (x) -> JSON.stringify x
+  "fromJSON": (x) -> JSON.parse x
+
+
+run = (exp, value) ->
+  return undefined unless value?
+  try 
+    switch exp.op
+      when "identity"
+        return value
+      when "str", "int"
+        return exp[exp.op]
+      when "ref"
+        return do (value = builtin[exp.ref] value) ->
+          throw new Error "Undefined" if value is undefined
+          value          
+      when "dot"
+        return value[exp.dot]
+      when "comp"
+        return exp.comp.reduce (value, exp) ->
+          value = run exp, value
+          throw new Error "Undefined" unless value?
+          value
+        , value
+      when "vector"
+        return exp.vector.map (exp) -> 
+          result = run exp, value
+          throw new Error "Undefined" unless result?
+          result
+      when "union"
+        for e in exp.union
+          result = try run e, value
+          return result if result?
+        return undefined
+      when "product"
+        return exp.product.reduce (result, {label, exp}) ->
+          do (value = run exp, value) ->
+            throw new Error "Undefined" unless value?
+            result[label] = value
+            result
+        , {}
+
+
+module.exports = run

package/run.js

@@ -0,0 +1,157 @@
+// Generated by CoffeeScript 2.7.0
+(function() {
+  var builtin, run, valid,
+    modulo = function(a, b) { return (+a % (b = +b) + b) % b; };
+
+  valid = function(x) {
+    if (isNaN(x)) {
+      return void 0;
+    }
+    if (x != null) {
+      return x;
+    }
+  };
+
+  builtin = {
+    "GT": function(args) {
+      var _, ok;
+      [ok, _] = (function([last, ...args]) {
+        return args.reduce(function([ok, last], x) {
+          return [ok && (last > x), x];
+        }, [true, last]);
+      })(args);
+      if (ok) {
+        return args;
+      }
+    },
+    "EQ": function(args) {
+      var _, ok;
+      [ok, _] = (function([last, ...args]) {
+        return args.reduce(function([ok, last], x) {
+          return [ok && (last === x), x];
+        }, [true, last]);
+      })(args);
+      if (ok) {
+        return args;
+      }
+    },
+    "PLUS": function(args) {
+      return valid(args.reduce((function(res, x) {
+        return res + x;
+      }), 0));
+    },
+    "TIMES": function(args) {
+      return valid(args.reduce((function(res, x) {
+        return res * x;
+      }), 1));
+    },
+    "MINUS": function(args) {
+      if ('number' === typeof args) {
+        return valid(-args);
+      }
+      return (function([res, ...args]) {
+        if (args.length === 0) {
+          return valid(-res);
+        }
+        return valid(args.reduce((function(res, x) {
+          return res - x;
+        }), res));
+      })(args);
+    },
+    "DIV": function([x, y]) {
+      var div, rem;
+      div = Math.floor(x / y);
+      rem = modulo(x, y);
+      if (x === div * y + rem) {
+        return {div, rem};
+      }
+    },
+    "CONCAT": function(strs) {
+      return strs.join('');
+    },
+    "true": function() {
+      return true;
+    },
+    "false": function() {
+      return false;
+    },
+    "null": function() {
+      return null;
+    },
+    "toJSON": function(x) {
+      return JSON.stringify(x);
+    },
+    "fromJSON": function(x) {
+      return JSON.parse(x);
+    }
+  };
+
+  run = function(exp, value) {
+    var e, i, len, ref, result;
+    if (value == null) {
+      return void 0;
+    }
+    try {
+      switch (exp.op) {
+        case "identity":
+          return value;
+        case "str":
+        case "int":
+          return exp[exp.op];
+        case "ref":
+          return (function(value) {
+            if (value === void 0) {
+              throw new Error("Undefined");
+            }
+            return value;
+          })(builtin[exp.ref](value));
+        case "dot":
+          return value[exp.dot];
+        case "comp":
+          return exp.comp.reduce(function(value, exp) {
+            value = run(exp, value);
+            if (value == null) {
+              throw new Error("Undefined");
+            }
+            return value;
+          }, value);
+        case "vector":
+          return exp.vector.map(function(exp) {
+            var result;
+            result = run(exp, value);
+            if (result == null) {
+              throw new Error("Undefined");
+            }
+            return result;
+          });
+        case "union":
+          ref = exp.union;
+          for (i = 0, len = ref.length; i < len; i++) {
+            e = ref[i];
+            result = (function() {
+              try {
+                return run(e, value);
+              } catch (error) {}
+            })();
+            if (result != null) {
+              return result;
+            }
+          }
+          return void 0;
+        case "product":
+          return exp.product.reduce(function(result, {label, exp}) {
+            return (function(value) {
+              if (value == null) {
+                throw new Error("Undefined");
+              }
+              result[label] = value;
+              return result;
+            })(run(exp, value));
+          }, {});
+      }
+    } catch (error) {}
+  };
+
+  module.exports = run;
+
+}).call(this);

package/symbol-table.coffee

@@ -0,0 +1,14 @@
+identity = op: "identity"
+
+comp = (e1, e2) ->
+    return e2 if e1.op is "identity"
+    return e1 if e2.op is "identity"
+    if e1.op is "comp" and e2.op is "comp"
+      return {op: "comp", comp: [].concat(e1.comp,e2.comp)}
+    if e1.op is "comp"
+      return {op: "comp", comp: [].concat(e1.comp,[e2])}
+    if e2.op is "comp"
+      return {op: "comp", comp: [].concat([e1],e2.comp)}
+    {op: "comp", comp: [e1,e2]}
+
+module.exports = {identity, comp};

package/symbol-table.js

@@ -0,0 +1,42 @@
+// Generated by CoffeeScript 2.7.0
+(function() {
+  var comp, identity;
+
+  identity = {
+    op: "identity"
+  };
+
+  comp = function(e1, e2) {
+    if (e1.op === "identity") {
+      return e2;
+    }
+    if (e2.op === "identity") {
+      return e1;
+    }
+    if (e1.op === "comp" && e2.op === "comp") {
+      return {
+        op: "comp",
+        comp: [].concat(e1.comp, e2.comp)
+      };
+    }
+    if (e1.op === "comp") {
+      return {
+        op: "comp",
+        comp: [].concat(e1.comp, [e2])
+      };
+    }
+    if (e2.op === "comp") {
+      return {
+        op: "comp",
+        comp: [].concat([e1], e2.comp)
+      };
+    }
+    return {
+      op: "comp",
+      comp: [e1, e2]
+    };
+  };
+
+  module.exports = {identity, comp};
+
+}).call(this);

package/test.coffee

@@ -0,0 +1,34 @@
+
+k = require "./index.coffee"
+
+console.log 'var k = require("k");'
+console.log ""
+[  
+  ["ANYTHING...", '()']
+  ["ANYTHING...", '{"ala" name, 23 age}']
+  [{year: 2002, age: 19}, '[.year, .age]' ]
+  ["duplicate me", '[(), ()]']
+  ["nesting", '[[[()]]]']
+  ["nesting and accessing", '[[()]] {() nested, .0.0 val}']
+  [{test: "parse integer"}, '0000']
+  [{x: 3, y: 4}, '[.y,.x] PLUS']
+].map ([data,script]) -> 
+  console.log "k_expression = '#{script}';"
+  console.log "k.run(k_expression,#{JSON.stringify(data)});"
+  console.log "// RETURNS: #{JSON.stringify k.run script, data}"
+  console.log ""
+
+k_expression = '{.name nom, <[.age, 18] GT .0, [.age, 12] GT "ado", "enfant"> age}'
+k_fn  = k.compile k_expression
+
+console.log "var k_fn = k.compile('#{k_expression}');"
+console.log ""
+
+[ 
+  {age: 23, name: "Emily"}
+  {age: 16, name: "Katrina"}
+  {age: 2, name: "Mark"}
+].map (data) -> 
+  console.log "k_fn(#{JSON.stringify(data)});"
+  console.log "// RETURNS: #{JSON.stringify k_fn data}"
+  console.log ""

package/test.js

@@ -0,0 +1,76 @@
+// Generated by CoffeeScript 2.7.0
+(function() {
+  var k, k_expression, k_fn;
+
+  k = require("./index.coffee");
+
+  console.log('var k = require("k");');
+
+  console.log("");
+
+  [
+    ["ANYTHING...",
+    '()'],
+    ["ANYTHING...",
+    '{"ala" name, 23 age}'],
+    [
+      {
+        year: 2002,
+        age: 19
+      },
+      '[.year, .age]'
+    ],
+    ["duplicate me",
+    '[(), ()]'],
+    ["nesting",
+    '[[[()]]]'],
+    ["nesting and accessing",
+    '[[()]] {() nested, .0.0 val}'],
+    [
+      {
+        test: "parse integer"
+      },
+      '0000'
+    ],
+    [
+      {
+        x: 3,
+        y: 4
+      },
+      '[.y,.x] PLUS'
+    ]
+  ].map(function([data, script]) {
+    console.log(`k_expression = '${script}';`);
+    console.log(`k.run(k_expression,${JSON.stringify(data)});`);
+    console.log(`// RETURNS: ${JSON.stringify(k.run(script, data))}`);
+    return console.log("");
+  });
+
+  k_expression = '{.name nom, <[.age, 18] GT .0, [.age, 12] GT "ado", "enfant"> age}';
+
+  k_fn = k.compile(k_expression);
+
+  console.log(`var k_fn = k.compile('${k_expression}');`);
+
+  console.log("");
+
+  [
+    {
+      age: 23,
+      name: "Emily"
+    },
+    {
+      age: 16,
+      name: "Katrina"
+    },
+    {
+      age: 2,
+      name: "Mark"
+    }
+  ].map(function(data) {
+    console.log(`k_fn(${JSON.stringify(data)});`);
+    console.log(`// RETURNS: ${JSON.stringify(k_fn(data))}`);
+    return console.log("");
+  });
+
+}).call(this);

package/test.t

@@ -0,0 +1,13 @@
+ ---------  comments start by #, --, or // ----------------------------------
+<                          -- merge of 4 partial functions...
+  ["x=", .x, " & y=", .y], -- produces a vector of 4 values, if fields 'x' and 'y' are present
+  ["only x=", .x],         -- produces a pair '["only x=", "value-of-x"]', for input like {"x":"value-of-x"}
+							-- it is defined only if field 'x' is present
+  ["only y=", .y],
+  ["no x nor y"]           -- defined for all input, returns always the same one element vector
+> 
+-- one of the string vectors is passed to the following partial function, 
+-- which produces a record (map) with one field "x&y", whose value is the
+-- result of concatenating elements of the passed in vector
+{ CONCAT "x&y" } 
+------------------------------------------------------------------------------