Programmier Paradigmen / Resourcen
StartSeite | ProgrammierParadigmen/ | Neues | TestSeite | ForumSeite | Teilnehmer | Kategorien | Index | Hilfe | Einstellungen | Ändern
Veränderung (letzte Korrektur)
(Änderung, Normalansicht)
Verändert: 12c12
Einige das Thema betreffende Links:
- 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.
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."
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))