TypePHP v0.12.0: The Zero-Overhead Compile-Time Optimization Engine
Celebrating v0.12.0! Featuring Compile-Time AST Check Elimination, lexical zero line-drift parsing, by-reference mutation tracking, and backed Enum bitmasks.
TypePHP Blog & Engineering Insights
Articles, architecture deep-dives, release notes, and tutorials from the TypePHP team.
The 'No More DocBlocks' Illusion: Why Native Generics Would Never Kill the Comment Tax in PHP
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.
TypePHP v0.8.0: Schema Composition, Conditional Parameters, and Smart Diagnostics
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.
When Static Analyzers Teach You the Wrong Way: The Dogma of Variance and the Pursuit of Working QA
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.
From Sluggish to Blazing Fast: How I Made TypePHP 90x Faster and Uncovered 400+ 'DocBlock Lies' on Shopware 6
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.