@dallaylaen/ski-interpreter 2.3.3 → 2.4.1

package/CHANGELOG.md

@@ -5,6 +5,34 @@ 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.4.1] - 2026-03-06
+
+### Added
+
+- expr.run({maxSize: number ?? 1_000_000}) to prevent runaway reductions (fixes #14).
+- `ski.js infer <expression>` command to infer properties of an expression.
+
+### Fixed
+
+- quests use shorter Y combinator form internally (#13)
+- history in the playground is scrolled to the bottom.
+
+## [2.4.0] - 2026-03-06
+
+### BREAKING CHANGES
+
+- Remove Expr.freeOnly method, use `!this.any(e => !(e instanceof FreeVar || e instanceof App))` instead;
+- Remove Expr.weight() function because it's too ambiguous, use `fold (...)` instead.
+- Remove `{ Quest }` from exports, use `SKI.Quest` instead.
+- Rename `ski.js quest-check` to `ski.js quest-lint` for clarity.
+
+### Added
+- Rewrite the whole thing in TypeScript.
+
+### Fixed
+- Avoid name clashes with existing variables in infer()
+([#15](https://github.com/dallaylaen/ski-interpreter/issues/15))
+
 ## [2.3.3] - 2026-03-01
 
 ### Changed

package/README.md

@@ -99,9 +99,18 @@ npm install @dallaylaen/ski-interpreter
   * `--verbose` - Show all evaluation steps
   * Example: `ski file script.ski`
 
-* **`quest-check <files...>`** - Validate quest definition files
+* **`infer <expression>`** - try to find equivalent lambda expression and display its properties if found. 
+
+* **`extract <expression> <known term> ...`** - 
+  Replace parts of the expression that are equivalent to the known terms with the respective terms. Known terms must be normalizable.
+
+* **`search <expression> <known term> ...`** - 
+  Attempt to brute force an equivalent of the _expression_ using only the _known terms_.  
+  Only normalizable terms are currently supported. 
+
+* **`quest-lint <files...>`** - Validate quest definition files
   * `--solution <file>` - Load solutions from a JSON file for verification
-  * Example: `ski quest-check quest1.json quest2.json --solution solutions.json`
+  * Example: `ski quest-lint quest1.json quest2.json --solution solutions.json`
 
 If no subcommand is provided, help is displayed.
 
@@ -143,7 +152,7 @@ const final = expr.run({max: 1000}); // { steps: 42, expr: '...' }
 const iterator = expr.walk();
 
 // applying expressions
-const result = expr.run({max: 1000}, arg1, arg2 ...);
+const result = expr.run({max: 1000}, arg1, arg2, ...);
 // same sa
 expr.apply(arg1).apply(arg2).run();
 // or simply

package/bin/ski.js

@@ -4,14 +4,15 @@ const fs = require('node:fs/promises');
 const { Command } = require('commander');
 
 const { SKI } = require('../lib/ski-interpreter.cjs');
-const { Quest } = require('../src/quest.js');
+const { Quest } = SKI;
+const { version } = require('../package.json');
 
 const program = new Command();
 
 program
   .name('ski')
   .description('Simple Kombinator Interpreter - a combinatory logic & lambda calculus parser and interpreter')
-  .version('2.2.1');
+  .version(version);
 
 // REPL subcommand
 program
@@ -40,12 +41,12 @@ program
     evaluateFile(filepath, options.verbose);
   });
 
-// Search subcommand
+// Infer subcommand
 program
-  .command('search <target> <terms...>')
-  .description('Search for an expression equivalent to target using known terms')
-  .action((target, terms) => {
-    searchExpression(target, terms);
+  .command('infer <expression>')
+  .description('Find a canonical form of the expression and its properties')
+  .action((expression) => {
+    inferExpression(expression);
   });
 
 // Extract subcommand
@@ -56,9 +57,17 @@ program
     extractExpression(target, terms);
   });
 
+// Search subcommand
+program
+  .command('search <target> <terms...>')
+  .description('Search for an expression equivalent to target using known terms')
+  .action((target, terms) => {
+    searchExpression(target, terms);
+  });
+
 // Quest-check subcommand
 program
-  .command('quest-check <files...>')
+  .command('quest-lint <files...>')
   .description('Check quest files for validity')
   .option('--solution <file>', 'Load solutions from file')
   .action((files, options) => {
@@ -155,6 +164,41 @@ function processLine (source, ski, verbose, onErr) {
   }
 }
 
+function inferExpression (expression) {
+  const ski = new SKI();
+
+  const expr = ski.parse(expression);
+  const guess = expr.infer();
+
+  if (guess.normal) {
+    displayInfer(guess);
+    return;
+  }
+  // hard case...
+  let steps = guess.steps;
+  const canon = expr.traverse(e => {
+    const g = e.infer();
+    steps += g.steps;
+    return g.expr;
+  });
+
+  displayInfer({ expr: canon, steps, normal: false, proper: false });
+}
+
+/**
+ *
+ * @param {TermInfo} guess
+ */
+function displayInfer (guess) {
+  if (guess.expr)
+    console.log(guess.expr.format());
+
+  for (const key of ['normal', 'proper', 'arity', 'discard', 'duplicate', 'steps']) {
+    if (guess[key] !== undefined)
+      console.log(`// ${key}: ${guess[key]}`);
+  }
+}
+
 async function questCheck (files, solutionFile) {
   try {
     // Load solutions if provided
@@ -214,7 +258,7 @@ async function questCheck (files, solutionFile) {
     // Exit with appropriate code
     process.exit(hasErrors ? 1 : 0);
   } catch (err) {
-    console.error('Error in quest-check:', err.message);
+    console.error('Error in quest-lint:', err.message);
     process.exit(2);
   }
 }
@@ -264,9 +308,11 @@ function extractExpression (targetStr, termStrs) {
 
   const replaced = expr.traverse(e => {
     const canon = e.infer().expr;
-    for (const [lambda, term] of pairs) {
-      if (canon.equals(lambda))
-        return term;
+    if (canon) {
+      for (const [lambda, term] of pairs) {
+        if (canon.equals(lambda))
+          return term;
+      }
     }
     return null;
   });