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

[thedeemon]

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

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

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

Comments

[thesz.livejournal.com]

Я сказал роно то, что хотел сказать.

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

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

Вы не гомосексуалист ли часом?

[si14.livejournal.com]

Краткость — сестра таланта, Серёжа.

Ссылка волшебная абсолютно. Копипастные ответы живым людям, высокомерие, проблемы с эмпатией — портрет аутиста на ладони. Браво.

[thesz.livejournal.com]

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

Думаю, что стоит уже упомянуть другое обсуждение, также спровоцированное вашей реакцией на мой комментарий: http://thedeemon.livejournal.com/54732.html?thread=823244#t823244

Ваша диагностика моего аутизма великолепна. Она вполне в струе других похожих диагнозов или даже прямых оскорблений, чему свидетельство ссылка выше.

Опять же, мне чрезвычайно лестно ваше стремление написать мне комментарий. Однако, обращу ваше внимание, что это мешает вам думать и учиться, особенно на чужих ошибках. Я беспокоюсь за вас и не хочу, чтобы я послужил причиной каких-либо неудач в вашей жизни.

Для краткой всякой фигни я завёл себе твиттер: https://twitter.com/sergueyz

Присоединяйтесь, пожалуйста, буду рад видеть.

PS
Мне пришло в голову, что вам не пришло в голову, что вы судите меня по результатам поиска по конкретной фразе и выводите оттуда "копипастные ответы".

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

Натурально, это всё выглядит очень и очень плохо. Спросите у своих друзей.