> Quoting from that link: > There are three main types of programming languages. > > * Imperative > * Functional > * Declarative > Aren't functional languages a subset of declarative? (c.f. http://en.wikipedia.org/wiki/Declarative_programming)