<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 20, 2014 at 8:39 PM, silvio <span dir="ltr"><<a href="mailto:silvio.frischi@gmail.com" target="_blank">silvio.frischi@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="">1) >>= flip  is ugly<br></div></blockquote><div><br></div><div>Indeed. Many things are ugly in haskell. Improvements exact their own costs too.<br>

</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="">
<br>
2) you can't use >>= in an if condition<br></div></blockquote><div><br>Could you give an example of the if condition you want an >>= in?<br> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">

<div class="">
<br>
3) or imagine you want to fill it in some 3-tuple or a record type.<br></div></blockquote><div><br></div><div> What does this mean?<br><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">

<div class="">
<br>
4) res <- fmap pureFunction ioFunction === let res = pureFunction {<br>
ioFunction}</div></blockquote></div><br><div>From a distance, let and monadic bind are just different forms of name binding. <br><br>But haskell's let has an effectlessness that makes it declaratively different from its cousin in, say, ocaml.<br>

<br></div>This is no small change you're proposing.<br><br clear="all"><div>-- Kim-Ee</div>
</div></div>