Fuse 编程语言：基于 GRIN 的静态类型函数式编程

Fuse 是一种静态类型的纯函数式编程语言，旨在进行高性能的原生代码生成。通过编译到 GRIN 全程序优化器并随后编译到 LLVM，Fuse 提供了一条从高层函数式抽象到高效、精简的原生二进制文件的路径，并实现了零成本抽象。

核心语言特性

Fuse 将 System F 的元素与高阶多态相结合，以提供强大的类型系统。该语言旨在实现表达力强且可组合性高，其语法灵感来源于 Rust、Python、Scala 和 Haskell。

类型系统与多态

Fuse 实现了一个基于具有高阶多态的 System F 的静态类型系统。关键组件包括：

  • 高阶类型 (HKTs): 对 HKTs 的支持允许创建高级抽象，例如 Functors，其中可以对类型构造器进行映射。
  • 特设多态 (Ad-hoc Polymorphism): 通过 traits 实现，允许开发者在不同类型之间定义共享行为。
  • 通过 Traits 实现的特设多态: 开发者可以使用 impl 块为特定类型提供 trait 的具体实现。
  • 代数数据类型 (ADTs): Fuse 支持 ADTs 和泛型，从而实现精确的领域建模。

函数式范式

Fuse 是一种纯函数式语言，其中每个函数都是纯函数。为了在保持这种纯度的同时允许实际应用，该语言提供了：

  • 模式匹配: 处理 ADTs 的核心工具。
  • 高阶函数: 可以将其他函数作为参数或返回其他函数的函数。
  • do notation: 对 do notation 的支持允许对单子 (monadic) 操作进行更具可读性的序列化。
  • 双向类型检查: 编译器使用支持高阶类型的双向类型检查。这确保了仅需提供函数类型签名以提高可读性，而所有其他类型都会被推导出来。

编译流水线

Fuse 并不直接编译为机器码。相反，它使用多阶段流水线在最终代码生成之前优化整个程序。

GRIN 优化器

Fuse 编译到 GRIN，一个全程序优化器。这种架构允许语言在整个代码库中进行广泛的优化，从而确保高层函数式抽象不会带来运行时性能损失。

LLVM 后端

在 GRIN 优化阶段之后，代码通过 LLVM 生成，从而为 Linux (x86_64) 和 macOS (ARM64) 产生最终的原生二进制文件。

社区分析与技术评论

Hacker News 上的社区成员针对该语言的现状提出了若干技术问题和建议：

语法与人体工程学

一些用户发现语法——特别是使用方括号 [] 代替传统的尖括号 <> 来表示类型变量——不够直观。此外，还有关于高阶类型在 $\eta$-long form 下的语法的讨论。

纯度与 IO

一位评论者指出，该语言在声称纯度方面可能存在矛盾。他们观察到，.exec() 方法的存在表明任何函数都可以执行 IO 操作，无论其类型签名如何，这可能会削弱语言严格的函数式纯度。

标准库与工具链

  • 编辑器支持: 已创建了 tree-sitter-fuse 文法，这表明在实现 Language Server Protocol (LSP) 支持方面取得了初步进展。
  • Unicode 支持: 标准库的字符串类型目前不支持 Unicode，这可能会影响未来的库设计。
  • 用户定义运算符: 该语言目前缺乏用户定义运算符，这限制了创建嵌入式领域特定语言 (EDSLs) 的能力，一些开发者认为这是一个主要障碍。

"标准库中的字符串类型不是 Unicode 感知的... Unicode 支持可能是一项庞大的工程，但考虑现在是否添加它可能会影响你现在的库设计。"

安装

Fuse 可以通过 curl 脚本为支持的平台（Linux x86_64 和 macOS ARM64）进行安装：

curl -fsSL https://fuselang.github.io/fuse/fuseup | sh

Sources