Subject: Objects

Keywords: ::overview
          ::ObjectId

Title: Objects and Object Ids

--------------------------------------------------
An ObjectId is a unique identifier for an object. An ObjectId
can be thought of almost as a direct pointer to the object (in
fact, it is a key to a 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 a primitive ML type:
create_object_id : unit -> object_id
make_object_id_parameter : object_id -> parameter

ObjectIds are normally used embedded in terms: 
iobid_term : object_id -> term   * !oid{object_id}() 
iobid : term -> object_id        * accesses first object_id parameter of term  
EG: Objects and 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

Contributors: RICH:t

⋅

Home