Куча говна / Говнокод #27417 Ссылка на оригинал

0

  1. 1
Definition WordUpperBound := 65536.

Запостил: Hijikata Hijikata, (Updated )

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

      • Ну там поди как в крестах upper bound не входит в само множество, в отличие от lower bound'а?
        Ответить
          • Тип у этой питушни nat, он ограничен только размером кучи, так что можно сравнивать через < при желании.
            Ответить
            • > только размером кучи

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

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

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

Из-за тебя ушел bormand, guest!

    А не использовать ли нам bbcode?


    8