@fraczak/k 1.3.4 → 2.0.1

package/pretty.coffee

@@ -1,74 +0,0 @@
-
-compareAs = (fn) ->
-  (a,b) -> 
-    [a,b] = [a,b].map fn
-    return -1 if a < b
-    return 1 if a > b
-    0 
-
-nameRE = /^[a-zA-Z0-9_][a-zA-Z0-9_?!]*$/
-prettyCode_labels = ( codes, representatives, label_ref_map) ->
-  labels = Object.keys(label_ref_map)
-  .sort compareAs (x) -> x
-  .map (label) ->
-    plabel = if nameRE.test label
-      label
-    else    
-      "'#{label}'" 
-    "#{prettyCode codes, representatives, {code:"ref",ref:label_ref_map[label]}} #{plabel}"
-  .join ", "
-
-prettyCode = (codes, representatives, codeExp) ->
-  switch codeExp.code 
-    when "ref"
-      name = representatives[codeExp.ref] ? codeExp.ref
-      if name.startsWith ":"
-        prettyCode codes, representatives, codes[name]
-      else
-        name
-    when "product"
-      "{#{prettyCode_labels codes, representatives, codeExp.product}}"
-    when "union"
-      "<#{prettyCode_labels codes, representatives, codeExp.union}>"
-    when "vector"
-      "[#{representatives[codeExp.vector] ? codeExp.vector}]"
-    else    
-      ":error"
-
-prettyRel = (prettyCode, exp) ->
-  "use strict"
-  pretty = (exp) ->
-    switch exp.op 
-      when 'vector' 
-        "[#{exp.vector.map(pretty).join(", ")}]"
-      when 'union'
-        "<#{exp.union.map(pretty).join(", ")}>"
-      when 'ref'
-        exp.ref
-      when 'identity'
-        "()"
-      when 'comp'
-        exp.comp.map(pretty).join(" ")
-      when 'str'
-        "'#{exp.str}'"
-      when 'int'
-        exp.int
-      when 'dot'
-        if 'number' is typeof exp.dot
-          ".#{exp.dot}"
-        else if nameRE.test exp.dot
-          ".#{exp.dot}"
-        else    
-          "'#{exp.dot}'"
-      when 'code'
-        "$#{prettyCode {code:"ref",ref:exp.code}}"
-      when 'product'
-        do (labelled = exp.product.map ({label,exp}) ->
-              if nameRE.test label
-                  "#{pretty exp} #{label}"
-              else    
-                  "#{pretty exp} '#{label}'") ->
-          "{#{labelled.join(", ")}}"
-  pretty exp
-        
-module.exports = { prettyCode, prettyRel }

package/pretty.js

@@ -1,106 +0,0 @@
-// Generated by CoffeeScript 2.7.0
-(function() {
-  var compareAs, nameRE, prettyCode, prettyCode_labels, prettyRel;
-
-  compareAs = function(fn) {
-    return function(a, b) {
-      [a, b] = [a, b].map(fn);
-      if (a < b) {
-        return -1;
-      }
-      if (a > b) {
-        return 1;
-      }
-      return 0;
-    };
-  };
-
-  nameRE = /^[a-zA-Z0-9_][a-zA-Z0-9_?!]*$/;
-
-  prettyCode_labels = function(codes, representatives, label_ref_map) {
-    var labels;
-    return labels = Object.keys(label_ref_map).sort(compareAs(function(x) {
-      return x;
-    })).map(function(label) {
-      var plabel;
-      plabel = nameRE.test(label) ? label : `'${label}'`;
-      return `${prettyCode(codes, representatives, {
-        code: "ref",
-        ref: label_ref_map[label]
-      })} ${plabel}`;
-    }).join(", ");
-  };
-
-  prettyCode = function(codes, representatives, codeExp) {
-    var name, ref, ref1;
-    switch (codeExp.code) {
-      case "ref":
-        name = (ref = representatives[codeExp.ref]) != null ? ref : codeExp.ref;
-        if (name.startsWith(":")) {
-          return prettyCode(codes, representatives, codes[name]);
-        } else {
-          return name;
-        }
-        break;
-      case "product":
-        return `{${prettyCode_labels(codes, representatives, codeExp.product)}}`;
-      case "union":
-        return `<${prettyCode_labels(codes, representatives, codeExp.union)}>`;
-      case "vector":
-        return `[${(ref1 = representatives[codeExp.vector]) != null ? ref1 : codeExp.vector}]`;
-      default:
-        return ":error";
-    }
-  };
-
-  prettyRel = function(prettyCode, exp) {
-    "use strict";
-    var pretty;
-    pretty = function(exp) {
-      switch (exp.op) {
-        case 'vector':
-          return `[${exp.vector.map(pretty).join(", ")}]`;
-        case 'union':
-          return `<${exp.union.map(pretty).join(", ")}>`;
-        case 'ref':
-          return exp.ref;
-        case 'identity':
-          return "()";
-        case 'comp':
-          return exp.comp.map(pretty).join(" ");
-        case 'str':
-          return `'${exp.str}'`;
-        case 'int':
-          return exp.int;
-        case 'dot':
-          if ('number' === typeof exp.dot) {
-            return `.${exp.dot}`;
-          } else if (nameRE.test(exp.dot)) {
-            return `.${exp.dot}`;
-          } else {
-            return `'${exp.dot}'`;
-          }
-          break;
-        case 'code':
-          return `$${prettyCode({
-            code: "ref",
-            ref: exp.code
-          })}`;
-        case 'product':
-          return (function(labelled) {
-            return `{${labelled.join(", ")}}`;
-          })(exp.product.map(function({label, exp}) {
-            if (nameRE.test(label)) {
-              return `${pretty(exp)} ${label}`;
-            } else {
-              return `${pretty(exp)} '${label}'`;
-            }
-          }));
-      }
-    };
-    return pretty(exp);
-  };
-
-  module.exports = {prettyCode, prettyRel};
-
-}).call(this);

package/repl.coffee

@@ -1,62 +0,0 @@
-#!/usr/bin/env coffee
-k = require "./"
-run = require "./run"
-{prettyCode, prettyRel} = require "./pretty"
-fs = require "fs"
-
-console.log "Very! experimental repl shell for 'k-language'..."
-
-help = ->
-  console.log " --h          print help"
-  console.log " --a          print codes and relations"
-  console.log " --c          print codes"
-  console.log " --r          print rels"
-  console.log " --l file.k   load 'file.k'"
-
-help()
-
-re = /^[ \n\t]*(?:--l[ ]+)(.+[^ ])[ ]*?$/
-
-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 line.match /^[ \n\t]*(?:--h)?$/
-          help()
-        else if line.match re
-          file = line.match(re)[1]
-          console.log "-- loading file: #{file} ..."
-          kScript = fs.readFileSync(file).toString();
-          val = k.compile(kScript) val
-          console.log "=> #{JSON.stringify val}"
-        else if line.match /^[ \n\t]*(?:--a)?$/
-          console.log JSON.stringify run.defs, " ", 2
-        else if line.match /^[ \n\t]*(?:--r)?$/
-          console.log do (defs = run.defs, result = {}) ->
-            return result unless defs?
-            do (prettyRel = prettyRel.bind null, prettyCode.bind null, defs.codes, defs.representatives) ->
-              for relName, relExps of defs.rels
-                result[relName] = relExps.map prettyRel
-              result
-        else if line.match /^[ \n\t]*(?:--c)?$/
-          console.log do (defs = run.defs, result = {}) ->
-            return result unless defs?
-            for codeName, codeExp of defs.codes
-              result[codeName] = prettyCode defs.codes, defs.representatives, codeExp
-            result 
-        else 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

@@ -1,101 +0,0 @@
-// Generated by CoffeeScript 2.7.0
-(function() {
-  //!/usr/bin/env coffee
-  var fs, help, k, prettyCode, prettyRel, re, run,
-    splice = [].splice;
-
-  k = require("./");
-
-  run = require("./run");
-
-  ({prettyCode, prettyRel} = require("./pretty"));
-
-  fs = require("fs");
-
-  console.log("Very! experimental repl shell for 'k-language'...");
-
-  help = function() {
-    console.log(" --h          print help");
-    console.log(" --a          print codes and relations");
-    console.log(" --c          print codes");
-    console.log(" --r          print rels");
-    return console.log(" --l file.k   load 'file.k'");
-  };
-
-  help();
-
-  re = /^[ \n\t]*(?:--l[ ]+)(.+[^ ])[ ]*?$/;
-
-  (function(val, buffer) {
-    return process.stdin.on('data', function(data) {
-      var e, file, first, i, kScript, 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]*(?:--h)?$/)) {
-            results.push(help());
-          } else if (line.match(re)) {
-            file = line.match(re)[1];
-            console.log(`-- loading file: ${file} ...`);
-            kScript = fs.readFileSync(file).toString();
-            val = k.compile(kScript)(val);
-            results.push(console.log(`=> ${JSON.stringify(val)}`));
-          } else if (line.match(/^[ \n\t]*(?:--a)?$/)) {
-            results.push(console.log(JSON.stringify(run.defs, " ", 2)));
-          } else if (line.match(/^[ \n\t]*(?:--r)?$/)) {
-            results.push(console.log((function(defs, result) {
-              if (defs == null) {
-                return result;
-              }
-              return (function(prettyRel) {
-                var ref1, relExps, relName;
-                ref1 = defs.rels;
-                for (relName in ref1) {
-                  relExps = ref1[relName];
-                  result[relName] = relExps.map(prettyRel);
-                }
-                return result;
-              })(prettyRel.bind(null, prettyCode.bind(null, defs.codes, defs.representatives)));
-            })(run.defs, {})));
-          } else if (line.match(/^[ \n\t]*(?:--c)?$/)) {
-            results.push(console.log((function(defs, result) {
-              var codeExp, codeName, ref1;
-              if (defs == null) {
-                return result;
-              }
-              ref1 = defs.codes;
-              for (codeName in ref1) {
-                codeExp = ref1[codeName];
-                result[codeName] = prettyCode(defs.codes, defs.representatives, codeExp);
-              }
-              return result;
-            })(run.defs, {})));
-          } else 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

@@ -1,102 +0,0 @@
-#!/usr/bin/env node
-// Generated by CoffeeScript 2.7.0
-(function() {
-  //!/usr/bin/env coffee
-  var fs, help, k, prettyCode, prettyRel, re, run,
-    splice = [].splice;
-
-  k = require("./");
-
-  run = require("./run");
-
-  ({prettyCode, prettyRel} = require("./pretty"));
-
-  fs = require("fs");
-
-  console.log("Very! experimental repl shell for 'k-language'...");
-
-  help = function() {
-    console.log(" --h          print help");
-    console.log(" --a          print codes and relations");
-    console.log(" --c          print codes");
-    console.log(" --r          print rels");
-    return console.log(" --l file.k   load 'file.k'");
-  };
-
-  help();
-
-  re = /^[ \n\t]*(?:--l[ ]+)(.+[^ ])[ ]*?$/;
-
-  (function(val, buffer) {
-    return process.stdin.on('data', function(data) {
-      var e, file, first, i, kScript, 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]*(?:--h)?$/)) {
-            results.push(help());
-          } else if (line.match(re)) {
-            file = line.match(re)[1];
-            console.log(`-- loading file: ${file} ...`);
-            kScript = fs.readFileSync(file).toString();
-            val = k.compile(kScript)(val);
-            results.push(console.log(`=> ${JSON.stringify(val)}`));
-          } else if (line.match(/^[ \n\t]*(?:--a)?$/)) {
-            results.push(console.log(JSON.stringify(run.defs, " ", 2)));
-          } else if (line.match(/^[ \n\t]*(?:--r)?$/)) {
-            results.push(console.log((function(defs, result) {
-              if (defs == null) {
-                return result;
-              }
-              return (function(prettyRel) {
-                var ref1, relExps, relName;
-                ref1 = defs.rels;
-                for (relName in ref1) {
-                  relExps = ref1[relName];
-                  result[relName] = relExps.map(prettyRel);
-                }
-                return result;
-              })(prettyRel.bind(null, prettyCode.bind(null, defs.codes, defs.representatives)));
-            })(run.defs, {})));
-          } else if (line.match(/^[ \n\t]*(?:--c)?$/)) {
-            results.push(console.log((function(defs, result) {
-              var codeExp, codeName, ref1;
-              if (defs == null) {
-                return result;
-              }
-              ref1 = defs.codes;
-              for (codeName in ref1) {
-                codeExp = ref1[codeName];
-                result[codeName] = prettyCode(defs.codes, defs.representatives, codeExp);
-              }
-              return result;
-            })(run.defs, {})));
-          } else 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,117 +0,0 @@
-valid = (x) ->
-  return undefined if isNaN x
-  return x if x?
-
-builtin =
-  "_log!": (arg) ->
-    console.error "_log!: #{JSON.stringify arg}"
-    arg
-  "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
-  "DIV": ([x,y]) -> 
-    div = x // y
-    rem = x %% y
-    return {div,rem} if x is div * y + rem
-  "FDIV": ([x,y]) -> x / y
-  "CONCAT": (strs) -> strs.join('')
-  "true": -> true
-  "false": -> false
-  "null": -> null
-  "toJSON": (x) -> JSON.stringify x
-  "fromJSON": (x) -> JSON.parse x
-  "CONS": ([x,y]) -> [x,y...]
-  "SNOC": (x) ->
-    return [x[0],x.slice 1] if x.length > 1
-  "toDateMsec": (x) -> new Date(x).getTime() 
-  "toDateStr": (x) -> new Date(x).toISOString() 
-
-codes =
-  "int": (x) -> 
-    Number.isInteger x
-  "string": (x) ->
-    (x instanceof String) or ('string' is typeof x) 
-  "bool": (x) ->
-    x is true or x is false
-
-verify = (code, value) ->
-  # representatives = run.defs.representatives
-  # defCodes = JSON.stringify run.defs.codes
-  # console.log {code,value, representatives, defCodes}
-  return false unless code?
-  switch code.code
-    when "vector"
-      return false unless Array.isArray value
-      value.every (x) ->
-        verify code.vector, x
-    when "product"
-      return false unless "object" is typeof value
-      do (fields = Object.keys(value)) ->
-        return false unless fields.length is Object.keys(code.product).length
-        fields.every (label) ->
-          verify code.product[label], value[label]
-    when "union"
-      return false unless "object" is typeof value
-      do (fields = Object.keys(value)) ->
-        return false unless fields.length is 1
-        verify code.union[fields[0]], value[fields[0]]
-    else 
-      do (c = run.defs.codes[run.defs.representatives[code]]) ->
-        return verify c, value if c?  
-        codes[code] value
-
-run = (exp, value) ->
-  "use strict"
-  # console.log {exp,value}
-  return undefined if value is undefined
-  switch exp.op
-    when "code"
-      return value if verify exp.code, value
-    when "identity"
-      return value
-    when "str", "int"
-      return exp[exp.op]
-    when "ref"
-      defn = run.defs.rels[exp.ref]
-      return run defn[defn.length - 1], value if defn?
-      return builtin[exp.ref] value 
-    when "dot"
-      return value[exp.dot]
-    when "comp"
-      return exp.comp.reduce (value, exp) ->
-        run exp, value unless value is undefined
-      , value
-    when "union"
-      for e in exp.union
-        result = run e, value
-        return result unless result is undefined
-      return undefined
-    when "vector"
-      result = []
-      for e in exp.vector
-        r = run e, value
-        return if r is undefined
-        result.push r
-      return result
-    when "product"
-      result = {}
-      for {label,exp} in exp.product
-        r = run exp, value
-        return if r is undefined
-        result[label] = r
-      return result
-    else  
-      console.error exp.op
-
-module.exports = run