valhallac

valhallac

Компилятор Valhalla

Валхалла. Язык программирования

Это анализатор и компилятор для Valhalla, который исключает виртуальную машину, на которой работает скомпилированный байт -код, который является Brokkr VM.

В (тяжелом) развитии

[!!] Планирование полного переписывания и балансировки работы.

---

Что было сделано до сих пор на переднем конце:

• Анализатор
  • Лексический анализ, полная поддержка UTF-8, обработка: идентификаторы, символы, числа, строки (UTF-8 с большим количеством побега), всевозможные брекеты для: векторов, наборов и группировки и т. Д.
  • Инфикс, префикс и суффикс.
  • Правильный анализ приоритета, артины и ассоциативности.
  • Базовые операторы для языка.
  • Правильные вызовы функций, карри / частичное применение функций правильно реализовано (функции, похожие на Haskell).
  • Сообщения об ошибках, с причудливой линией и номером столбца и чтением исходной линии.
  • Постоянные оптимизации складывания на тривиально вычисляемых численных вычислениях во время компиляции.
  • Неявная компиляция времени типа в определенных ситуациях.
  • Макросы (включая определения макросов и приложение для макроса).
  • Пользовательские бинарные операторы в качестве псевдонимов для функций.
• Компилятор (генерирование байт -кода для сборки исполняемого файла).
  • Таблица констант и местных жителей с базовыми инструкциями Push & POP, а также основной арифметикой.
  • Доступ, назначение и поиск локальных переменных в области блока кода.
  • Генерирование карри функций.
  • Оптимизируйте функции, чтобы не карри, когда карри не является необходимым (отслеживая артистическое определение функции и вызов функции).
  • Оптимизируйте функции, чтобы не искать глобально для переменных, когда они поступают из вложенных закрытий (вложенные закрытия реализуют карри).
  • Оптимизируйте функции для хвостовых вызовов.
  • Отслеживать переменные и типы функций.
  • Маршалинг, т.е. сериализация байт -кода и хранение его в файле для будущей интерпретации и выполнения виртуальной машиной.
  • ...

Виртуальная машина, то есть бэкэнд для языка, разрабатывается отдельно и будет развиваться полузависимо.

Компилировать и запустить

Требуется ржавчина на данный момент.

В вашей оболочке, в корне этого хранилища, вы можете написать:

cargo run [source-file-to-compile.vh] [-o out-file] [-v]

Или, пусть компилятор распечатана информация отладки, такую ​​как потоки токенов, синтаксисные деревья, таблицы символов, инструкции по байт -коде, & ct., Использование --features=debug :

cargo run --features=debug [source-file.vh]

Например, вы можете запустить.

cargo run test_source.vh -v   # For verbose output.

Чтобы продемонстрировать компиляцию с включенным испытательным файлом ( test_source.vh ). Аргумент исходного файла для компиляции, конечно, необходим.

Пример того, что в настоящее время делает компилятор:

current_compiler_test.md

Описание

Этот репозиторий содержит фронт-энд (компиляция анализатора и байт-кодов), который обрабатывает синтаксис и семантику исходного кода. Сгенерированный AST затем собирается в Brokkr VM Bytecode. Выполнение последующего байт -кода обрабатывается виртуальной машиной языка (виртуальная машина) под названием Brokkr, который существует отдельно от этого репозитория.

Валхалла-это теоретичный язык программирования. То есть он основан на принципах теории наборов, таким образом, что все типы просто наборы, и, следовательно, все является лишь элементом набора. Язык предназначен для того, чтобы дать новый способ взаимодействия с типами и обеспечивает интуитивно понятный способ подумать о них. Цель состоит в том, что он также может быть использован для проверки доказательств и таковой в теории набора и вокруг него.

Язык-это общая цель, но вместо того, чтобы быть полностью ориентированным на объект, или функциональной и т. Д., Это просто основана на теории. Из того, что я собрал, это не очень популярная парадигма ... вероятно, по уважительной причине, но эй, это может быть интересно.

Зависимости

Быть значительно уменьшенным.