基于交互网络的新型编程语言 Vine

Vine 编程语言是一种基于交互网络构建的新型实验性语言。它具有函数式和命令式编程模式之间的互操作性。

Vine 是一种静态类型的编译语言，有着简洁直观的语法。其底层基础是交互网络的计算模型。Vine 编译为 Ivy，这是一种在交互虚拟机（IVM）上运行的底层交互组合器语言。

在一个 Hacker News 帖子中，tijvi 评论道：

交互网络是一种替代计算模型（类似于 lambda 演算或图灵机）。它们有几个有趣的特性，其中最值得注意的是它们基本上是并行的。交互网络在并行和分布式计算等领域有许多潜在的应用。这样的应用需要一种语言——因此有了 Vine。

Vine 编程语言包括一些标准特性，如整数和浮点运算、布尔逻辑、字符串操作、元组以及基本控制流构造，如 if-else 语句和循环。它的语法和类型系统受到 Rust 的影响，强调面向表达式的方法和模块化结构。

此外，该语言与 Rust 之外的函数式语言（如 Haskell、Erlang、Elixir 和 OCaml）有相似之处。这些语言强调不变性、安全性、性能和并发性，与 Vine 的设计理念一致。

在 Bluesky 上，软件工程师 Devon 发帖称：

阅读 vine.dev 文档让我想起了我第一次接触 Haskell 时的情形——仿佛大脑要融化了，但其中的一些非常有趣的想法来自该语言底层的新计算模型（Vine：交互网络 :: Haskell：lambda 演算，有点像）。

该语言的 Vine 编译器采用多阶段架构将源代码转换为交互网络：

• 它从 CLI 入口点开始，收集编译选项和入口点，然后是将文件解析为抽象语法树（AST）的加载器。

• 然后，解析器构建模块图并消除特定 AST 节点的歧义。检查器验证表达式类型和形式。

• 同时，提取器将 AST 转换为 Vine 中间表示（VIR），简化复杂表达式并将控制流转换为一个堆叠流图。

• 规范器消除 VIR 中的分歧，分析器进行可达性和数据流分析。

• 最后，发射器将处理后的 VIR 转换为 Ivy 网络，完成 Vine 并行计算的编译过程。

有一个 GitHub 项目，其中包含了各种用于尝试 Vine 编译器的示例。

有兴趣探索 Vine 的开发人员可以访问官方文档。该文档提供了从安装到高级主题（如并发编程模式和与现有系统的集成）的全面指导。

最后，Vine 项目是开源的，并在 GitHub 上积极维护。开发团队鼓励社区参与，邀请开发人员贡献代码、报告问题并提供反馈。

原文链接：

New Programming Language Vine Based on Interaction Nets (https://www.infoq.com/news/2025/03/new-programming-language-vine/)