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+yI 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