The correctness-by-design duck will bite PHP

In this talk, you'll be introduced to Quack; a type-safe, multi-paradigm, meta-programmable, and extensible programming language that enables you to write consistent and legible code and learn how a language that targets PHP and whose compiler is entirely written in PHP can help you code better.