View difference between Paste ID: 3LCMbBWy and EAfVmbRZ

 --Есть:
 f x = x * x --функция
 
 --Есть:
-f' () = M >> f(readFromFile) --монада?
+f () = M >> f(readFromFile) --монада?
---что значит ()? Нет, у монады простое имя вроде f' или m
+--что значит ()?
 --что такое М?
 --Далее: f от readFromFile? Но readFromFile это не значение, а монада.
 --А функция f хочет значение, она не принимает монаду.
 --Оператор >> пригодился бы нам, если бы тут были две монады. Но монада одна - readFromFile.
 --И тут из тени появляется оператор >>=, который как раз _связывает_монаду_и_функцию_.
 
 m = do
-    varX <- readFromFile
+    varX <- readFromFile --"получаем значение"
-    return (f x)
+    return (f x)	 --делаем новую монаду(return) с f от полученного значения
 
 --так выглядит последовательность действий в do-нотации. Что там под капотом? Надо помнить что '<-' --это синтаксический сахар над >>=
 --Раскрывается это в следующее:
 
 m = readFromFile >>= (\varX -> return (f x))
 --или
 m = readFromFile >>= return . f
 --дело в том, что >>= соеденяет монаду и функцию, но не абы какую функцию, а монадическую функцию.
 --Как сделать простую функцию монадической? Применить к результату return.
 --Можно воспользоваться лямбдой, а можно использовать комбинатор.
 --При этом 'a -> b' превращается в 'Monad m => a -> m b',
 --т.е монадическую функцию, которую и хочет оператор >>= вторым аргументом.
 
 --Надо отметить что IO это ещё и функтор, и операцию можно сократить до:
 m = fmap f readFromFile
 --но это уже другая история.
 
 --В итоге получилась монада m, которая содержит полученное из файла и умноженное на себя значение.