The Paradox of Partial Parametricity

Brendan Eich 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)?

/be


More information about the es-discuss mailing list