Category:Programming paradigm/Declarative

From Rosetta Code
Programming paradigm/Declarative is a programming language feature.
Declarative programming is a programming model. See main article imperative programming.

The major areas of declarative programming application are:

  • Specifications and contracts, in the programming languages which support separation of specifications and implementations;
  • Type declarations and type inference in typed languages;
  • Object declarations in object-oriented programming languages, as well as in typed languages in general;
  • Annotations, such as are found as in C# and Java;
  • Many domain-specific languages.


Among the latter, according to the domain:

Subcategories

This category has the following 28 subcategories, out of 28 total.

A

C

E

F

H

L

M

O

P

S

T

  • TXR(3 C, 160 P)

X

Z

  • Zoea(1 C, 29 P)