Previous Releases

805.1.2-beta.4 (current public beta)

Patch on the public beta. GitHub Release tag v805.1.2-beta.4. MAJOR 805 means the emit ceiling is PHP 8.5 (the compiler still targets 8.2–8.4 via output.phpVersion). Compiled tyhp/* runtime helpers version independently as 80N.X.Y. tyhpdef/* packages use the version in that package’s composer.json.

Emitted PHP can include PHPStan and Psalm docblocks. In a .tyhp file, <?= is a Tyhp echo and inline HTML stays in source order. Expression trees accept nested arrow functions, array literals, and ?-> method calls. A double-quoted interpolation that fits a template string type is assignable to it. Reading through a possibly null value without narrowing it reports TYHP4198, and a ?-> read is nullable. Readonly classes follow PHP, including a generic readonly class on PHP 8.2. EventLoop::run accepts Promise<void>.

This is a prerelease. Semver compatibility guarantees apply from the first stable 805.N.N, not from beta. See Roadmap and Release Planning.

805.1.2-beta.3

Patch on the public beta. GitHub Release tag v805.1.2-beta.3. MAJOR 805 means the emit ceiling is PHP 8.5 (the compiler still targets 8.2–8.4 via output.phpVersion). Compiled tyhp/* runtime helpers version independently as 80N.X.Y (source 0.3 → 802.0.3–805.0.3 for tyhp/core). tyhpdef/* packages use the version in that package’s composer.json.

805.1.1-beta.3

An untyped local initialized with a literal now keeps the widened scalar as its declared type, so a later assignment of another value of that scalar type-checks. A tyhpdef backed enum is treated as backed when the declaration has a backing type, so case values type-check.

Release History