trait + impl vs class , навеяно Rust'ом

[korvin]

Цитата applegame @ 13.07.15, 17:15

Может тебе ссылки на его посты дать? Про детали реализации говорил я, а он как раз говорил, что истанцирование типов - это причина отрицать ПП в плюсах. Будешь мне тут рассказывать.

Буду тебе тут рассказывать:

Цитата D_KEY @ 06.07.15, 14:14

Шарп может генерировать, а может не генерировать - это деталь реализации. С++ не может не генерировать.

Добавлено 13.07.15, 17:27

Цитата Qraizer @ 13.07.15, 17:24

По теме задачи. Математика умеет работать с бесконечностями. Ряды, последовательности, бесконечно точные вещественные, итп. Практические применения математических абстракций далеко не всегда могут быть реализованы в полной мере, и это не открытие Америки. Рекурсия должна быть остановлена, итерации ограничены итп.

Т.е. проблему останова уже решили? Не думаю, что выдёргивание шнура из розетки --- корректный способ останова рекурсии/цикла.

Сообщение отредактировано: korvin - 13.07.15, 17:28

[applegame]

Цитата korvin @ 13.07.15, 17:25

Буду тебе тут рассказывать:

Цитата D_KEY @ 06.07.15, 14:14

Шарп может генерировать, а может не генерировать - это деталь реализации. С++ не может не генерировать.

Ты почитай, что там вокруг говорилось. Тут он рассуждает, что это в Шарпе деталь реализации. А в плюсах - это не реализация, а "прописано в стандарте".

[korvin]

Цитата Qraizer @ 13.07.15, 17:24

это не фантазии, это незнание теории.

Оу, ну расскажи нам теорию типов.

[applegame]

Вот тебе еще ссылочки:

Цитата D_KEY @ 06.07.15, 10:57

Тут принципиальная разница как раз в том, что в C++(и в D?) у нас нет полиморфных типов/функций, у нас есть механизм генерации конкретных типов и функций в зависимости от параметров.
И это разница не в реализации.

И вот тут втирают про генерацию активно:
trait + impl vs class (сообщение #3611075)
А тут он признал что ПП таки в плюсах есть, но потом отмазался, что он имел что-то совсем другое:

Цитата D_KEY @ 06.07.15, 22:27

Параметрический полиморфизм есть в C++(признаю таки), но там нет полиморфных типов.

Добавлено 13.07.15, 17:31

Цитата korvin @ 13.07.15, 17:29

Оу, ну расскажи нам теорию типов.

Ну что тебе еще рассказывать? В этих ваших институтах не учат что такое ПП? Ну тогда почитай ту самую лекцию из Гарварде, где и C++ и MLton упоминаются в одном контексте.

[korvin]

Цитата applegame @ 13.07.15, 17:28

Ты почитай, что там вокруг говорилось. Тут он рассуждает, что это в Шарпе деталь реализации. А в плюсах - это не реализация, а "прописано в стандарте".

Ты сам внимательно почитай. Плюсы могли бы хоть только постоянно инстанциировать, сколько угодно. Проблема в возможности переопределения этого процесса. В шарпе, пусть он начнёт постоянно инстанциировать в compile-time, переопределить поведение будет всё равно невозможно.

Добавлено 13.07.15, 17:33

Цитата applegame @ 13.07.15, 17:29

Ну что тебе еще рассказывать? В этих ваших институтах не учат что такое ПП? Ну тогда почитай ту самую лекцию из Гарварде, где и C++ и MLton упоминаются в одном контексте.

Пока что видно, что в ваших институтах его не учат, раз кое-кто не может даже пример написать и путает ПП с ad-hoc. =)

[applegame]

Цитата korvin @ 13.07.15, 17:31

Ты сам внимательно почитай. Плюсы могли бы хоть только постоянно инстанциировать, сколько угодно. Проблема в возможности переопределения этого процесса. В шарпе, пусть он начнёт постоянно инстанциировать в compile-time, переопределить поведение будет всё равно невозможно.

То есть вырезав возможность перегружать функции и специализировать шаблоны мы "включим" ПП?
korvin и D_KEY придумали суперспособ добавлять новые фичи в язык путем вырезания функциональности

[korvin]

Цитата applegame @ 13.07.15, 17:29

Ну тогда почитай ту самую лекцию из Гарварде, где и C++ и MLton упоминаются в одном контексте.

Кстати, по предоставленной мной ссылке нет ни C++, ни MLton.

Добавлено 13.07.15, 17:40

Цитата applegame @ 13.07.15, 17:35

То есть вырезав возможность перегружать функции и специализировать шаблоны мы "включим" ПП?
korvin и D_KEY придумали суперспособ добавлять новые фичи в язык путем вырезания функциональности

То есть ты не видишь разницу между Сишными макросами и шаблонами? А что, первые же тоже умеют генерировать код под типы. Впрочем, это ожидаемо от D-шника. Был на другом форуме один товарищ, такие перлы выдвигал...

[applegame]

Цитата Qraizer @ 13.07.15, 17:24

applegame, это не фантазии, это незнание теории.

Я даже не знаю что это такое. Хаскель головного мозга?

[korvin]

Для особо одарённых: в ПП в принципе невозможно ничего перегрузить и переопределить.

[applegame]

Цитата korvin @ 13.07.15, 17:37

То есть ты не видишь разницу между Сишными макросами и шаблонами? А что, первые же тоже умеют генерировать код под типы. Впрочем, это ожидаемо от D-шника. Был на другом форуме один товарищ, такие перлы выдвигал

То есть ты сам придумал про меня ерунду, сам ее утвердил и сам над ней поглумился. Ай, маладец.

[korvin]

Цитата applegame @ 13.07.15, 17:44

То есть ты сам придумал про меня ерунду, сам ее утвердил и сам над ней поглумился. Ай, маладец.

Нет, я просто сделал вывод из твоих сообщений. Ты сам маладец. =)

[applegame]

Ладно, я с вами не хочу ссориться из-за этого.
korvin, D_KEY, прошу прощения если где оскорбил. Останемся каждый при своем мнении.

[D_KEY]

applegame, а я так и не понял, как можно называть средством ПП механизм, который допускает(а так же предполагает) специализацию. Из всех обсуждаемых языков, только C++ и D так делают

Добавлено 13.07.15, 18:53
applegame, а если поставить вопрос иначе? Шаблоны являются средством параметрического или специального полиморфизма?

[applegame]

Цитата D_KEY @ 13.07.15, 18:51

applegame, а я так и не понял, как можно называть средством ПП механизм, который допускает(а так же предполагает) специализацию. Из всех обсуждаемых языков, только C++ и D так делают

Ничем не могу помочь

Добавлено 13.07.15, 18:56

Цитата D_KEY @ 13.07.15, 18:51

Шаблоны являются средством параметрического или специального полиморфизма?

Интересует мое мнение? И того и другого.

[korvin]

Цитата applegame @ 13.07.15, 18:08

Ладно, я с вами не хочу ссориться из-за этого.
korvin, D_KEY, прошу прощения если где оскорбил. Останемся каждый при своем мнении.

Зачем ссорится? Мы просто ведём обсуждение, тут всегда каждый при своём мнении, в споре рождается истина и всё такое. Когда я в первый раз собрался встретиться с D_KEY'ем и Игорем в Питере, я подумал, что это плохая идея (в те времена мы с Игорем были на сильно противоположных сторонах и спорили жестко) я подумал, что встреча может закончиться мордобоем, но интернет --- это одно, а реальный мир --- другое. В общем я к тому, что никто с тобой ссориться не будет, а холиворы потому так и называются, тут по определению жесткий спор.