Yes, and yes :)<br><br>For example:<br><br>import Data.Char  <br><br>main = do<br>  let prompt s = do<br>      putStrLn s<br>      getLine<br>  firstName &lt;- prompt &quot;What&#39;s your first name?&quot;<br>  lastName &lt;- prompt &quot;What&#39;s your last name?&quot;<br>
  let bigFirstName = map toUpper firstName  <br>      bigLastName = map toUpper lastName  <br>  putStrLn $ &quot;hey &quot; ++ bigFirstName ++ &quot; &quot; ++ bigLastName ++ &quot;, how are you?&quot;<br><br>- Job<br><br>
<div class="gmail_quote">On Tue, Aug 10, 2010 at 12:40 PM, michael rice <span dir="ltr">&lt;<a href="mailto:nowgate@yahoo.com">nowgate@yahoo.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<table border="0" cellpadding="0" cellspacing="0"><tbody><tr><td style="font-family: inherit; font-style: inherit; font-variant: inherit; font-weight: inherit; font-size: inherit; line-height: inherit; font-size-adjust: inherit; font-stretch: inherit;" valign="top">
<br>From: Learn You a Haskell<br><br>===================<br><br>Remember let bindings? If you don&#39;t, refresh your memory on them by reading this section. They have to be in the form of let bindings in expression, where bindings are names to be given to expressions and expression is the expression that is to be evaluated that sees them. We also said that in list comprehensions, the in part isn&#39;t needed. Well, you can use them in do blocks pretty much like you use them in list comprehensions. Check this out:<br>
<br><br>  import Data.Char  <br>     <br>    main = do  <br>      putStrLn &quot;What&#39;s your first name?&quot;  <br>      firstName &lt;- getLine  <br>      putStrLn &quot;What&#39;s your last name?&quot;  <br>     
 lastName &lt;- getLine  <br>      let bigFirstName = map toUpper firstName  <br>          bigLastName = map toUpper lastName  <br>      putStrLn $ &quot;hey &quot; ++ bigFirstName ++ &quot; &quot; ++ bigLastName ++ &quot;, how are you?&quot;<br>
<br>===================<br><br>Questions:<br><br>1) Is there an implicit *in* before the last line above?<br><br>2) Within a do &quot;in&quot; the IO monad (or any other monad), can a *let* do something like this?<br><br>
      let x = do   -- in a different monad<br><br><br>Michael <br><br></td></tr></tbody></table><br>







      <br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br>