Programming Language Design

08 October 2026 18:02

Вы про обозначения или про суть?😁

Programming Language Design

08 October 2026 18:00

Пишут v equiv v, так?

Programming Language Design

08 October 2026 17:58

Это понятно. Но v = v соблюдается везде, поэтому uniqueness rule избыточны

Programming Language Design

08 October 2026 17:54

Ну просто получается Г |- v : T => True, что верно всегда

Programming Language Design

08 October 2026 17:52

Я отвечал в контексте вопроса про uniqueness rule

Programming Language Design

08 October 2026 17:51

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

Programming Language Design

08 October 2026 17:49

Может выполняться. Зависит от остальных правил вашей системы

Programming Language Design

08 October 2026 17:45

Если у вас есть правила дробяме, то каждое правило в agda/lean/rocq будет конструктором индуктивного типа.

Можно начать с того чтобы перевести дроби в такой индуктивный тип.

Programming Language Design

18 June 2026 17:51

Точно работает хорошо, например в .net

Programming Language Design

18 June 2026 16:12

Класс)
А в вм можно будет динамически создавать функции, классы (если предусмотрены) и подобные конструкции?)

Мне это в js безумно нравится

Programming Language Design

18 June 2026 16:06

*вы будете (просто привык на ты)

Programming Language Design

18 June 2026 15:41

Где вы увидели что я в функции собираюсь что-то регулярками искать/переписывать???
И ни о каких goto речи вообще не было.
Пример с регулярками был дан как аналогия. Не более.

Моя идея скорее о макросах и патмате.

@artemkot4 @vexoxoid

Programming Language Design

18 June 2026 13:24

В случае vm идея с построением ast из байт кода наверное работает хорошо, если заняться реализацией, но в случае натива нужно очень много думать

Programming Language Design

18 June 2026 13:22

Понимаю. У меня язык на llvm, поэтому отталкиваюсь от своего опыта

Programming Language Design

18 June 2026 13:14

Суть в том, чтобы представить общее представление ast, которое будет стабильно и предоставить программисту удобный интерфейс без знаний того, как работает язык в более низком представлении

Programming Language Design

08 October 2026 18:01

То есть я пишу но в общем так вроде не пишут

Programming Language Design

08 October 2026 17:59

Так в uniqueness не пишут
v = v

И я не пишу

Programming Language Design

08 October 2026 17:57

На всякий случай:
В заключении правила uniqueness rule говорится об эквивалентности значений какого-то типа. Не типов.

Programming Language Design

08 October 2026 17:53

Я спрашиваю в контексте uniqueness rule. Вы задаете для каждого типа значений по отдельности что для них соблюдается эквивалентность. Это значит что в каких-то случаях она не соблюдается. В каких?

Programming Language Design

08 October 2026 17:51

Они могут быть не равными самим себе как NaN конечно, но эквивалентность то более сильное свойство...

Programming Language Design

08 October 2026 17:50

Так погодите, а какие значения в принципе могут быть не эквивалентными самим себе???

Programming Language Design

08 October 2026 17:47

Если оно выполняется при наличии uniqueness rule, то с вашим uniqueness rule какая-то лажа

Programming Language Design

18 June 2026 18:26

Где дотнет строит ast из байткода? Речь о декомпиляторах типа ilspy?

Programming Language Design

18 June 2026 16:37

Примеров бы, без них неясно

Programming Language Design

18 June 2026 16:09

Своя вм.

Можно и на ты😏

Programming Language Design

18 June 2026 16:05

Кстати, а ты язык будешь делать под свою вм или вм другого языка, или может натив?

Programming Language Design

18 June 2026 13:25

Сам llvm просто абстракция над компиляцией в целевые платформы, но машинный код это уже результат, и далеко не обобщённый

Programming Language Design

18 June 2026 13:23

llvm не vm, извините, хотя могу себе представить что кто-то патчит llvm ir

Programming Language Design

18 June 2026 13:20

Когда мы декомпилируем, то уже ни о какой стабильности речи идти не может. Да и вмки не особо низкоуровневые обычно, ну JVM

Programming Language Design

18 June 2026 13:14

Ну то есть декомпиляция => изменение => компиляция это лишний шаг