Tsonnet #47 - The devil in the details #3
Making the type checker manifest every lazy type so cycles can't slip through to the interpreter.
Bit Maybe Wise
I write some bits here, maybe they are wise.
Live Last read · last published · next check
Latest episodes
Tsonnet #46 - The devil in the details #2
Adding missing cycle-check variants to the type checker, then replacing the entire proactive AST-walking approach with on-demand detection during translation.
Tsonnet #45 - The devil in the details #1
Closing every scope-checking blind spot exposed by removing catch-all patterns — conditionals, field access chains, function definitions, function calls, and closures.
Tsonnet #44 - The devil in the details #0
Removing catch-all pattern matches to expose unhandled expression variants across the compiler pipeline.
ABEND dump #27
Welcome to the ABEND dump #27!
Tsonnet #43 - Object fields, now with an opt-out clause
Tsonnet gains computed field names, letting object fields exist conditionally.
Tsonnet #42 - If then else (finally)
Implementing conditionals in Tsonnet, from grammar rules to mojito recipes.
Tsonnet #41 - Call me maybe, but make it argless
Fixing function calls with zero arguments, solved with a one-word grammar change.
Tsonnet #40 - Call me maybe, but make it typed, part 6
Tsonnet adds named parameters at call sites, closing out six posts on function support.
Tsonnet #39 - Call me maybe, but make it typed, part 5
Tsonnet gets methods
Tsonnet #38 - Call me maybe, but make it typed, part 4
Tsonnet's function type variants get a record makeover — trading opaque tuples for named fields
Tsonnet #37 - Call me maybe, but make it typed, part 3
Tsonnet gains closures — both bound to locals and immediately invoked.
Tsonnet #36 - Call me maybe, but make it typed, part 2
Tsonnet gains default function arguments — with types inferred at declaration time.
Tsonnet #35 — Call me maybe, but make it typed, part 1
Tsonnet gains basic function support — positional parameters, multiline bodies, and type inference that resolves at call time.
ABEND dump #26
Welcome to the ABEND dump #26!
Tsonnet #34 - Dabbling with untouched bindings
Tsonnet gains warnings for unused variables and untouched object fields
Tsonnet #33 - The arithmetic tutorial must go on
Tsonnet gains object merging via the + operator and proper division-by-zero errors, completing (almost) the Jsonnet arithmetic tutorial.
Tsonnet #32 - != done, but getting there
Tsonnet gains a full set of binary operators
Tsonnet #31 - Taking back control of equality
Cleaning up a messy equality implementation by introducing a new AST variant.
ABEND dump #25
AI, AI everywhere!