The Paradox of Partial Parametricity
brendan at mozilla.com
Sat May 25 15:00:46 PDT 2013
Tab Atkins Jr. wrote:
>> AP2 from Mark's slides:
>> > AP2 (Based on Tab’s latest)
>> > • Q.fulfill // lifting
>> > • Q() // autolifting, resolve
>> > • p.then // deep flattening
>> > • p.flatMap // “chain”
> Apologies for being a broken record, but just to make sure the detail
> isn't lost in the noise...
> AP2 is*almost* right. If .then() only flattens on the read side,
> it's perfect.
With you all the way on this one.
Who proposes flattening the return value ("write side", right)?
More information about the es-discuss