Проект Solod развива набор от езика Go, транслиран в език C.

Представен е езикът за програмиране Solod (So), предоставящ подмножество на езика Go, транскомпилирано в C11 израз, подходящ за компилиране от компилаторите GCC, Clang и zig cc. Ключовото отличие на Solod от Go и Tinygo е ръчното управление на паметта, без използване на сборщик на отпадъци, без автоматично разпределение на паметта и без броене на референции. Транспайлерът за Solod е написан на езика Go и се разпространява под лицензията BSD. Поддържа работа в Linux, macOS и Windows.

Езикът поддържа структури, методи, интерфейси, слайсове, връщане с функции с няколко стойности (например, резултат + код на грешка), генерики и отложени извиквания (defer). С цел опростяване в езика не се поддържат канали, съпратски функции и затваряния. При разработка на езика Solod могат да се използват съществуващи LSP-сървъри, линтери, интегрирани среди на разработка и редактори на код, които поддържат езика Go, както и инструменти от типа „go test“.

Кодът, написан на Solod, може да се интегрира с приложения на езика C (езикът C може да извиква функции на Solod и обратно) и не изисква свързване на runtime. Основните области на приложение включват системно програмиране с близки до C възможности, но с синтаксис в стил Go и осигуряване на проверка на типове. Solod може също да се използва за портириране на Go-библиотеки за приложение в C проекти. Портирирани на езика C са Go-пакетите strings, io, bytes, mem, slices и т.н. Освен набора от портирирани Go-библиотеки, в програми на езика Solod може да се използват обвивки над стандартната C-библиотека libc.

По подразбиране цялата памет се разпределя в стека, но чрез функциите Alloc / Free на стандартната библиотека може да се разпределя памет в купчината. Сборщик на отпадъци и броене на референции не се използват, но в Solod се предлагат възможности за проверка на типове и аварийно завършване при опит за достъп извън масива. Въпреки това, проверки за връщане на висящи указатели (dangling pointer) и липса на освобождаване на памет не се извършват. Като основен метод за откриване на проблеми при работа с паметта се споменава използването на AddressSanitizer (-fsanitize=address) в съвременни компилатори.

По производителност скомпилираните програми, написани на Solod, в повечето случаи са по-бързи от програмите на Go. Например, производителността на функциите от пакета Byte е 1.5 пъти по-висока при идентично потребление на памет. Работа с байтови буфери е по-бърза с 1.3 пъти при четене и с 2-4 пъти при запис. В пакета Map, избора по целочислен ключ е по-бърз с 3.4 пъти, но модифицирането на ключовете е по-бавно с 1.6 пъти. Изборът по строкови ключове е на едно ниво с езика Go, но модификацията е по-бавна с 1.5 пъти. Парсингът и форматирането на цели числа са по-бързи с 2 пъти, а с плаваща запетая — с 1.5/1.2 пъти. Стринг функциите са по-бързи с 1.3 пъти, а създаването на стрингове е по-бързо с 2-4 пъти при намалено потребление на памет с 10-20%.

Източник: opennet.ru