Здравствуйте, vdimas, Вы писали:

WH>>>>Покрой шаблонами целое неограниченного размера.
V>>>Ну вот я со звуком много работал. Там идёт работа с пачками отсчетов вполне конечного размера.
WH>>Как эти предложения вообще связаны?

V>Очевидно так, что для некоторых сценариев трюка эмуляции ЗТ достаточно.
V>В упомянутых звуковой предметной области пачки отсчетов не просто конечного размера, а строго по некоей сетке:
V>40 байт, 80, 120, 160, 240, 320.
1)Это не имеет никакого отношения к зависимым типам.
Просто по определению зависимых типов.
2)Ты говоришь про конечный (и очень маленький) набор вариантов, а я говорю про БЕСКОНЕЧНЫЙ.

V>Не хами, парниша.
V>Ты на удивление несообразителен порой или невнимателен — на выбор. И это раздражает, ты даже не представляешь как.
V>Общаешься с коллегами забыв проснуться.
Даже определение зависимых типов запомнить не в состоянии.
Да даже несоизмеримо более простой альфабленд пикселей с альфаканалом для тебя запредельно сложен.
Да ещё трепло, ибо генератор GLR парсеров который работает быстрее лексера ты так и не показал.
Что и не удивительно. Ибо если бы такие существовали, то я бы GLR и использовал. Но в реальной реальности, а не твоём воображении у GLR огромная константа, которая тормозит даже когда GLR не улетает в O(N^3). Это подтверждают ВСЕ работы по GLR которые я видел.