Про ёжика в тумане, зазнайство, языки программирования и вериги

[vit_r]

Вот, собственно, и всё, что я хочу сказать по поводу стиля современных программистов в общем, functional revolution в частности, а также её проповедников ivan_gandhi, nponeccop и прочих лично.

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

Comments

[mutoids.livejournal.com]

Прекрасная визуализация. Но be creative часто перевешивает здравый смысл.

[vit-r.livejournal.com]

Думаю, основную роль играет даже не креативность в смысле потребности творчества, а банальный игровой момент.

Бухгалтерия - занятие ужасно скучное. Если не сделать её запутанной, туманной и неполной.

Про ёжика в тумане, зазнайство, языки программирования

[livejournal.livejournal.com]

User sab123 referenced to your post from Про ёжика в тумане, зазнайство, языки программирования и вериги (http://sab123.livejournal.com/328043.html) saying: [...] Originally posted by at Про ёжика в тумане, зазнайство, языки программирования и вериги [...]

[esc.livejournal.com]

Ты даже понимаешь, что Ганди пишет про эти саои монады? Немного завидую. Для меня это вроде птичьего пения. Я простой ремесленник.

[vit-r.livejournal.com]

Что пишет - это понять не сложно. Вот вопрос "Зачем?" для меня остаётся загадкой. Особенно, когда в пакетном режиме обрабатываются данные, в которых каждую переменную надо проверять индивидуально.

[esc.livejournal.com]

Кабы знал зачем, наверное даже поднапрягся бы и понял. Вполне возможно, что если вдоль и поперек изучить топонимику и прочий матанализ, то можно спроектировать мегакрутые лапти с турбонадувом. Вот только какой с этого выйдет пресловутый bang for the buck?

[juan-gandhi.livejournal.com]

Монада же - фигня.

Параметрический класс M[X] со
сверткой (e.g. list flattening) M[M[X]]->M[X] и
конструктором X->M[X] (e.g. singleton list).

[esc.livejournal.com]

Из этого определения я знаю два слова, не считая предлогов

Новый тренд в интернетах: поклонение кондовости и туп

[livejournal.livejournal.com]

User metaclass referenced to your post from Новый тренд в интернетах: поклонение кондовости и тупости (http://metaclass.livejournal.com/879833.html) saying: [...] Вот последний пример: http://vit-r.livejournal.com/739457.html [...]

Re: Новый тренд в интернетах: поклонение кондовости и т

[vit-r.livejournal.com]

Наглядный пример того, что каждый понимает то, что хочет.

[juan-gandhi.livejournal.com]

А если я скажу, что программировать никто не умеет вообще? Ну, может быть, Олег, Эдвард, Грег и Рич. Рич особенно.

Впрочем, возвращаясь к картинке - какая система, по-вашему, является аналогом фп? И в какой из этих двух систем вы могли бы обнаружить монаду и алгебру над ней?

Ну и следующий вопрос - а что алгебра? Ее лучше инженерам не преподавать, хай наслаждаются жизнью такой, какой она им кажется?

[vit-r.livejournal.com]

Если "я скажу, что программировать никто не умеет вообще", то имеется ввиду явно не программирование, а что-то другое.

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

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

Да, функционально программирование находится сейчас на этом уровне. В основном из-за собачьего состояния "всё понимаю, но объяснить не могу"

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

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

систему обработки ошибок

[serge shikov (from livejournal.com)]

Ишь, чего захотели... ) Да еще адекватную.

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

> использовать математику на нематематических объектах.
А вы знаете принципиально другой способ решать задачи, кроме придумывания или применения готовых математических моделей? В смысле - против математики-то какие возражения? Что проповедники чего угодно бывают неадекватные - это не вопрос.

[juan-gandhi.livejournal.com]

Я правильно читаю, что алгебра в физике неприменима?

Этот коммент восхитителен

[dmytrish.livejournal.com]

«инженеры — это чертежи и графики»

— взоржал, ваше представление о инженерах весьма комическое.


«Да, функционально программирование находится сейчас на этом уровне. В основном из-за собачьего состояния "всё понимаю, но объяснить не могу"»

— то, что вы этого не можете объяснить, показывает лишь вашу собственную кашу в голове.


«Проблема функциональщиков в попытке использовать математику на нематематических объектах.»

— извините, а какие объекты в мире вообще «математические»? Есть лишь математические приближения и модели, одни описывают ситуацию более-менее точно, другие полны дыр и неточностей. ФП — это попытка построить чистую и непротиворечивую, минималистическую, но полную модель того, что нам известно о программировании. Да, охватить пока удается не все ремесло программистов, и это нормально. Но говорить о «нематематических объектах» в «инженерном ремесле» — это просто выставлять себя на смех.

Адекватная система обработки ошибок — даже не знаю, что вам сказать, вас исключения и partiality не устраивает? Что вы вообще хотели этим сказать?

[rdia.livejournal.com]

> Проблема функциональщиков в попытке использовать математику на нематематических объектах. Там где математик видит плоскость, у физика сплошные дырки между атомами. И, если говорить о реальном мире, физик прав.

Вы чушь пишете, дикую чушь.

С точки зрения физика (меня, да), математика - это язык. Вернее, это семейство языков, на которых я могу чётко, однозначно и взаимо-непротиворечиво описывать модель реальности. Моя работа, как физика, начинается там, где я строю модель реальности (максимально простую, но описывающую то, что мне нужно), потом её излагаю на одном из диалектов языка Математика.

Т.е., когда нужно описать падение яблока на башку, я сперва определяю приближение, с которым нужно понять процесс. Потом я выделяю то, что здесь играет ведущую роль - начальная высота, начальная скорость яблока, основную силу, действующую на яблоко (если высота небольшая, то это гравитация), основные параметры яблока (массу, если скорости невелики). После этого, строю мат. модель - v_fin = v_in + a*\Delta t; h + \int v(t) dt = 0; a*m = Fg = g*m.

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

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

[vp.livejournal.com]

Я не понимаю, откуда вообще засела эта идея "или ООП - или ФП" ??? Просто "еще одно программирование", только и всего. Для всего есть свои наиболее удачные применения.

Это из оперы что "можно на паскале написать приложение для iOs, но зачем?". Это просто разные инструменты и разные подходы, и нет тут никакого культа, вообще, ни капли.

И проповедников тоже нет.

[vit-r.livejournal.com]

Проповедники есть. И причина для их существования есть. И почему "или-или" тоже понятно. Только объяснить сложно.

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

[vp.livejournal.com]

Не, может вы имеете ввиду, что какая-то одна из парадигм преподносится как "золотая пуля" - это да, негодное дурное занятие.

Просто разные молотки.

[justy-tylor.livejournal.com]

В ООП что-то работает. Но большая часть - муляжи из говна и соломы (типа design patterns). В ФП тоже что-то работает, а что-то муляжи (попытки "избавиться" от состояний занавесочкой). Нет идеальных решений, должно возникать что-то новое. Даже если этим новым оказываются хипстерские ошибки природы, которые забываются на следующий день.

[vit-r.livejournal.com]

Как говорил один из математиков в 239, ставя двойку очередному гению: "Вы знаете, что бывает, когда водитель трамвая начинает искать новых путей?"

[zerthurd.livejournal.com]

Туповато

Про объектно-ориентированное программирование

[livejournal.livejournal.com]

User stalinist referenced to your post from Про объектно-ориентированное программирование (http://stalinist.livejournal.com/1035010.html) saying: [...] : В ООП что-то работает. Но большая часть - муляжи из говна и соломы (типа design patterns) [...]

[anonim-legion.livejournal.com]

Мой запоздалый ответ:

http://metaclass.livejournal.com/879833.html?thread=20573913#t20573913

Про ёжика в тумане, зазнайство, языки программирования

[livejournal.livejournal.com]

User 1500py470 referenced to your post from Про ёжика в тумане, зазнайство, языки программирования и вериги (http://1500py470.livejournal.com/48508.html) saying: [...] скидку в типа 3% Оригинал взят у в Про ёжика в тумане, зазнайство, языки программирования и вериги [...]