@dallaylaen/ski-interpreter 2.0.0 → 2.1.0

package/CHANGELOG.md

@@ -5,6 +5,26 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [2.1.0] - 2026-02-12
+
+### BREAKING CHANGES
+
+- Quest: rename `vars` -> `env`, `title` -> `name`, and `descr` -> `intro`.
+- Quest: remove `subst` for good, use input: `{ name, fancy }` instead
+- App: remove `split()` method, use `foo.fun` and `foo.arg` directly or better yet `foo.unroll()` instead.
+
+### Added
+
+- `SKI.extras.search(seed: Expr[], options:{...}, predicate: (e: Expr, props: infer()) => 1|0|-1)` that brute forces all possible applications of `seed` (with some heuristics) returns the first matching expr (if can)
+- Add experimental `Expr.fold<T>(initial : T, combine: (acc : T, expr) => T?)` that folds an expression tree in LO order. Composite nodes are first checked as is and then descended into. If `combine` returns null, it is discarded and the previous value is kept.
+- Add `SKI.control.{descend, prune, stop}` helper functions for more precise `fold` control.
+- Add optional `Expr.context{ parser, scope, env, src }` which is filled by the parser.
+- Add `SKI.extras.deepFormat({}|[]|Expr|..., options={})` that recursively formats a deep structure with given options, leaving non-Expr values as is. Useful for debugging.
+- Add `Expr.toJSON()`, currently just `format()` with no options
+- Add `Expr.unroll()` that returns a list of terms
+that give the initial expression when applied
+from left to right: `((a, b), (c, d)) => [a, b, (c, d)]`
+
 ## [2.0.0] - 2026-02-06
 
 ### BREAKING CHANGES

package/bin/ski.js

@@ -2,121 +2,120 @@
 
 const fs = require('node:fs/promises');
 
-const {SKI} = require('../index');
+const { SKI } = require('../index');
 
 const [myname, options, positional] = parseArgs(process.argv);
 
 if (options.help) {
-    console.error(myname + ': usage: ' + myname + '[-q | -v ] -e <expression>');
-    process.exit(1);
+  console.error(myname + ': usage: ' + myname + '[-q | -v ] -e <expression>');
+  process.exit(1);
 }
 
-if (typeof options.e === 'string' && positional.length > 0 || positional.length > 1) {
-    console.error(myname + ': either -e <expr> or exactly one filename must be given');
-    process.exit(1);
+if ((typeof options.e === 'string' && positional.length) > 0 || positional.length > 1) {
+  console.error(myname + ': either -e <expr> or exactly one filename must be given');
+  process.exit(1);
 }
 
 const ski = new SKI();
 
 if (options.e === undefined && !positional.length) {
-    // interactive console
-    const readline = require('readline');
-    const rl = readline.createInterface({
-        input:    process.stdin,
-        output:   process.stdout,
-        prompt:   '> ',
-        terminal: true,
-    });
-    if (!options.q)
-        console.log('Welcome to SKI interactive shell. Known combinators: '+ski.showRestrict());
-    rl.on('line', str => {
-        const flag = str.match(/^\s*([-+])([qvt])\s*$/);
-        if (flag) {
-            options[flag[2]] = flag[1] === '+';
-        } else {
-            runLine(err => {
-                console.log('' + err)
-            })(str);
-        }
-        rl.prompt();
-    });
-    rl.once('close', () => {
-        if (!options.q)
-            console.log('Bye, and may your bird fly high!');
-        process.exit(0)
-    });
+  // interactive console
+  const readline = require('readline');
+  const rl = readline.createInterface({
+    input:    process.stdin,
+    output:   process.stdout,
+    prompt:   '> ',
+    terminal: true,
+  });
+  if (!options.q)
+    console.log('Welcome to SKI interactive shell. Known combinators: ' + ski.showRestrict());
+  rl.on('line', str => {
+    const flag = str.match(/^\s*([-+])([qvt])\s*$/);
+    if (flag)
+      options[flag[2]] = flag[1] === '+';
+    else {
+      runLine(err => {
+        console.log('' + err)
+      })(str);
+    }
     rl.prompt();
+  });
+  rl.once('close', () => {
+    if (!options.q)
+      console.log('Bye, and may your bird fly high!');
+    process.exit(0)
+  });
+  rl.prompt();
 } else {
-    const prom = positional.length > 0
-        ? fs.readFile(positional[0], 'utf8')
-        : Promise.resolve(options.e);
-
-    prom.then(runLine(err => { console.error(''+err); process.exit(3)})).catch(err => {
-        console.error(myname + ': ' + err);
-        process.exit(2);
-    });
+  const prom = positional.length > 0
+    ? fs.readFile(positional[0], 'utf8')
+    : Promise.resolve(options.e);
+
+  prom.then(runLine(err => { console.error('' + err); process.exit(3) })).catch(err => {
+    console.error(myname + ': ' + err);
+    process.exit(2);
+  });
 }
 
-function runLine(onErr) {
-    return function(source) {
-        if (!source.match(/\S/))
-            return 0; // nothing to see here
-        try {
-            const expr = ski.parse(source);
-
-            const t0 = new Date();
-            for (let state of expr.walk()) {
-                if (state.final && !options.q)
-                    console.log(`// ${state.steps} step(s) in ${new Date() - t0}ms`);
-                if (options.v || state.final)
-                    console.log('' + state.expr.format({terse: options.t}));
-                if (state.final && expr instanceof SKI.classes.Alias)
-                    ski.add(expr.name, state.expr);
-            }
-            return 0;
-        } catch (err) {
-            onErr(err);
-            return 1;
-        }
+function runLine (onErr) {
+  return function (source) {
+    if (!source.match(/\S/))
+      return 0; // nothing to see here
+    try {
+      const expr = ski.parse(source);
+
+      const t0 = new Date();
+      for (const state of expr.walk()) {
+        if (state.final && !options.q)
+          console.log(`// ${state.steps} step(s) in ${new Date() - t0}ms`);
+        if (options.v || state.final)
+          console.log('' + state.expr.format({ terse: options.t }));
+        if (state.final && expr instanceof SKI.classes.Alias)
+          ski.add(expr.name, state.expr);
+      }
+      return 0;
+    } catch (err) {
+      onErr(err);
+      return 1;
     }
+  }
 }
 
-function parseArgs(argv) {
-    const [_, script, ...list] = argv;
-
-    const todo = {
-        '--':     () => { pos.push(...list) },
-        '--help': () => { opt.help = true },
-        '-q':     () => { opt.q = true },
-        '-v':     () => { opt.v = true },
-        '-c':     () => { opt.t = false },
-        '-t':     () => { opt.t = true },
-        '-e':     () => {
-            if (list.length < 1)
-                throw new Error('option ' + next + 'requires and argument');
-            opt.e = list.shift();
-        },
-    };
-
-    // TODO replace with a relevant dependency
-    const pos = [];
-    const opt = {};
-
-    while (list.length > 0) {
-        const next = list.shift();
-
-        if (!next.match(/^-/)) {
-            pos.push(next);
-            continue;
-        }
-
-        const action = todo[next];
-        if (typeof action !== "function")
-            throw new Error('Unknown option ' + next + '; see ski.js --help');
-
-        action();
+function parseArgs (argv) {
+  const [_, script, ...list] = argv;
+
+  const todo = {
+    '--':     () => { pos.push(...list) },
+    '--help': () => { opt.help = true },
+    '-q':     () => { opt.q = true },
+    '-v':     () => { opt.v = true },
+    '-c':     () => { opt.t = false },
+    '-t':     () => { opt.t = true },
+    '-e':     () => {
+      if (list.length < 1)
+        throw new Error('option -e requires an argument');
+      opt.e = list.shift();
+    },
+  };
+
+  // TODO replace with a relevant dependency
+  const pos = [];
+  const opt = {};
+
+  while (list.length > 0) {
+    const next = list.shift();
+
+    if (!next.match(/^-/)) {
+      pos.push(next);
+      continue;
     }
 
-    return [script, opt, pos];
-}
+    const action = todo[next];
+    if (typeof action !== 'function')
+      throw new Error('Unknown option ' + next + '; see ski.js --help');
+
+    action();
+  }
 
+  return [script, opt, pos];
+}

package/index.js

@@ -1,8 +1,16 @@
-const ski = require('./lib/parser');
+const main = require('./lib/parser');
 const quest = require('./lib/quest');
+const extras = require('./lib/extras');
 
-module.exports = { ...ski, ...quest };
-if (typeof window !== 'undefined') {
-  window.SKI = ski.SKI;
-  window.SKI.Quest = quest.Quest;
-}
+main.SKI.Quest = quest.Quest;
+main.SKI.extras = extras;
+
+// SKI_REPL=1 node -r ./index.js
+if (typeof process === 'object' && process.env.SKI_REPL && typeof global !== 'undefined')
+  global.SKI = main.SKI;
+
+// we're in a browser
+if (typeof window !== 'undefined')
+  window.SKI = main.SKI;
+
+module.exports = { ...main, ...quest };