<div dir="ltr">Understood and actually I forgot you can not use "_", so why not a symbol which don't look like a number?</div><div class="gmail_extra"><br><br><div class="gmail_quote">On 7 April 2014 22:16, Tom Ellis <span dir="ltr"><<a href="mailto:tom-lists-haskell-cafe-2013@jaguarpaw.co.uk" target="_blank">tom-lists-haskell-cafe-2013@jaguarpaw.co.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On Tue, Apr 08, 2014 at 03:58:30AM +0700, Kim-Ee Yeoh wrote:<br>
> On Mon, Apr 7, 2014 at 11:02 PM, ducis <<a href="mailto:ducis_cn@126.com">ducis_cn@126.com</a>> wrote:<br>
><br>
> > It lets your write lambdas with 'slots' without inventing names for the<br>
> > parameters.<br>
> ><br>
> > [s| ı + ı |] = \x y -> x+y<br>
> ><br>
> ><br>
> I have no background in this 'slot lambda' and a search reveals this<br>
> package as the only hit.<br>
><br>
> Which may explain why I find the example given confusing. Why would [s| 1+1<br>
> |] not be equivalent to \x->x+x ?<br>
<br>
</div></div>Because each slot stands for a new variable.<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<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>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div><b>Alois Cochard</b></div><div><a href="http://aloiscochard.blogspot.com" target="_blank">http://aloiscochard.blogspot.com</a></div><div><div>
<a href="http://twitter.com/aloiscochard" target="_blank">http://twitter.com/aloiscochard</a></div><div><a href="http://github.com/aloiscochard" target="_blank">http://github.com/aloiscochard</a></div></div>
</div>