[previous] [up] [next]     [contents] [index]
Next: Identifiers and Binding Up: Types Previous: Types

Expressions

Any expression is either a variable reference, an application or a special form:

varref : parsed (var)

app : parsed (fun args)

form : parsed ()

The var field of a varref is a Scheme symbol. The fun field of app is of type parsed, while args contains a list of parsed. All the special forms -- which are defined in other documents -- are sub-types of form.





PLT