The Hack language adds several missing features to PHP, most notably static typing. It was developed by Facebook for their HipHop VM. Via soy.