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

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

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

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

ME>>это неправильная аналогия

K>Аналогия правильная. Вам стало обидно, что C++ обижают и вы написали, что хотя и не знаете, будут ли проблемы с полиморфизмом в хаскеле-2010-с-расширениями (который называется просто хаскель), но думаете, что будут.

ME>>правильная будет такой: пришел MigMit и стал всем продавать нетеряющиеся ложки

K>Нет. MigMit раньше исходил из ошибочного предположения, что в C++ есть параметрический полиморфизм. Но параметрический полиморфизм означает, что forall a. Box a описывает [i]бесконечное[/i] кол-во типов. В C++ же кол-во типов всегда конечно, поэтому полиморфизм там только ad-hoc. Выяснив, как дела обстоят на самом деле, MigMit решил предостеречь остальных от следования предположению, которое на практике оказалось ошибочным.

ME>>я продемонстрировал, как теряются серебрянные ложки, и отсюда вывел *правдоподобное* заключение, что и золотые тоже могут потеряться

K>Вы атаковали пример, проверяющий на наличие ПП в языке и иллюстрирующий проблему со стороны, не имеющей никакого отношения к ПП и иллюстрирующий проблемы с сабтайпингом и неразмеченными объединениями (вопросов нет - это настоящий заповедник грабель). В хаскеле неразмеченных объединений нет, а значит нет и такого направления для атаки, поэтому вы [s]высосали из пальца[/s] наспекулировали несуществующую проблему.

Теги:

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

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