Act I
the board
Scala 3 craft, from the first effect.
I write libraries that make the honest path the one that compiles. Docs that are programs. SQL the compiler can see. HTTP as an effect, for humans, systems, and agents. CI the build already knows. UI with the same ZIO you use everywhere else.
Act II
Craft is what still holds after the clever bit has worn off.
01
A page is a program. Examples assert under zio-test. A red snippet fails CI instead of lying to the next reader.
02
If the database cannot RETURNING, the call does not compile. States and events are enums. A BoundOp is the capability; HTTP and MCP are hosts.
03
YAML does not get a vote. The module graph describes CI. Jar names stay cache-stable between tags. JS splices without Node.
04
The same ZIO you already trust, all the way to the DOM. No virtual DOM. Tests fire the control the UI shows.
Act III
Write, prove, ship. One vertical. Cards refresh from live metadata when JavaScript runs.
HTTP, UI, SQL, state, and machines as typed ZIO.
HTTP as an effect. One BoundOp for humans, systems, and agents: HTTP, OpenAPI, MCP, stdio.
Effect-native reactive UI for Scala 3. Renders straight to the DOM: no virtual DOM, no diffing.
Unidirectional state on ZIO. Actions, handlers, lenses. JVM, Scala.js, and Native.
Type-safe SQL for Scala 3 and ZIO. Injection is a compile error. Dialects gate what exists.
Typed finite state machines on ZIO. States and events as enums. Assemblies checked at compile time.
Docs, tests, and diagrams that cannot drift.
CI the build already knows. No Node tax for Scala.js.
Act IV
This page is Ascent on ZIO. Library cards refresh from live metadata when JavaScript runs.
heddle · this compiles
Endpoint.get("users" / int("id")).out[User].mcpthis does not
a second tool DSL beside the REST routes
BoundOp is the capability. HTTP, OpenAPI, and MCP are hosts, not copies.
Act V
I am Russ White. I break and make software and hardware, from Nashville. Early Effect is the public record of that: Scala 3 and ZIO tools I wanted in my own hands and did not want to keep private. If a type can carry the domain, it should. If a doc can lie, it should fail CI instead.