Hack (lenguaje de programación)

Hack es un lenguaje de programación para la Máquina Virtual HipHop (HHVM), creado por Meta (anteriormente Facebook) como un dialecto de PHP . La implementación del lenguaje es software libre y de código abierto , con licencia MIT . ^{[ 2 ] [ 3 ] [ 4 ]}

Hack permite el uso tanto de tipado dinámico como estático . Este tipo de sistema de tipos se denomina tipado gradual , que también se implementa en otros lenguajes de programación como ActionScript . ^{[ 5 ]} El sistema de tipos de Hack permite especificar tipos para argumentos de funciones , valores de retorno de funciones y propiedades de clases ; sin embargo, los tipos de las variables locales siempre se infieren y no se pueden especificar. ^{[ 3 ] [ 6 ]}

Hack se presentó el 20 de marzo de 2014. ^{[ 7 ]} Antes del anuncio del nuevo lenguaje, Facebook ya había implementado el código y lo había probado en una gran parte de su sitio web.

Hack está diseñado para interactuar sin problemas con PHP, un lenguaje de scripting de código abierto ampliamente utilizado, enfocado en el desarrollo web y que puede integrarse en HTML . La mayoría de los scripts PHP válidos también lo son en Hack; sin embargo, muchas características y construcciones del lenguaje PHP menos utilizadas no son compatibles con Hack. ^{[ 8 ]}

Hack amplía la sugerencia de tipos disponible en PHP  5 mediante la introducción del tipado estático, añadiendo nuevas sugerencias de tipos (por ejemplo, para tipos escalares como entero o cadena), así como ampliando el uso de sugerencias de tipos (por ejemplo, para propiedades de clase o valores de retorno de funciones). Sin embargo, no se pueden especificar los tipos de las variables locales. ^{[ 6 ]} Dado que Hack utiliza un sistema de tipado gradual, en el modo predeterminado, las anotaciones de tipo no son obligatorias incluso en los lugares donde no se pueden inferir; el sistema de tipos asumirá que el autor es correcto y admitirá el código. ^{[ 9 ]} Sin embargo, está disponible un modo "estricto" que requiere dichas anotaciones y, por lo tanto, impone un código completamente correcto. ^{[ 10 ]}

La estructura básica de archivos de un script de Hack es similar a la de un script de PHP con algunos cambios. Un archivo de Hack no incluye la <?phpetiqueta de marcado de apertura y prohíbe el uso de declaraciones de nivel superior. ^{[ 11 ]} El código debe colocarse en una función de punto de entrada. Estas se ejecutan automáticamente si están en el archivo de nivel superior, pero no si el archivo se incluye a través de include, require, o el autocargador. Al igual que otras funciones en Hack, los nombres de las funciones deben ser únicos dentro de un proyecto; es decir, los proyectos con múltiples puntos de entrada no pueden llamarse ambos main:

<< __EntryPoint >> function main () : void { echo '¡Hola, mundo!' ; }

El script anterior, similar a PHP, se ejecutará y la siguiente salida se enviará al navegador:

¡Hola Mundo!

A diferencia de PHP, el código Hack y HTML no se mezclan; se debe usar XHP u otro motor de plantillas . ^{[ 8 ]}

// Las funciones de hackeo están anotadas con tipos. function negate ( bool $x ) : bool { return ! $x ; }

• Falangero

• Sitio web oficial y referencia lingüística
• Preguntas y respuestas de Facebook: Hack lleva el tipado estático al mundo de PHP.
• Un tutorial sobre cómo convertir un proyecto PHP existente a Hack
• KPHP: Una semántica formal ejecutable para PHP