CD
у тебя нет зависимых типов?
🙅♂️
Size: a a a
2020 May 21
CD
а надо
CC
SAX не всегда порядок гарантирует внутри тега
CC
ну смотря какая реализация конечно
CD
ну короче подразумевается, что [] множество и грузится сериализатором целиком
CD
а {} читается последовательно
CD
т.е. в [] идут скаляры, в {} вектора
CC
Ну ты не должен закладывать при разработке языка разметки какой-то определенный механизм парсинга
CC
Как парсер писать это вопрос вообще десятый
CD
Ну ты не должен закладывать при разработке языка разметки какой-то определенный механизм парсинга
нельзя проектировать, не имея такой вещи
CC
XML именно так и проектировали
CD
XML именно так и проектировали
имея в виду парсер?)
CC
Ну то есть
CC
Ты должен показать что парсинг однозначен
CC
Но как именно парсить ты не должен показывать
CD
Ну то есть
смотри, я там выше писал, мне надо определить примерные семантики скобок
CD
чтобы в каждом конкретном месте не брать тип скобок с потолка
CD
у меня они такие
[] множество
() упорядоченное множество
{} кортеж
[] множество
() упорядоченное множество
{} кортеж
CC
Мне нравится
CC
Они же могут вкладываться?