О чистоте и нечистотах

[thedeemon]

Уважаемый thesz написал у себя:
Для чистоты требуется 1) нормальный порядок упрощения (call-by-need или call-by-name, чтобы убрать зависимость от порядка вычисления) и 2) типы, чтобы ++i не пролезло в чистый код.
но, кажется, перепутал чистоту с хаскелем.

Ибо: 1) есть замечательный чистый функциональный язык Idris (даже проверяемо тотальный большей частью), в котором порядок вычислений строгий. Т.е. я бы заметил, что call-by-need требует чистоты, но чистота в общем случае не требует call-by-need.
То, что "есть классы программ, которые в нормальном порядке выразимы, в энергичном нет" - это правда, конечно, но к чистоте отношения не имеет.
Касательно 2) - бестиповое лямбда-исчисление тоже совершенно чистое, и для чистоты своей типов не требует. Чтобы ++i не пролезло в чистый код таки достаточно убрать из языка ++i и другие нечистоты.

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

Comments

[shadow-ru.livejournal.com]

Рулём велосипеда у человека является мозг. Человек обменял свои когти и клыки на серое вещество. Поэтому, чтобы справиться с 60-килограммовой шимпанзе, нужно 5-6 здоровых мужчин. Шимпанзе может поднять столько, что пауэрлифтеры плачут от зависти. А если взять орангутанга или гориллу....

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

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

flagvruki . com/history/nevydumannye-istorii/yarostnyy-boy-okrovavlennykh-tigrov-za-territoriyu/

Ну а безоружное убийство человека человеком -- это своего рода наука.

Вы когда либо проходили мимо мест выгулки собак? Там очеь легко наблюдать совершенно обратное поведение

Когда собаки демонстрируют угрозу, они поднимают шерсть, чтобы казаться больше.

Я достаточно наблюдал примеров обратного, начиная с себя, продолжая клиентами тренера и заканчивая Френком Зейном

Не очень понял, как быстрый метаболизм худощавого Зейна ("хардгейнер", "эктоморф"), противоречит тому факту, что худощавые люди имеют быстрый метаболизм.

[thesz.livejournal.com]

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

Мелкие собаки чаще агрессивны. Вне зависимости от того, насколько они поднимают шерсть.

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

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

Крепость костей зависит от занятий с отягощениями (resistance training). Плотность костей занимающихся на 50% выше плотности костей тех же людей до занятий.

Почему я намерен закруглиться? Наши знания настолько различны, что мне чрезвычайно скучно.

[shadow-ru.livejournal.com]

Я не ставил себе целью Вас развлекать. Я просто читал посты thedeemon по Идрису (и смежные) и случайно зацепился за холк-биологический (по аналогии с фолк-хистори) комментарий, который и про комментировал.

Что до Ваших возражений, то должен заметить, что у людей размер тела имеет положительную корреляцию с агрессией:

www . soc.duke . edu/~socbio/images/Pinhey.pdf

Да, в общем, это и так понятно (тестостерон, меньшая цена конфликта и т.д.), без исследований.

Мелкие собаки чаще агрессивны. Вне зависимости от того, насколько они поднимают шерсть.

Мелкие собаки более "брехливы": они громко и часто лают и, в лучшем случае, могут постараться цапнуть оппонента, когда он отвернулся. Аналогичным образом стая обезьян преследует леопарда на безопасном расстоянии, кричит, кидает в него всякое-разное, но это не агрессия, это защита путём "воздействия на нервы". Когда атакуют всерьёз, атакуют молча. Например, если слон громко трубит, хлопает ушами и т.д. -- его можно несильно опасаться, а если он молча бежит на вас -- лучше сразу сваливать.

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

Вы, видимо, забыли свой собственный тезис: большие животные редко проявляют агрессию друг к другу, т.к. легко могут друг друга убить. Ну, вот, был явлен тот редкий случай, когда внутривидовая агрессия всё же случилась. И что? Где оторванные лапы, отгрызенные головы и прочая расчленёнка? А нету её. Так, "лёгкие синяки". Или по-Вашему и здесь торможение агрессии сработало?

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

Крепость костей зависит от занятий с отягощениями (resistance training). Плотность костей занимающихся на 50% выше плотности костей тех же людей до занятий.

А Волга впадает в Каспийской море. Я знаю. Но к чему это? Опять-таки напоминаю: Вы сказали, что хрупкость Вашего собеседника отражается на его характере. Он тщедушный и конфликтный, Вы -- сильный и спокойный. Я заметил, что если всё сводить к биологии экстерьеру, то Ваш собеседник такой же хомо сапиенс, как и Вы, просто с более быстрым метаболизмом. Только и всего.

[thesz.livejournal.com]

Ваша ссылка определяет агрессию, как драку (fight). Competetiveness (соревновательность) определяется, как участие в командных видах спорта (и тут, внезапно, способные в этом виде деятельности - занимаются этой деятельностью! шок, просто шок). Это не словесная агрессия, преобладающая в интернете.

Что ещё интересно, насилие у мужчин и женщин структурировано по разному. http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2438589/ Если я всё правильно понимаю, уровень насилия у женщин выше, чем у мужчин. Вот ещё ссылочка: http://www.medicaldaily.com/domestic-violence-against-men-women-more-likely-be-intimate-terrorists-controlling-behavior-290662

Думаю, вы не будете отрицать много (в десятки раз!) меньший уровень тестостерона у женщин. И что худенький человек скорее имеет более низкий уровень тестостерона, чем человек, отрывающий от пола 200кг.

(что влияет на уровень допамина и так далее, но это уже другая тема)