The Janus Haiku

One language. Seven promises. Each tier swears one oath.

Janus is a single language with six lenses (plus the language itself). Each tier exists to deliver one human-facing virtue. Not a feature list. A virtue.

The Goal Ladder

Tier	Goal	What it means
Janus	developer happiness	The whole language serves the human first.
`:core`	simplicity	Few rules, clearly placed. Nothing hides the path.
`:script`	productivity	Type it, run it, see. The idea ships now.
`:service`	resilience	Channels, nursery, spawn — services that stay up.
`:cluster`	scale	Actors, grains, supervision, location transparency.
`:compute`	velocity	Tensors and device streams. And `polar[N]` is velocity.
`:sovereign`	trust	Capabilities, pledges, identity — provable, not promised.

Two of these are worth defending out loud:

:compute → velocity, not “performance.” A polar[N] is a direction joined onto a magnitude. The goal-word does double duty: the marketing virtue and the type-system joke. Keep it.
:sovereign → trust, not “sovereignty” (tautological with the profile name) and not “safety” (too defensive). Capability gating produces trust. Sovereignty is how it produces it. Sell the product, not the mechanism.

The Rule of Thumb

Keep English for control flow and logic. Keep sigils for phase and type machinery.

That keeps the poem in the body, and the steel in the skeleton.

This is the contract between the two halves of Janus:

The body — func, if, for, match, return — reads like prose. A reviewer skims it the way they skim an essay.
The skeleton — § (compile-time), $ (extraction), @ (metadata), [T] (generics), *T (pointers), !T (errors) — carries the phase and type machinery. It is dense by design, because it is load-bearing.

When the two mix freely, both lose. English that does type computation becomes ambiguous prose. Sigils that do control flow become line noise. Janus keeps them in their lanes.

Haiku

Three for the docs, the landing page, and the back of the t-shirt.

Janus

Code reads like a thought,
the compiler guards the edge —
joy returns to work.

`:sovereign`

No ambient power,
every effect must ask leave —
trust, forged in the type.

`:compute`

Meaning, not pixels —
direction joined onto weight,
drawn at the far edge.

Where this lives

Landing-page hero: janus-lang-org/index.html
Profile reference: /learn/profiles/
Symbology (the glyph side of the rule): /philosophy/symbology/