Data

From Erights

Revision as of 00:26, 15 October 2009 by Kevin Reid (Talk)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

Data is a classification of objects, and a guard.

An object is Data if it is any of:

  1. an atom or literal, in the Data-E sense. (Example: 2)
  2. a graph exit, in the Data-E sense. (Example: __makeList) XXX The set of such graph exits (called StandardGraphExit in E-on-CL) is an open issue.
  3. PassByCopy, and its components are Data.

Data was formerly named DeepPassByCopy, but that name does not acknowledge that some of the components (e.g. the maker, usually) are not PassByCopy, but rather graph exits.

See also

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.
Personal tools
more tools