A style of programming associated with languages such as Haskell. Functional programming languages are more closely tied to a mathematical concept of `function' than imperative programming languages. This makes it easier to apply program-proving techniques and logical reasoning to functional programs. In particular, functional programs do not use the concept of variables in the traditional sense, i.e. a memory location whose contents might be changed from time to time as a program executes.
- Browse Related Terms: aliases, functional programming, imperative programming, null reference, object reference, polymorphism, reference, static type, variable declaration