Programming paradigm
From Wikipedia, the free encyclopedia
Please help improve this article or section by expanding it. Further information might be found on the talk page or at requests for expansion. (February 2008) |
A programming paradigm is a fundamental style of computer programming. (Compare with a methodology, which is a style of solving specific software engineering problems).
A programming language can support multiple paradigms. For example programs written in C++ or Object Pascal can be purely procedural, or purely object-oriented, or contain elements of both paradigms. Software designers and programmers decide how to use those paradigm elements.
In object-oriented programming, programmers can think of a program as a collection of interacting objects, while in functional programming a program can be thought of as a sequence of stateless function evaluations. When programming computers or systems with many processors, process-oriented programming allows programmers to think about applications as sets of concurrent processes acting upon logically shared data structures.
Just as different groups in software engineering advocate different methodologies, different programming languages advocate different programming paradigms. Some languages are designed to support one particular paradigm (Smalltalk supports object-oriented programming, Haskell supports functional programming), while other programming languages support multiple paradigms (such as Object Pascal, C++, C#, Visual Basic, Common Lisp, Scheme, Python, Ruby and Oz).
Many programming paradigms are as well known for what techniques they forbid as for what they enable. For instance, pure functional programming disallows the use of side-effects; structured programming disallows the use of the goto statement. Partly for this reason, new paradigms are often regarded as doctrinaire or overly rigid by those accustomed to earlier styles.[citation needed] Avoiding certain techniques can make it easier to prove theorems about a program's correctness—or simply to understand its behavior.
[edit] Examples
To meet Wikipedia's quality standards, this article or section may require cleanup because it is in a list format that may be better presented using prose. You can help by converting this section to prose, if appropriate. Editing help is available. (February 2008) |
- Annotative programming (as in Flare language)
- Aspect-oriented programming (as in AspectJ)
- Attribute-Oriented Programming (as in Java 5 Annotations, pre-processed by the XDoclet class; C# Attributes)
- Automata-Based Programming
- Bayesian programming
- Class-based programming, compared to Prototype-based programming (within the context of object-oriented programming)
- Component-oriented programming (as in OLE)
- Concatenative programming
- Constraint programming, compared to logic programming
- Context-oriented programming (as in ContextJ/ContextS/ContextL)
- Cybernetics Oriented Programming
- Dataflow programming (as in spreadsheets)
- Declarative programming
- Event driven programming
- Flow-based programming
- Function-level programming
- Functional programming
- Goal-directed programming as in Snobol, somewhat similar to Logic Programming
- Imperative programming, compared to declarative programming
- Intentional programming
- Literate Programming
- Logic programming (as in Prolog) and Abductive Logic Programming
- Message passing programming, compared to imperative programming
- Nondeterministic programming
- Object-oriented programming (as in Smalltalk)
- Pipeline programming (as in the UNIX command line)
- Policy-based programming
- Procedural programming, compared to functional programming
- Process-oriented programming a parallel programming model.
- Reactive programming
- Recursive programming, compared to iterative programming
- Reflective programming
- Scalar programming, compared to Array programming
- Structured programming, compared to unstructured programming
- Subject-oriented programming
- Tree programming
- Value-level programming, compared to function-level programming
- Metaprogramming