Handbook
Poi is not a more convenient TypeScript. Convenience is a side-effect. The product is the constraints.
| Rust | Poi |
|---|---|
| Crashes, leaks, data races | Unhandled async, swallowed errors, missing branches |
| Ownership / borrow | Exhaustive match, Option/Result/Async, foreign unknown |
| Incorrect programs fail to compile | Same bar for logic failure modes |
Extreme constraint systems (Idris, Coq, strict Haskell) stayed niche because humans could not afford the pain. AI collapses the cost of satisfying strict constraints without collapsing their value.
Good constraints make the correct fix cheaper than cheating (as TypeScript mostly does). A constraint AI can stably bypass is an unfinished constraint — tighten the gradient, do not blame the model.
Full thesis: in-repo docs/08-thesis.md.