Проектът Solod развива подмножество на езика Go, транслирано в езика C

Представен език за програмиране Solod (So), предоставящ който предлага подмножество на езика Go, транскомпилирано в представяне на езика C (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. Портировани са 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