tjs-lang 0.8.3 → 0.8.4

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (24) hide show
  1. package/CLAUDE.md +1 -1
  2. package/demo/docs.json +7 -7
  3. package/dist/experiments/predicates/css.predicates.d.ts +13 -0
  4. package/dist/experiments/predicates/verify.d.ts +39 -0
  5. package/dist/index.js +101 -97
  6. package/dist/index.js.map +4 -4
  7. package/dist/src/lang/index.d.ts +2 -0
  8. package/dist/src/lang/predicate-schema.d.ts +39 -0
  9. package/dist/src/lang/predicate.d.ts +103 -0
  10. package/dist/src/lang/transpiler.d.ts +2 -0
  11. package/dist/src/vm/runtime.d.ts +22 -0
  12. package/dist/tjs-eval.js +29 -29
  13. package/dist/tjs-eval.js.map +3 -3
  14. package/dist/tjs-from-ts.js +1 -1
  15. package/dist/tjs-from-ts.js.map +2 -2
  16. package/dist/tjs-lang.js +86 -82
  17. package/dist/tjs-lang.js.map +4 -4
  18. package/dist/tjs-vm.js +45 -45
  19. package/dist/tjs-vm.js.map +3 -3
  20. package/package.json +1 -1
  21. package/src/lang/runtime.test.ts +46 -0
  22. package/src/runtime.test.ts +6 -6
  23. package/src/vm/equality.test.ts +59 -0
  24. package/src/vm/runtime.ts +26 -59
package/CLAUDE.md CHANGED
@@ -314,7 +314,7 @@ Full syntax documentation is in [`CLAUDE-TJS-SYNTAX.md`](CLAUDE-TJS-SYNTAX.md).
314
314
  - **Bang access**: `x!.foo` — returns MonadicError if `x` is null/undefined, otherwise bare `x.foo`. Chains propagate: `x!.foo!.bar`.
315
315
  - **Type/Generic/FunctionPredicate**: Three declaration forms for runtime type predicates
316
316
  - **`const!`**: Compile-time immutability, zero runtime cost
317
- - **Equality**: `==`/`!=` = structural equality by default in native TJS (via `Is`/`IsNot`), `===`/`!==` = identity
317
+ - **Equality**: `==`/`!=` in native TJS (via `Eq`/`NotEq` under `TjsEquals`) are **footgun-free `===`** — they unwrap boxed primitives (`new Boolean(false) == false`) and treat `null`/`undefined` as equal, but do **NOT** coerce types (`'5' != 5`, `'' != false`) and are **NOT structural** (distinct objects/arrays are distinct: `{a:1} != {a:1}` — a real distinction, and structural `==` would be a silent O(n) hit). For deep structural comparison use the `Is`/`IsNot` function (or a type's `.Equals` hook). `===`/`!==` = strict identity.
318
318
  - **Polymorphic functions**: Multiple same-name declarations merge into arity/type dispatcher
319
319
  - **`extend` blocks**: Local class extensions without prototype pollution
320
320
  - **WASM blocks**: Inline WebAssembly compiled at transpile time, with SIMD intrinsics and `wasmBuffer()` zero-copy arrays