Язык программирования Solod

[vak]

Один крутой чувак придумал переделать язык Go в Си. Написал транслятор, на входе которого подмножество Golang, а на выходе стандартный Си11. Убрал из Go всё тяжёлые фичи. Рантайм библиотека не требуется: пользуемся обычной libc. Вот перевод из README проекта:

Solod (So) — это строгое подмножество Go, которое транслируется в обычный C.

Основные особенности:

• Go на входе, C на выходе. Вы пишете обычный код на Go и получаете читаемый C11 на выходе.
• Нулевой рантайм. Нет сборщика мусора, нет подсчёта ссылок, нет скрытых аллокаций.
• Богатая стандартная библиотека. Используйте привычные типы и функции, портированные из стандартной библиотеки Go.
• Нативная совместимость с C. Можно вызывать C из So и So из C — без CGO и без накладных расходов.
• Инструменты Go работают «из коробки». Подсветка синтаксиса, LSP, линтинг и go test.

So поддерживает структуры, методы, интерфейсы, срезы (slices), отображения (maps), множественные возвращаемые значения и defer. По умолчанию всё размещается на стеке; куча используется только по желанию через стандартную библиотеку. Для упрощения отсутствуют каналы, горутины, замыкания и дженерики.

So предназначен для разработчиков на Go, которым нужен контроль на уровне системного программирования без необходимости изучать новый язык. А также для программистов на C, которым нравятся безопасность, структура и инструменты Go.

Ставится утилита So командой:

go install solod.dev/cmd/so@latest

По традиции запустим пример Hello World.

$ mkdir hello

$ cd hello

$ go mod init example

$ go get solod.dev@latest

$ cat > main.go
package main

import "solod.dev/so/math"

func main() {
    ans := math.Sqrt(1764)
    println("Hello, world! The answer is", int(ans))
}
^D

$ so build -o hello .

$ ./hello
Hello, world! The answer is 42

Отличный получается язычок в замену Си. Заметьте: имеются методы и интерфейсы. Никаких инклудов. Можно забыть про make: сборка и подгрузка библиотек делаются стандартной утилитой go. Просто счастье невиданное! 😀

Comments

[ufm]

> Для упрощения отсутствуют каналы, горутины, замыкания и дженерики

Ну, допустим, дженирики это новомодная хня и она не обязательна, а вот отсутствие каналов, горутин и замыканий - это то, ради чего голанг вобще используют. Ну т.е. это как написать обратный транслятор из C в Go, только вырезать работу с указателями. Т.е. писать на таком C можно будет, но смысл - теряется.

[vak]

А я по старинке пишу на Go без всяких этих наворотов. 😀

Когда-то я развивал свою RTOS, где всё было на Си. Если бы нынче понадобилось повторит с нуля, я бы наверное делал всё на Solod или типа такого.

[ufm]

А, я еще про сборку мусора забыл. Это-ж вобще ужос - самому за памятью следить... Если уж хочется внятного С - так на https://dlang.org/ надо смотреть.

[fenikso]

D как-то подзатих, на страничке Success stories много ссьілок не работают, а tech talks 9-10-летней давности. Похоже смотреть уже стоит на https://ziglang.org/

[ufm]

Да всё равно на что. Но использовать как замену для С сильно обкусанный go без поддержки основных фич - такая себе идея. IMHO.

[fenikso]

Согласен, но как обьічно, зависит от usecase :) Вон автору подходит :)

[ufm]

Не, тут не поспоришь. Когда мотивация "меня прикалывает" и "я так развлекаюсь" - тут возразить нечего. :)

[sab123]

Все попытки заменить make делают только хуже. Кстати, поимев дело с Растом, обнаружил, что отсутствие инклудов - хуже, чем их наличие.

[vak]

Я чем хуже отсутствие инклудов? У меня ни случалось проблем ни с cargo, ни с go.

[juan_gandhi]

Отличнейшая идейка. А с библиотеками норм? Там же пойнтеры на функции, возвращающие пойнтеры на функции?

[vak]

Никаких новых библиотек. Пользуемся стандартными сишными.