The following terminology and concepts are applicable to any programming language, but in particular to Elan, since they lie at the heart of its design. Readers not interested in philosophy may skip this section.