Если рассматривать монаду в контексте программирования, то это контейнер, позволяющий контролировать сайд-эффекты и в какой-то степени управлять ими. Если подойти с более технической стороны, то монады это некая абстракция для вычислений, которые связаны между собой
А какие преимущества монады над другими средствами?
Я говорю, в фп языках монады это средство ограничить чистый код от "нечистого" кода, не потеряв возможности выстраивать композицию из функций того и другого рода
Я еще не дочитал до монад в книге Атенсио, пока решил прочитать Кайла Симпсона. Атенсио в книге воды много, видео размазывали книгу, чтобы 300 страниц напечатать