О чистоте и нечистотах
Aug. 24th, 2014 03:57 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
thedeemonУважаемый ![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
thesz написал у себя:
Для чистоты требуется 1) нормальный порядок упрощения (call-by-need или call-by-name, чтобы убрать зависимость от порядка вычисления) и 2) типы, чтобы ++i не пролезло в чистый код.
но, кажется, перепутал чистоту с хаскелем.
Ибо: 1) есть замечательный чистый функциональный язык Idris (даже проверяемо тотальный большей частью), в котором порядок вычислений строгий. Т.е. я бы заметил, что call-by-need требует чистоты, но чистота в общем случае не требует call-by-need.
То, что "есть классы программ, которые в нормальном порядке выразимы, в энергичном нет" - это правда, конечно, но к чистоте отношения не имеет.
Касательно 2) - бестиповое лямбда-исчисление тоже совершенно чистое, и для чистоты своей типов не требует. Чтобы ++i не пролезло в чистый код таки достаточно убрать из языка ++i и другие нечистоты.
Впрочем, без четкого определения чистоты все это довольно бессмысленное жонглирование. В частности, считать ли чистой функцию со свободными переменными.
thesz написал у себя:Для чистоты требуется 1) нормальный порядок упрощения (call-by-need или call-by-name, чтобы убрать зависимость от порядка вычисления) и 2) типы, чтобы ++i не пролезло в чистый код.
но, кажется, перепутал чистоту с хаскелем.
Ибо: 1) есть замечательный чистый функциональный язык Idris (даже проверяемо тотальный большей частью), в котором порядок вычислений строгий. Т.е. я бы заметил, что call-by-need требует чистоты, но чистота в общем случае не требует call-by-need.
То, что "есть классы программ, которые в нормальном порядке выразимы, в энергичном нет" - это правда, конечно, но к чистоте отношения не имеет.
Касательно 2) - бестиповое лямбда-исчисление тоже совершенно чистое, и для чистоты своей типов не требует. Чтобы ++i не пролезло в чистый код таки достаточно убрать из языка ++i и другие нечистоты.
Впрочем, без четкого определения чистоты все это довольно бессмысленное жонглирование. В частности, считать ли чистой функцию со свободными переменными.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2014-08-31 05:10 pm (UTC)Вопрос в том, как много аннотаций надо. Для ленивых аннотаций в энергичном языке надо аннотировать всю цепочку вызовов. Для строгих аннотаций в ленивом языке требуется одна или две в нужном месте.
Это вопрос производительности программиста, не программы.
Повторюсь про вас, как собеседника. Вы идиот, не замечающий очевидного и продолжающий настаивать на своей правоте несмотря на приводимые опровержения.
no subject
Date: 2014-09-22 09:52 pm (UTC)От чувака с приличных размеров банлистом особенно интересно это читать. Лол.
no subject
Date: 2014-09-23 08:27 am (UTC)Ваше поведение ожидаемо и позволительно. Вы довольно молоды, достаточно хрупки костью и вам просто необходимо зацепиться хоть за что-то, напомнив мне о вашем существовании. Например, перепутав нежелание говорить с незамечанием очевидного.
Почему я упомянул про хрупкость кости? Это отражается на характере человека. Мелкие животные могут позволить себе драку, крупные - нет. Убьют-с друг друга-с. Поэтому мелкие животные часто ссорятся и провоцируют других, крупные способны разделить области влияния и ответственности без конфликтов. Человек достаточно разнообразен фенотипически, чтобы в его представителях проявлялись любые проявления царства животных.
Мне вы напоминаете крысу средних размеров.
no subject
Date: 2014-09-23 10:40 am (UTC)>крысу
>молоды
>хрупки костью
>вам просто необходимо зацепиться хоть за что-то, напомнив мне о вашем существовании
>нежелание говорить
Нормально тебе пердак порвало, бро. Спасибо, кстати, что сообщил — 40 человек из всего небольшого IT-сообщества… Впечатляет. Почти Пилюлькин от Хаскеля.
Кажется, я знаю, что будет дальше: объяснение, что эта обильная текстовая поллюция «для стороннего читателя» и тебе совершенно не хотелось мне отвечать.
no subject
Date: 2014-09-23 11:08 am (UTC)40 человек включают самых разных людей, по самым разным поводам, от несогласия с точкой зрения на религии до нудения на собственные программистские миражи в моём ЖЖ. Вот как вы сейчас здесь делаете - придумали, что я баню только айтишников, что я стану говорить определенную фразу.
Что примечательно, возможность проверить ваши умозаключения насёт блокировки айтишников находится совсем близко: http://blogs.yandex.ru/search.xml?text=%D0%B1%D1%83%D0%B4%D0%B5%D1%82+%D1%81%D0%BB%D1%83%D0%B6%D0%B8%D1%82%D1%8C+%D0%BF%D0%BE%D0%B2%D0%BE%D0%B4%D0%BE%D0%BC+%D0%BA+%D0%B1%D0%B0%D0%BD%D1%83&ft=blog%2Ccomments%2Cmicro&author=thesz&holdres=mark
Есть у меня подозрение, что вы как-то фиксированы на придуманных вами моих качествах и настолько уверовали в их присутствие, что даже отказались от подтверждения их хоть какими-то наблюдениями. Это даже приятно, быть источником отклонений мышления такого сорта. Что-то типа страстной любви, как мне кажется, когда чувства застят взор.
Вы не гомосексуалист ли часом?
no subject
Date: 2014-09-23 12:13 pm (UTC)Ссылка волшебная абсолютно. Копипастные ответы живым людям, высокомерие, проблемы с эмпатией — портрет аутиста на ладони. Браво.
no subject
Date: 2014-09-23 12:41 pm (UTC)Думаю, что стоит уже упомянуть другое обсуждение, также спровоцированное вашей реакцией на мой комментарий: http://thedeemon.livejournal.com/54732.html?thread=823244#t823244
Ваша диагностика моего аутизма великолепна. Она вполне в струе других похожих диагнозов или даже прямых оскорблений, чему свидетельство ссылка выше.
Опять же, мне чрезвычайно лестно ваше стремление написать мне комментарий. Однако, обращу ваше внимание, что это мешает вам думать и учиться, особенно на чужих ошибках. Я беспокоюсь за вас и не хочу, чтобы я послужил причиной каких-либо неудач в вашей жизни.
Для краткой всякой фигни я завёл себе твиттер: https://twitter.com/sergueyz
Присоединяйтесь, пожалуйста, буду рад видеть.
PS
Мне пришло в голову, что вам не пришло в голову, что вы судите меня по результатам поиска по конкретной фразе и выводите оттуда "копипастные ответы".
Поверьте, вам не стоит реагировать на мои комментарии. Ваши чувства ко мне заметно уменьшают ваши мыслительные способности.
Натурально, это всё выглядит очень и очень плохо. Спросите у своих друзей.
no subject
Date: 2014-09-28 05:15 am (UTC)Однако, дело даже не в этом. Дело в том, что это сравнение межвидовое, а si14 такой же человек, как и Вы. Так вот, если говорить о внутривидовой агрессии, то там животные перед конфликтом всячески взвешивают свои шансы, поэтому более крупные особи ведут себя агрессивно, а более мелкие -- субмиссивно.
P.S. А "хрупкая кость" означает просто быстрый метаболизм.
no subject
Date: 2014-09-29 04:51 am (UTC)Руль велосипеда, его часть, что распорола мне ногу, весила, дай бог, процент от моей тогдашней массы, а скорее всего, много меньше. Ходить без палочки я не мог два месяца. К рулю прилагалась Газель, стоявшая на обочине, в которую я врезался и борт которой прижал руль к моей ноге.
Малый относительно массы коготь тигра сопровождается всей мышечной массой тигра. Поэтому если коготь тигра полоснёт по тигру, то, с очень высокой вероятностью достанет, до крупного сосуда.
"более крупные особи ведут себя агрессивно"
Вы когда либо проходили мимо мест выгулки собак? Там очеь легко наблюдать совершенно обратное поведение. Агрессивное поведение может являться отпугивающим.
PS
Хрупкая кость означает отсутствие желания (или возможности, последнего практиески не бывает, но теоретически возможно) сделать её крепче. Про метаболизм мне не надо рассказывать. Я достаточно наблюдал примеров обратного, начиная с себя, продолжая клиентами тренера и заканчивая Френком Зейном: http://www.dailymotion.com/video/x943sn_frank-zane-the-chemist_sport
no subject
Date: 2014-09-29 07:33 am (UTC)Малый относительно массы коготь тигра сопровождается всей мышечной массой тигра. Поэтому если коготь тигра полоснёт по тигру, то, с очень высокой вероятностью достанет, до крупного сосуда.
По-моему моя мысль ускользнула от Вас: шипастые хватательные ноги богомола имеют размер с самого богомола. Это живое оружие. Тиграм же, чтобы причинить друг другу какой-либо существенный вред, надо долго полосовать друг друга когтями:
flagvruki . com/history/nevydumannye-istorii/yarostnyy-boy-okrovavlennykh-tigrov-za-territoriyu/
Ну а безоружное убийство человека человеком -- это своего рода наука.
Вы когда либо проходили мимо мест выгулки собак? Там очеь легко наблюдать совершенно обратное поведение
Когда собаки демонстрируют угрозу, они поднимают шерсть, чтобы казаться больше.
Я достаточно наблюдал примеров обратного, начиная с себя, продолжая клиентами тренера и заканчивая Френком Зейном
Не очень понял, как быстрый метаболизм худощавого Зейна ("хардгейнер", "эктоморф"), противоречит тому факту, что худощавые люди имеют быстрый метаболизм.
no subject
Date: 2014-09-29 11:48 am (UTC)Мелкие собаки чаще агрессивны. Вне зависимости от того, насколько они поднимают шерсть.
У насекомых, в силу их размера, действуют совершенно другие механизмы, чем у млекопитающих. Приводить опровержение тенденции богомолом посему неправильно.
Само название вашей ссылки я расцениваю, как подтверждение моей точки зрения. Бой тигров настолько редок, что название получается вот такое.
Крепость костей зависит от занятий с отягощениями (resistance training). Плотность костей занимающихся на 50% выше плотности костей тех же людей до занятий.
Почему я намерен закруглиться? Наши знания настолько различны, что мне чрезвычайно скучно.
no subject
Date: 2014-09-29 09:32 pm (UTC)Что до Ваших возражений, то должен заметить, что у людей размер тела имеет положительную корреляцию с агрессией:
www . soc.duke . edu/~socbio/images/Pinhey.pdf
Да, в общем, это и так понятно (тестостерон, меньшая цена конфликта и т.д.), без исследований.
Мелкие собаки чаще агрессивны. Вне зависимости от того, насколько они поднимают шерсть.
Мелкие собаки более "брехливы": они громко и часто лают и, в лучшем случае, могут постараться цапнуть оппонента, когда он отвернулся. Аналогичным образом стая обезьян преследует леопарда на безопасном расстоянии, кричит, кидает в него всякое-разное, но это не агрессия, это защита путём "воздействия на нервы". Когда атакуют всерьёз, атакуют молча. Например, если слон громко трубит, хлопает ушами и т.д. -- его можно несильно опасаться, а если он молча бежит на вас -- лучше сразу сваливать.
Само название вашей ссылки я расцениваю, как подтверждение моей точки зрения. Бой тигров настолько редок, что название получается вот такое.
Вы, видимо, забыли свой собственный тезис: большие животные редко проявляют агрессию друг к другу, т.к. легко могут друг друга убить. Ну, вот, был явлен тот редкий случай, когда внутривидовая агрессия всё же случилась. И что? Где оторванные лапы, отгрызенные головы и прочая расчленёнка? А нету её. Так, "лёгкие синяки". Или по-Вашему и здесь торможение агрессии сработало?
А что касается сильных запретов на внутривидовую агрессию, то они много у кого есть. И тут главную роль играет не размер, а наличие мощных убийственных инструментов (когти, клешни, ядовитые зубы и т.д.) и степень социальности животного (чем выше социальность, тем выше запрет, поэтому у стайных волков запреты сильнее, у чем тигров-индивидуалистов).
Крепость костей зависит от занятий с отягощениями (resistance training). Плотность костей занимающихся на 50% выше плотности костей тех же людей до занятий.
А Волга впадает в Каспийской море. Я знаю. Но к чему это? Опять-таки напоминаю: Вы сказали, что хрупкость Вашего собеседника отражается на его характере. Он тщедушный и конфликтный, Вы -- сильный и спокойный. Я заметил, что если всё сводить к
биологииэкстерьеру, то Ваш собеседник такой же хомо сапиенс, как и Вы, просто с более быстрым метаболизмом. Только и всего.no subject
Date: 2014-10-30 07:59 pm (UTC)Что ещё интересно, насилие у мужчин и женщин структурировано по разному. 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кг.
(что влияет на уровень допамина и так далее, но это уже другая тема)