(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