Hack | ||
---|---|---|
Desarrollador(es) | ||
Facebook https://hacklang.org | ||
Información general | ||
Apareció en | 2014 | |
Diseñado por | Marcos de la Cruz, David Carvajal, Alok Menghrajani, Drew Paroski, and others[1] | |
Sistema de tipos | Tipado estático, Tipado dinámico, Tipado débil | |
Influido por | PHP, Java, C# | |
Sistema operativo | Multiplataforma | |
Licencia | Licencia MIT[2] | |
Hack es un lenguaje de programación de alto nivel para la Máquina Virtual HipHop (HHVM), creado por Facebook como una extensión del lenguaje PHP. La implementación del lenguaje es de código abierto, licenciado bajo la licencia MIT.[2][3][4] Fue introducido en marzo del 2014.
Hack permite a los programadores utilizar tanto tipado dinámico y tipados estáticos. Este tipo de sistema de tipos se le llama tipificación gradual, y también se aplica en otros lenguajes de programación como ActionScript.[5] Hacks permite tipeos que se especifican para argumentos de la función, los valores de retorno de funciones y propiedades de la clase, sin embargo, los tipos de variables locales no se pueden especificar.[3][6][7]
Los ingenieros de Facebook Bryan O'Sullivan, Julien Verlaguet y Alok Menghrajani[8] han pasado los últimos años creando un lenguaje de programación diferente a cualquier otro, que permite crear sitios web complejos y a gran velocidad, sin dejar de asegurar que el código funciona de manera precisa.
Hack interactúa perfectamente con PHP, que es un lenguaje de scripting de código abierto, de uso general ampliamente utilizado, que está especialmente diseñado para el desarrollo de páginas web y puede ser integrado en páginas HTML. La mayoría de los scripts PHP también son válidos en Hack, sin embargo, funciones y construcciones del lenguaje PHP de uso menos frecuente no están soportados en Hack.[9]
Hack extiende la determinación de tipos type hinting disponible en PHP 5 a través de la introducción de tipados estáticos, mediante la adición de algunos nuevos (por ejemplo, para los tipos escalares como enteros o cadenas de texto), así como mediante la ampliación del uso de pistas de tipado (por ejemplo, para propiedades de clase o valores de retorno de funciones). Sin embargo, los tipados de variables locales no se pueden especificar .[6][7] Dado que Hack utiliza un sistema de tipificación gradual, en el modo predeterminado, escribir anotaciones no es obligatorio, incluso en lugares que no se pueden deducir; el sistema de tipos asumirá que el autor esta en lo correcto y admitirá el código.[10] Sin embargo, está disponible un modo "estricto" , donde este tipo de anotaciones son requeridas.[11]
La estructura de un archivo básico de script Hack es similar a un script PHP con algunos cambios. Un archivo Hack comienza con <?hh en lugar de <?php de un script de PHP:
<?hh
echo 'Hola Mundo';
El script anterior, similar a PHP, será ejecutado y la siguiente salida se envía al navegador:
Hola Mundo
Un punto importante a destacar es que a diferencia de PHP, Hack y el código HTML no se mezclan. Normalmente se pueden mezclar PHP y HTML código juntos en el mismo archivo, así:
<html>
<head>
<title>Prueba de PHP</title>
</head>
<body>
<!-- php y html no se mezclan -->
<?php echo '<p>Hola Mundo</p>'; ?>
</body>
</html>
Hack permite que se especifiquen los tipos de datos para los valores de retorno de las funciones y para sus argumentos. Las funciones en Hack, por lo tanto, se declaran con tipos, como se muestra en el siguiente código:
<?hh
// Las funciones en Hack se declaran con tipos.
function negar(bool $x): bool {
return !$x;
}