🥇Проектът 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 функции и обратно) и не изисква среда за изпълнение. Ключови области на приложение включват системно програмиране, с възможности, подобни на C, но със синтаксис и проверка на типове в стил Go. Solod може да се използва и за пренасяне на Go библиотеки за използване в C проекти. Go пакети като strings, io, bytes, mem, slices и други са пренесени на C. В допълнение към набора от пренесени Go библиотеки, Solod програмите могат да използват обвързвания (bindings) за стандартната C библиотека, libc.

По подразбиране цялата памет се разпределя на стека, но разпределението на heap е възможно с помощта на функциите Alloc / Free на стандартната библиотека. Събирането на боклук и броенето на референции не се използват, но Solod предоставя функции за проверка на типа и сривове при достъп до масив извън границите. Висящите връщания на указатели и неправилното освобождаване на паметта не се проверяват. Използването на 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