Нум

Нум — это язык программирования общего назначения, сочетающий синтаксис, близкий к Python, с производительностью, характерной для компилируемых языков, таких как C или Rust. Нум компилируется в нативный код, что позволяет создавать высокопроизводительные приложения, и поддерживает автоматическое управление памятью, не требуя от разработчика ручного выделения и освобождения ресурсов. Язык ориентирован на системное программирование, создание игр, веб-приложений и инструментов командной строки.

История

Разработка языка Нум (изначально называвшегося Nimrod) была начата в 2005 году немецким программистом Андреасом Румпфом (Andreas Rumpf). Первый публичный релиз состоялся в 2008 году. Основной целью проекта было создание языка, который был бы одновременно выразительным и удобным, как Python, но при этом компилировался бы в эффективный машинный код, не уступающий по скорости программам на C или C++.

В 2014 году язык был переименован из Nimrod в Нум (Nim) для краткости и во избежание ассоциаций с библейским персонажем. В 2017 году был основан фонд Nim, который взял на себя управление развитием языка и сбор средств на его поддержку. Версия 1.0, ознаменовавшая стабилизацию синтаксиса и стандартной библиотеки, была выпущена в сентябре 2019 года. С этого момента язык считается пригодным для промышленного использования.

Ключевые особенности

Производительность и компиляция

Нум является компилируемым языком. Его компилятор, написанный на самом Нуме и на C, транслирует исходный код в промежуточное представление, а затем генерирует код на C. Этот код затем компилируется внешним компилятором C (например, GCC или Clang) в исполняемый файл. Такой подход позволяет достичь производительности, сопоставимой с C, при сохранении высокоуровневого синтаксиса. Нум также поддерживает компиляцию в JavaScript и в LLVM IR (через экспериментальный бэкенд).

Синтаксис и выразительность

Синтаксис Нума во многом напоминает Python: он использует отступы для обозначения блоков кода, что делает его читаемым и лаконичным. Однако Нум является языком со статической типизацией, что позволяет выявлять ошибки на этапе компиляции. Язык поддерживает множество современных парадигм программирования: объектно-ориентированное, функциональное, процедурное и обобщённое программирование.

Управление памятью

Нум использует автоматическое управление памятью на основе сборщика мусора (GC). Однако, в отличие от многих других языков с GC, Нум предоставляет гибкие механизмы для управления памятью в критичных по производительности участках кода. Разработчик может отключать сборщик мусора для отдельных функций или модулей, использовать ручное управление памятью или применять более лёгкие стратегии сборки мусора, такие как ARC (Automatic Reference Counting) и ORC (Owned Reference Counting).

Метапрограммирование

Нум обладает мощной системой макросов и шаблонов. Макросы в Нуме работают на уровне абстрактного синтаксического дерева (AST), что позволяет выполнять сложные преобразования кода во время компиляции. Это даёт возможность создавать предметно-ориентированные языки (DSL), реализовывать встраиваемые ассемблерные вставки и генерировать код на основе конфигураций.

Совместимость с C и C++

Одной из сильных сторон Нума является возможность прямого вызова функций из библиотек, написанных на C и C++, без необходимости писать обёртки (bindings). Для этого используется специальный синтаксис, который позволяет объявлять внешние функции и типы. Это делает Нум удобным инструментом для создания приложений, использующих существующие нативные библиотеки.

Пример кода

Ниже приведён пример программы на Нуме, которая выводит приветствие и вычисляет факториал числа:

```nim

Программа для вычисления факториала

import std/math

proc factorial(n: int): int = if n <= 1: result = 1 else: result = n * factorial(n - 1)

let name = "Мир" echo "Привет, ", name, "!" echo "Факториал числа 5 равен ", factorial(5) ```

Применение

Системное программирование

Благодаря компиляции в нативный код и возможности тонкого управления памятью, Нум используется для создания операционных систем, драйверов и утилит командной строки. Например, на Нуме написан пакетный менеджер choosenim и компилятор самого языка.

Веб-разработка

Нум может компилироваться в JavaScript, что позволяет использовать его для разработки фронтенда веб-приложений. Существуют фреймворки, такие как Karax и Jester, которые предоставляют инструменты для создания одностраничных приложений (SPA) и веб-серверов соответственно.

Разработка игр

Нум используется в геймдеве благодаря высокой производительности и возможности интеграции с графическими библиотеками, такими как OpenGL и Vulkan. Существуют игровые движки и фреймворки, написанные на Нуме, например, NimGL и Godot-Nim (прослойка для использования Нума в движке Godot).

Научные и инженерные расчёты

Нум подходит для численного анализа и обработки данных. Его производительность позволяет выполнять сложные вычисления быстрее, чем интерпретируемые языки, а наличие библиотек для работы с матрицами и линейной алгеброй делает его альтернативой Python в некоторых задачах.

Инструменты и экосистема

Компилятор

Основной компилятор Нума (nim) доступен для Windows, Linux и macOS. Он включает в себя встроенный менеджер пакетов nimble, который используется для установки и управления зависимостями.

Пакетный менеджер

nimble — это официальный менеджер пакетов для Нума. Он позволяет публиковать и устанавливать библиотеки и приложения. Репозиторий пакетов Nimble содержит тысячи модулей, охватывающих различные области: от веб-фреймворков до библиотек для работы с графикой и аудио.

Инструменты разработки

Для Нума существуют плагины для популярных редакторов кода, таких как Visual Studio Code, Vim, Emacs и Sublime Text. Они обеспечивают подсветку синтаксиса, автодополнение, проверку типов и отладку. Также доступен отладчик nim-gdb, основанный на GDB.

Критика

Несмотря на свои достоинства, Нум имеет ряд недостатков, которые ограничивают его распространение:

• Небольшое сообщество. По сравнению с такими языками, как Python, JavaScript или Rust, сообщество Нума значительно меньше. Это приводит к меньшему количеству библиотек, учебных материалов и готовых решений.
• Медленный рост экосистемы. Хотя количество пакетов в Nimble растёт, многие из них находятся в стадии разработки или не имеют достаточной документации.
• Сложность отладки. Из-за двухэтапной компиляции (сначала в C, затем в машинный код) отладка может быть сложнее, чем в языках с прямым компилятором или интерпретатором.
• Нестабильность в прошлом. До версии 1.0 синтаксис и стандартная библиотека Нума претерпевали значительные изменения, что отпугивало разработчиков. После стабилизации эта проблема была в значительной степени решена.

Интересные факты

• Компилятор Нума написан на самом Нуме (самодостаточный компилятор).
• Нум поддерживает вызов функций C с помощью простого объявления proc, без необходимости писать код на C.
• В языке есть встроенная поддержка юникода, что позволяет использовать не-ASCII символы в идентификаторах.
• Нум может быть использован для написания скриптов, как Python, но при этом компилируется в исполняемый файл.

Источники

• Официальная документация языка Nim.
• Репозиторий языка Nim на GitHub.
• Статья «Nim (programming language)» в английской Википедии.
• Книга «Nim in Action» (Dominik Picheta).