jest
The Jest Programming Language
Star
Fork
Watch

Commits on main

Siobhán Sterrett
Merge branch 'worktree-jest-macro'
committed
Siobhán Sterrett
chore: remove dead native map/filter and dispatch_call_evaled
committed
Siobhán Sterrett
feat: jest! macro — JSON-like syntax for Value construction
committed
Siobhán Sterrett
perf: PIC dispatch, slim slow path, self-healing frozen bootstrap
committed
Siobhán Sterrett
Merge branch 'worktree-type-system'
committed
Siobhán Sterrett
feat: HKT polymorphism, bounded quantification, and effect algebra
committed
Siobhán Sterrett
docs: update FRONTIER.md with self-hosting territory
committed
Siobhán Sterrett
feat: wire self-hosted pattern match compiler into lowering pipeline
committed
Siobhán Sterrett
feat: self-hosted pattern match compiler with quoted pattern transform
committed
Siobhán Sterrett
wip: self-hosted pattern match compiler + const-fold pipeline integration
committed
Siobhán Sterrett
feat: wire self-hosted const-fold into pipeline + equivalence tests
committed
Siobhán Sterrett
feat: self-hosted constant folding — Jest evaluates its own builtins
committed
Siobhán Sterrett
chore: regenerate frozen bootstrap with ir-dce
committed
Siobhán Sterrett
test: DCE equivalence suite — 8 programs, Rust vs Jest byte-identical
committed
Siobhán Sterrett
feat: wire self-hosted DCE into compiler pipeline via feature flag
committed
Siobhán Sterrett
fix: use quote for IR value passing, not scope injection
committed
Siobhán Sterrett
feat: self-hosted DCE — IR↔Value bridge + Jest dead code elimination
committed
Siobhán Sterrett
perf: skip type_level_eval for non-scalar procs (parse 1.9s → 155ms)
committed
Siobhán Sterrett
Merge branch 'worktree-rustiness-audit'
committed
Siobhán Sterrett
perf: cache BuiltinRegistry, ignore synthesize monsters
committed
Siobhán Sterrett
refactor: thread ConstIdx, ObjKeysIdx, TemplateIdx<T> through Op enum
committed
Siobhán Sterrett
Merge commit 'b565dc9' into worktree-rustiness-audit
committed
Siobhán Sterrett
feat: frozen bootstrap — 7x faster startup (220ms → 30ms)
committed
Siobhán Sterrett
refactor: rustiness audit — macros, traits, enums across 14 files
committed
Siobhán Sterrett
feat: complete Chunk serialization round-trip — all 7 missing template types
committed
Siobhán Sterrett
docs: document relate, pat, === in SPEC.md
committed
Siobhán Sterrett
docs: STATUS.md → FRONTIER.md — development frontier, not status report
committed
Siobhán Sterrett
feat: P2 algorithmic debt — sum/variance/sort/floor/cons improvements
committed
Siobhán Sterrett
Merge P5: hygiene cleanup — clippy fixes across 18 files
committed
Siobhán Sterrett
chore: clippy hygiene pass across runtime and compiler
committed
Siobhán Sterrett
Merge P1: dead weight cleanup — remove 1192 lines of dead code
committed
Siobhán Sterrett
chore: remove ~1130 lines of dead code across runtime, compiler, and procs
committed
Siobhán Sterrett
Merge P3: extract typing/check tests, restructure vm.rs execute loop
committed
Siobhán Sterrett
refactor: extract typing/check tests and restructure VM execute loop
committed
Siobhán Sterrett
fix: mixed-format arithmetic panic + variance bug + dead demo script
committed
Siobhán Sterrett
Merge worktree-type-proofs: TypeVar solving, row polymorphism, eval completeness
committed
Siobhán Sterrett
docs: update STATUS.md with type-proofs worktree accomplishments
committed
Siobhán Sterrett
feat: deeper eval completeness — relate, pat, ===, open object eval
committed
Siobhán Sterrett
docs: update STATUS.md with tower redesign, boundary elimination, mixed-format bug
committed
Siobhán Sterrett
feat: row polymorphism — RowRest::Var(TypeVarId) for polymorphic object types
committed
Siobhán Sterrett
perf: eliminate try/catch boundary crossing via sub-VM compilation
committed
Siobhán Sterrett
Merge branch 'main' into worktree-type-proofs
committed
Siobhán Sterrett
feat: TypeVar constraint solving — PolySignature, unify_param, apply_substitution
committed
Siobhán Sterrett
Merge branch 'main' into worktree-interpcall-wasm
committed
Siobhán Sterrett
feat: redesign numeric tower with u32 limb builtins
committed
Siobhán Sterrett
Merge branch 'main' into worktree-type-proofs
committed
Siobhán Sterrett
feat: combined integer constraint — IntervalResidue(Interval, r, m)
committed
Siobhán Sterrett
feat: derive optional keys from deftype predicates
committed
Siobhán Sterrett
refactor: remove legacy type checker paths
committed
Siobhán Sterrett
Merge worktree-type-proofs: has? narrowing + object ops respect optional/absent
committed
Siobhán Sterrett
Merge worktree-interpcall-wasm: compile_bytecode_with_scope + JIT fixes
committed
Siobhán Sterrett
perf: type-aware JIT + compile_bytecode_with_scope
committed
Siobhán Sterrett
feat: compile_bytecode_with_scope + Native64 bench support
committed
Siobhán Sterrett
Merge branch 'main' into worktree-type-proofs
committed
Siobhán Sterrett
feat: has? narrowing + object ops respect optional/absent
committed
Siobhán Sterrett
Merge worktree-interpcall-wasm: fix LoadConst in mu-frame execution
committed
Siobhán Sterrett
fix: LoadConst uses active chunk constants in mu-frame execution
committed
Siobhán Sterrett
Merge worktree-interpcall-wasm: VM perf + BigNum JIT + string interning
committed
Siobhán Sterrett
perf: intern scope variable names (StringId keys)
committed
Siobhán Sterrett
perf: JIT-compile BigNum tower functions (25-50x speedup)
committed