p
Зачем? Диаграмма на листике рисуется быстрее
Size: a a a
2020 March 14
AS
В ASN.1 гораздо меньше контроля над бинарным представлением, он не self-describing, соответственно с версионностью и обратной совместимостью будут проблемы.
Asn.1 self describing.
p
Потом когда набросал прототип уже переносишь его в компьютер, конечно
p
Ну и диаграмму можно показать кому угодно, и он ее поймет. А Идрис знает полтора человека😂
G
Зачем? Диаграмма на листике рисуется быстрее
Если какой-то отдельный проект проектируешь, то наверное да, диаграммами лучше будет
AS
Мне от uml в жизни только sequence diargam нужна
p
Диаграммы вариантов использования очень важны также.
АВ
Что за возможности мешают парсить как обычно?
Значение поля структуры может содержать тип поля другой структуры, например:
AnyArray := @struct {
Type := @type{}
Values := []Type{}
}
ints = AnyArray {
@int32
{1, 2, 3, 4, 5}
}
colors = AnyArray{
@struct {R = @norm8{}, G = @norm8{}, B = @norm8{}}
{{0.5, 0.7, 0.9}, {1, 1, 0}, {0.4, 0.1, 0.7}}
} Нельзя сгенерировать статически парсер, который сможет распарсить любой возможный экземпляр AnyArray, потому что его элементами могут быть элементы любого типа. Это может быть любой встроенный тип, структура, а может быть тип, который описан в самих данных, которые ты читаешь.А
Значение поля структуры может содержать тип поля другой структуры, например:
AnyArray := @struct {
Type := @type{}
Values := []Type{}
}
ints = AnyArray {
@int32
{1, 2, 3, 4, 5}
}
colors = AnyArray{
@struct {R = @norm8{}, G = @norm8{}, B = @norm8{}}
{{0.5, 0.7, 0.9}, {1, 1, 0}, {0.4, 0.1, 0.7}}
} Нельзя сгенерировать статически парсер, который сможет распарсить любой возможный экземпляр AnyArray, потому что его элементами могут быть элементы любого типа. Это может быть любой встроенный тип, структура, а может быть тип, который описан в самих данных, которые ты читаешь.можно
АВ
можно
И как такое сделать, не пихая весь рантайм в этот парсер?
p
Значение поля структуры может содержать тип поля другой структуры, например:
AnyArray := @struct {
Type := @type{}
Values := []Type{}
}
ints = AnyArray {
@int32
{1, 2, 3, 4, 5}
}
colors = AnyArray{
@struct {R = @norm8{}, G = @norm8{}, B = @norm8{}}
{{0.5, 0.7, 0.9}, {1, 1, 0}, {0.4, 0.1, 0.7}}
} Нельзя сгенерировать статически парсер, который сможет распарсить любой возможный экземпляр AnyArray, потому что его элементами могут быть элементы любого типа. Это может быть любой встроенный тип, структура, а может быть тип, который описан в самих данных, которые ты читаешь.Парсишь статически, а в рантайме проверяешь типы чтобы совпадали
p
Немного некорректно выразился, но думаю ты понял
А
И как такое сделать, не пихая весь рантайм в этот парсер?
как обычно, в любых языках, где юзеры могут определять свои типы и переменные
АВ
Парсишь статически, а в рантайме проверяешь типы чтобы совпадали
Тогда это будет ограниченный парсер, который может обработать только определённый набор типов. Это и есть те ограничения, о которых я говорил.
А
Тогда это будет ограниченный парсер, который может обработать только определённый набор типов. Это и есть те ограничения, о которых я говорил.
нет
А
парсер вообще типы не обрабатывает
А
его задача построить AST
АВ
его задача построить AST
А, так ты чисто про сам парсер? Я думал, что мы говорим о генераторе кода, который сможет работать с данными.
У меня бинарный формат и есть по сути компактно сериализованное AST текстового парсера.
У меня бинарный формат и есть по сути компактно сериализованное AST текстового парсера.
А
А, так ты чисто про сам парсер? Я думал, что мы говорим о генераторе кода, который сможет работать с данными.
У меня бинарный формат и есть по сути компактно сериализованное AST текстового парсера.
У меня бинарный формат и есть по сути компактно сериализованное AST текстового парсера.
генератор кода уже будет иметь инфу о всех типах
А
и вообще это уже другая история, к которой генераторы парсеров уже в принципе не относится