A lot of people can't easily leave PHP, because they work at companies that use it. Tools like [Psalm](https://psalm.dev https://psalm.dev), [Phan](https://gith

A lot of people can't easily leave PHP, because they work at companies that use it. Tools like [Psalm](https://psalm.dev https://psalm.dev), [Phan](https://github.com/phan/phan https://github.com/phan/phan) and [PHPStan](https://github.com/phpstan/phpstan https://github.com/phpstan/phpstan) have cropped up to help users deal with PHP's slight type system.