• Haskell вброс паста хацкел У программиста есть две функции f: a -> b и g: b' -> d и ему надо применить вторую к результату первой. Что делает нормальный программист в этом случае? Правильно! Пишет функцию convert: (b' -> d) -> b -> d. А если есть еще h: d' -> e? Правильно! convert2: (d' -> e) -> d -> e. Но чтобы не писать много текста, он лучше сразу определит >>= f g = convert g . f и будет писать f >>= g >>=2 h. А потом заметит, что у него x' всегда связан с x (например x = List x' или x = Maybe x'), сделает интерфейс >>=, и будет просто писать f >>= g >>= h, спокойно используя все это дело у себя в коде. На все про все уйдет от силы полчаса и несколько десятков строк кода, программист даже не заметит, что использовал какой-то особый чудодейственный прием. Ну написал пару простенький функций ля удобства, что такого? Что же сделает любитель хаскиля? Обмажется кучей теорката, заметит что ЭТОЖ МОНОИД В КАТЕГОРИИ ЭНДОФУНКТОРОВ, налепит кучу ненужной терминологии, а потом будет везде бегать и вопить — какой же четкий этот хаскиль, что там есть МОНАДЫ, а вот больше их нигде нет, потому что без полиморфизма 2 ранга монады не сделаешь, засунет эти МОНАДЫ всюду, куда только можно и еще напишет статью о том, что такое монада, причем напишет так, чтобы максимально запутать читающего.
    (из камента yantayga.livejournal.com

Replies (22)

  • @DJm00n, ВСЁ ТАК
  • @DJm00n, вот только общий интерфейс для подобной конструкции (создание которого тут предполагается тривиальным), далеко не в каждом языке можно реализовать. а так да, некоторая логика в рассуждениях есть
  • @jtootf, вобщем нужно больше мыслить мозгами. хотя теоркат конечно не повредит. жаль, но у нас не читали :( вот такое вот высшее у меня в универе по специальности "Системное программирование".
  • @DJm00n, его вообще мало где читают: в союзе бурбакизм был не принят
  • @DJm00n, потому что это удобно?..
    Впрочем, define нормальность.
  • @DJm00n, А зачем сиспрогу математика?
  • @DJm00n, Покажи мне одобряемого большинством программиста в вакууме.
  • @L29Ah, программисту НУЖНА математика. если, конечно, это программист, а не модный архитертор. у тех товарищей ЧСВ около орбиты и им действительно математика не нужна — паттерн над паттерном и абстракцией поганяет.
  • @DJm00n, Это не ответ.
  • @L29Ah, я бы хотел сунуться в геймдев, например. веб этот заебал в край со своей "бизнес логикой". без математики делать там нечего.
  • @DJm00n, А причём тут сиспрог?
  • @L29Ah, а притом, что на геймдев не учат, насколько я знаю.
  • @L29Ah, не знаю зачем теоркат системному программисту, но теорвер и минимумы анализа всяко полезны, хотя бы для понимания алгоритмов
  • @qnikst, Этому учат в школе.
  • @DJm00n, всё так
  • @L29Ah, в питере я знаю 3 таких школы.
  • @qnikst, Ок, видимо, мне повезло. А в остальных совсем не учат разве?
  • @L29Ah, я в остальных не был, и мало общался с людьми учившимися там. Нормального теорвера и матана как предметов там нет, алгоритмам и математике на уровне понимания можно научиться если только в школе оказался хороший информатик, а это редкось (во всяком случае лет 8 назад так было).
  • @DJm00n, В этом примере "нормальный" программист — это протоинженер вроде Эдисона. Образования не имеет, но многое умеет и руководствуется при этом не знаниями — просто "чует нутром". Нутрянное чувство он не может описать словами, поэтому, когда пытается передать другому свои протознания — надувает щеки, таращит глаза и делает пассы руками. Коммуникация между ним и другими такими же затруднена и использовать знания других он не может, но пытается, формируя свою шаманскую терминологию с "паттернами" под которыми каждый понимает что-то свое. Изобретает колесо каждое утро после завтрака, а потом велосипед перед ужином. "Любитель хаскиля" — , с другой стороны, это уже сформировавшийся инженер типа Теслы. Он знает язык, на котором может поговорить с другим таким-же. По мере взросления любой деятельности и превращения ее из ремесленичества в инженерную деятельность вторые полностью вытесняют первых по причине большей эффективности. Первые это, что характерно, тем самым "нутром" понимают, поэтому шумно изливают свою душевную боль в чатах и форумах.
  • @klapaucius, у меня аж попа заболела! пиши исче!
  • @DJm00n, Пфф! Ну, это и из стартового поста уже было понятно — зачем лишний раз уточнять?