Subject: Term

Keywords: ::Data

Title: Terms as Data Structures

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

The ML variant used by Nuprl has limited support for data structures.
The uniformity and ubiquity of Terms has resulted in most data being
represented as terms.

See data structure documentation conventions.

Certain conventions have evolved to ease access of term data
from ML functions. 

One early convention was to use opids beginnning with the ! character
to distinquish terms not used in formal content. This has relaxed over 
time, but many of the most primitive data operators do use !.

Lists : 
  - cons, nil : !cons(<car>,<cdr>), !cons()
      * there are many variations using different opids, but !cons
        is most commonly used.
     ilist_f : (* -> term) -> * list -> term 
     listi_f : (term -> *) -> term -> * list    
  
 
⋅
--------------------------------------------------

Authors: 

Contributors: RICH:t

⋅

Home