Re: how to extend a capability on a data source?
Rob Withers <[email protected]>
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <[email protected]> |
Well, that’s wonderful. Is it possible to do so in Scala, do you think? 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? thanks, rob On Nov 5, 2013, at 9:08 AM, David Barbour <[email protected]> wrote: > > On Tue, Nov 5, 2013 at 9:16 AM, Rob Withers <[email protected]> wrote: > > Is there any type inferred system which could type infer a promise as having the type of the return value of the function which was eventually sent to? > > Yes, Hindley-Milner (HM), used in ML and Haskell, would be a typical such type system. HM supports global inference, and variations of HM can support subtypes. > > > _______________________________________________ > cap-talk mailing list > [email protected] > http://www.eros-os.org/mailman/listinfo/cap-talk _______________________________________________ cap-talk mailing list [email protected] http://www.eros-os.org/mailman/listinfo/cap-talk