HVM大规模并行功能运行时

高阶虚拟机 (HVM) 是一个纯函数式编译目标，它是惰性的、非垃圾收集的和大规模并行的，同时也是 beta 最优的，这意味着在某些情况下，它可以比大多数功能运行时（包括 Haskell 的 GHC）快得多。

这得益于一种新的计算模型，即交互网络，它结合了图灵机和 Lambda 演算，该模型的先前实现在实践中效率低下，然而，最近的一项突破大大提高了其效率，催生了 HVM。尽管是一个原型，但它在许多情况下已经击败了成熟的编译器，并且将朝着未知的性能水平扩展。

用法

1.安装

cargo install hvm

2.创建一个HVM文件

HVM 文件看起来像无类型的 Haskell，将以下文件另存为main.hvm：

// Creates a tree with `2^n` elements
(Gen 0) = (Leaf 1)
(Gen n) = (Node (Gen(- n 1)) (Gen(- n 1)))

// Adds all elements of a tree
(Sum (Leaf x))   = x
(Sum (Node a b)) = (+ (Sum a) (Sum b))

// Performs 2^n additions in parallel
(Main n) = (Sum (Gen n))

上面的程序创建了一个包含元素的完美二叉树2^n并将它们相加，由于它是递归的，HVM 会自动并行化它。

3.运行和编译

hvm r main 10                       #以 n=10 运行
hvm c main                          #将 HVM 编译为 C 
clang -O2 main.c -o main -lpthread  #将 C 编译为 BIN 
./main 30                           #以 n=30 运行

上面的程序在现代 8 核处理器上运行大约需要 6.4 秒，而相同的 Haskell 代码在具有 GHC 的同一台机器上运行大约需要19.2 秒。

这就是 HVM：编写一个函数式程序，获得一个并行的 C 运行时。

其他：

• 请参阅此处的 Nix 使用文档。
• 请参阅此处的构建说明。