DOC HOME SITE MAP MAN PAGES GNU INFO SEARCH
 

(r5rs.info.gz) Disjointness of types

Info Catalog (r5rs.info.gz) Variables; syntactic keywords; and regions (r5rs.info.gz) Basic concepts (r5rs.info.gz) External representations
 
 3.2 Disjointness of types
 =========================
 
 No object satisfies more than one of the following predicates:
 
 
      boolean?          pair?
      symbol?           number?
      char?             string?
      vector?           port?
      procedure?
 
 These predicates define the types _boolean_, _pair_, _symbol_,
 _number_, _char_ (or _character_), _string_, _vector_, _port_, and
 _procedure_.  The empty list is a special object of its own type; it
 satisfies none of the above predicates.
 
 Although there is a separate boolean type, any Scheme value can be used
 as a boolean value for the purpose of a conditional test.  As explained
 in section  Booleans, all values count as true in such a test
 except for #f.  This report uses the word "true" to refer to any Scheme
 value except #f, and the word "false" to refer to #f.  
 
Info Catalog (r5rs.info.gz) Variables; syntactic keywords; and regions (r5rs.info.gz) Basic concepts (r5rs.info.gz) External representations
automatically generated byinfo2html