G
Если по-простому, то компилятору будет трудно (или невозможно) обнаружить, что не для всего множества входных символов определён КА
Size: a a a
2020 February 24
G
Можешь забыть поставить 1 переход и искать в чём же баг в рантайме
G
Когда это можно сделать на этапе компиляции
Е
Когда это можно сделать на этапе компиляции
Не понял, а как на этапе компиляции, компиль может показать что у меня где-то логическая ошибка?
Е
ты про раст говоришь или в целом?
G
Не понял, а как на этапе компиляции, компиль может показать что у меня где-то логическая ошибка?
https://github.com/teloxide/teloxide/blob/master/examples/dialogue_bot/src/main.rs#L151
Тут попробуй убрать последнюю ветку и код не скомпилируется
Тут попробуй убрать последнюю ветку и код не скомпилируется
G
ты про раст говоришь или в целом?
В целом про языки с полноценными алгебраическими типами данных и полноценным сопоставлением с образом
G
Коим Rust является
G
(К счастью)
Е
Коим Rust является
а си плюс плюс?(
G
а си плюс плюс?(
Есть пропозал, но конкретно сейчас нет
Е
Есть пропозал, но конкретно сейчас нет
Тогда костылим как умеем!
Е
но за информацию спасибо
G
M
DSL для конечных автоматов отсутствует. Стандартный синтаксис Rust с этим на отлично справляется. Смотри в examples/dialogue_bot
Есть даже компилятор коненчых автоматов
M
Colm
M
У меня на маке есть подборка статей. Редуцирование конечного автомата или графа это вообше типичная задача для двухфазных компиляторов
M
Вот взять к примеру генератор парсеров pest
M
Там некоторые оптимизации вполне типичные для паттернг редукции есть
M
Типа замена символов на последовательность и тд