Escaping monad IO

Question

Одна из вещей, которые мне больше всего нравятся в Haskell, заключается в том, как компилятор находит побочные эффекты через монады IO в сигнатурах функций. Тем не менее, кажется, легко обойти эту проверку типа, импортируя 2 GHC примитивы:

{-# LANGUAGE MagicHash #-} 

import GHC.Magic(runRW#) 
import GHC.Types(IO(..)) 

hiddenPrint ::() 
hiddenPrint = case putStrLn "Hello !" of 
    IO sideEffect -> case runRW# sideEffect of 
    _ ->() 

hiddenPrint является единицы типа, но это не вызовет побочный эффект при вызове (печатает Hello). Есть ли способ запретить эти скрытые IO (кроме доверия никому не импортировать примитивы GHC)?

Answer 1

Это цель Safe Haskell. Если вы добавите {-# Safe #-} в начало исходного файла, вам будет разрешено импортировать модули, которые либо выведены безопасно, либо помечены как {-# Trustworthy #-}. Это также накладывает некоторые незначительные ограничения на перекрывающиеся экземпляры.

Answer 2

Существует много способов, которыми вы можете нарушить чистоту в Haskell. Тем не менее, вы должны уйти от своего пути, чтобы найти их. Вот некоторые из них:

• Импорт GHC внутренних модулей для доступа низкоуровневых примитивов
• Использование FFI импортировать функцию C как чистый один, когда он не является чистым
• Использование unsafePerformIO
• Использование unsafeCoerce
• Использование Ptr a и разыменования указателей не указывает на достоверные данные
• Заявляя свои собственные Typeable экземпляры, и лежа, чтобы вы могли злоупотреблять cast. (Больше не возможно в недавнем GHC)
• Использование небезопасных операций массива

Все эти и другие, не предназначены для регулярного использования. Они там, так что, если кто-то действительно, действительно уверен, может сказать компилятор «Я знаю, что делаю, не мешай мне». Выполняя это, вы берете на себя бремя доказательства - доказывая, что то, что вы делаете, безопасно.