Очисти код свободными монадами

[mynameisdaniil]

В принципе, никто не мешает вам писать чистый код и использовать монады на любом языке в котором есть лямбда-функции. Например, люди делают такие вот удивительные вещи: habrahabr.ru/post/205026.
На практике же, вы не сможете писать чистый код на языке который не заставляет вас писать чистый код и все стандартные библиотеки (и не стандартные тоже) придется выкинуть, потому что они не чистые и не используют монады. И закончится это тем, что вы перепишите на %LANGUAGE_NAME% прелюдию и еще пачку других библиотек. Или, скорее всего, вам это надоест раньше и вы просто выучите Хаскелль.

[isden]

Для JS уже есть статья — habrahabr.ru/post/238171. Про С что-то тоже видел здесь.

[mynameisdaniil]

Для JS есть не только статья, для JS все намного веселее: www.npmjs.com/browse/keyword/fantasy-land. Можно убедиться, в том что я писал выше ;)
И раз уж зашел разговор про монады вообще и есть желающие, вот замечательное видео которое лишает вас возможности объяснить другим что такое монада: www.youtube.com/watch?v=ZhuHCtR3xq8

[isden]

> для JS все намного веселее: www.npmjs.com/browse/keyword/fantasy-land

Ох жеж, теперь я знаю, чем мне заняться в ближайшее свободное время :)

[gev]

Привет из 2022! Лучшее что я видел на тему объяснений за монаду – это у Брагилевского https://www.youtube.com/watch?v=IkXg_mjNgG4

[JagaJaga]

Про free monad особо и не рассказано :(

Надо было хотя бы сказать, что это (функтор + минимум для обеспечения монадных законов).

[youngmysteriouslight]

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