Новое сообщение в форум Декларативное программирование

Форум	Декларативное программирование
Тема	Как правильно задавать вопросы

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

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

K>>>Не требует. (Потенциальная) бесконечность следует из определения параметрического полиморфизма. Или вы можете ограничить сверху число "любых типов"?
S>>Не следует. Из определения следует лишь то, что код не должен быть специализирован для конкретных типов.

K>Код никому не должен "не быть специализирован", он может быть специализирован для оптимизации, и на практике так и происходит. Важно, чтоб он работал для любого типа (того кайнда, для которого полиморфизм вообще работает). А из "любого типа" и следует (потенциальная) бесконечность. Ну, или - если не согласны - двайте верхнюю оценку на число "любых типов".
K>Мало того, это не просто теоретизирование - показаны примеры, которые используют именно это свойство полиморфизма и которые предсказуемо работают в языках с ПП и не работают в языке без ПП. И вы как-то умудряетесь это игнорировать утверждая, что ничего ниоткуда не следует.

S>>Ну вот в C# мы можем применять типы в рантайме. Хотя это означает лишь "докомпиляцию" джитом.

K>Все типы в обсуждаемых примерах применяются в компайл-тайм.

S>>Я бы это назвал видами/категориями/классами типов.

K>kind иногда переводят как "вид". Классами типов вообще совершенно другие вещи называют.

S>>Но не типами типов.

K>Но почему?

S>>на C++ потенциальную бесконечность типов мы можем обеспечить во время компиляции, поместив что надо в заголовок и залив на гитхаб.

K>Эта шутка тут уже была:
>>Я могу (потенциально) написать id в foo.h и использовать его в бесконечном количестве программ по одному разу.
K>Или шутка, повторенная дважды, становится в два раза смешнее?
K>Ответ мне копипастить или сами прочитаете?

Теги:

Введите теги разделенные пробелами. Обрамляйте в кавычки словосочетания с пробелами внутри, например: "Visual Studio" .NET

Имя, пароль: Загрузить Нравится наш сайт? Помогите его развитию!
Отключить смайлики Получать ответы по e-mail