编程语言之Hare
2022-04-26 15:02:24 阿炯

开发者 Drew DeVault 于2022年4月公布了一门新的系统编程语言 Hare(野兔)。Hare 的开发时间接近两年半,它使用静态类型系统、手动内存管理和最小运行时,非常适合编写操作系统、系统工具、编译器以及其他低级高性能任务。


据 Drew DeVault 介绍,Hare 与 C语言最相似,几乎所有用 C 编写的程序也可以用 Hare 编写,但 Hare 比 C 简单。在MPLv2与GPLv3双协议下授权使用。


Hare 的 Hello World

use fmt;

export fn main() void = {
    const greetings = [
        "Hello, world!",
        "¡Hola Mundo!",
        "Γειά σου Κόσμε!",
        "Привет, мир!",
        "こんにちは世界!",
    ];
    for (let i = 0z; i < len(greetings); i += 1) {
        fmt::println(greetings[i])!;
    };
};

Hare 计算自己的 SHA-256 哈希:
use crypto::sha256;
use encoding::hex;
use fmt;
use hash;
use io;
use os;

export fn main() void = {
    const hash = sha256::sha256();
    const file = os::open("main.ha")!;
    defer io::close(file);
    io::copy(&hash, file)!;

    let sum: [sha256::SIZE]u8 = [0...];
    hash::sum(&hash, sum);
    hex::encode(os::stdout, sum)!;
    fmt::println()!;
};

Hare 基于 qbe 编译器后端,在占用空间小的情况下提供了良好的性能。安装时需要依赖POSIX兼容环境与支持C11的编译器。

Hare 现状

目前已经有许多基于 Hare 编程语言的程序,比如:
Himitsu :密匙管理和密码存储工具。它将密匙存储为键/值对,且允许存储附加信息,例如用户名、主机和协议。
Helios :x86_64 系统的微内核。
box :简单的 CLI 加密工具
btqd :bittorrent 守护进程
hare-libui :简单 GUI 的 libui 绑定

Hare 的 OpenGL 绑定正在进行中,目前可用于几个小游戏,比如俄罗斯方块:


使用 Hare 编写的简单光线追踪器:


Hare 标准库包含以下标准组件,该库为许多用例提供支持,而无需任何依赖关系。

密码学套件
网络支持
全面的日期/时间操作
I/O 和文件系统抽象
Unix 原语,如 poll、fnmatch 和 glob
POSIX 扩展正则表达式
Hare 解析器和类型检查器

该标准库让 Hare 脱离了 POSIX 和 libc 的遗留问题,Hare 程序默认不与 libc 链接 。

Hare 未来

目前 Hare 正在保守开发中,标准库最大的任务是完成密码学实现,首要目标是支持 TLS (安全传输层协议)1.2 和 TLS 1.3。一旦达到 1.0 版本,Hare 将完成语言规范,冻结语言设计,且只对标准库进行向后兼容的更改。

目前 Hare 仅支持三种架构:x86_64、aarch64 和 riscv64,未来将逐步添加 32 位平台和其他架构的支持。操作系统方面,目前 Hare 只支持 Linux 和 FreeBSD,计划在未来做更多的移植。

项目无意支持非自由平台,但由于语言是标准化的,如果需要,第三方实现或分支可以轻松开发 Windows 或 macOS 支持。可以在路线图上查看有关 Hare 计划的更多信息。


最新版本:


官方主页:https://harelang.org/