No, there is no theory behind it. I personally feel it convenient.

在 2014-04-08 04:58:30,"Kim-Ee Yeoh" <ky3@atamo.com> 写道:

On Mon, Apr 7, 2014 at 11:02 PM, ducis <ducis_cn@126.com> wrote:
It lets your write lambdas with 'slots' without inventing names for the parameters.
[s| ı + ı |]  =  \x y -> x+y

I have no background in this 'slot lambda' and a search reveals this package as the only hit.

Which may explain why I find the example given confusing. Why would [s| 1+1 |] not be equivalent to \x->x+x ?



-- Kim-Ee