JS ФП тезисы: различия между версиями
Материал из support.qbpro.ru
imported>Supportadmin (Новая страница: «Источники *[https://rsdn.ru/forum/decl/4047805.all Что такое монады? (форум)]») |
imported>Supportadmin Нет описания правки |
||
| Строка 1: | Строка 1: | ||
Источники | Источники | ||
*[https://rsdn.ru/forum/decl/4047805.all Что такое монады? (форум)] | *[https://rsdn.ru/forum/decl/4047805.all Что такое монады? (форум)] | ||
С точки зрения программиста '''монада'''- это абстрактный контейнер с тремя функциями. | |||
*'''map''' — заменяет содержимое контейнера без изменения самого контейнера. Заменяем каждый гвоздь в коробке шурупом, каждый int в массиве float-ом — так map и работает. | |||
*'''unit''' — берет элемент и возвращает контейнер с одним этим элементом. Делаем из гвоздя коробку с одним гвоздем. Делаем из int массив из одного int. | |||
join — уменьшает вложенность контейнеров — из коробки коробок гвоздей делает коробку с гвоздями (из массива массивов int-ов — массив int-ов). Ну или из коробки коробок коробок гвоздей делаем коробку коробок гвоздей. Это уже сложная концепция, доступная только программистам и более абстрактно развитым товарищам; обычный человек будет обескуражен тем, как в одну коробку могли поместиться несколько точно таких-же коробок. Впрочем, простая замена коробок коробок на мешки мешков или пакеты пакетов позволяет совершить абстрактно-теоретико-категориальный прорыв. | |||
Версия от 08:33, 27 мая 2015
Источники
С точки зрения программиста монада- это абстрактный контейнер с тремя функциями.
- map — заменяет содержимое контейнера без изменения самого контейнера. Заменяем каждый гвоздь в коробке шурупом, каждый int в массиве float-ом — так map и работает.
- unit — берет элемент и возвращает контейнер с одним этим элементом. Делаем из гвоздя коробку с одним гвоздем. Делаем из int массив из одного int.
join — уменьшает вложенность контейнеров — из коробки коробок гвоздей делает коробку с гвоздями (из массива массивов int-ов — массив int-ов). Ну или из коробки коробок коробок гвоздей делаем коробку коробок гвоздей. Это уже сложная концепция, доступная только программистам и более абстрактно развитым товарищам; обычный человек будет обескуражен тем, как в одну коробку могли поместиться несколько точно таких-же коробок. Впрочем, простая замена коробок коробок на мешки мешков или пакеты пакетов позволяет совершить абстрактно-теоретико-категориальный прорыв.
