Declarative programming
|
|
Declarative programming is an approach to computer programming that involves the creation of a set of conditions that describe a solution space, but leaves the interpretation of the specific steps needed to arrive at that solution up to an unspecified interpreter. Declarative programming thus takes a different approach from the traditional imperative programming found in Fortran, C or Pascal which requires the programmer to provide a list of instructions to execute in a specified order.
In other words, declarative programming provides the what, but leaves the how up to interpretation. This is why declarative solutions are said to have two independent phases: declaration and interpretation.
Declarative languages describe relationships between variables in terms of functions, inference rules, or term-rewriting rules. The language executor (an interpreter or compiler) applies a fixed algorithm to these relations to produce a result.
Declarative programming includes both functional programming and logic programming. Declarative programming was also known as Value-oriented programming, but this term has lately fallen out of use.
| Contents |
Advantages
- The solution can address the problem at an abstract level without delving into irrelevant details. This makes the solution easier for humans to understand.
- Complex problem solving is isolated and handled by the interpreter
- The Reinventing the wheel anti-pattern is avoided (i.e. one interpreter written years ago can apply its logic to a wide variety of declarative specifications),
- Re-use/re-interpretation in different contexts is possible (e.g. different language bindings for IDL)
Applications
Declarative programming languages are extensively used in solving problems related to artificial intelligence, constraint-satisfaction problems, databases, configuration management and Inter-process communication.
In addition to the domains listed above, declarative programming is becoming a vital part of many Enterprise Programming solutions. For instance, instead of couching transactions and database access within procedural code, the application developer simply declares the relationships/dependencies between higher level objects (e.g. transactions and object interfaces) and the implementation is left to the framework. See Hibernate (software), Enterprise Java Beans or Spring framework for examples of how this works.
Many of the dialects being created based on the XML format can be described as declarative due largely to the increasing popularity of the declarative programming paradigm.
Example languages
Representative examples of declarative programming languages include Oz, Prolog, Haskell, Miranda, SQL, TK Solver, and WSDL.
Category:Declarative programming languages provides an exhaustive list.