@dallaylaen/ski-interpreter 1.0.1 → 1.2.0

package/CHANGELOG.md

@@ -0,0 +1,75 @@
+# Changelog
+
+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).
+
+## [1.2.0] - 2025-12-14
+
+### BREAKING CHANGES
+
+- Remove `toString()` options, use `format()` instead.
+- Make `needsParens()` private (should've been to begin with)
+- Remove unused `renameVars()` method.
+- Remove Expr.`toJSON()`
+
+### Added
+
+- SKI: `toJSON()` now recreates declarations exactly, preserving named subexpressions.
+- SKI: `declare()` / `bulkAdd()` methods to export/import term definitions.
+- Expr: `format(options?)` method for pretty-printing expressions with various options: html, verbosity, custom lambdas, custom brackets etc.
+- Expr: `subst(find, replace)` now works for any type of find  except application and lambdas.
+- Playground: permalinks now use #hash instead of a ?query string. (Old links still supported).
+- Playground: togglable frames around subexpressions & variable/redex highlighting.
+
+## [1.1.0] - 2025-12-07
+
+### BREAKING CHANGES
+
+- Expr: canonize() renamed to guess(), output semantics changed
+  & returns nothing for non-normalizable terms.
+  Always check `result.normal` to be true.
+- Expr: wantsArgs() removed.
+- Quest: LinearCase class replaced with PropertyCase
+  supporting boolean properties `normal`, `proper`, `discard`, `duplicate`,
+  `linear`, and `affine`, and numeric `arity`.
+
+### Added
+- Expr: guess() method to normalize terms.
+  Returns an object with `normal`: boolean and `steps`:
+  number properties, as well as optional `expr`: Expr -
+  equivalent lambda expression; `arity`: number,
+  and other properties.
+- Expr: replace(terms: Expr[], options: {}) replaces
+  subtrees with matching canonical form (if they have one).
+- Expr: expect(expr: Expr, comment: string?) now handles coments like proper assertion.
+- Quest: PropertyCase class for matching based on term properties.
+- Proper changelog
+- Lots of new quests at https://dallaylaen.github.io/ski-interpreter/quest.html
+
+### Fixed
+- Expr: equals() and expect() handle aliases correctly.
+- Expr: run() always executes at least 1 step.
+- Quest: improve typedefs
+- package.json: rely on `npx` instead of handwritten scripts, improve dev dependencies.
+
+## [1.0.1] - 2025-07-18
+
+### Fixed
+
+- README.md
+
+## [1.0.0] - 2025-07-18
+
+### Added
+
+- Parser
+    - B, C, I, K, S, W
+    - Church numerals
+    - Lambdas as `x -> expr`
+    - Declare new terms `foo = expr`
+- Quest engine
+- Basically everything
+
+

package/README.md

@@ -130,6 +130,7 @@ REPL comes with the package as [bin/ski.js](bin/ski.js).
 
 * "To Mock The Mockingbird" by Raymond Smulian.
 * [combinator birds](https://www.angelfire.com/tx4/cus/combinator/birds.html) by [Chris Rathman](https://www.angelfire.com/tx4/cus/index.html)
+* [Fun with combinators](https://doisinkidney.com/posts/2020-10-17-ski.html) by [@oisdk](https://github.com/oisdk)
 
 # License and copyright
 

package/bin/ski.js

@@ -69,7 +69,7 @@ function runLine(onErr) {
                 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.toString({terse: options.t}));
+                    console.log('' + state.expr.format({terse: options.t}));
                 if (state.final && expr instanceof SKI.classes.Alias)
                     ski.add(expr.name, state.expr);
             }