<div dir="ltr"><br>
<blockquote>I don't think any clarity is added by made-up notation. I think you<br>
mean<br></blockquote>In fact I was "trying" to be correct on this. Is it wrong to show:<br><br><div style="margin-left: 40px;">[()] >> f = f<br></div>
<br>as was doing:<br><br><div style="margin-left: 40px;"> [()] map f = [f]<br></div><br>I want to say map function f over a single element list will yield a list of single element, the element being function f.<br><br>daryoush<br>
<br><div class="gmail_quote">On Fri, Oct 10, 2008 at 10:56 AM, Jonathan Cast <span dir="ltr"><<a href="mailto:jonathanccast@fastmail.fm">jonathanccast@fastmail.fm</a>></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;">
<div class="Ih2E3d">On Fri, 2008-10-10 at 10:59 -0700, Daryoush Mehrtash wrote:<br>
> I was in fact trying to figure out how "guard" worked in the "do".<br>
> The interesting (for a beginner) insight is that:<br>
><br>
> [()] map f = [f]<br>
<br>
</div>I don't think any clarity is added by made-up notation. I think you<br>
mean<br>
<br>
map f [()] = [f ()]<br>
<br>
or<br>
<br>
[()] >>= f = f ()<br>
<br>
or<br>
<br>
[()] >> f = f<br>
<br>
or<br>
<br>
do<br>
[()]<br>
f<br>
= f<br>
<br>
or<br>
<div class="Ih2E3d"><br>
[ f | _ <- [()] ] = [ f ]<br>
<br>
> --( just as any list with one element would have been such<br>
> as [1] map f = [f] ) where as<br>
><br>
> [] map f = []<br>
<br>
</div>And<br>
<br>
map f [] = []<br>
<br>
or<br>
<br>
[] >>= f = []<br>
<br>
or<br>
<br>
[] >> f = []<br>
<br>
or<br>
<br>
do<br>
[]<br>
f<br>
= []<br>
<br>
or<br>
<br>
[ f | _ <- [] ] = []<br>
<br>
jcc<br>
<br>
<br>
<br>
</blockquote></div><br><br>
</div>