Data

From Erights

(Difference between revisions)
Jump to: navigation, search
(document DeepPassByCopy)
(Redirecting to Data)
Line 1: Line 1:
-
[[Data]] is a classification of objects, and a guard.
+
#REDIRECT [[Data]]
-
 
+
-
An object is [[Data]] if it is any of:
+
-
# an [[atom]] or literal, in the Data-E sense. (Example: 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.}}
+
-
# [[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==
+
-
 
+
-
* [http://www.eros-os.org/pipermail/e-lang/2007-March/011904.html 2007-03-01 — Renaming Data to DeepPassByCopy discussion]
+
-
 
+
-
{{stub}}
+

Revision as of 00:18, 15 October 2009

  1. REDIRECT Data
Personal tools
more tools