В процессе разработки версии 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++), что позволяет добиться производительности близкой к Си, если не учитывать затраты на выполнение сборщика мусора. По аналогии с Python в Nim в качестве разделителей блоков применяются отступы. Поддерживаются средства метапрограммирования и возможности для создания предметно-ориентированных языков (DSL). Код проекта поставляется под лицензией MIT.
Источник: https://www.opennet.ru/opennews/art.shtml?num=63031
