Hack (programming language)

Hack is a programming language for the HipHop Virtual Machine (HHVM), created by Facebook as a dialect of PHP. The language implementation is open-source, licensed under the MIT License.[2][3][4]

Not to be confused with Haxe, Hacker, or Security hacker.
Hack
Designed byJulien Verlaguet, Alok Menghrajani, Drew Paroski, and others[1]
DeveloperFacebook
First appeared2014
Typing disciplineStatic, dynamic, weak, gradual
OSCross-platform
LicenseMIT License[2]
Websitehacklang.org
Influenced by
PHP, OCaml, Java, C#, Scala, Haskell

Hack allows programmers to use both dynamic typing and static typing. This kind of a type system is called gradual typing, which is also implemented in other programming languages such as ActionScript.[5] Hack's type system allows types to be specified for function arguments, function return values, and class properties; however, types of local variables are always inferred and cannot be specified.[3][6]

History

Hack was introduced on March 20, 2014.[7] Before the announcement of the new programming language, Facebook had already implemented the code and "battle tested" it on a large portion of its web site.

Features

Hack is designed to interoperate seamlessly with PHP, which is a widely used open-source scripting language that has a focus on web development and can be embedded into HTML. A majority of valid PHP scripts are also valid in Hack; however, numerous less frequently used PHP features and language constructs are not supported in Hack.[8]

Hack extends the type hinting available in PHP 5 through the introduction of static typing, by adding new type hints (for example, for scalar types such as integer or string), as well as by extending the use of type hints (for example, for class properties or function return values). However, types of local variables cannot be specified.[6] Since Hack uses a gradual typing system, in the default mode, type annotations are not mandatory even in places they cannot be inferred; the type system will assume the author is correct and admit the code.[9] However, a "strict" mode is available which requires such annotations, and thus enforces fully sound code.[10]

Syntax and semantics

The basic file structure of a Hack script is similar to a PHP script with a few changes. A Hack file does not include the <?php opening markup tag and forbids using top-level declarations.[11] Code must be placed in an entrypoint function. These are automatically executed if they are in the top-level file, but not if the file is included via include, require, or the autoloader. Like other functions in Hack, the function names must be unique within a project – i.e. projects with multiple entrypoints can not call both main :

<<__EntryPoint>>
function main(): void {
  echo 'Hello, World!';
}

The above script, similar to PHP, will be executed and the following output is sent to the browser:

Hello, World!

Unlike PHP, Hack and HTML code do not mix; either XHP or another template engine needs to be used.[8]

Functions

Like PHP 7, Hack allows types to be specified for function arguments and function return values. Functions in Hack are thus annotated with types like the following:

// Hack functions are annotated with types.
function negate(bool $x): bool {
    return !$x;
}
gollark: Those are probably rare.
gollark: Python is fairly nice for simple scripting purposes and arguably type-safer a lot of the time.
gollark: Well, depends on usecase, really.
gollark: please use nicer languages, PLEASE.
gollark: Go is generally just highly hostile to abstraction STOP SPREADING IT STOP SPREADING IT

See also

References
  1. Bryan O'Sullivan (2014-03-28). "Where Credit Belongs for Hack". Retrieved 2019-02-06.
  2. "facebook/hhvm: hhvm / hphp / hack / LICENSE". github.com. Facebook. 2018-04-11. Retrieved 2019-02-06.
  3. Josh Lockhart (2014-04-03). "Facebook's Hack, HHVM, and the future of PHP". O'Reilly Media. Retrieved 2019-02-06.
  4. Cade Metz (2014-03-20). "Facebook Introduces 'Hack,' the Programming Language of the Future". Wired. Retrieved 2019-02-06.
  5. Aseem Rastogi; Avik Chaudhuri; Basil Hosmer (January 2012). "The Ins and Outs of Gradual Type Inference" (PDF). Association for Computing Machinery (ACM). Retrieved 2019-02-06.
  6. "Hack Manual: Hack and HHVM – Type Annotations". docs.hhvm.com. Retrieved 2019-02-06.
  7. Verlaguet, Julien; Menghrajani, Alok (2014-03-20). "Hack: a new programming language for HHVM". Facebook. Retrieved 2019-02-06.
  8. "Inconsistencies: Introduction". docs.hhvm.com. Retrieved 2019-04-04.
  9. "Hack Manual: Partial Mode". docs.hhvm.com. Retrieved 2019-02-06.
  10. "Hack Manual: Strict Mode". docs.hhvm.com. Retrieved 2019-02-06.
  11. Emmott, Fred (2019-02-11). "HHVM 4.0.0". hhvm.com. Retrieved 2019-05-02.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.