В чем разница между функторами, аппликативными функторами и монадами?

Разница между функторами, аппликативными функторами и монадами заключается в том, как они применяют функцию к упакованному значению: habr.com

1. Функторы применяют обычную функцию к упакованному значению, используя fmap или <$>. habr.com
2. Аппликативные функторы применяют упакованную функцию к упакованному же значению, используя <*> или liftA. habr.com
3. Монады применяют функцию, возвращающую упакованное значение, к упакованному значению, используя >>= или liftM. habr.com

Таким образом, функторы работают с единственным аргументом, а когда их несколько, надо использовать аппликативные функторы. smartprogress.do Они получили своё название из-за того, что стыкуются с помощью аппликации лямбда-исчисления. smartprogress.do

Например, монада — это контейнер (обёртка) для функций, который скрывает внутри себя любые побочные эффекты. smartprogress.do За счёт этого из таких контейнеров можно выстраивать цепочки вычислений, не опасаясь, что она где-то прервётся с ошибкой. smartprogress.do