They also transformed php into a very similar language (hacklang) and built a type checker for that.