No, there is no theory behind it. I personally feel it convenient.<br><br>在 2014-04-08 04:58:30，"Kim-Ee Yeoh" <ky3@atamo.com> 写道：<br> <blockquote id="isReplyContent" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Apr 7, 2014 at 11:02 PM, ducis <span dir="ltr"><<a href="mailto:ducis_cn@126.com" target="_blank">ducis_cn@126.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div style="line-height:1.7;font-size:14px;font-family:arial">It lets your write lambdas with 'slots' without inventing names for the parameters.<br><pre>[s| ı + ı |]  =  \x y -> x+y</pre></div></blockquote></div>

<br></div><div class="gmail_extra">I have no background in this 'slot lambda' and a search reveals this package as the only hit.<br><br></div><div class="gmail_extra">Which may explain why I find the example given confusing. Why would [s| 1+1 |] not be equivalent to \x->x+x ?<br>

</div><div class="gmail_extra"><br><br><br clear="all"><div>-- Kim-Ee</div>
</div></div>
</blockquote><br><br><span title="neteasefooter"><span id="netease_mail_footer"></span></span>