Нужны ли монады в C++?

@castaway · Регистрация: 10.11.2010

Студворк — интернет-сервис помощи студентам

Всем привет.
Наверняка всем вам известен такой ресурс как Habrahabr.
Так вот. Не так давно я случайно наткнулся на одну интересную тему под названием "Монады и do-нотация в C++" (link).
Честно говоря, до этого я не знал что такое монады, но после прочтения темы у меня сложилось впечатление что лучше бы я их и не знал.
Дело не в том что это что-то страшное и сложное, просто мне кажется что использование монад в C++ лишь усложняет код. Люди же в некоторых комментариях считают иначе.
А что считаете вы? В каких ситуациях монады могут облегчить чтение кода или повысить его производительность?

@castaway · 06.08.2015, 19:18 **[ТС]**

Не по теме:

FraidZZ, да ну нет.

Эту

Название: FraidZZ.jpg
Просмотров: 129

Размер: 24.8 Кб

:D

@korvin_ · 06.08.2015, 19:42

Не по теме:

Сообщение от FraidZZ

301 Moved Permanently, внезапно, на всё тот же donsbot.wordpress.com

Забавно, похоже у меня провайдер блочит какой-то из wordpress'овских IP или эту страницу, добавил в friGate, заработало.

@Eva Rosalene · 06.08.2015, 19:50

Не по теме:

Сообщение от korvin_

Забавно, похоже у меня провайдер блочит какой-то из wordpress'овских IP или эту страницу, добавил в friGate, заработало.

Да, в ЗенМейте тоже открылось.
Хотел посмотреть в реестре блокировк - тот сбросил соединение секунд через 30 после отправки запроса :D

@taras atavin · 10.08.2015, 08:26

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

Добавлено через 13 минут

Эта функция извлекает значение из объекта ma, подставляет в функцию f и возвращает результат f.

Всего то? Оболочечные функции вообще не требуют ни каких специальных языковых конструкций, кроме одной - язык должен поддерживать функции. И нафига здесь передавать целевую функцию извне параметром? Уж если она известна уровнем выше, то доступ к данным и вызов функции можно разделить. Но и в таком чудном варианте можно обойтись двумя языковыми конструкциями:
1. Подпрограммой и её вызовом. В c++ функцией и её вызовом.
2. Процедурным типом, или его аналогом. В c++ указателем на функцию.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
typedef int (*tf)(int x, int y);
struct A
{
 int x;
 int y;
};
int m(A a, tf f)
{
 return f(a.x, a.y);
}
int d(int x, int y)
{
 return x*y;
}
int main()
{
 A a;
 std::cin>>a.x;
 std::cin>>a.y;
 std::cout<< m(a, d)<<std::endl;
 return 0;
}

. Всё. При чём здесь какие то загадочные монады?

@castaway · 10.08.2015, 08:33 **[ТС]**

Сообщение от taras atavin

Не можешь?

Не хочу.

Сообщение от taras atavin

Значит они и тебе то не нужны.

Согласен. Мне они не нужны.

@taras atavin · 10.08.2015, 08:35

Сообщение от castaway

Не хочу.

Я тоже не хочу. Ну так я и не пытаюсь агитировать за них.

@castaway · 10.08.2015, 08:37 **[ТС]**

Сообщение от taras atavin

Ну так я и не пытаюсь агитировать за них.

А я по-твоему пытаюсь агитировать?

@taras atavin · 10.08.2015, 08:38

Значит показалось.

@cybercitizen · 17.08.2015, 00:37

Сообщение от taras atavin

При чём здесь какие то загадочные монады?

Здесь конечно ни при чем, так же как и всё что ты написал.

@Curry · 17.08.2015, 23:48

Попробую объяснить, зачем нужны монады в Haskell без примеров кода.
В ФП часто используются цепочки из функций – результат одной функции подставляется как аргумент другой. Синтаксис позволяет записывать такие цепочки компактно, без обилия скобок.
Но, часто, просто передавать один аргумент по цепочке недостаточно. Простейший пример – передавать два значения. Можно ручками – разворачивать то, что возвратила функция и передавать в два аргумента. Но, сразу потеряется компактность. Монада State позволяет передавать ещё один аргумент «незаметно», и, таким образом, решать эту проблемку. В общем случае, монады предоставляют возможность устроить цепочку функций с «наворотами» - ведение лога, операции ввода-вывода, чтение конфигурации, парсинг выражений … много чего. Монады могут быть вложены друг в друга образуя монадный стек. Сами монады не встроены в Haskell, но компилятор предоставляет для них сахар. С сахарком можно записывать код, похожий на императивный, хотя, на самом деле, он разворачивается всё в ту же цепочку функций.
castaway привёл пример библиотеки реализации монад на плюсах. Я её, честно говоря, не смотрел пока. Исходя из вышесказанного, в императивном языке, монады, как минимум, не так важны.

@Crast · 23.08.2015, 18:13

Я видел этот паттерн. Его облюбовал один из создателей boost::spirit (Hartmut Kaiser). Его асинхронная библиотека(hpx) работает подобным образом.
Суть его не в том, что это монада, а в том, что это позволяет писать быстрый читаемый асинхронный код.

Добавлено через 23 секунды
"Избавиться от спагетти-кода" - один из их лозунгов))

@hoggy · 28.08.2015, 19:33

Сообщение от Crast

boost::spirit

Сообщение от Crast

быстрый читаемый асинхронный код.

слово "читаемый" - явное преувеличение.
даже для тех, кто очень плотно имел дело с спиритом.

@Crast · 29.08.2015, 14:17

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

Вот как предлагается писать асинхронный код

C++
1
2
3
4
5
6
7
8
transaction (
      connect  | on_connect ->
      handshake | on_handshake ->
      authenticate | on_authenticate ->
      write_data | on_write_data ->
      read_confirmation | on_confirmation,
      cancel_operation //on error
);

Каждая функция будет соответствующим объектом (или абстрактной фабрикой), принимающим и возвращающим определенный пакет данных. После завершения операции вызывается then с последующей функцией.

spirit же очень читаемый. Нужно только уметь правильно ориентироваться в ошибках.

@hoggy · 29.08.2015, 14:40

Сообщение от Crast

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

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

@Crast · 29.08.2015, 15:01

hoggy, видишь у тебя уже склероз от зависимости.

@hoggy · 29.08.2015, 15:04

Сообщение от Crast

видишь у тебя уже склероз от зависимости.

не пишите мне больше ничего.

Evg · 29.08.2015, 15:49

Не по теме:

Сообщение от hoggy

не пишите мне больше ничего

На форуме имеется замечательная возможность отправлять людей в игнор

@alkagolik · 05.09.2015, 20:33

Монады в c++ не нужны. C++ тоже не нужен.

@castaway · 05.09.2015, 20:51 **[ТС]**

Сообщение от alkagolik

C++ тоже не нужен.

Не нужен для чего?

@alkagolik · 05.09.2015, 21:11

Сообщение от castaway

Не нужен для чего?

Ни для чего не нужен.

Новые блоги и статьи Все статьи Все блоги /
Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия	Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .	Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,170 Записей в блоге: 10

	Нужны ли монады в C++? 03.08.2015, 21:50. Показов 5794. Ответов 63 Метки c++, монады (Все метки) Всем привет. Наверняка всем вам известен такой ресурс как Habrahabr. Так вот. Не так давно я случайно наткнулся на одну интересную тему под названием "Монады и do-нотация в C++" (link). Честно говоря, до этого я не знал что такое монады, но после прочтения темы у меня сложилось впечатление что лучше бы я их и не знал. Дело не в том что это что-то страшное и сложное, просто мне кажется что использование монад в C++ лишь усложняет код. Люди же в некоторых комментариях считают иначе. А что считаете вы? В каких ситуациях монады могут облегчить чтение кода или повысить его производительность? 0

@castaway
	06.08.2015, 19:18 [ТС]
	Не по теме: FraidZZ, да ну нет. Эту :D 0

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	10.08.2015, 08:38
	Значит показалось. 0

@Curry Модератор 5164 / 3523 / 536 Регистрация: 01.06.2013 Сообщений: 7,672 Записей в блоге: 9
	17.08.2015, 23:48
	Попробую объяснить, зачем нужны монады в Haskell без примеров кода. В ФП часто используются цепочки из функций – результат одной функции подставляется как аргумент другой. Синтаксис позволяет записывать такие цепочки компактно, без обилия скобок. Но, часто, просто передавать один аргумент по цепочке недостаточно. Простейший пример – передавать два значения. Можно ручками – разворачивать то, что возвратила функция и передавать в два аргумента. Но, сразу потеряется компактность. Монада State позволяет передавать ещё один аргумент «незаметно», и, таким образом, решать эту проблемку. В общем случае, монады предоставляют возможность устроить цепочку функций с «наворотами» - ведение лога, операции ввода-вывода, чтение конфигурации, парсинг выражений … много чего. Монады могут быть вложены друг в друга образуя монадный стек. Сами монады не встроены в Haskell, но компилятор предоставляет для них сахар. С сахарком можно записывать код, похожий на императивный, хотя, на самом деле, он разворачивается всё в ту же цепочку функций. castaway привёл пример библиотеки реализации монад на плюсах. Я её, честно говоря, не смотрел пока. Исходя из вышесказанного, в императивном языке, монады, как минимум, не так важны. 0

@Crast 72 / 72 / 5 Регистрация: 10.02.2013 Сообщений: 434
	23.08.2015, 18:13
	Я видел этот паттерн. Его облюбовал один из создателей boost::spirit (Hartmut Kaiser). Его асинхронная библиотека(hpx) работает подобным образом. Суть его не в том, что это монада, а в том, что это позволяет писать быстрый читаемый асинхронный код. Добавлено через 23 секунды "Избавиться от спагетти-кода" - один из их лозунгов)) 0

@Crast 72 / 72 / 5 Регистрация: 10.02.2013 Сообщений: 434
	29.08.2015, 15:01
	hoggy, видишь у тебя уже склероз от зависимости. 0

@alkagolik 1599 / 622 / 113 Регистрация: 15.07.2011 Сообщений: 3,548
	05.09.2015, 20:33
	Монады в c++ не нужны. C++ тоже не нужен. 0