<br><br>
<div class="gmail_quote">On Wed, Jun 10, 2009 at 12:55 PM, ptrash <span dir="ltr">&lt;<a href="mailto:ptrash@web.de">ptrash@web.de</a>&gt;</span> wrote:<br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote"><br>Hi,<br><br>I have tried on the console to write<br><br>x &lt;- randomRIO(1,10)<br>:t x<br><br>Everythings fine and the type of x is<br>
x :: Integer<br></blockquote>
<div> </div>
<div>The type of x *in the context of an IO computation* is Integer. GHCi is basically an IO computation.</div>
<div>Another example:</div>
<div> </div>
<div>foo :: Integer -&gt; Integer</div>
<div>foo x = x+1</div>
<div> </div>
<div>main :: IO ()</div>
<div>main = do</div>
<div> x &lt;- randomRIO (1,10)</div>
<div> print (foo x)</div>
<div> </div>
<div>This is fine. In the context of the IO computation &quot;main&quot;, x is bound to the result of &quot;randomRIO (1,10)&quot;, and you can pass it to functions expecting Integer values (not IO Integer!). So in this way, and this way only, you can access the Integer returned by an IO action. You can *not* access the Integer returned by an IO action from within a normal function, *only* by by binding it to a variable (with &quot;&lt;-&quot;) inside *another IO action*.</div>

<div> </div>
<div>I&#39;m not sure what text you&#39;re using to learn Haskell, but a very basic and fundamental property of Haskell (and indeed 99% of why it&#39;s cool, IMO) is that code which does side effects (like reading from a global random number seed), and code which does not do side effects (i.e. functions which always return the same result given the same input) are kept extremely separate. This appears to be the source of your confusion. It&#39;s simply not possible to do side effect inside a normal function, just like it&#39;s not possible to cast an arbitrary integer to a pointer in Java - the language is designed to not require it, and the benefits of being able to trust that your program obeys certain properties are worth it.</div>

<div> </div>
<div> </div>
<div> </div>
<div>&gt;randomList :: Int -&gt; [Integer]<br>&gt;randomList 0 = []<br>&gt;randomList n = do<br>&gt;                            r &lt;- randomRIO (1, 10)<br>&gt;                            r:randomList(n-1)</div>
<div><br>In this code you&#39;re trying to do side effects from within a pure function. This is *not* allowed. You must either make randomList an IO action (i.e returning IO [Integer]), or remove any impurities from its implementation. For example you can make randomList take a randon number generator and use the random number generator to produce random values:</div>

<div> </div>
<div>randomList :: (RandomGen g) -&gt; Int -&gt; g -&gt; [Integer]</div>
<div>randomList 0 _ = []</div>
<div>randomList n generator = r : randomList (n-1) newGenerator</div>
<div>  where (r, newGenerator) = randomR (1,10) generator</div>
<div> </div>
<div>This is totally pure, since if you pass in the same random number generator multiple times, you&#39;ll get the exact same </div>
<div>result. Note that randomR returns a random values and a new random number generator (you wouldn&#39;t want to pass along the same one in the recursive call to randomList as that would give you an identical random number each time you use it!).</div>

<div> </div>
<div>So where do you get the random number generator from? Well one way is to make your own using &quot;mkStdGen&quot;, which produces one from a seed (it will give you an identical one given an identical seed). Another way is to use &quot;newStdGen&quot; to generate one from within an IO action:</div>

<div> </div>
<div>main :: IO ()</div>
<div>main = do </div>
<div>   generator &lt;- newStdGen</div>
<div>   print ( randomList 10 generator )</div>
<div> </div>
<div> </div>
<div>The point, though, is that things having side effects (such as newStdGen) can only be used in the context of something else having side effects. So the &quot;IO&quot; type is &quot;contagious&quot;, as soon as you use it in a function, then that function must also return IO, and so on for anything using *that* function and son.</div>

<div> </div>
<div> </div>
<div>-- <br>Sebastian Sylvan<br>+44(0)7857-300802<br>UIN: 44640862<br></div></div>