Articles, architecture deep-dives, release notes, and tutorials from the TypePHP team.
Why the dream of native generics eliminating DocBlock comments in PHP is an illusion, the fundamental disconnect between generic classes and untyped arrays, and why the comment tax is here to stay.
Celebrating the release of v0.8.0! This release brings array shape composition, discriminator-aware union diagnostics, conditional parameters, and a zero-I/O production mode to the PHP ecosystem.
An exploration of why static analyzers sometimes force developers into anti-patterns to satisfy theoretical purity, Cecil Curry's insight from Beartype, and how runtime type checking restores sanity.
A deep-dive into how profiling TypePHP on Shopware 6 took my test execution from 3 hours 7 minutes down to 2 minutes 9 seconds, and how runtime checking exposed over 400 dynamic DocBlock lies that PHPStan Level MAX couldn't catch.
A step-by-step tutorial on making third-party collections (Doctrine ArrayCollection, Ramsey Collection) reified and strictly type-checked at runtime using path whitelisting and TypePHP extensions.