1. Куча / Говнокод #27417

    0

    1. 1
    Definition WordUpperBound := 65536.

    Запостил: Hijikata, 11 Мая 2021

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

    • Delphi?
      Ответить
    • Где говно?
      Ответить
      • В 6?
        Ответить
        • Ну там поди как в крестах upper bound не входит в само множество, в отличие от lower bound'а?
          Ответить
          • Дык std::numeric_limits<uint16_t>::max() == 65535. Иняче сравнивать бессмыслення.
            Ответить
            • Тип у этой питушни nat, он ограничен только размером кучи, так что можно сравнивать через < при желании.
              Ответить
              • Ну ладня.
                Ответить
              • > только размером кучи

                Но из-за одноричной системы счисления это список из 65536 S и одного O?
                Ответить
                • Ну да. Наверно, в этом и говно, т.к. в нём есть и более нормальные типы для байтолюбви, вроде ZArith. Чёрч интересен для индуктивных доказательств, сравнивать его с 65536 как-то глупо наверно.
                  Ответить
                  • Ну и в довесок ко всему --- размер адресного пространства, количество регистров и разнообразные декодеры и энкодеры для инструкций я указал как параметры, а это --- в виде константы.
                    Ответить
      • Через пару сотен строк --- nat_leq_dec x WordUpperBound
        Ответить
        • А, ну если leq, то странное число.

          З.Ы. Хотя и так сойдёт, наверное, если это просто какое-то абстрактное ограничение для слов в тексте, а не для 16-битных мышиных слов.
          Ответить
        • Баг, но не говно.
          Ответить

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