Новый язык программирования, где всё является значением

Краткое изложение

Разработчик поделился личным проектом языка программирования, построенным вокруг концепции, что всё является значением. Реализация представляет собой многолетнее исследование того, как создаются и выполняются языки программирования.

То, что началось как учебное задание, эволюционировало в уникальную систему со своей собственной архитектурой. Проект демонстрирует, как современные инструменты, такие как Rust и Cranelift, могут быть объединены для создания функционального языка с нуля.

Истоки проекта

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

Изначально работа черпала вдохновение из Crafting Interpreters, уважаемого ресурса для создателей языков. Однако реализация постепенно отклонилась от этой отправной точки, разрабатывая собственную идентичность и структуру.

Ключевые аспекты развития проекта включают:

• Начался как хобби-учебный проект
• Эволюционировал независимо от первоначальных ссылок
• Фокус на архитектуре, основанной на значениях
• Многолетний срок разработки

Техническая архитектура

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

Для выполнения проект использует Cranelift — библиотеку генерации кода, предназначенную для JIT-компиляции. Это позволяет языку динамически генерировать машинный код во время выполнения, балансируя между гибкостью и производительностью.

Система парсинга использует LALRPOP — генератор парсеров, который обрабатывает грамматики языков в эффективный код парсинга. Эта комбинация создает конвейер от исходного кода до исполняемого вывода.

"Он был создан на 95% без ИИ, хотя несколько последних коммитов включают код из Gemini CLI."

Сотрудничество с ИИ

Проект поддерживает человеко-ориентированный подход к разработке, при котором подавляющее большинство кода написано без помощи искусственного интеллекта. Эта философия отражает приверженность пониманию основных механизмов проектирования языков.

Последние обновления включили код с помощью ИИ из Gemini CLI, что представляет собой прагматический сдвиг к использованию доступных инструментов. Интеграция кажется избирательной, фокусируясь на конкретных коммитах, а не на массовом использовании кода, сгенерированного ИИ.

Этот гибридный подход демонстрирует, как современные разработчики могут балансировать между традиционными методами обучения и современными инструментами ИИ. Проект остается в основном творением человека, избирательно получая пользу от помощи ИИ там, где это уместно.

Вовлечение сообщества

Проект был опубликован на новостной платформе Y Combinator, где он привлек внимание сообщества программистов. Пост набрал 6 очков и открыл канал для обсуждения проектирования языков.

Обмен такими хобби-проектами способствует более широкой дискуссии о теории и практике языков программирования. Он предоставляет конкретный пример того, как абстрактные концепции в проектировании языков могут быть реализованы на практике.

Вовлечение сообщества в такие проекты помогает подтвердить выбор проектирования и может вдохновить других на изучение собственных реализаций языков. Поделенные технические детали предлагают дорожную карту для аналогичных учебных путешествий.

Взгляд в будущее

Этот хобби-проект иллюстрирует, как личное любопытство может двигать техническую инновацию. Построив язык с нуля, разработчик получил глубокое понимание механизмов, которые питают современное программное обеспечение.

Эволюция проекта от учебного задания до функциональной системы показывает ценность практических экспериментов в овладении сложными техническими областями. Он служит как личным достижением, так и потенциальным ресурсом для других, заинтересованных в проектировании языков.

По мере развития языка он может предложить новые взгляды на то, как языки программирования могут быть структурированы и реализованы с использованием современных инструментов и техник.