Skip to content
ESOLANG · RELEASE NOTES

Obfusku

Official chronological publication record and release milestones for Obfusku.

v1.0.0Stable Baseline
View release on GitHub

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.