C++0x: концептов не будет

0

0

Комитет по стандартизации ISO языка программирования С++ на июльском собрании принял решение отказаться от идеи концептов в новом стандарте. Основных причины две - сомнительная польза от столь существенного нововведения и сырость текущего предложения: за шесть лет разработки авторам так и не удалось определиться с полным и однозначным описанием.

Концепты предполагали дать возможность наложения ограничений на обобщённые типы в шаблонах функций и классов; можно провести аналогию с классами типов из Haskell.

По словам Майкла Вонга, члена комитета по стандартизации C++, пересмотра данного решения стоит ожидать не ранее чем через пять лет. Стоит заметить, что ранее из проекта стандарта была выброшена идея сборщика мусора; причиной была названа излишняя сложность в реализации.

Статья Страуструпа «Simplifying the Use of Concepts»: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2906.pdf

Статья Вонга (часть 1): http://www-949.ibm.com/software/rational/cafe/blogs/cpp-standard/2009/07/20/the-view-or-trip-report-from-the-july-2009-c-standard-meeting

Статья Вонга (часть 2): http://www-949.ibm.com/software/rational/cafe/blogs/cpp-standard/2009/07/20/the-view-or-trip-report-from-the-july-2009-c-standard-meeting-part-2

>>> Подробности

Ссылка

←	Dovecot 1.2.0

Корпорация Microsoft хочет внести свой код в ядро

→

← 1 2 3 →

Цкресткрестокапец? Ура!

l5k
(20.07.09 21:54:06 MSD)

Может, это и хорошо.

tailgunner ★★★★★
(20.07.09 21:55:17 MSD)

Ответ на: комментарий от l5k 20.07.09 21:54:06 MSD

> Цкресткрестокапец? Ура!

сомневаюсь, что отсутствие концептов ввергнет в депрессию сипиписников

~~lester~~ ★★★★
(20.07.09 21:57:31 MSD)

Ответ на: комментарий от lester 20.07.09 21:57:31 MSD

а отсутствие сборщика мусора?

vyv ★★★
(20.07.09 21:59:24 MSD)

Ответ на: комментарий от lester 20.07.09 21:57:31 MSD

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

placement_new ★★
(20.07.09 22:00:14 MSD)

Ссылка

Ответ на: комментарий от vyv 20.07.09 21:59:24 MSD

> а отсутствие сборщика мусора?
Это не задача языка.

ferhiord ★★
(20.07.09 22:01:13 MSD)

RIP.

~~anonymous4~~
(20.07.09 22:01:16 MSD)

Ответ на: комментарий от lester 20.07.09 21:57:31 MSD

Да, ты верно подметил, не в депрессию, в состояние говнокодинга.

l5k
(20.07.09 22:02:51 MSD)

Ответ на: комментарий от vyv 20.07.09 21:59:24 MSD

> а отсутствие сборщика мусора?

тоже не критично

~~lester~~ ★★★★
(20.07.09 22:05:08 MSD)

Ссылка

Ответ на: комментарий от l5k 20.07.09 22:02:51 MSD

> Да, ты верно подметил, не в депрессию, в состояние говнокодинга.

а бедный Линус до сих пор на С пишет, и почему он у l5k не проконсультируется

~~lester~~ ★★★★
(20.07.09 22:06:18 MSD)

Ответ на: комментарий от lester 20.07.09 22:06:18 MSD

Ололололо, lester, ты слишком долго плавал в океане.

l5k
(20.07.09 22:11:58 MSD)

Ответ на: комментарий от l5k 20.07.09 22:11:58 MSD

> Ололололо, lester, ты слишком долго плавал в океане.

я что-то пропустил? он уже пишет на кошерном Mono?

~~lester~~ ★★★★
(20.07.09 22:21:03 MSD)

Ссылка

> Стоит заметить, что ранее из проекта стандарта была выброшена идея сборщика мусора; причиной была названа излишняя сложность в реализации.

Ололо, аналитики ЛОРа говорят что gc в прогу на C++ вставляется левой ногой в любой момент. трупстрауса повержен, ему прописано обучение по букварю Александреску

Karapuz ★★★★★
(20.07.09 22:23:41 MSD)

>C++0x: концептов не будет

Бляяяяяяяяяяяяяяяя! И че, хаскелисты следующие 5 лет будут безнаказано нас чморить type class-ами?!

www_linux_org_ru ★★★★★
(20.07.09 22:26:06 MSD)

Ответ на: комментарий от Karapuz 20.07.09 22:23:41 MSD

> Ололо, аналитики ЛОРа говорят что gc в прогу на C++ вставляется левой ногой в любой момент

вероятно не так просто сделать реализацию приемлимую по скорости

~~lester~~ ★★★★
(20.07.09 22:27:10 MSD)

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

~~PayableOnDeath~~ ★
(20.07.09 22:30:05 MSD)

Ссылка

Это плохо ...

kitov ★★★
(20.07.09 22:30:35 MSD)

Ссылка

Ответ на: комментарий от tailgunner 20.07.09 21:55:17 MSD

> Может, это и хорошо.

Может и да -- проще сделать свой с++ - совместимый язык.

www_linux_org_ru ★★★★★
(20.07.09 22:31:15 MSD)

Ответ на: комментарий от www_linux_org_ru 20.07.09 22:31:15 MSD

~~lester~~ ★★★★
(20.07.09 22:31:32 MSD)

Ответ на: комментарий от lester 20.07.09 22:31:32 MSD

> D?

он не с++ - совместимый и мутант с++, а не шаг вперед.

www_linux_org_ru ★★★★★
(20.07.09 22:33:19 MSD)

Ссылка

Ответ на: комментарий от lester 20.07.09 22:27:10 MSD

>вероятно не так просто сделать реализацию приемлимую по скорости

Аналитики ЛОРа говорили "В вашей жабе GC тормозной, вот сделают на C++ и зарулят жабу. Опять" И где?

Karapuz ★★★★★
(20.07.09 22:33:48 MSD)

Ответ на: комментарий от Karapuz 20.07.09 22:33:48 MSD

> Аналитики ЛОРа говорили "В вашей жабе GC тормозной, вот сделают на C++ и зарулят жабу. Опять" И где?

это были другие аналитики :) как по мне в С++ сборщик - лишнее

~~lester~~ ★★★★
(20.07.09 22:40:13 MSD)

Ссылка

ц++ не нужен. Есть Ц+лисп/ерланг/пистон/рубин.

~~CL-USER~~
(20.07.09 22:46:48 MSD)

Ответ на: комментарий от CL-USER 20.07.09 22:46:48 MSD

ц++ не нужен. Есть Ц+лисп/ерланг/пистон/рубин.

+1, - python

~~Banana~~
(20.07.09 22:55:10 MSD)

Ответ на: комментарий от Banana 20.07.09 22:55:10 MSD

предлагаю всем высказаться - кто какой язык не любит, это очень важно

~~lester~~ ★★★★
(20.07.09 22:57:07 MSD)

Ответ на: комментарий от Banana 20.07.09 22:55:10 MSD

Ничего страшного думаю не произойдет. сборщик мусора? не всегда он нужен. тем кому нужен - уже реализовали(Qt4) Главное, чтобы новый стандарт совсем не заглох и не перенесен еще года на два

AVATAR
(20.07.09 23:05:45 MSD)

Хорошо. Осталось выкинуть шаблоны, разрешить присваивание this -- и язык вновь станет нормальным, времен второго издания страуструповой книжки. Нефиг было и начинать поганить Си с объедками :)

Rexy-Craxy ★
(20.07.09 23:08:29 MSD)

> По словам Майкла Вонга, члена комитета по стандартизации C++, пересмотра данного решения стоит ожидать не ранее чем через пять лет.

Слабая, бесхарактерная позиция. А ведь Майклу было у кого поучиться! Так, уважаемый американский программист, мистер Джереми Вонг, просто взял ружье, и пошел перестрелял из него всё быдло, что попалось под руку. Разумеется, в лапы полиции живым он не отдался. Ъ. Майкл же только позорит память своего однофамильца...

Manhunt ★★★★★
(20.07.09 23:11:02 MSD)

Ответ на: комментарий от www_linux_org_ru 20.07.09 22:26:06 MSD

Есть подозрение, что и не только хаскеьл-писатели

impfp ★
(20.07.09 23:11:52 MSD)

Ответ на: комментарий от AVATAR 20.07.09 23:05:45 MSD

хотя конечно жаль, что не успели концепты окончательно разработать

AVATAR
(20.07.09 23:16:16 MSD)

Ссылка

Ответ на: комментарий от Rexy-Craxy 20.07.09 23:08:29 MSD

> Осталось выкинуть шаблоны

Лучше будет выкинуть тебя.

Manhunt ★★★★★
(20.07.09 23:18:46 MSD)

Ссылка

Ответ на: комментарий от AVATAR 20.07.09 23:05:45 MSD

> сборщик мусора... уже реализовали(Qt4)

ЩИТО?

mannaz ★
(20.07.09 23:20:08 MSD)

Ответ на: комментарий от lester 20.07.09 22:57:07 MSD

Перл. Перл должен умереть. Любителей перла надо сослать в Китай, нехай привычны к ероглифам.

yk4ever ★
(20.07.09 23:22:58 MSD)

Ответ на: комментарий от lester 20.07.09 22:06:18 MSD

> а бедный Линус до сих пор на С пишет, и почему он у l5k не проконсультируется

Что характерно, Линус ненавидит кресты. Они для него слишком хитрые.

yk4ever ★
(20.07.09 23:24:03 MSD)

Ссылка

Концепты лишь запутывали и без того непростой язык. Неужели таки взялись за ум и не стали портить и без того несладкую жизнь разработчикам компиляторов. Только раньше бы, лет так на 20.

env ★★☆
(20.07.09 23:24:31 MSD)

Ответ на: комментарий от Banana 20.07.09 22:55:10 MSD

+1, -lisp, -erlang, -ruby, -python, -c99 +ANSI

funky_dennis
(20.07.09 23:25:00 MSD)

Ссылка

Ответ на: комментарий от env 20.07.09 23:24:31 MSD

impfp ★
(20.07.09 23:26:01 MSD)

Ссылка

Ответ на: комментарий от Manhunt 20.07.09 23:11:02 MSD

Пруф: http://www.kp.ru/online/news/223334/

Manhunt ★★★★★
(20.07.09 23:28:08 MSD)

Ссылка

GC провоцирует школьников (ибо плюсы и пехапе только школьники знают) писать быдлокод

funky_dennis
(20.07.09 23:29:09 MSD)

Ответ на: комментарий от funky_dennis 20.07.09 23:29:09 MSD

Ты хто?

~~anonymous4~~
(20.07.09 23:29:54 MSD)

Ответ на: комментарий от anonymous4 20.07.09 23:29:54 MSD

уже далеко не студент..

funky_dennis
(20.07.09 23:30:44 MSD)

Ответ на: комментарий от funky_dennis 20.07.09 23:30:44 MSD

По твоей хоумпаге хорошо видно, что тебе еще далеко до студенчества.

Я вообще к тому, что рассуждать о быдлокоде, имея пять каментов за душой, дурной тон. Вежливее надо, тоньше ;)

~~anonymous4~~
(20.07.09 23:34:24 MSD)

<slowpoke>А аргументы по умолчанию в описании типов шаблона сделали?</slowpoke>

Werehuman ★★
(20.07.09 23:38:31 MSD)

Ссылка

Ответ на: комментарий от anonymous4 20.07.09 23:34:24 MSD

> Вежливее надо, тоньше ;)

Не осталось уже троллей нормальных :(

Manhunt ★★★★★
(20.07.09 23:39:57 MSD)

Ссылка

Ответ на: комментарий от anonymous4 20.07.09 23:34:24 MSD

Я тут вообще readonly, но извините, такие темы меня провоцируют...

funky_dennis
(20.07.09 23:43:09 MSD)

Ссылка

Ответ на: комментарий от anonymous4 20.07.09 23:34:24 MSD

IMHO:

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

А у нас, обычно, первое, что видит школьник - пехапе. Слава аллаху, если после помио пехапе он проявит интерес к плюсам, но опять же, плюсы после пехапе вредны - провоцируют на быдлокод.

funky_dennis
(20.07.09 23:47:38 MSD)

Ответ на: комментарий от funky_dennis 20.07.09 23:47:38 MSD

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

~~anonymous4~~
(20.07.09 23:59:28 MSD)

Ссылка

Ответ на: комментарий от funky_dennis 20.07.09 23:47:38 MSD

Хотя, современные компиляторы тоже провоцируют разработчика писать быдлокод. Например, gcc 3.x.x и выше вот такой код:

int32_t bydlo_func (int32_t x, int32_t y)
{
    int32_t i;
    int32_t j;
    int32_t rc;

    for (i = 0; i < x; i++)
    {
        for (j = 0; j < y; j++)
        {
            /*
             * something evil here, result stored in 'rc'
             */
        }
    }

    return rc;
}

"превратят" в код, который проканывал, как задуманное в 2.95.хх:

int32_t bydlo_func (int32_t x, int32_t y)
{
    register int32_t i;
    register int32_t j;
    int32_t rc;

    for (i = 0; i < x; i++)
    {
        for (j = 0; j < y; j++)
        {
            /*
             * something evil here, result stored in 'rc'
             */
        }
    }

    return rc;
}

funky_dennis
(21.07.09 00:00:28 MSD)