Question

I have been reading about unsafePerformIO lately, and I would like to ask you something. I’m OK with the fact that a real language should be able to interact with the external environment, so unsafePerformIO is somewhat justified.

However, at the best of my knowledge, I’m not aware of any quick way to know whether an apparently pure (judging from the types) interface/library is really pure without inspecting the code in search for calls to unsafePerformIO (documentation could omit to mention it).
I know it should be used only when you’re sure that referential transparency is guaranteed, but I would like to know about it nevertheless.

Answer 1

There’s no way without checking the source code. But that isn’t too difficult, as Haddock gives a nice link directly to syntax-highlighted definitions right in the documentation. See the “Source” links to the right of the definitions on this page for an example.

Safe Haskell is relevant here; it’s used to compile Haskell code in situations where you want to disallow usage of unsafe functionality. If a module uses an unsafe module (such as System.IO.Unsafe) and isn’t specifically marked as Trustworthy, it’ll inherit its unsafe status. But modules that use unsafePerformIO will generally be using it safely, and thus declare themselves Trustworthy.