Обсуждение:Монада (программирование)
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Untitled[править код]
Статья, конечно, просто ужас. Все смешано вместе - суть абстракции и ее реализация на Хаскеле, объяснение непонятно даже в плане общего смысла. Может, кто-нибудь, кто владеет терминами ФП, хотя бы английскую переведет? РоманСузи 18:54, 3 января 2012 (UTC)
- Согласен. Даже добавить нечего к комментарию выше. Статью надо если не переписать полностью, то хотя бы сделать её понятной (обычным людям) msangel 09:21, 16 ноября 2014 (UTC)
- Длинное объяснение будет не лучше. Это как учиться плавать, тут нужна практика, а не много букв. Есть и совсем короткое определение - Монада это моноид в категории эндофункторов. http://iportnov.blogspot.ru/2010/10/haskell-monads.html NOwiking (обс.) 20:03, 7 марта 2017 (UTC)
Да, надо бы переписать, даже определение убогое. Никакого отношения к грязным функциям и энергичным вычислениям монада не имеет Yanpas (обс.) 23:33, 9 марта 2017 (UTC)
В очередной раз заглянув в статью увидел тут шикарное пояснение: "При ленивой модели вычисления порядок редукции неизвестен. Например, вычисление 1 + 3 + 6 может быть редуцировано в 1 + 9 или 4 + 6. Монады позволяют упорядочить редукцию." Хз, возможно оно кажется мне понятным теперь, потому что я уже что-то о монадах знаю, но по-моему, оно по соотношению смысл / количество слов уступает только: "Монады - это способ перегрузить оператор ;" 91.103.66.203 10:09, 22 декабря 2017 (UTC)
Java в качестве примера выглядит просто ужасно. Возьмите что-нибудь другое. 80.68.0.202 07:59, 14 февраля 2019 (UTC)
Преамбула от Safebuster2[править код]
@Safebuster2:, ваше определение ещё более ужасно. Оно не объясняет вообще ничего. В преамбуле должно быть написано не то, какой предмет статьи хороший, а то, что он означает. Tucvbif??? 08:50, 27 февраля 2020 (UTC)
- В общем, с вашего позволения я отменю ваши правки. Tucvbif??? 15:39, 29 февраля 2020 (UTC)
Монады и единая модель: формулировка[править код]
Думаю, нужно внести корректив в этот фрагмент:
…монады могут привнести, казалось бы, разрозненные проблемы компьютерной науки в единую функциональную модель.
Не лучше ли будет так?
…монады могут свести, казалось бы, разрозненные проблемы компьютерной науки в единую функциональную модель.
Или так?
…при помощи монад стало возможно создать более общую функциональную модель, включающую в себя те проблемы компьютерной науки, которые в предшествующие модели включены не были.