Programming Language Design

18 June 2026 12:56

Могу вечером тебе написать

Programming Language Design

18 June 2026 12:54

Можно примеры? Интересно стало

Programming Language Design

18 June 2026 12:54

буквально как пишутся моды к некоторым играм

Programming Language Design

18 June 2026 12:53

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

Programming Language Design

18 June 2026 12:52

Только немножко в другом синтаксисе

Programming Language Design

18 June 2026 12:48

МОжет пригодиться.
https://anton-k.github.io/ru-haskell-book/book/toc.html

+ ботов попытай вопросами, они могут подсказать.

Programming Language Design

18 June 2026 12:39

Она не решается для всех случаев. Но, решается для некоторых частных случаев. Программисты решают частные случаи. Правда, иногда ошибаются 🙃

Programming Language Design

18 June 2026 12:37

что делать с корекурсией?

Programming Language Design

18 June 2026 12:35

Но, проблема останова тоже нерешаемая... однако жеж живем и даже иногда работаем... )

Programming Language Design

18 June 2026 12:33

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

Programming Language Design

18 June 2026 12:28

Который указывает компилятору, как менять аст взятой функции

Programming Language Design

25 February 2026 15:42

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

Programming Language Design

25 February 2026 15:37

а чем отличаются скобки [] от скобок ()? этого тоже в Лафонтовской нотацией нет

Programming Language Design

25 February 2026 15:35

а что такое ∘? по-моему этого не было в Лафонтовской нотации

Programming Language Design

25 February 2026 15:14

потыкался в гпт с целью понять лафонтовскую нотацию 𝛿∘[𝑎(x1, … , x𝑛), 𝑎(y1, … , y𝑛)] ⋈ 𝑎[𝛿∘(x1, y1), … , 𝛿∘(x𝑛, y𝑛)], но это совершенно бестолковая затея, т.к. Т9 путается в показаниях и противоречит себе
может кто-то пояснить, как это правило соответствует этой диаграмме?

Programming Language Design

18 June 2026 12:55

как домой доберусь, если не забуду. но можно погуглить oxygen not included mods

Programming Language Design

18 June 2026 12:54

именно так, сам писал

Programming Language Design

18 June 2026 12:53

Если он после компиляции выяснит ast

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