How to get rid of IO

From HaskellWiki

Revision as of 09:08, 28 April 2009 (edit) Lemming (Talk | contribs) (Small text about that really FAQ) ← Previous diff		Current revision (15:17, 8 March 2013) (edit) (undo) Dmwit (Talk | contribs) m (→Answer: copy editing: fix whitespace, remove acronyms, remove value judgments, correct grammar)
(2 intermediate revisions not shown.)
Line 6:		Line 6:
	== Answer ==		== Answer ==
-	You can get rid of it, but we don't tell you, how, since it is certainly not what need.	+	You can get rid of it, but you almost certainly don't need to. The special safety belt of Haskell is that you cannot get rid of IO! Nonetheless, the biggest parts of Haskell programs are and should be non-IO functions. Applications using both IO and non-IO functions are written by plugging together these two flavors of functions using functions like <hask>(>>=)</hask>. These functions allow useful IO while having all the safety properties of a pure [[functional programming]] language.
-	It is the special safety belt of Haskell, that you cannot get rid of IO!	+
-	Nonetheless, the biggest parts of Haskell programs are and should be non-IO functions.	+	You can hide some functions using [[do notation]], which looks like this:
-	This is achieved by plugging together IO functions and non-IO functions	+
-	using atomic combinator functions like <hask>(>>=)</hask>.	+
-	If that scares you, you can hide that in the [[do notation]],	+
-	which will then look quite conveniently as:	+
	<haskell>		<haskell>
	do text <- readFile "foo"		do text <- readFile "foo"
	writeFile "bar" (someComplicatedNonIOOperation text)		writeFile "bar" (someComplicatedNonIOOperation text)
	</haskell>		</haskell>
-	Btw. using the combinators this would look like	+	Without hiding the functions, this would look like:
	<haskell>		<haskell>
	writeFile "bar" . someComplicatedNonIOOperation =<< readFile "foo"		writeFile "bar" . someComplicatedNonIOOperation =<< readFile "foo"
Line 24:		Line 20:
	=== What we didn't tell you at the beginning ===		=== What we didn't tell you at the beginning ===
-	Btw. The function that answers your initial question is <hask>unsafePerformIO</hask>.	+	There is a function which directly answers the initial question, namely, <hask>unsafePerformIO</hask>.
	It is however not intended for conveniently getting rid of the <hask>IO</hask> constructor.		It is however not intended for conveniently getting rid of the <hask>IO</hask> constructor.
	It must only be used to wrap IO functions that behave like non-IO functions,		It must only be used to wrap IO functions that behave like non-IO functions,
Line 33:		Line 29:
	== See also ==		== See also ==
		+	* [[Introduction to IO]]
	* [[Avoiding IO]] - Avoiding IO in the first place is a good thing, and we tell you how to achieve that		* [[Avoiding IO]] - Avoiding IO in the first place is a good thing, and we tell you how to achieve that
		+	* [[Tutorials#Practical_Haskell|Tackling the awkward squad]]
	* http://www.haskell.org/wikisnapshot/ThatAnnoyingIoType.html		* http://www.haskell.org/wikisnapshot/ThatAnnoyingIoType.html
	* http://www.haskell.org/wikisnapshot/UsingIo.html		* http://www.haskell.org/wikisnapshot/UsingIo.html
	[[Category:FAQ]]		[[Category:FAQ]]
		+	[[Category:Monad]]

---

Current revision

Contents 1 Question 2 Answer 2.1 What we didn't tell you at the beginning 3 See also

1 Question

I have something of type , but I need something of type

How can I get that?

2 Answer

You can get rid of it, but you almost certainly don't need to. The special safety belt of Haskell is that you cannot get rid of IO! Nonetheless, the biggest parts of Haskell programs are and should be non-IO functions. Applications using both IO and non-IO functions are written by plugging together these two flavors of functions using functions like . These functions allow useful IO while having all the safety properties of a pure functional programming language.

You can hide some functions using do notation, which looks like this:

Without hiding the functions, this would look like:

2.1 What we didn't tell you at the beginning

There is a function which directly answers the initial question, namely, . It is however not intended for conveniently getting rid of the constructor.

It must only be used to wrap IO functions that behave like non-IO functions,

Since this property cannot be checked by the compiler, it is your task and thus the part of the name.

(Some library writers have abused that name component for partial functions. Don't get confused!) You will only need this in rare cases and only experienced programmers shall do this.

3 See also

• Introduction to IO
• Avoiding IO - Avoiding IO in the first place is a good thing, and we tell you how to achieve that
• Tackling the awkward squad
• http://www.haskell.org/wikisnapshot/ThatAnnoyingIoType.html
• http://www.haskell.org/wikisnapshot/UsingIo.html

Categories: FAQ | Monad