Re: how to extend a capability on a data source?
David Barbour <[email protected]>
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <CAAOQMStAN=em-zUgEhbX-iMLtqhBe1zh0wa7hLBbnTUrh0x47w@mail.gmail.com> |
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