A statically typed language for HHVM Type Hinting Static anaylyser (hh_client/hh_server) Comparable with PHP, Evolved from PHP Impossible to Google Integrates with extension writing