За Nim 3.0 се разработва нов компилаторен бекенд на база формата NIF

В процеса на разработката на версия 3.0 на програмния език Nim се извършва работа по нов компилатор, използващ междинен формат NIF (Nim Intermediate Format). В новия компилатор ще бъдат решени няколко технически задачи, сред които подобряване на инкременталната компилация и опростяване на управлението на зависимости между модулите. Датата на излизане на Nim 3.0 все още не е определена.

Според спецификацията на NIF, публикувана в репозитория на проекта, новият формат позволява съхранение на кода под формата на абстрактно синтактично дърво (AST), разделяйки името пространство за вградени конструкции и потребителски имена. Това осигурява гъвкавост при добавянето на нови ключови думи и улеснява интеграцията с инструментите за разработка.

Компилаторът Nim 3.0 ще бъде разделен на няколко етапа:

• Nifler — преобразуване на изходния код на Nim в NIF, като се вземат предвид конфигурационните файлове.
• Nimony — семантичен анализ, включително проверка на типовете и разрешаване на макроси.
• Hexer — оптимизация на кода, включваща инлайнинг на итератори и поддръжка на управление на паметта (ARC/ORC).
• NIFC — генериране на код за C/C++ с оглед на особеностите на целевата платформа.

Основните подобрения включват:

• Инкрементално компилиране, което ускорява компилацията при частични промени в кода.
• Отказ от необходимостта от предварително обявяване на процедури и типове.
• Поддръжка на циклични зависимости между модулите.
• Проверка на типове за дженериците на етапа на компилация.
• Корекция на грешки по време на фазите на компилация, като неправилен повик на деструктори.

В спецификацията също така се подчертава, че NIF запазва информация за позициите на елементите в кода (номера на редове и колони), което улеснява отстраняването на грешки и интеграцията с IDE.

Езикът Nim е насочен към решаване на задачи в системното програмиране, използва статична типизация и е създаден с оглед на езици като Python, Ada и Modula. Изходният код на Nim се компилира във вид на C, C++, Objective-C или JavaScript. След това полученият C/C++ код се компилира в изпълнима програма с помощта на наличен компилатор (clang, gcc, icc, Visual C++), което позволява постигане на производителност, близка до C, ако не се вземат предвид разходите за работа на garbage collector. Подобно на Python, в Nim за разделители на блокове се използват отстъпи. Поддържат се инструменти за метапрограмиране и възможности за създаване на предметно-ориентирани езици (DSL). Кодът на проекта се предоставя под MIT лиценз.

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