Declarative programming

In computer science, declarative programming is a programming paradigm

Declarative programming expresses the logic of a computation without describing its control flow.

Description

Many languages applying this style attempt to minimize or eliminate side effects by describing what the program should accomplish in terms of the problem domain, rather than describing how to go about accomplishing it as a sequence of the programming language primitives (the how being left up to the language's implementation).

Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space. Declarative programming may greatly simplify writing parallel programs.

Examples

Common declarative programming languages include:

• Database query languages
  • SQL
  • XQuery
• Regular expressions
• Logic programming
• Functional programming
• Configuration management systems

Imperative programming

By contrast, imperative programming emphasizes algorithms in terms of explicit steps.

See also

• Algorithm
• Computer program
• Configuration management system
• Database query language
• Functional programming
• Logic programming
• Programming language
• Programming paradigm
• Regular expression
• SQL
• XQuery

External Links

• Declarative programming @ Wikipedia