Typed PHP, Stronger Types for Cleaner Code

PHP is inescapably procedural and messy, when it comes to working with simple types. Let's see what we can do about that…