Hack

Typing discipline	dynamic typing, gradual typing, static typing, inference typing, weak typing
First appeared	2014
Developer	Meta Platforms
Type	reference implementation, free and open-source software, programming language
First release	2014
Influenced by	OCaml, PHP, Haskell, Java, Scala, C#
License	MIT License
Latest version	4.172
Website	hacklang.org
Written in	OCaml