Disjointness of Types (MIT/GNU Scheme 10.1.1)

Next: Storage Model, Previous: External Representations, Up: Scheme Concepts [Contents][Index]

#### 1.2.7 Disjointness of Types

Every object satisfies at most one of the following predicates (but see True and False, for an exception):

    bit-string?     environment?    port?           symbol?
    boolean?        null?           procedure?      vector?
    cell?           number?         promise?        weak-pair?
    char?           pair?           string?
    condition?