Programmier Paradigmen / Resourcen
 
StartSeite | ProgrammierParadigmen/ | Neues | TestSeite | ForumSeite | Teilnehmer | Kategorien | Index | Hilfe | Einstellungen | Ändern

Einige das Thema betreffende Links:

Im Hinblick auf die derzeit laufende ParadigmenDiskussion? sind diese Quellen (Links) trotz der darin enthaltenen punktuellen Inkorrektheiten aber durchaus wertvoll.

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...)



StartSeite | ProgrammierParadigmen/ | Neues | TestSeite | ForumSeite | Teilnehmer | Kategorien | Index | Hilfe | Einstellungen | Ändern
Text dieser Seite ändern (zuletzt geändert: 2. Juli 2002 4:28 (diff))
Suchbegriff: gesucht wird
im Titel
im Text