Александр2ZyK_BotaNпропущено...


вот потому я и не люблю с++. мало того что пихают все, дак оно еще и не органично вписівается.

а в лиспе все четко.
я вам так скажу - С++ божественен )

Так точно!!!

Поясним чупачупсуВ результате современный начинающий говнокодер программист уже не может думать динамическим массивом (realloc), ибо атрофия мозга.

мда уж. параметрический полиморфизм - важный аспект типизации.

Поясним чупачупсуZyK_BotaNпропущено...


мда уж. параметрический полиморфизм - важный аспект типизации.

Разъясни это чувакам, написавшим Linux Kernel или Apache HTTPD.

А то вдруг они не знают, что нынче важно?

а не буду я им ничего разъяснять, написали - и молодцы.

Поясним чупачупсуZyK_BotaNа не буду я им ничего разъяснять, написали - и молодцы.

Ты не юли. Ты давай рассказывай, что у них там не так с типизацией, и как так - темплейтов нет, а продукт пишут.
Что они делают не так?

Или может это ты, как и многие тысячи любителей STL/Boost - таки чего-то сильно не догоняете?

че тебе рассказывать. все равно не поймешь.

Поясним чупачупсу1ZyK_BotaNче тебе рассказывать. все равно не поймешь.

Ты не мне рассказывай. Ты себе и подобным расскажи.

А мы посмотрим - способен ли ты к осмысленной деятельности (объяснению), или только способен бездумно подражать, слабо понимая, зачем оно тебе вообще надо.

Попробуй.

Или тебе это так сложно?

Так зачем тебе темплейты? Конкретный пример можно?

ну, сначала нужно выяснить, нужна ли статическая типизация в принципе. если нужна, то и параметрический полиморфизм пригодится.

Поясним чупачупсуЕще раз - какая в ней польза, кроме упорядочивания китайского метода программирования через copy&paste?


ну копи&паст - это способ реализации параметрического полиморфизма в си++, в других можно по другому.

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

Поясним чупачупсуZyK_BotaNну, сначала нужно выяснить, нужна ли статическая типизация в принципе.
В принципе нужна. И в ANSI C она есть и всегда была.



си - весьма условно статически типизирован, а главное не очень строго.
в нем можно без параметрического полиморфизма, а вот статически строго типизированных языках типо хаскеля - никак без него.

Поясним чупачупсуZyK_BotaNпропущено...


ну копи&паст - это способ реализации параметрического полиморфизма в си++, в других можно по другому.

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

А как насчет того, что вместо массива структур число-строка современный чумазый говнокодер в 50% случаев напишет
два вектора - чисел и строк (даже не объектов)?

И чем ему помогут темплейты?

хотел ответить, а потом понял что ты подводишь к тому, что не "современный чумазый гонокодер" не засунит в массив целых - строку. да?

ну тогда да, статическая типизация не нужна, ведь тру олдфаг мегакодер - никогда не ошибается.

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

вот пример, ты же его просил.

есть сигнатура ф-и:
void f(List<int> list);
и
void f(List list);

какой код читабельнее и понятнее?
с первой сигнатуры мы можем понять гораздо больше.

в строготипизированном хаскеле, вообще часто можно по сигнатуре ф-и понять что она делает. в си конечно с этим проблема.

Поясним чупачупсуZyK_BotaNпропущено...


си - весьма условно статически типизирован, а главное не очень строго.
в нем можно без параметрического полиморфизма, а вот статически строго типизированных языках типо хаскеля - никак без него.

Попробуй присвоить значение переменной одного typedef от стуктуры - другой, от другой структуры.
То-же - с указателями (и много думай, читая warning).

А потом приходи и рассказывай про слабую типизацию в C.

он слаботипизирован по сравнению с семейством ML.