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

V>Т.е. ты и этого не знал?
V>Это давно было обосновано научно с т.з. теории типов.
Что обосновано? Зависимые типы? В каком месте?

V>Или ты не понимаешь фразы "Тьюринг-полный язык времени компиляции?"
Я это сам доказывал.
Доказательство полноты.

Автор: WolfHound
Дата: 06.02.12

V>>>- в случае покрытия специализациями шаблонов (можно частичными) ВСЕХ диапазонов термов,
WH>>Покрой шаблонами целое неограниченного размера.
V>Ну вот я со звуком много работал. Там идёт работа с пачками отсчетов вполне конечного размера.
Как эти предложения вообще связаны?
Ты вообще можешь связно думать? Или у тебя в голове работает рандом, который скачет куда попало.

V>Зависимые типы времени компиляции представляются на шаблонах С++ так же как в Хаскеле — через идиому succ(succ(succ(..., т.е. нас ограничивает лишь максимальная вложенность шаблонов.
Ох. Ни в С++ ни в хаскеле зависимых типов нет.
И про то что константы в шаблонах С++ выражаются через succ(succ(succ( я тебе рассказал.
До этого ты говорил, что, если в шаблон можно воткнуть целое значит в С++ есть зависимые типы.

WH>>И сортировка доказана для всех массивов размером от нуля до бесконечности.
WH>>Тут ключевое слово БЕСКОНЕЧНОСТЬ.
WH>>Для зависимых типов бесконечность проблемой не является.
V>Это зависит от реализации.
Не от реализации, а от математики.
Зависимый тип — это такой тип, который зависит от значений времени исполнения. А их вполне может быть бесконечное множество.

V>Мало ли где чей код доступен?
V>Твой код для чего-то серьезного, увы, не интересен и не подходящ.
V>Потому что ты выбрал не ту технологию.
Так ты свой покажи.
Я очень хочу посмотреть на правильный код, написанный на правильной технологии.
Я давно хочу посмотреть на генератор парсеров который генерирует GLR парсер и работает быстрее лексера.
Я очень хочу увидеть это чудо.
Или ты таки трепло?

V>Просто, никакое поделие ни на каком на дотнете не построит сегодня AST с нужной скоростью.
Что ты к .НЕТ прицепился. Я знаю, что он тормозит. Не надо мне это говорить.
Всё что я хочу это посмотреть на GLR парсер который работает быстрее лексера.
И мне всё равно на чем он написан.