ABSTRACT
Speaking about languages adds a strange twist to the conversation. How do you distinguish between the language you are talking about and the language you are using to describe features? For example, when you learned a programming language such as C, you probably used a natural language such as English to describe a feature of the language C. In this case, we use the natural language as a metalanguage while C is the object language. The distinction is important because during the project, there are several languages in use: the production language for the parser, the type definition language for types, Forth, and Gforth. We must be very clear as to which (if any) is the object language and which is the metalanguage.
