Softwareentwicklung in C - ASC

2.2 Programmiersprachen 11
eines Programms verwendet, und dieser kann auch während der Abarbeitung
modifiziert werden.
Einige wichtige Vertreter imperativer Sprachen sind: C, Pascal, Basic,
Cobol und Fortran. Imperative Sprachen sind für ein sehr breites Spektrum
an Problemstellungen in verschiedensten Bereichen gut einsetzbar. Sie sind
auch für sehr große und komplexe interaktive Systeme geeignet, jedoch sind
hierbei objektorientierte Sprachen im Normalfall vorzuziehen.
Funktionale Sprachen Funktionalen Sprachen liegt das Prinzip zugrunde,
dass Programme Funktionen berechnen, mit denen sie Eingabe- auf Ausgabewerte
abbilden. In der funktionalen Programmierung beschreibt man
die Beziehungen zwischen Eingabe- und Ausgabedaten mit Hilfe mathematischer
Ausdrücke. Die Ausführung eines Programms ist gleichbedeutend mit
der Auswertung des Ausdrucks. Es gibt hierbei keine Variablen.
Einige wesentliche Vertreter dieser Sprachen sind: ML (bzw. SML), Lisp
und Logo (Anm: Lisp und Logo enthalten auch teilweise imperative Konzepte).
Funktionale Sprachen sind besonders gut geeignet zur Programmierung
von Algorithmen, die sich auch mathematisch gut formulieren lassen (z.B.
Sortierverfahren, Listenbehandlungen etc.). Für große und stark interaktive
Systeme sind funktionale Sprachen nur bedingt zu empfehlen.
Prädikative Sprachen In prädikativen Sprachen wird die Programmierung
als Beweisen in einem System von Tatsachen und Schlussfolgerungen aufgefasst.
Bei der Programmierung wird eine Menge von Fakten und Regeln (d.h.,
wie man aus gegebenen Fakten neue Fakten gewinnt) angegeben. Die Aufgabe
des Computers ist es nun, eine an ihn gestellte Anfrage als richtig oder
falsch zu beantworten.
Um sich ein Bild von der Denkweise bei prädikativen Sprachen machen
zu können, betrachten wir folgendes Beispiel zur Berechnung der Faktoriellen
einer Zahl:
Faktum: die Faktorielle von 1 ist 1.
d.h.: fac(1, 1).
Regel: wenn die Faktorielle von n - 1 gleich f ist, dann ist die Faktorielle
von n gleich n * f.
d.h.: fac(n − 1, f) ⇒ fac(n, n ∗ f)
Will man nun ein solches Programm ausführen, um die Faktorielle von 3
zu berechnen, dann ist diese Berechnung gleichbedeutend mit der Frage, für
welche Zahl f nun die o.g. Regel richtig ergibt. Dementsprechend wird
die Regel so lange angewandt, bis das Abbruchkriterium erreicht ist. Dieses
Abbruchkriterium ist in unserem Fall das Erreichen des Faktums, dass die
Faktorielle von 1 gleich 1 ist.
Manchen Lesern mag nun vorkommen, dass prädikative Sprachen von der
Denkweise her nicht übertrieben intuitiv und einfach zu durchschauen sind.
Ich kann nur sagen, dass diese Leser mit ihrer Meinung nicht allein auf weiter
Flur stehen.