HVM

2022-02-13

• 関数型言語のコンパイルターゲット
• 遅延評価, noGC, 並列化
• beta-optimal
• 特定のケースでGHCより指数的に高速
• チューリングマシンとラムダ計算を組み合わせた Interaction Net に基づくもの
  • 最近ブレークスルーが起きたらしい
• Sequencial な List の FoldはGHCと変わらない
• Tree の Sum(Parallel) は並列化され数倍早い
• QuickSort(Parallel) はリストでなく木を返すようにしたら超高速化する
  • MergeSortではだめ
• 関数の Composition は指数的に早い
  • $f^{2^N}(x)$ は $\mathcal{O}(N)$ on HVM, $\mathcal{O}(2^N)$ on GHC
• beta-optimal を利用して ラムダ符号化 されたビット列を用いた乗算

Theory

• HVM HOW
• HVM List Fold benchmark isnt faithful

参考文献