hacklang

¿Cuáles son los beneficios de OCaml como lenguaje de programación detrás de Hacklang y Flow?

Recientemente, Facebook anunció Flow, un comprobador de tipo estático para JavaScript, que se implementa principalmente en OC ... n OCaml. Por lo tanto, me pregunto cuáles son los beneficios distintivos de OCaml para hacer un comprobador de tipo estático?

¿El código escrito en Hack es más rápido que el código escrito en PHP en HHVM?

¿Podemos esperar una ganancia de velocidad al pasar de PHP a hackear en HHVM? Estoy pensando en los parámetros fuertemente ... go a código nativo, o es la ganancia de velocidad insignificante en comparación con el uso de PHP clásico y sus tipos mixtos?