Хочу поделится тем что обнаружил, работая над своим DSL. Буду благодарен

Question

Хочу поделится тем что обнаружил, работая над своим DSL. Буду благодарен

если желающие здесь конструктивно прокомментируют, покритикуют и т.д.
https://docs.google.com/document/d/1j53R9buMnPI3h63wqhOY8kusXw0W9iziMXgPaE8uEUM/edit?usp=sharing

Как бы Америку в теории категорий я не открыл, но вдруг кому-то будет интересно, или может быть здесь у кого-то будут интересные/полезные комментарии - буду рад.

0

27.02.2024

4 ответов

67 просмотров

Антонидзе Кучпилип Автор вопроса

Критерий Вычисλимости
странно видеть числа и строки в префиксах. если ес...

Числа и строки в префиксах потому что это, так сказать, вырожденный случай префикса, то есть префикс, для которого parsePrefix возвращает дерево с самим этим префиксом, без ничего другого. А вообще, я здесь назвал их префиксами для простоты. У себя я их называю примолексами, то есть "первыми словами".

0

27.02.2024

Антонидзе Кучпилип Автор вопроса

И ещё в связи с этим у меня появился вопрос уже конкретно по теории категорий. Вот я в своей статейке привёл категорию с тремя объектами-функциями. В этой категории, морфизм из одной функции в другую означает, что по некоторым правилам, после вызова одной функции, может быть вызов другой функции. Например, после вызова parsePrefix может быть вызов parseInterfix. Вот в этой категории показано, например, что после вызова parsePrefix может быть вызов parseInterfix. Вопрос: а можно ли как-то показать что после вызова parsePrefix может быть вызов parseInterfix, но только если после parsePrefix не получится вызвать ни parsePostfix, ни снова parsePrefix ? То есть ввести некую приоритетность таких вызовов. Что если в категории будет два вида морфизмов: первый говорит о возможности вызова одной функции после другой, а другой говорит о приоритетности вызова одной функции, над вызовом другой ? Вот только я не уверен что для второго типа морфизмов (приоритетность) будут соблюдены все требования для категорий.

0

27.02.2024

Антонидзе Кучпилип Автор вопроса

Критерий Вычисλимости
странно видеть числа и строки в префиксах. если ес...

скобки у меня это также примолексы, со своей функцией parsePrimolex (опять таки, для простоты, в статье я её назвал parsePrefix). Но это уже оффтоп.

0

27.02.2024

Критерий Вычисλимости · Accepted Answer

странно видеть числа и строки в префиксах. если есть -фиксы, значит должно быть и то, к чему они выступают -фиксами, т.е. основа/корень/whatever, т.е. некоторые самостоятельные элементы. как раз это и есть строки, числа и прочие имеющие смысл в изоляции выражения кстати скобки это скорее циркумфиксы, если уж на то пошло

Похожие чаты

Хочу поделится тем что обнаружил, работая над своим DSL. Буду благодарен

4 ответов

Похожие вопросы