To develop safer and more reliable applications, we don't have to wait for progress in PHP language itself anymore. Plenty of advanced concepts known from other languages like generics, precise array shapes, or number ranges can be expressed in PHPDocs and verified by static analysis.

In this talk I'll introduce the new types that have recently been added to PHPStan and show you how to use them in practice.

You will learn:

* How you can use PHPDocs to provide and document extra type information to static analysers, IDEs, and developers working with your code.
* Advanced types that don't yet exist natively in PHP, but can be used in PHPDocs for developing of more type-safe codebase
* Type theory about union vs. intersection types