Note
The two flagships are Story 08 — the type checker (the correctness engine on the spine) and Story 16 — parsable lambdas / expression trees (the marquee feature that enables LINQ-style query builders and ORMs).
Tier 3 · Story 30Complete
Tyhp is built in a deliberately ordered sequence of stories, grouped into four tiers. The guiding principle is a thin vertical slice that compiles and runs end-to-end as early as possible.
This beta (805.1.0-beta.1) is Tier 2 through 21.12. Stories 27 (object shapes), 27.1 (callable shapes + type Name = struct { };), 27.2 (block-target extension syntax), and 27.3 (split runtime / docs / AIDevGuide / IDE plugin into dedicated git repos) are next, still in this beta, before deferred Story 22. Other stories remain planned unless noted below.
Stories are numbered contiguously from 01 to 30 with additive sub-stories (08.5, 10.5, 14.5, 16.5, 19.5, 20.5, 27.1, 27.2, 27.3). Each documentation page carries a Tier/Story badge.
The two flagships are Story 08 — the type checker (the correctness engine on the spine) and Story 16 — parsable lambdas / expression trees (the marquee feature that enables LINQ-style query builders and ORMs).
__ClassName, template string types, …).805.0.0).__CallableParametersStruct / __CallableParametersTuple / __CallableReturnType).tyhp-lang) (shipped).generate_tyhpdef and package.tyhpdef on tyhp build shipped, plus --php-targets gated emit).declare(php=…) / #[\Tyhp\Php]).tyhpdef/php + tyhpdef/php-ext-*; one package per extension across 8.2–8.5 with declare(php=…) / #[\Tyhp\Php] gates). Includes the built-in scalar method catalog ($name->toUpper(), …) via global use extension \Tyhp\StringExtensions.__New<T> (next).type Name = struct { }; (after 27).extension Name extends Type; after 27.1 in numbering, may run in parallel).internal project-boundary enforcement and the internals overlay (includeInternals) (the modifier itself already hides symbols from published package.tyhpdef; see The internal Visibility Modifier).Story 28 (generic defaults) shipped with the alpha; see Tier 1 above.
Compiled Tyhp code depends on Composer packages under the tyhp/ vendor (GitHub org tyhpproject):
tyhp/core — type-system support, typed variables, property accessors, and disposable interfacestyhp/async — Promise<T>, event loop, cancellation tokens, deferred execution, and async iteratorstyhp/decimal — the decimal type with operator-overload support for precise arithmetictyhp/lambda — expression-tree nodes, visitors, and serialization for parsable lambdastyhpdef/php — PHP builtin tyhpdefs (8.2 baseline in the alpha)Tyhp's long-term goal is a typed superset of the PHP language in the same role TypeScript has for JavaScript: compile-time types, readable PHP output, and use of the existing PHP runtime and ecosystem.