Programming Language Design
18 June 2026 12:53
Компилятор (имею ввиду языковой сервер) мог бы ещё красным подсвечивать действия в коде коллбека, которые нарушают синтаксис или семантику языка
Читать полностью…
Programming Language Design
18 June 2026 12:52
Блин, классная идея. Возьму её себе в язык
Читать полностью…
Programming Language Design
18 June 2026 12:42
даже проще.
f(n) => if n then f(n) else 42
f(n) => if n then g(n) else 42; g(n) => if n then f(n) else 42
эти две f экстенсионально эквивалентны. более того, вторую можно переписать в первую без потери семантики, но решаема ли эта задача в общем случае?
Читать полностью…
Programming Language Design
18 June 2026 12:39
Я тоже хочу разобраться в математике, можете накинуть, что мне нужно разобрать чтобы понимать вас?
Конкретные темы, вместо "иди учиться в школу", "учебник геометрии 7 класс"
Читать полностью…
Programming Language Design
18 June 2026 12:35
Задача интенсиональной эквивалентности решается через введение нормальной формы.
Читать полностью…
Programming Language Design
18 June 2026 12:33
И когда белые ящики, тоже нерешаемая. )
Читать полностью…
Programming Language Design
18 June 2026 12:29
Если реализация поменялась, можно кинуть варн (даже на несходящиеся части внутри коллбека) и кинуть ошибку компиляции/впихнуть старую реализацию
Читать полностью…
Programming Language Design
25 February 2026 15:44
диаграммы понятные, но очень любопытно, как так эта нотация хитро их описывает
Читать полностью…
Programming Language Design
25 February 2026 15:38
понятия не имею. повторяю, это скопировано из https://raw.githubusercontent.com/marvinborner/optimal-effects/refs/heads/bachelor/thesis.pdf, страница 16
Читать полностью…
Programming Language Design
25 February 2026 15:36
из пдфки так скопировалось
Читать полностью…
Programming Language Design
25 February 2026 15:15
оно ведь соответствует ей, да?
Читать полностью…
Programming Language Design
25 February 2026 11:40
например, недавно вышел тезис Марвина Борнера про оптимальные эффекты через token-passing semantics. можно начать изучать этот тезис, который дает ссылки на другую литературу по эффектам в лямбда-исчислении.
https://raw.githubusercontent.com/marvinborner/optimal-effects/refs/heads/bachelor/thesis.pdf
Читать полностью…
Programming Language Design
25 February 2026 11:39
но ваше развитие как PLD дизайнера начинается не с изобретения велосипеда, а с исследования prior art.
Читать полностью…
Programming Language Design
25 February 2026 11:37
Скучно перекладывать жсоны на работе
Вообще это чисто исследовательский проект, для развлечения и моего развития как pld дезигнера
Читать полностью…
Programming Language Design
25 February 2026 11:32
Господа!
В общем я тоже занимаюсь аутизмом в меру сил и делаю свой нескучный язык. Но я взял за основу уже существующий calculus (самое близкое это combinator calculus, но не оно)
Соответственно, у меня есть несколько правил редукции термов. Я захотелось мне сделать что-то похожее на ml, в том отношении, что мне не хочется полностью всё заворачивать в монады для io и мутабельности. Проблема тут в том, что в чистом исчислении такое не сделаешь без монад или их аналогов. Но! Я могу попробовать наворотить новых правил редукции. Я думал сделать прям отдельные правила, с отдельными "комбинаторами" типа seq или print и сделать их интринсиками. Мне не понравилось, по многим причинам, например потому что не скейлится. После обсуждений с чатомгпт пришли к такой схеме: оставить чистое исчисление, но кодировать специальные термы (он называл их request, но я предпочитаю opcode по аналогии с машинными инструкциями) структурно, а не номинально.
Пример: терм (который мы выбрали определенным образом, я написал рандомный) S K K I K S S это условно print, бинарный комбинатор и когда его встречает редусер, то он делает сайд-эффект. По такому принципу можно сделать и стейтменты, и io и даже мутации или лямбды (но там немного сложнее)
Вопрос: вы встречали языки которые так делают?
Читать полностью…
1563