@calcit/procs 0.13.39 → 0.13.41

package/RFCs/08-05-systematic-nil-reduction-rfc.md

@@ -7,7 +7,7 @@
 
 在不掩盖现有运行时行为的前提下，让类型系统逐步阻止业务代码依赖 `nil`：
 
-- 无业务返回值使用 `Unit`（运行时暂仍由 `nil` 承载）；
+- 无业务返回值使用 `Unit`，新代码以独立的 `&unit` 值表示；
 - 正常的“可能缺失”最终使用名义类型 `Option<T>`；
 - 可恢复失败使用 `Result<T, E>`；
 - JavaScript `null`/`undefined` 只通过 `JsNullish<T>` 进入类型系统；
@@ -64,7 +64,7 @@
 
 ### Unit
 
-`Unit` 只用于副作用操作或明确没有有意义返回值的表达式，例如写文件、注册 watcher。运行时目前仍由 `nil` 承载 Unit，但源码不应因此显式返回 `nil` 或 `;nil`：空函数体直接声明 `Unit`，有副作用的函数让最后一个 Unit effect 自然成为返回项。只有语法必须提供占位节点时才保留 `;nil`，业务代码不得把它当缺失值容器。
+`Unit` 只用于副作用操作或明确没有有意义返回值的表达式，例如写文件、注册 watcher。新代码显式返回 `&unit`；它与 `nil` 不相等、不会通过 `nil?`，JavaScript 后端生成 `void 0`（而 `nil` 仍生成 `null`）。为了兼容既有代码，标注为 `Unit` 的位置仍可接受旧的 `nil`，而 `;nil` 也保留为旧的兼容宏；新业务代码不得把两者当 Unit 标记或缺失值容器。
 
 ### Optional<T>（遗留内部表示）
 

package/RFCs/08-18-calcit-typed-js-ffi-boundary-rfc.md

@@ -237,7 +237,7 @@ defstruct NodeProbe
 ```
 
 当前 probe 使用 `Map<Tag, Dynamic>`，应迁移成命名 Struct。Storage mutation、console、
-timer registration 等只有副作用的 wrapper 应显式以 `nil` 收尾并声明返回 `Unit`，不因
+timer registration 等只有副作用的 wrapper 应显式以 `&unit` 收尾并声明返回 `Unit`，不因
 JavaScript 返回 `undefined` 就暴露 `Dynamic`。
 
 ## 类型表达案例目录

package/editing-history/20260824-0040-option-fold-shared-return.md

@@ -0,0 +1,23 @@
+# option:fold shared callback return type
+
+- Higher-order callback matching must reuse the enclosing generic binding map.
+  A fresh map per callback makes repeated variables such as `option:fold`'s
+  return `U` independent and silently accepts incompatible branch results.
+- Unhinted zero-argument thunks may safely retain a concrete return type from
+  their final expression. This supplies the none-branch binding for `U` while
+  keeping unhinted callbacks with parameters dynamic, avoiding retroactive
+  tightening of existing higher-order call sites.
+- The inferred thunk annotation must preserve `SchemaKind::Macro` for
+  `defmacro` forms, matching the explicit-hint path; a dedicated regression
+  test prevents zero-argument macros from being exposed as ordinary functions.
+- Callback signature matching stages generic bindings and commits them only on
+  success, so a rejected nested callback cannot constrain a later argument.
+  `option:fold` additionally recovers a concrete return type for unhinted
+  callback bodies during its own argument check, including parameterized
+  callbacks, without globally tightening unrelated higher-order calls.
+- Preprocessing regressions cover direct folds, parameterized callbacks, and a
+  user macro expanding to `option:fold`; empty unhinted functions remain
+  dynamic rather than treating their parameter list as a return value.
+- Regression coverage includes the shared-binding matcher and literal thunk
+  inference. The CLI reproduction now fails during preprocessing when a
+  `String` none branch is combined with a numeric Option payload and `identity`.

package/editing-history/20260824-0120-release-0.13.40.md

@@ -0,0 +1,4 @@
+# Release 0.13.40
+
+- Release the merged `option:fold` callback return-type enforcement from PR #397.
+- Keep the Cargo crate and npm package versions aligned, then refresh the workspace lockfile before tagging from `main`.

package/editing-history/202608241218-explicit-unit-literal.md

@@ -0,0 +1,14 @@
+# Explicit Unit literal
+
+- Added `&unit` as a distinct runtime `Calcit::Unit` value. It is intentionally
+  not a bare `unit` identifier, so existing programs can continue to bind a
+  local named `unit`.
+- `&unit` has its own equality, hashing, display, parser/data conversion and
+  `type-of` result. JavaScript emits `void 0`, whereas legacy `nil` continues
+  to emit `null`.
+- Unit schemas accept both `&unit` and legacy `nil` to preserve existing source
+  compatibility. JSON refuses to encode `&unit` so it cannot silently become
+  a nullable application value.
+- Updated JS, IR and WASM code generation plus data-shape validation and
+  documentation. The parser/codegen tests cover the literal and the backend
+  suite passes.

package/editing-history/202608241240-release-01341.md

@@ -0,0 +1,5 @@
+# Release 0.13.41
+
+- Published the explicit `&unit` literal added in PR #402.
+- Kept the Cargo crate and `@calcit/procs` package versions aligned so projects
+  can compile and run code that returns the distinct Unit value.

package/lib/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@calcit/procs",
-    "version": "0.13.39",
+    "version": "0.13.41",
     "main": "./lib/calcit.procs.mjs",
     "devDependencies": {
         "@types/node": "^25.7.0",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@calcit/procs",
-  "version": "0.13.39",
+  "version": "0.13.41",
   "main": "./lib/calcit.procs.mjs",
   "devDependencies": {
     "@types/node": "^25.7.0",