This document discusses various techniques for adding static and strict typing to PHP code. It describes how type hinting works in PHP 5+ and 7 to add scalar type hints. It also discusses extensions like SPL_TYPES and Zephir that aim to make PHP a stronger typed language. The document then covers asynchronous PHP and how it can be achieved through extensions like React and libraries like Ratchet for real-time applications over websockets. Pthreads is discussed as a way to add multithreading to PHP applications.