HIR — the application lane
HIR is the semantic core. Every target in this lane is a projection of the meaning held there, emitted as source you can read.
These are host languages. The emitter's job is to produce something a human would accept in review, which is why the Rust output stays close to the original shape while TypeScript expands.
Targets#
| Target | Emits | Scenarios shown |
|---|---|---|
| Rust | Rust source | 3 of 3 |
| TypeScript | TypeScript source | 3 of 3 |
| Go | Go source | 3 of 3 |
| Faber | Canonical Faber | 3 of 3 |
A target showing fewer scenarios than the others is not broken. It means the emitter declines that shape, which the pages state directly rather than hiding.
Measured support#
| Target | Capable | Analyzable | Coverage |
|---|---|---|---|
| Rust | 373 | 378 | 99% |
| TypeScript | 378 | 378 | 100% |
| Go | 347 | 378 | 92% |
| Faber | 378 | 378 | 100% |
---