Hare（编程语言）

Hare 是一门静态类型、手动内存管理的系统编程语言，由自由软件开发者德鲁·德沃及其社区在 2022 年公开。它刻意保持语言规模小、特性精简，强调稳定与长期可维护，宗旨是打造一门几十年后仍能可靠运行、无需频繁破坏性更新的系统语言。

概述

Hare 使用 QBE 作为编译后端，最初以 Linux 与部分 BSD 等自由平台为目标，不追求覆盖所有生态。它没有运行时、没有垃圾回收，程序对内存和系统调用有直接控制，风格接近 C，但引入了更现代的错误处理、切片、标签联合等特性，以提升安全性与表达力。

核心特点

• 小而稳定：语言规格短小、特性有限，力求长期不做破坏性变更。
• 无运行时：不含垃圾回收与庞大运行库，可用于底层与嵌入式场景。
• 现代错误处理：以显式错误类型和传播语法替代 C 的返回码约定。
• 标签联合与切片：内建更安全的联合类型和边界明确的切片。
• 自由软件导向：工具链与生态围绕自由操作系统构建。

应用场景

Hare 面向操作系统组件、命令行工具、网络程序和其他系统级软件，适合偏好极简、可控且长期稳定工具的开发者。它有意不追求跨平台的全面覆盖，而是深耕自由软件生态与类 Unix 系统。对于欣赏 C 的直接与克制、又希望获得更安全类型与错误处理的程序员，Hare 提供了一条小众但理念鲜明的路径。

常见问题

问：Hare 和 Zig、Rust 有何不同？答：三者都定位系统编程，但 Hare 更强调语言的极简与长期稳定，故意限制特性和平台范围；Rust 侧重借助所有权实现内存安全，Zig 侧重对底层的完全掌控与元编程，各自取舍不同。

问：为什么 Hare 只支持有限平台？答：项目认为聚焦少数自由操作系统能让语言保持简单可靠，避免为兼容众多平台而复杂化，因此有意缩小目标范围，这是其设计哲学的一部分而非技术缺陷。