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

作者 | Steef-Jan Wiggers

译者 | 王强

策划 | Tina

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/)

声明：本文由 InfoQ 翻译，未经许可禁止转载。

今日好文推荐

5 年谈判，AlexNet 原始“源代码”终于公开：Hinton团队日志注释首次曝光，意义远超代码本身

GPT-4o “吉卜力”爆火，Prompt、SD 白学了？！大模型能力进化碾压一切

“我们要重建 TikTok 算法”！Perplexity CEO 放话收购 TikTok，并开源关键技术

74 岁 C++ 之父最新蓝图：让代码更安全，还能兼容40年前的老程序！

来源：InfoQ