@dallaylaen/ski-interpreter 2.3.3 → 2.4.0

package/CHANGELOG.md

@@ -5,6 +5,22 @@ 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.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,16 @@ npm install @dallaylaen/ski-interpreter
   * `--verbose` - Show all evaluation steps
   * Example: `ski file script.ski`
 
-* **`quest-check <files...>`** - Validate quest definition files
+* **`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 normalizing 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.
 

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
@@ -58,7 +59,7 @@ program
 
 // 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) => {
@@ -214,7 +215,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 +265,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;
   });