1. C++ / Говнокод #26365

    +1

    1. 1
    https://www.linux.org.ru/forum/development/15475716?cid=15478711

    > Система типов в С++ куда мощнее любой скриптухи, особенно хаскеля. Там уже есть завтипы. А значит какая угодно суперкомпиляция. Да и сам С++ состоит из суперкомпиляции на 99%.
    Царь

    Запостил: j123123, 20 Января 2020

    Комментарии (32) RSS

    • К тому же речь там шла не о dependent, а о refinement type
      Ответить
    • По поводу языка с проверками:
      https://learn.adacore.com/courses/intro-to-ada/chapters/contracts.html
      Ответить
      • По поводу самой запартной мрази с лора, которую Царь валял в дерьме.

        Кому интересно - почитайте, но перескажу.

        Мразь начала блеять что-то типа «в хаскеле система типов кручи».

        Царь же задал ей вопросы те, что выше, а так же послал оптимизировать хаскель.

        Но что-то отребье быстро убежало.
        Ответить
    • Повторю вопрос. С каких пор «Царь» за «С++»? Это не для питушков анскильных? Самый полезный тип - это массив, не?
      Ответить
      • Царь скурвился.
        Ответить
      • Я не особо следил за эволюцией взглядов «Царя», так что точной даты назвать не могу.
        Ответить
      • А вдруг какой-то посторонний чувак спёр бренд «Царя»?
        Ответить
      • Анскильное животное непонятно зачем начало блеять про Царя.

        Я, конечно, понимаю, что падаль только вчера услышала об Царе за партой.

        Но бояр это не волнует.

        https://govnokod.ru/24276#comment413894/
        Ответить
        • Питух, это, между прочим, с твоиз слов.
          https://govnokod.xyz/_26034/#comment-494226
          Ответить
    • >>> Система типов в С++ куда мощнее любой скриптухи, особенно хаскеля. Там уже есть завтипы.

      >> Шавка запартная, бегом мне побежала показывать, как пруфать что‐то на завтипах цепепе.
      >>
      >> Покажи мне там: Π‐тип, Σ-тип, пропозициональное равенство. Можешь ещё унивалентность, если осилишь, петух.
      >>
      >> Побежал, побежал, кал не растеряй.

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

      https://i.imgur.com/gpvZMLY.png
      Ответить
      • Вот и встретились
        Два царя — два одиночества...
        Ответить
    • >Собственно из-за свой примитивности она и используется за партой. В нормальных языках есть мутации, а значит нужны мутации типов. Мутаций типов нет нигде.
      Что такое мутация типов? Это когда ты сложил с переполнением, а тип хуяк и расширился? Так вроде есть такое
      Ответить
    • А в крестах можно иметь одновременно generic и не-generic описание одного и того же класса?
      Ответить
      • В крестах нет никаких «generic». Именно поэтому я за «C++».
        Ответить
        • Блядь, вот это я конечно написал хуйню. Шаблоны имелись в виду, разумеется
          Ответить
          • Нет, нельзя. Можно нагородить шаблонов с пустым списком параметров через дефолтные аргументы или влажную частичную специализацию:
            template<typename T = int>
            struct A {
                void koko()
                {
                    std::cout << "A<" << typeid(T).name() << ">" << std::endl;
                }
            };
            
            template<typename ...>
            struct B {
                void koko()
                {
                    std::cout << "B<...>" << std::endl;
                }
            };
            
            template<typename T>
            struct B<T> {
                void koko()
                {
                    std::cout << "B<" << typeid(T).name() << ">" << std::endl;
                }
            };
            
            template<>
            struct B<> {
                void koko()
                {
                    std::cout << "B<>" << std::endl;
                }
            };
            
            int main()
            {
                A<> a;
                B<> b1;
                B<int> b2;
                B<float, int> b3;
                a.koko();   // A<int>
                b1.koko();  // B<>
                b2.koko();  // B<int>
                b3.koko();  // B<...>
                return 0;
            }


            А вам таки зойчем?
            Ответить
            • Просто любопытно. Вдруг захочу на крестах начать писать, чтобы было, что на говнокоде постить

              А написать
              B b1
              нельзя, компилятор сам не догадается, что это пустой шаблон?
              Ответить
              • О, оказывается, можно. Наверное, в каком-то новом Стандарте добавили сахарку.
                Ответить
            • Говно какое-то эти ваши шаблоны. Я за кодогенерацию!
              Ответить
              • И чтоб гомоиконы!
                Ответить
                • Гомоикона - это фото где патриарх благословляет путина, целующего мальчика?
                  Ответить
    • > Система типов в С++ куда мощнее любой скриптухи, особенно хаскеля

      Царь опять оказался прав.

      И я давно говорил, что все хацкелисты рано или поздно понимают свою анскильную ущербность.

      И затем уже пересаживаются на кресты. Где их уже ждёт Святая Троица: Сиплюструп, Стандарт и Комитет.

      Добро пожаловать, снова.
      Ответить
      • Советую теюе попробовать ЭЗРЗЭб а потмо уже чтото пиздеть
        Ответить
        • Я попробовал ЭЗРЗЭб, и мои волосы стали мягкими и шелковистыми.
          Ответить
          • Я попробовал ЭЗРЗЭб и теперь лежу в инфекционном отделении.
            Ответить
    • Пусть приведёт реальный пример завтипов и суперконпеляции в крестах.
      Ответить
    • Очередная хуйня от Царя:
      https://www.linux.org.ru/forum/development/15601065?cid=15604976

      Ну ты не далеко от птушников ушел. В целом это и не удивительно. На подобные тезисы в основном они и агрятся.

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

      Правильный С++ - это мета-си. По-сути всё программирование на С++ - это генерация кода на си.

      В любом случае, повторю. Ты просто, как и любой другой птушник, пытается примазаться к С++. Ты хочешь всех убедить в том, что С++ - круто. А раз круто - значит моё говно, которое на С++ - круто потому, что оно на С++.

      Любимая песня колхозников. Но это полная чушь. Это не С++ и никакого С++ как чего-то обладающего свойством «быстрый» не существует.
      Ответить
      • Кажется что бывает два вида си-плюс-плюс.

        Один вид это си с классами, RAII, и ссылками. На таком си пишут под API операционок, например.

        Другой С++ это такое высокоуровневое кросс-платформенное с постянным boost.process и std::thread. Это уже давно не си.

        Два мира не пересекаются
        Ответить
        • На какой сам сядешь?
          Ответить
          • Анекдот знаешь, про двух мух?
            Ответить
            • Встречаются две блохи. одна толстая, красивая. А другая тощая.
              обмороженная. толстая спрашивает:
              - Ты почему такая вся ущербная?
              - Живу плохо, холодно. Однажды заснула, проснулась - а в лицо ветер,
              дождь идет, холодно. Оказалось - в усах мотоциклиста.
              - А ты сделай как я. В аэропорту залезь к стюардессе под юбку - и на
              Багамы. Там искупаешься, позагораешь, отдохнешь. Потом опять под юбку и
              домой.
              На том и расстались. Через некоторое время встречаются снова. Одна
              толстая и красивая, а эта опять худая и обмороженная. У первой немой
              вопрос.
              А вторая:
              - Я все сделала как ты сказала: в аэропорт, под юбку, на Багамы.
              Загорела, отдохнула. Села в самолет, пригрелась и заснула. просыпаюсь:
              снег, дождь, холодно - и опять в усах мотоциклиста.
              Ответить

    Добавить комментарий