lev: (Default)
lev ([personal profile] lev) wrote2017-10-09 12:42 pm

Как два байта переслать

  • Я хотел бы использовать композицию функций, но мне не хватает удобного способа обработки ошибок
  • О, это просто. Тебе нужна монада
  • Звучит сложно. А что такое монада?
  • Монада — это просто моноид в категории эндофункторов.
  • ???
  • В чем проблема?
  • Я не знаю, что такое эндофунктор
  • Это просто. Функтор — это гомоморфизм между категориями. А эндофунктор — это просто функтор, отображающий категорию на саму себя
  • Ну конечно! Теперь все стало ясно…
sab123: (Default)

[personal profile] sab123 2017-10-09 10:13 pm (UTC)(link)
В реальности после прогрызания через все эти эндофункторы все оказалось просто: монады - это операции над контейнерами. http://babkin-cep.blogspot.com/2014/07/monads.html

Впрочем, ни понятности ни обработке ошибок они все равно не способствуют.

[personal profile] provokatorz 2017-10-10 01:29 am (UTC)(link)
Как говориться, "главное надуть щеки и продать".

Кстати топикстер может привести пример пример монад на Эрланге?