v1.0.0Stable Baseline
Initial stable baseline release of Obfusku, completing the transition from the legacy prototype to a clean, multi-crate workspace architecture backed by normative specifications, Hindley-Milner type inference, and constant-stack runtime execution.
Key Highlights & Additions
- Frozen symbolic Unicode surface syntax: λ, ≔, ⟡, ⟢, ▷, ☄, ☊, ❧.
- Closed core type system: ⟁ Int, ⧆ Real, ⌘ Str, ○ Bool, ∅ Unit, with no implicit numeric coercions.
- User-defined Algebraic Data Types (ADTs) with declared variant constructors and recursive type applications (List ▷ t).
- Exhaustive pattern matching with structural deconstruction, boolean discriminants (◉/◎), and wildcards (_).
- Closed Exception ADT with dynamic-extent unwinding via raise (☄) and catch (☊).
- Modular workspace architecture: decoupled frontend/backend across 7 crates (obfusku-core, -diagnostics, -syntax, -typecheck, -runtime, -fmt, -cli).
- Hindley-Milner type inference: Algorithm W implementation with polymorphic generalization and unification.
- Trampoline-based tail-call optimization (TCO) for constant stack depth on recursive functions.
- Unified obfusku CLI with run, check, fmt, inspect, and repl, plus multi-line diagnostics with source span highlights.
