Subject: Objects

Keywords: ::overview
          ::ObjectId

Title: Object Ids

--------------------------------------------------
An ObjectId is unique identifier for an object. An ObjectId
can be thought of almost as direct pointer to the object (in
fact, it is key to hashtable of objects). 

ObjectIds are not scrutable. You cannot construct an ObjectId from
other data. Nuprl can produce an ObjectId on demand, but they are
normally created implicitly in the construction of the objects
themselves.  

ObjectId is commonly abbreviated as obid.

object_id is primitive ML type:
create_object_id unit -> object_id
make_object_id_parameter object_id -> parameter

ObjectIds are normally used embedded in terms: 
ioid_term object_id -> term   !oid{object_id}() 
ioid term -> object_id        accesses first object_id parameter of term  
EG: Object Ids is the obid of of the object where this FAQ is stored. 

Objects can have associated names and names can be searched on, but names
do not uniquely identify an obid.

--------------------------------------------------

Authors: NUPRL:t



Home