Почему Haskell не может быть обманут в выполнении операций ввода-вывода, используя строгую оценку?

Я просто изучаю монады Haskell и IO. Мне интересно, почему бы это не заставить программу выводить "привет", а также "пока":

second a b = b
main = print ((second $! ((print "hi") >>= (\r -> return ()))) "bye")

Насколько я понимаю, оператор $! заставил бы первый аргумент second быть оценен, а оператору >>= нужно было бы запустить print "hi", чтобы получить от него значение и передайте его на \r -> return (), который напечатает "hi" на экране.

Что не так с моими рассуждениями?

А также, есть ли способ пропустить Haskell нельзя обмануть (кроме использования небезопасных функций) в выполнение операций ввода-вывода внутри "безопасного" кода?

Ответ 1

Выставляемое выражение ((print "hi") >>= (\r -> return ())), которое имеет тип IO (). Таким образом, он представляет собой операцию ввода-вывода. Но оценка такой вещи совсем не похожа на ее работу!

Оценка значения означает выполнение достаточно простых шагов, чтобы превратить его в так называемую слабую головную нормальную форму. Поскольку IO является абстрактным, немного сложно понять, что это значит в этом случае, но можно думать о IO a как RealWorld -> (a, RealWorld), а затем нормальная форма слабой головки - это, ну, функция, ожидающая с учетом RealWorld.

Выполнение подразумевает оценку, но также передает RealWorld в качестве аргумента, тем самым вызывая эффект IO.

Все это не очень специфично для IO; ваше замешательство и концепции в равной степени относятся к a -> b. Если вы понимаете, что делает $!, когда второй аргумент является функцией, вы поймете, что происходит, когда это действие IO.

Ответ 2

Вы путаете оценку с исполнением. Когда вы вызываете выражение типа print "hi", это ничего не выводит. Он просто производит значение (в данном случае значение типа IO()), представляющее действие печати чего-либо. Вы можете придумать значение print "hi" в качестве рецепта для печати "привет".