HVM2

HVM2 是一个基于交互组合子的高阶虚拟机，专为大规模并行硬件（如 NVIDIA GPU）设计的功能性运行时。其核心特点是通过编译高阶函数式程序到交互网（Interaction Nets）表示，在 CUDA 和 C 后端上实现接近线性的并行加速；采用 Rust 实现工具链，支持从低级 HVM IR 编译至 CUDA/C，并提供解释与静态编译两种执行模式。适用于需要极致并行化函数式计算的场景，如符号计算、定理证明引擎后端、高性能函数式语言运行时加速等，但不面向直接手写开发，而是作为 Haskell/Python 等语言的底层编译目标。