高階虛擬機(jī) (HVM)?是一個(gè)純函數(shù)式編譯目標(biāo)，它是惰性的、非垃圾收集的和大規(guī)模并行的，同時(shí)也是?beta 最優(yōu)的，這意味著在某些情況下，它可以比大多數(shù)功能運(yùn)行時(shí)（包括 Haskell 的 GHC）快得多。

這得益于一種新的計(jì)算模型，即交互網(wǎng)絡(luò)，它結(jié)合了圖靈機(jī)和 Lambda 演算，該模型的先前實(shí)現(xiàn)在實(shí)踐中效率低下，然而，最近的一項(xiàng)突破大大提高了其效率，催生了 HVM。盡管是一個(gè)原型，但它在許多情況下已經(jīng)擊敗了成熟的編譯器，并且將朝著未知的性能水平擴(kuò)展。

用法

1.安裝

cargo install hvm

2.創(chuàng)建一個(gè)HVM文件

HVM 文件看起來(lái)像無(wú)類(lèi)型的 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))

上面的程序創(chuàng)建了一個(gè)包含元素的完美二叉樹(shù)2^n并將它們相加，由于它是遞歸的，HVM 會(huì)自動(dòng)并行化它。

3.運(yùn)行和編譯

hvm r main 10                       #以 n=10 運(yùn)行
hvm c main                          #將 HVM 編譯為 C 
clang -O2 main.c -o main -lpthread  #將 C 編譯為 BIN 
./main 30                           #以 n=30 運(yùn)行

上面的程序在現(xiàn)代 8 核處理器上運(yùn)行大約需要?6.4 秒，而相同的 Haskell 代碼在具有 GHC 的同一臺(tái)機(jī)器上運(yùn)行大約需要19.2 秒。

這就是 HVM：編寫(xiě)一個(gè)函數(shù)式程序，獲得一個(gè)并行的 C 運(yùn)行時(shí)。

?

其他：

• 請(qǐng)參閱此處的 Nix 使用文檔。
• 請(qǐng)參閱此處的構(gòu)建說(shuō)明。