215 ;;Quote: original goal for ML was a natural-like language for all computer interaction

216 ;;Quote: a program is readable if novices can understand it in terms of its subject area

217+ ;;Quote: a programming language is a tool for creating descriptions, irrespective of readability

217 ;;Quote: a programming language should maximize the ability to write readable programs

218 ;;Quote: readable program in ML; cookbook english; imperative verbs, subordinate clauses separated by commas, e.g., conditional clause

218+ ;;Quote: ML uses compound words to convey complex units of information, e.g., OvenIsHotEnough

218 ;;Quote: in both english and ML, words convey most of meaning

219 ;;Quote: an ML environment is a set of declarations that gives precise meaning to text

220 ;;Quote: in most programming languages can parse programs independent of environment; cannot in ML

220 ;;Quote: instead of concentrating on semantic features, ML seeks a uniform syntactic approach for expressing any semantics

221 ;;Quote: in ML, words are grouped into categories which can define properties of their members

223 ;;Quote: an ML word rules the rest of the block which contains it

224 ;;Quote: ML uses right parenthesis to indicate a statement label, e.g., case in a case statement

225 ;;Quote: the required category of an ML word must match the actual category of its sub-domain

230 ;;Quote: a programming language defines the fixed and given things; in ML this is the environment

231 ;;Quote: implement ML by compile-time procedures that translate ML words into action

233 ;;Quote: ML macros are expressed in the same language as the source that is being expanded

233 ;;Quote: ML history; bootstrapped by an interpreter, now ML is the whole system