blob: acffdae90731f170f22236ed38bed66da44395e3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
HVM2 is a h=Higher-order Virtual Machine 2.
HVM2 is a massively parallel interaction combinator evaluator.
By compiling programs from high-level languages (such as Python and Haskell) to
HVM, one can run these languages directly on massively parallel hardware, like
GPUs, with near-ideal speedup.
HVM2 is the successor to HVM1, a 2022 prototype of this concept. Compared to its
predecessor, HVM2 is simpler, faster and, most importantly, more correct. HOC
provides long-term support for all features listed on its paper.
|
