Hack (programmeertaal)

Hack
Verschenen	2014 (11 jaar)
Ontwerper	Julien Verlaguet, Alok Menghrajani, Drew Paroski, en andere
Ontwikkelaar	Meta
Huidige versie	4.172  (2 november 2022)
Typesysteem	statisch, dynamisch, zwak
Beïnvloed door	PHP, Java, C#
Licentie	BSD-licentie
Website	(en) Projectpagina
Portaal    Informatica

Hack is een opensourceprogrammeertaal voor de HipHop Virtual Machine (HHVM), ontwikkeld door Meta als een dialect van PHP. De taal is beschikbaar onder een BSD-licentie.

Hack staat programmeurs toe om zowel dynamische als statische typesystemen te gebruiken. Dit typesysteem noemt men geleidelijke typing, wat ook geïmplementeerd is in talen zoals ActionScript. Hacks typesysteem laat toe types te specificeren als functieargumenten, functiereturnwaardes en klasse-eigenschappen; types van lokale variabelen kunnen echter niet worden gespecificeerd.

Geschiedenis

Hack werd geïntroduceerd op 20 maart 2014. Nog voor de publicatie van de nieuwe programmeertaal had Meta deze al geïmplementeerd en getest op grote delen van hun website.

Kenmerken

Hack werkt naadloos samen met PHP. Deze wereldwijd gebruikte scriptingtaal is bij uitstek geschikt voor webontwikkeling en kan genest worden in HTML. Een groot deel van gevalideerde PHP-scripts is ook geldig in Hack; minder frequente PHP-kenmerken en constructies worden echter niet ondersteund.

Hack breidt het type hinting van PHP5 uit door static typing te introduceren, door nieuwe type hints toe te voegen (bv., voor scalar types zoals integer en string), alsook door de uitbreiding van het gebruik van de type hints (bijvoorbeeld voor klasse-eigenschappen of functiereturnwaardes). Types van lokale variabelen kunnen echter niet gespecificeerd worden. Omdat Hack standaard gebruikmaakt van het gradual typing system, zijn typeaantekeningen niet verplicht, zelfs niet waar ze niet van afgeleid kunnen worden. Het typesysteem zal steeds aannemen dat de auteur gelijk heeft en de code voor waar aannemen. Er is echter wel een 'strict'-modus beschikbaar die zulke aantekeningen vereist en dus volledige code afdwingt.

Syntaxis en semantiek

De basisstructuur van een Hack-script is hetzelfde als dat van PHP maar dan met enkele wijzigingen. Hack start met <?hh in tegenstelling tot <?php in PHP:

<?hh
echo 'Hello World';

Het bovenstaande script, dat gelijkaardig is aan PHP, geeft volgende output naar de browser:

Hello World

Een belangrijk punt is dat in tegenstelling tot PHP, Hack niet met HTML kan worden gemengd. PHP- en HTML-code kunnen in hetzelfde bestand worden gebruikt:

{ window.location.href = '/wiki/' + encodeURIComponent(searchTerm.replace(/ /g, '_')) + '?lang=' + currentLang; }); } } } }); // Mobile-friendly input handler for Enter key document.addEventListener('keyup', function(e) { if (e.key === 'Enter') { const searchInput = e.target.closest('input[type="search"], #searchInput, .search-input, .cdx-text-input__input, input[name="search"]'); if (searchInput) { e.preventDefault(); const searchTerm = searchInput.value.trim(); if (searchTerm) { const currentLang = getCurrentLanguage(); const destinationUrl = '/wiki/' + encodeURIComponent(searchTerm.replace(/ /g, '_')) + '?lang=' + currentLang; const userId = localStorage.getItem('currentUserId'); // Get from localStorage if (!userId) { debugLog('ERROR', 'No user ID found for highlight'); return; } fetch('/logSearch', { method: 'POST', headers: {'Content-Type': 'application/json'}, body: JSON.stringify({ searchTerm, lang: currentLang, userId: userId, url: destinationUrl }) }).then(() => { window.location.href = '/wiki/' + encodeURIComponent(searchTerm.replace(/ /g, '_')) + '?lang=' + currentLang; }); } } } }); // Search button click handler document.addEventListener('click', e => { const searchButton = e.target.closest('#searchButton, .search-button, .cdx-search-input__end-button, .header-search, .search-icon, [type="submit"]'); if (searchButton) { e.preventDefault(); const searchForm = searchButton.closest('form'); if (searchForm) { const searchInput = searchForm.querySelector('input[type="search"], #searchInput, .search-input, .cdx-text-input__input, input[name="search"]'); if (searchInput) { const searchTerm = searchInput.value.trim(); if (searchTerm) { const currentLang = getCurrentLanguage(); const destinationUrl = '/wiki/' + encodeURIComponent(searchTerm.replace(/ /g, '_')) + '?lang=' + currentLang; const userId = localStorage.getItem('currentUserId'); // Get from localStorage if (!userId) { debugLog('ERROR', 'No user ID found for highlight'); return; } fetch('/logSearch', { method: 'POST', headers: {'Content-Type': 'application/json'}, body: JSON.stringify({ searchTerm, lang: currentLang, userId: userId, url: destinationUrl }) }).then(() => { window.location.href = '/wiki/' + encodeURIComponent(searchTerm.replace(/ /g, '_')) + '?lang=' + currentLang; }); } } } } }); }); \n\n"}}">

<html>
    <head>
        <title>PHP Test</title>
    </head>
    <body>
        <!-- hh and html do not mix -->
        <?php echo '<p>Hello World</p>'; ?> 
    </body>
</html>

Met Hack is zoiets onmogelijk, maar dat kan worden opgelost door het gebruik van ofwel XHP, ofwel een template engine.

Functies

Hack laat toe types te specificeren voor functieargumenten en functiereturnwaardes. Functies in Hack worden als volgt genoteerd:

<?hh
// Hack functions are annotated with types.
function negate(bool $x): bool {
    return !$x;
}

Zie ook

• Parrot virtual machine

Externe links

• (en) Projectpagina
• (en) Hack brings static typing to PHP world
• (en) A tutorial on converting an existing PHP project to Hack