@dallaylaen/ski-interpreter 2.3.1 → 2.3.3

package/CHANGELOG.md

@@ -5,6 +5,24 @@ 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.3.3] - 2026-03-01
+
+### Changed
+
+- `SKI.extras.foldr` is now removed in favor of
+`Expr.foldBottomUp<T>(fun: (expr: Expr, args: T[]) => T): T` 
+with the same semantics but more descriptive name
+and simpler signature.
+_Was experimental (and still is), so not considered a breaking change._
+
+## [2.3.2] - 2026-03-01
+
+### Added
+
+- `SKI.extras.foldr(expr: Expr, fun: (expr: Expr, args: T[]) => T): T` (experimental) -
+apply function `fun` to every term in root position in a subexpression,
+followed by the result of folding its arguments.
+
 ## [2.3.1] - 2026-03-01
 
 ### Fixed

package/lib/ski-interpreter.cjs.js

@@ -292,6 +292,34 @@ var require_expr = __commonJS({
         const [value, _] = unwrap(this._fold(initial, combine));
         return value ?? initial;
       }
+      /**
+       * @experimental
+       * @desc  Fold an application tree bottom to top.
+       *        For each subtree, the function is given the term in the root position and
+       *        a list of the results of folding its arguments.
+       *
+       *        E.g. fold('x y (z t)', f) results in f(x, [f(y, []), f(z, [f(t, [])])])
+       *
+       * @example expr.foldBottomUp((head, tail) => {
+       *    if (head.arity && head.arity <= tail.length) {
+       *      return '(<span class="redex">'
+       *          + head + ' '
+       *          + tail.slice(0, head.arity).join(' ')
+       *          + '</span>'
+       *          + tail.slice(head.arity).join(' ')
+       *          + ')';
+       *    } else {
+       *       return '(' + head + ' ' + tail.join(' ') + ')';
+       *    }
+       * });
+       * @template T
+       * @param {(head: Expr, tail: T[]) => T} fun
+       * @return {T}
+       */
+      foldBottomUp(fun) {
+        const [head, ...tail] = this.unroll();
+        return fun(head, tail.map((e) => e.foldBottomUp(fun)));
+      }
       /**
        * @template T
        * @param {T} initial