Сообщение Re[12]: Опциональные типы от 23.02.2017 13:53
Изменено 25.02.2017 22:59 VladD2
Re[12]: Опциональные типы
Здравствуйте, 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 которые я видел.
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 которые я видел.
... << RSDN@Home 1.0.0 alpha 5 rev. 0>>
Re[12]: Опциональные типы
Здравствуйте, 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 которые я видел.
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 которые я видел.
... << RSDN@Home 1.0.0 alpha 5 rev. 0>>