fbshipit
HHVM
Our great sponsors
fbshipit | HHVM | |
---|---|---|
1 | 16 | |
385 | 17,610 | |
1.0% | 0.4% | |
7.5 | 9.6 | |
14 days ago | 5 days ago | |
Hack | C++ | |
MIT License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
fbshipit
HHVM
-
Taking Hack Seriously - Slack Engineering
Compared to PHP, with its visible community, Hack/HHVM does seem like a dead-end technology. But it’s very actively maintained and it powers the largest website on the planet. It definitely doesn’t make sense for the average PHP developer to switch (and the article steers clear of evangelising) but it also definitely doesn’t make sense for us to switch back.
-
Nvidia is now worth more than Meta
Meta has created/maintains ReactJS, Zstandard, IO_Uring, PyTorch, HHVM, is a member of Rust foundation, and that's only the things I know about. They've literally made the Web and Linux better and faster.
- Yes, PHP Is Worth Learning/Using in $Current_year
-
Ask HN: State of PHP at Facebook
Hack is internally built, but it is also open source:
https://github.com/facebook/hhvm
I joined Facebook in 2019 and left this year.
Though it is internally-built, Hack is already open source at https://github.com/facebook/hhvm/.
FB uses a pretty wide array of languages internally -- I don't know if they release statistics publicly, but you can filter/search their open-source projects by language at https://opensource.fb.com/projects/#filter.
-
A brief history of Rust at Facebook
If you ever need to work with PHP, use PHP/Hack developed by Facebook: https://hacklang.org/
It's a compiled language built partially in Rust, being rewritten entirely in Rust, JIT compiled using HHVM: https://hhvm.com/
I don't believe it's compatible with existing PHP codebases, but you could probably convert one over in a straightforward way, catching safety issues while you did it.
Hack a modern and highly productive language that's in many ways as nearly sophisticated as Rust. (How many other languages have both opaque and transparent type aliases, for example? https://docs.hhvm.com/hack/types/type-aliases )
-
PHP in 2021
> With Hack's extensive static type checking and even contexts / coeffects
Have you used contexts/coeffects?
My understanding is that it's still yet to be fully rolled out to WWW, and nobody outside FB has yet played around with it. IMO it still has some DX issues (https://github.com/facebook/hhvm/issues/8828) and the examples given in documentation don't actually work in real life (https://github.com/hhvm/user-documentation/issues/1016).
-
Draft RFC: Pure intersection types
Here’s an example for it in Hack (which doesn’t have this feature), which would translate across: https://github.com/facebook/hhvm/blob/master/hphp/hack/doc/HSL_design/io.md#denotable-intersection-types
-
OCaml professionally
Also Hack's typechecker and Infer.
What are some alternatives?
HippyVM - HippyVM - an implementation of the PHP language in RPython
Hack
Laravel - The Laravel Framework.
ext-openswoole - Programmatic server for PHP with async IO, coroutines and fibers
haxe - Haxe - The Cross-Platform Toolkit
FrameworkBenchmarks - Source for the TechEmpower Framework Benchmarks project
ent - An entity framework for Go
react-relay - Relay is a JavaScript framework for building data-driven React applications.
discourse_docker - A Docker image for Discourse
hack-codegen - Library to programatically generate Hack code and write it to signed files
phpdesktop - Develop desktop GUI applications using PHP, HTML5, JavaScript and SQLite
Deployer - The PHP deployment tool with support for popular frameworks out of the box