Харе Кришна Харе Рама

[vak]

Новый язык программирования: Харе.

Анонс языка: https://harelang.org/blog/2022-04-25-announcing-hare/

Введение: https://harelang.org/tutorials/introduction/

Компилятор Харе сделан не на основе традиционных GCC или LLVM, а с помощью нового бэкенда QBE: https://c9x.me/compile/

На языке Харе написан Helios, микроядро для компьютеров Intel x86_64: https://git.sr.ht/~sircmpwn/helios

Пример кода на Харе:

use bufio;
use fmt;
use os;
use strings;

export fn main() void = {
	const user = askname();
	greet(user);
};

// Asks the user to provide their name.
fn askname() str = {
	fmt::println("Hello! Please enter your name:")!;
	const name = bufio::scanline(os::stdin)! as []u8;
	return strings::fromutf8(name);
};

// Greets a user by name.
fn greet(user: str) void = {
	fmt::printfln("Hello, {}!", user)!;
};

Comments

[spamsink]

По идее, если есть язык Python, то в противовес ему должен быть язык Rabbit, но и Hare тоже сойдёт.

[vak]

Мне показался интересным не сам Харе, а бэкенд QBE. Сейчас он умеет генерить код для трёх архитектур: amd64, arm64 и riscv64. Можно попробовать переделать его для БЭСМ-6.

Есть Си компилятор на основе QBE: https://sr.ht/~mcf/cproc/

[spamsink]

Что-то мне подсказывает, что там всё существенно завязано на то, что стек растёт вниз.

[vak]

Они запихивают параметры в стек начиная с последнего (справа налево). Это место придётся переделать.

[dmarck]

Hare -- это ж с надписи на коробке "Свеча с зайцем!"

"Candle with Hare"

;-P