Promise

From Erights

A promise, in E, is a ref whose referent has not yet been determined -- it is an unresolved reference.

Every promise has a corresponding resolver (though it may not be explicitly used), which constitutes the permission to cause it to resolve to a given other reference (which may itself be a promise).

Promises are often created by performing eventual sends or by explicit promise pair creation.

A remote promise is a promise whose resolver is in a different vat.

This page is a stub; it should be expanded with more information. If doing so, check the original E web site and the mailing list archives for content which could be moved into this page.