The Paradox of Partial Parametricity

Kris Kowal kris.kowal at
Wed May 22 21:39:43 PDT 2013

Tab’s proposal as I understand it is to standardize Q-like promises and add
a "chain" method that is "then" but with behavior tailored for monadic

This sounds like a good compromise.

The only downside I can contrive is that it gives users, particularly
novices, a subtle choice. Would it be more clear that it is intended for
monadic composition if the name were literally "bind"?

Kris Kowal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the es-discuss mailing list