После касания Monads в отношении функционального программирования, делает ли функция на самом деле язык чистым, или это просто еще одна «карта без тюрьмы» для рассуждения о компьютерных системах в реальном мире вне математики на доске?

РЕДАКТИРОВАТЬ:

Это не огненная приманка, как кто-то сказал в этом посте, а настоящий вопрос, который, я надеюсь, кто-то может застрелить меня и сказать, доказательство, это чисто.

Также я смотрю на вопрос относительно других не очень чистых функциональных языков и некоторых ОО-языков, которые используют хороший дизайн и сравнивают чистоту. Пока что в моем очень ограниченном мире FP, я все еще не поняла чистоту Монад, вам будет приятно узнать, однако мне нравится идея неизменности, которая намного важнее в ставках чистоты.