> No, they wrote a faster runtime. Which includes a statically-typed version of PHP, namely Hack, that they use for their code. > No, they added type annotati

> No, they wrote a faster runtime. Which includes a statically-typed version of PHP, namely Hack, that they use for their code. > No, they added type annotations. Hack's type checking is much more sophisticated than mere “annotations”. That label might be better suited to PHP's type system.