[solraph]

It does, and using PHP in strict mode, in combination with tools like phpstan is what led me to looking for a language that is even better in that regard.

If PHP hadn't made advances in it's type system with the 7.x series, I probably would not have stuck with it this long.

However, while PHP the language supports strict typing, it does it at run time (inherently a limitation of scripted languages, I know), rather than compile time.