In functional ProgrammingLanguages computations are defined through functions that map argument values to result values. In pure functional languages this is the only means of defining computations. Impure functional languages allow side-effects. Examples of functional languages are * LispLanguage * ML * SchemeLanguage * HaskellLanguage * CAML ----- CategoryLanguage