Language-Design on TrustLang

Концепция

Mon, 01 Jan 0001 00:00:00 +0000

Фундаментальные понятия

Синтаксис TrustLang имеет несколько общих для всего языка правил:

Язык построен на грамматических правилах, а не на ключевых словах. Лексер и парсер получаются однопроходными, простыми и быстрыми, а привычная запись с ключевыми словами (@if, @while, @func, …) реализуется поверх базового синтаксиса через макросы.
Термины исходного текста сначала распознаются лексером и обрабатываются макропроцессором, и только затем попадают в парсер. Это позволяет с помощью макросов модифицировать даже базовые синтаксические конструкции.
Инструкции (операторы) разделяются точкой с запятой ;.
Блоки кода записываются в фигурных скобках { ... }.
Любая конструкция (в том числе блок кода) является выражением и возвращает значение, поэтому её можно вкладывать в другие выражения.

Синтаксис TrustLang можно условно разделить на несколько слоёв, каждый из которых отвечает за свою область:

О проекте

Mon, 01 Jan 0001 00:00:00 +0000

TrustLang — язык программирования, который транслируется в C++ и собирается внешним компилятором. Ключевые свойства модели:

Грамматика на правилах, а не на ключевых словах — простой однопроходный парсер и расширяемость; привычная запись с ключевыми словами реализуется макросами (Синтаксис, Макросы).
Безопасная модель памяти без сборщика мусора — RAII, сильные/слабые ссылки, запрет сильных циклических ссылок, защита стека (Безопасность и качество).
C/C++ — интеграция «первого класса» — нативные типы/функции/классы и шаблоны, embed-вставки, линковка; учитывается в каждом контексте (Типы).
Гибкая типизация и вывод типов — статическая и динамическая, автоматический вывод (Типы).
Контракты и верификация — пред-/пост-условия и утверждения проверяются SMT-решателем (Z3) (Верификация).
Запуск как у скриптов — файл с шебангом #!.../trust --run запускается напрямую, как Python-скрипт, но с полной компиляцией: транспиляция в C++, сборка и запуск бинарника происходят автоматически, интерпретатор не нужен.

Синтаксис

Mon, 01 Jan 0001 00:00:00 +0000

Дизайн языков программирования

Mon, 01 Jan 0001 00:00:00 +0000

Строительные блоки языков программирования

Fri, 03 May 2024 00:00:00 +0000

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

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

Ведение

Практически все языки программирования строятся либо по принципу подобия (сделать как вот этот, только со своим блекждеком), либо для реализации какой-то новой концепции (модульность, чистота функциональных вычислений и т.д.). Либо и то и другое одновременно.

Возможное решение проблемы ссылок в языках программирования

Tue, 23 Apr 2024 00:00:00 +0000

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

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

Вариант реализации DSL (domain-specific language) с помощью макросов

Wed, 01 Mar 2023 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

Близится релиз языка TrustLang с принципиальной новой «фишкой», переделанным вариантом препроцессора, который позволяет расширять синтаксиса языка для создания различных диалектов DSL за счет макросов.

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

Новый язык программирования

Fri, 18 Feb 2022 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

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

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

Можно ли использовать декларативный и императивный стили написания программ одновременно?

Mon, 26 Jul 2021 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

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

Необычная концепция синтаксиса языка программирования

Mon, 24 May 2021 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

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

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

Простое сложное программирование

Thu, 15 Apr 2021 00:00:00 +0000

В очередной раз увидел на Хабре статью про сложное дело под названием «программирование». И то, что программирование действительно является делом не простым воспринимается как факт и обычно не требует какого либо подтверждения.

Но понятие «сложность» сродни термину «куча». Для кого-то и пять кокосов это не куча, а кого-то съел один и «больше не хочется» - значит для него и единственного кокоса будет много.

Так и со сложностью ПО. Вроде бы увеличение сложности является для всех очевидным и наблюдается во всех сферах применения IT технологий, да и сами языки программирования по мере своего развития становятся все сложнее, а вот оценивать «сложность» с помощью численных метрик - дело заведомо неблагодарное, но и «нельзя управлять тем, что невозможно измерить …».

Какая «идеальная» цель развития у языков программирования?

Wed, 07 Apr 2021 00:00:00 +0000

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

И это очень сильно напоминает развитие технологий, как и в любой другой области техники. Когда с очередным этапом совершенствуются создаваемые творения. Быстрее, выше, сильнее … и одновременно значительно сложнее.

Об этой проблеме меня заставила задуматься первоапрельская статья «Доказательное программирование».

Понятно, что дата публикации статьи говорит сама за себя. Тем не менее, новые стандарты С++, постоянно выходящие спецификации Java или новый синтаксис у PHP 8, невольно заставляют задуматься, а в нужную ли сторону идет развитие языков программирования? Ведь большинство нововведений добавляют сложность в основной рабочий инструмент и решая одни проблемы, неявно добавляя множество других.

Интернациональное программирование на естественных языках

Sat, 05 Dec 2020 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

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

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