• imperative: FolDoc:imperative+language,
• declarative: FolDoc:query=declarative&action=Search,
• relational: FolDoc:relational+language,
• functional: FolDoc:functional+programming,
• applicative: FolDoc:query=applicative&action=Search,
• object-oriented: FolDoc:object-oriented+programming.

Zur Auswertung dieser Quellen: Page ProgrammierParadigmen.

Anmerkungen

Leider sind in den hier verlinkten Dokumenten auch einige Irrtümer und Ungenauigkeiten enthalten.

Die schreiben da für functional languages (unter functional programming): "They are based on the typed lambda-calculus with constants." Wo doch die Programmiersprache FP (die auch ausdrücklich mit aufgezählt wird) eben gerade nicht auf dem Lambda-Kalkül basiert. Und außerdem gibt es ja noch funktionale Sprachen, die auf ungetyptem Lambda-Kalkül basieren. -- her

Nun gut, man kann aber auch einen Satz wie "They are based on the typed lambda-calculus..." auffassen als: "They are (generally) based on the typed lambda-calculus..." oder auch "They are (often) based on the (typed) lambda-calculus..." - Und für etliche Haupt-Vertreter dieses Paradigmas stimmt das ja wohl auch, nein?

Für einige. Aber das generelle "They are ..." ist eben falsch.

Es wäre sicherlich besser, wenn die oben so formulieren würden: "Most of them are based on the lambda-calculus...", oder so...

Wenn man dem Link "typed lambda-calculus" folgt, kann man auch -als Erklärung- lesen: "Most functional programming languages, e.g. Haskell, ML, are closely based on variants of the typed lambda-calculus."

Ein Seitenblick auf WardsWiki

Nur kurz, was unser "NachbarWiki?" zu dem Thema zu sagen hat...

Hier wird u.a. aufgeführt: "Declarative Language: A declarative programming language allows the programmer to specify what to do, not how to do it. DL's allow declarative programming."

Weiters heißt es dann:

"There are flavours of decalarative language: Logic programming languages, relational programming languages and to a lesser extent functional programming languages."

Es findet sich also auch hier wieder die Unterteilung von "deklarativ" in "logisch/prädikativ" einerseits und "funktional" andererseits.

Folgt man dem Link "Logic programming languages", findet man: "LPLs are declarative programming languages based on the application of predicate logic. Prolog is the prime example."

D.h. hier findet sich sogar die GLEICHSETZUNG von "logisch" und "prädikativ". (Bemerkung: Diese Gleichsetzung ist zwar durchaus fragwürdig; hier aber eben nun mal gemacht...)

• /Diskussion
• /Begriffe
• /Thesen