Programming Language Design
25 February 2026 10:40
единственное, что при таком подходе, как я предложил, потребуется редукция не синтаксическая, а на значениях. как сейчас сделано?
Читать полностью…
Programming Language Design
25 February 2026 10:35
А я не могу понять почему я тащусь от этого подхода, хотя естественно у него есть недостатки
Читать полностью…
Programming Language Design
25 February 2026 10:34
А как тебе мысль поменять звёздочку и точку местами?
Читать полностью…
Programming Language Design
25 February 2026 09:27
Можем обсудить как сделать более читабельно 😏
Можете пожалуйста привести пример того что вам с трудом читается и почему?
Мне не особо важно какой будет синтаксис на самом деле. Но мне важна максимальная линейность нотации — я бы использовал s-expr, но там можно потеряться к скобках. Да и язык у меня по сути работает с последовательностями. Я показывал что можно хоть
++++++++
писать, не смотря на то что + это инфикс.
Ещё можно по разному строить выражения. Например имеется значение:
a * b * (c * d * (e * f * g) * h * i) * k * l
Его можно построить иначе:
[a; b]
* push [c; d; h; i]
* insert
. after [2; 2]
. [e; f; g]
* push [k; l]
* combine
Я всё больше подумываю оставить в языке только этот вариант. Он больше соответствует идее/концепции, чем первый —
то есть вместо вложенных скобок (любых) использовать только подобные конструкции с использованием одномерных кортежей или "одномерных скобок", а также мультиметоды в инфиксной форме (пробел, точка, звёздочка, плюс) и значений вроде push, insert и т.п.
Я открыт к предложениям🤗
UPD: исправил второй вариант — была лишняя строчка
Читать полностью…
Programming Language Design
25 February 2026 01:30
в рамках дешугаринга
Читать полностью…
Programming Language Design
25 February 2026 01:24
Вы кстати уже не первый кто сравнивает мой язык с БНФ.
Но я не думал о том чтобы сделать его таким - как-то само получилось)
Читать полностью…
Programming Language Design
25 February 2026 01:22
ну если так то да)
Но для разбора моего языка КЗГ не нужна
Читать полностью…
Programming Language Design
25 February 2026 01:21
я про арифметические и не говорил. похоже на набор правил БНФ
a B c ::= d e F G h I
Читать полностью…
Programming Language Design
25 February 2026 01:19
да нет, тут грамматика не многим сложнее чем у арифметических выражений.
Парсер Пратта знаете?
Читать полностью…
Programming Language Design
25 February 2026 01:14
Вдохновлённая химией и молекулярной биологией
Читать полностью…
Programming Language Design
25 February 2026 01:13
а, понял. прям так. f * 1 * #i-want-int
Читать полностью…
Programming Language Design
25 February 2026 01:12
Нет, но у меня есть класс специальных значений, которые я называю тегами - вот как раз для таких случаев.
let f * (i : Int) * #i-want-int : Int := ...;
let f * (i : Int) * #i-want-string : String := ...;
Читать полностью…
Programming Language Design
25 February 2026 01:09
А вот так не получится🤷♂️
Читать полностью…
Programming Language Design
12 November 2025 18:40
Что-то у меня не получилось найти, с чего тема про аспекты началась, но хотелось бы заметить, что АОП это по сути частный случай метапрограммирования.
Навешивание логирующего аспекта на фрагмент программы ни по смысловой нагрузке ни по семантике ничем не отличается от ручного раскидывания вызова логирующей функции по коду.
В зависимости от способа реализации АОПшные аспекты могут функционировать как угодно - встраиваться в цепочку вызовов статически или динамически, переписывать код как макросы на котором-то уровне абстракции, и т.д.
В конечном счёте они являются просто ещё одним способом абстракции и обобщения элементов поведения программы. Поэтому они по определению должны и будут влиять на семантику программы - в общем случае. Поэтому мне глубоко непонятны все эти рассуждения о "правильности"/"неправильности"/"корректности"/"некорректности" аспектов.
Написали реализацию, зависящую от нелокального состояния - получили внезапные эффекты при нарушении ожидаемого порядка выполнения. Не важно, каким способом мы это в программу принесли. Это прямое логическое следствие, вытекающее из природы сущности.
Читать полностью…
Programming Language Design
12 November 2025 18:32
Так и я об этом: порядок вызовов не определен из-за асинхронности (обработчики вызываются в ответ на события, и порядок этих событий определен весьма частично).
Читать полностью…
1563