Правда, с разным временем обучения)

Но +/-, уверен, справится любой

Изначально в #haskell была boring и простая концепция:
- есть чистая логика (с щепоткой "чистых" монад вроде списков)
- есть грязные IO эффекты

Компилятор разруливает, что бы они не смешивались.
Чистое можно вызывать из чего угодно, грязное только из грязного.

Но в один из скучных дней, им на глаза попался java spring проект.
И узрели они, что можно смешивать логику и эффекты, закрывая их интерфейсами с DI и мокая реализацию в тестах.

И решили придумать тоже самое - только интерфейсы назвать алгебрами, а DI free-монадами (что бы повыпендриваться конечно).
Вот тогда все и полетело в пзду и монады расползлись по всем слоям приложения.

-- все это, как водится, бред хейтеров монад --

не уверен что DI придумали раньше алгебр

ровно как что "Нет DI кроме Free monad"

Все монады - чистые (IO формально тоже)

Изначально в haskell была только чистота и монадки

И не было I/O (и IO)

Компилятор не разруливает чистоту, только типы смотрит

А был только`interact :: (String -> String)`

Меня тогда не было (

Ну, на свете т.е. был уже

Но в хаскеле не было

Мало кто был, я тогда, кажется, ещё в детский сад ходил

Ну, в 91 я только родился)

Новичкам как мне думаю с сложно понять free monads

Хаскель вроде в 90 появился?

Потом заметили, что оказывается взаимодействие с внешним миром тоже описывается как монада

что-то такое

Хаскель — лучший императивный язык!