Solod — подмножество на езика Go, трансформирано в език C.

Представен език за програмиране Solod (So), предоставящ той език Go, който се транскомпилира в представяне на езика C (C11), подходящо за компилация от GCC, Clang и zig cc. Основната разлика между Solod и Go е, че Solod използва ръчно управление на паметта, работещо без използване на сбирка на боклук, без автоматично разпределение на паметта и без подсчет на референции. Транспайлерът за 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 (antonz.org)
• bytes
• mem
• slices

и и т.н. Освен набор портирни Go-библиотеки, в програмите на езика Solod могат да се използват обвивки над стандартната C-библиотека libc.

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

По производителност, скомпилираните програми, написани на Solod, в повечето случаи са по-бързи от програмите на Go:

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

Източник: linux.org.ru