<div dir="ltr"><div><div><div><div><div>There is a difference between IO [()] and IO () and [IO ()]<br><br></div>A type of [IO ()] is a list of actions, none of which have actually been executed.<br></div>A type of IO [()] is a single action that has executed and returned a bunch of nils.<br><br></div>sequence is one way to combine a list of actions into a single action that returns a list of their results, but it might be better to try and separate the pure and impure part of that line of code:<br><br></div>mapM putStrLn $ ([show s | s <- [1,2,3]] :: [String]) :: IO [()]<br><br></div>The type annotations are for explanation only.  Then use mapM_ if you do not want to save these nils for some reason (there are performance implications).<br><div><div><div><br></div></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Mar 9, 2015 at 4:25 PM, Geoffrey Bays <span dir="ltr"><<a href="mailto:charioteer7@gmail.com" target="_blank">charioteer7@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div><div>Thanks, Joel.<br><br></div>Putting the type IO [()] in the main declaration and this as the final line of the main function does do the trick:<br><br>sequence [putStrLn $ show s | s <- newList]<br><br></div>But this is the kind of thing that makes Haskell types difficult for beginners to work with...<span class="HOEnZb"><font color="#888888"><br><br></font></span></div><span class="HOEnZb"><font color="#888888">Geoffrey<br></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Mar 9, 2015 at 4:15 PM, Joel Williamson <span dir="ltr"><<a href="mailto:joel.s.williamson@gmail.com" target="_blank">joel.s.williamson@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">main must have type IO a. Hoogle tells me that to convert [IO a] -> IO [a], you should use the function sequence. Try applying that to your final line.</p>
<br><div class="gmail_quote"><div><div>On Mon, 9 Mar 2015 16:07 Geoffrey Bays <<a href="mailto:charioteer7@gmail.com" target="_blank">charioteer7@gmail.com</a>> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div><div dir="ltr"><div><div><div><div><div>My main function looks like this:<br><br>main :: [IO()]<br>main = do<br>    let stud1 = Student {name = "Geoff", average = -99.0, grades = [66,77,88]}<br>    let stud2 = Student {name = "Doug", average = -99.0, grades = [77,88,99]}<br>    let stud3 = Student {name = "Ron", average = -99.0, grades = [55,66,77]}<br>    let studList = [stud1,stud2]<br>    let newList = calcAvg studList<br>    [putStrLn $ show s | s <- newList]<br>    --putStrLn $ show (newList !! 0)<br>    --putStrLn $ show (newList !! 1)<br><br></div>With this final line, putStrLn $ show (newList !! 0), the type IO () in the function declaration compiles fine.<br></div>But with [putStrLn $ show s | s <- newList] as the final line, [IO ()] in the function declaration will not compile, I get this error:<br><br>    Couldn't match expected type `IO t0' with actual type `[IO ()]'<br><br></div>What does the declared type need to be for a final line of:<br> [putStrLn $ show s | s <- newList]  ???<br><br></div>Thanks,<br><br></div>Geoffrey<br><div><div><br></div></div></div></div></div>
______________________________<u></u>_________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" target="_blank">http://mail.haskell.org/cgi-<u></u>bin/mailman/listinfo/beginners</a><br>
</blockquote></div>
<br>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br></div>
</div></div><br>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br></div>