Re: how to extend a capability on a data source?
David Barbour <[email protected]>
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <CAAOQMSu=c20P_=rVYsnia2QRzf2srzhcYQeGNDQhN=dF17H1KA@mail.gmail.com> |
On Tue, Nov 5, 2013 at 8:17 PM, Rob Withers <[email protected]> wrote: > Well, that’s wonderful. Is it possible to do so in Scala, do you think? > No. Scala made some type system decisions that are incompatible with HM inference algorithms. > > How does it work in HM? Is it possible that the promise could be > composite typed, so that it could be treated as both an eventual reference, > as well as the result type of the send? > In general, a new promise would be constructed as a pair like: (HasPromises m) => newPromise :: m (Resolver a, Eventual a) Type `a` could then be inferred from both ends: the consumer of the eventual `a` and the resolution of `a` both imply some requirements about the type of `a`. _______________________________________________ cap-talk mailing list [email protected] http://www.eros-os.org/mailman/listinfo/cap-talk