Как монады помогают реализовывать операции ввода-вывода в чистом функциональном языке?

Монады помогают реализовывать операции ввода-вывода в чистом функциональном языке, изолируя побочные эффекты, такие как ввод-вывод, и позволяя работать с ними в чисто функциональном стиле. en.wikipedia.org scalabook.ru

Некоторые особенности, как это происходит, на примере языка Haskell:

• Использование монады IO для выполнения операций ввода-вывода. it.vstu.by Любые операции ввода-вывода выполняются внутри монады IO, и результаты этих операций также имеют тип IO. it.vstu.by Это гарантирует, что ввод-вывод не может быть выполнен неконтролируемо и непредсказуемо, а все побочные эффекты явно указываются в типах. it.vstu.by
• Создание сложных действий из атомарных. ru.wikibooks.org Монада IO содержит операции, которые позволяют создавать сложные действия из атомарных. ru.wikibooks.org То есть монаду в данном случае можно рассматривать как клей, который связывает действия в программе. ru.wikibooks.org
• Предоставление способа указать последовательное связывание действий. intuit.ru Для правильного выполнения программы и, в частности, ввода-вывода, действия должны быть упорядочены определённым образом. intuit.ru Монада ввода-вывода предоставляет пользователю такой способ, и реализация обязана соблюдать этот порядок. intuit.ru