Definition „Programming Language“

Was ist eine Programmiersprache?

| Autor / Redakteur: il1411 / Stephan Augsten

Programmiersprachen und ihre Paradigmen sind vielfältig.
Programmiersprachen und ihre Paradigmen sind vielfältig. (Bild: Tirza van Dijk - Unsplash.com)

Programmiersprachen sind formale Sprachen, mit denen sich Rechenvorschriften formulieren lassen. Diese Vorschriften können dann von einem Computer ausgeführt werden.

Die Funktionsweise von formalen Sprachen

Die Gesamtheit aller Anweisungen, die in einer bestimmten Programmiersprache geschrieben sind, bezeichnet man als Quellcode. Ein Quellcode lässt sich mit Hilfe eines einfachen Texteditors erstellen. Bei größeren Projekten setzt man jedoch in der Regel eine Entwicklungsumgebung (IDE) ein, die den Programmierer bei seiner Entwicklungsarbeit unterstützt.

Damit ein Computer die im Quelltext enthaltenen Anweisungen ausführen kann, muss der Code in die Maschinensprache des jeweiligen Computertyps übersetzt werden. Bei der Maschinensprache handelt es sich um einen Binärcode, der folglich für Menschen nur schwer lesbar ist. Der Quelltext kann zu verschiedenen Zeitpunkten in die Maschinensprache übersetzt werden.

Zum einen kann die Übersetzung vor der Ausführung des im Quellcode beschriebenen Programms erfolgen. Hierzu wird ein sogenannter Compiler verwendet. Wird der Quelltext erst während der Laufzeit des Programms übersetzt, setzt man einen Just-in-Time- bzw. JIT-Compiler oder einen Interpreter ein.

Bei einigen Sprachen – beispielsweise bei Java – wird auch eine Kombination dieser beiden Verfahren genutzt: Vor der Programmausführung wird der Code in einen Zwischencode übersetzt, der dann während der Laufzeit des Programms in Maschinencode überführt wird.

Die Bestandteile von Programmiersprachen

Jede formale Sprache lässt sich anhand verschiedener Informationen genau definieren. Zu diesen Informationen zählen die Syntax, das Vokabular und der Zeichensatz.

  • 1. Die Syntax einer Programmiersprache ist deren „Grammatik“. Sie beschreibt sowohl die zulässigen Sprachelemente als auch, wie diese Sprachelemente zu verwenden sind.
  • 2. Mit dem Vokabular sind reservierte Schlüsselwörter gemeint, die folglich nicht als Namen für Variablen oder Funktionen gewählt werden dürfen.
  • 3. Der Zeichensatz einer Programmiersprache besteht in der Regel aus alphabetischen und numerischen Zeichen sowie aus Sonderzeichen.

Wie leistungsfähig eine Programmiersprache ist, wird durch die Mächtigkeit des Befehlssatzes bestimmt. Im Allgemeinen besitzen formale Sprachen mindestens die folgenden Befehle:

  • Befehle zur Ein- und Ausgabe von Daten, mit denen das Programm Informationen entgegennehmen und ausgeben kann
  • Befehle zur Deklaration von Variablen und anderen Datentypen wie Feldern, mit welchen Daten (zwischen-)gespeichert werden können
  • Funktionen zur Verarbeitung von Zeichenketten (z.B. zur Verkettung von Zeichenketten)
  • mathematische Grundfunktionen (z.B. Addition, Multiplikation)
  • Steueranweisungen wie beispielsweise die bedingte Ausführung oder die wiederholte Ausführung bestimmter Programmteile.

Aus der Kombination dieser Grundfunktionen lassen sich auch komplexere Funktionen erstellen. Einige formale Sprachen bieten zudem die Möglichkeit, diese höheren Funktionen als sogenannte Bibliothek zu kapseln und somit wiederverwendbar zu machen.

Klassen von Programmiersprachen: Programmierparadigmen

Die ersten höheren Programmiersprachen wurden in den USA der 1950er Jahre entwickelt. Die Sprache Fortran wurde vom Informatiker John Werner Backus im Jahr 1954 entworfen. Fortran ist inzwischen die älteste noch verwendete formale Sprache.

1959 entwickelte der Logiker John McCarthy die Sprache LISP. Im gleichen Jahr wurde mit COBOL eine Programmiersprache für kommerzielle Anwendungen vorgestellt. Diese und die weiteren Sprachen, die in den folgenden Jahrzehnten entwickelt wurden, lassen sich in Klassen unterteilen.

Diese Klassen werden als Programmierparadigmen bezeichnet. Zu den bekanntesten Paradigmen zählen die imperative, die funktionale und die objektorientierte Programmierung. Für alle Paradigmen gilt, dass der Aufbau eines Computerprogrammes strukturiert sein muss. Das Programm muss also in Teilprogramme zerlegt werden können.

Die imperative Programmierung: Das älteste Programmierparadigma

Bei der imperativen Programmierung besteht ein Computerprogramm aus einer Folge von Anweisungen, die genau vorgibt, zu welchem Zeitpunkt was vom Rechner getan werden soll. Um die Befehlsausführung zu steuern, werden bestimmte Kontrollstrukturen wie Schleifen oder Verzweigungen verwendet. Die imperative Programmierung ist das am längsten bekannte Paradigma. Zu ihm gehören formale Sprachen wie FORTRAN, ALGOL, Pascal, Cobol, C und die von Google-Mitarbeitern entwickelte Sprache Go.

Die funktionale Programmierung: Computerprogramme als Funktionen

Bei der funktionalen Programmierung bestehen die Computerprogramme ausschließlich aus Funktionen die - wie in der Mathematik - zu Funktionen höherer Ordnung verknüpft werden können. Auch das Programm selbst ist eine Funktion.

Seinen Ursprung hat das Programmierparadigma in der akademischen Forschung der 1930er Jahre. Damals arbeiteten verschiedene Wissenschaftler am sogenannten Lambda-Kalkül. Dabei handelt es sich um eine formale, mathematische Sprache, mit der sich Funktionen untersuchen lassen. Das Lambda-Kalkül wurde zur theoretischen Grundlage der funktionalen Programmierung. Zu den bekanntesten funktionalen Sprachen zählen LISP, Haskell und Scheme.

Die objektorientierte Programmierung: Objekte stehen im Mittelpunkt

Objektorientierte Sprachen wie Python, Java, Javascript oder C++ fassen Computerprogramme als System von kooperierenden Objekten auf. Ein Objekt zeichnet sich dadurch aus, dass es einer übergeordneten Kategorie (Klasse) angehört, bestimmte Eigenschaften (Attribute) besitzt und ihm verschiedene Methoden zugeordnet sind. Außerdem muss es in der Lage sein, Nachrichten an andere Objekte zu senden und von diesen zu empfangen.

Ein beliebtes Beispiel hierfür: Es gibt eine Klasse „Pkw“, die den grundlegenden Pkw-Bauplan definiert, beispielsweise vier Reifen, ein Lenkrad und andere, allen Pkw gemeinsame Eigenschaften. Nach diesem Bauplan lässt sich ein spezielles Pkw-Exemplar (das Objekt) konstruieren, das eigene Attribute wie Farbe oder Höchstgeschwindigkeit besitzt. Die Geschwindigkeit lässt sich durch die Methoden „beschleunigen“ oder „bremsen“ variieren. Das Objekt Pkw muss auch Objekte anderer Klassen einbinden können; die Pkw-Sitze beispielsweise sind zwar grundlegend gleich, aber ihrerseits durch Material und andere Eigenschaften definiert. Die Eigenschaft „Sitzposition“ lässt sich durch Methoden wie „vorschieben“ oder „hochpumpen“ verändern.

Programmiert man objektorientiert, dann werden – im Gegensatz den sonstigen Programmierparadigmen – Daten und Anweisungen nicht voneinander getrennt deklariert; vielmehr werden Daten und Befehle zu einer Einheit zusammengefasst, um so die Organisationsstrukturen der realen Welt besser nachbilden zu können.

Kommentare werden geladen....

Kommentar zu diesem Artikel

Der Kommentar wird durch einen Redakteur geprüft und in Kürze freigeschaltet.

Anonym mitdiskutieren oder einloggen Anmelden

Avatar
Zur Wahrung unserer Interessen speichern wir zusätzlich zu den o.g. Informationen die IP-Adresse. Dies dient ausschließlich dem Zweck, dass Sie als Urheber des Kommentars identifiziert werden können. Rechtliche Grundlage ist die Wahrung berechtigter Interessen gem. Art 6 Abs 1 lit. f) DSGVO.
  1. Avatar
    Avatar
    Bearbeitet von am
    Bearbeitet von am
    1. Avatar
      Avatar
      Bearbeitet von am
      Bearbeitet von am

Kommentare werden geladen....

Kommentar melden

Melden Sie diesen Kommentar, wenn dieser nicht den Richtlinien entspricht.

Kommentar Freigeben

Der untenstehende Text wird an den Kommentator gesendet, falls dieser eine Email-hinterlegt hat.

Freigabe entfernen

Der untenstehende Text wird an den Kommentator gesendet, falls dieser eine Email-hinterlegt hat.

Aktuelle Beiträge zu diesem Thema

Docker Desktop Enterprise

Container unter Mac und Windows nutzen

Docker Desktop Enterprise

Docker bietet Unternehmen eine neue Möglichkeit, Container-basierte Anwendungen auf Desktops bereitzustellen. Das Unternehmen kündigte „Docker Desktop Enterprise“ auf der DockerCon-Konferenz in Barcelona an. lesen

Quantencomputer, Kubernetes und weitere Makrotrends

ThoughtWorks Technology Radar November 2018

Quantencomputer, Kubernetes und weitere Makrotrends

Tools, Techniken, Programmiersprachen und Plattformen: der ThoughtWorks Technology Radar identifiziert zwei Mal im Jahr die wichtigsten Makrotrends. Hier gehen wir nun auf die wichtigsten Entwicklungen in der Welt der Unternehmenstechnologie ein. lesen

KI- und ML-gestützte Softwareentwicklung

Erforschung künstlicher Intelligenz

KI- und ML-gestützte Softwareentwicklung

OutSystems hat mit outsystems.ai eine neue Initiative angekündigt. Diese zielt darauf ab, mit Künstlicher Intelligenz und Machine Learning – kurz KI und ML – die Softwareentwicklung in Unternehmen effizienter und leistungsfähiger zu machen. lesen

While- und For-Schleifen in PHP nutzen

Programmieren mit PHP, Teil 4

While- und For-Schleifen in PHP nutzen

Wie in jeder Programmiersprache spielen Schleifen auch in PHP eine Rolle. Sinnvoll sind diese zum Beispiel für das Befüllen von Tabellen oder anderen Aufgaben, in denen immer eine Aktion wiederholt werden soll. lesen

Data-Lake-Strategie mit AWS Data Ingest umsetzen

Tools und Workflows zur Datenspeicherung in AWS, Teil 2

Data-Lake-Strategie mit AWS Data Ingest umsetzen

Die grundlegenden Technologien und Produkte, die AWS zur Datenspeicherung anbietet, haben wir bereits kennengelernt. Nun wollen wir in demonstrieren, wie Unternehmen mit den Mitteln von AWS eine Data-Lake-Strategie entwickeln können. lesen

Programmierung ist kein Kinderspiel

Swift-Tagebuch, Teil 3

Programmierung ist kein Kinderspiel

Programmierkenntnisse hin oder her: Ein beträchtlicher Teil der Programmierung ist auch Kreativität. Das Erfinden oder Umstricken eines vorhandenen Open-Source-Programms ist gar nicht so banal, wie Anfänger denken. Auch unser Autor musste das lernen. lesen

Was ist ein Parser?

Definition „Zerteiler“

Was ist ein Parser?

Parser analysieren Zeichenketten und bereiten den Quelltext auf. Auf diese Weise wandeln sie den Code in eine Repräsentation um, mit der andere Programme wie Compiler oder HTML-Renderer arbeiten können. lesen

Kontrollstrukturen und Funktionen in C

C programmieren

Kontrollstrukturen und Funktionen in C

Die Syntax der Programmiersprache C ist mächtig, birgt aber auch einige Tücken. Wie soll ein in C geschriebenes Programm ablaufen und wie führe ich gezielt Funktionen in C aus? Dieser Artikel geht näher auf diese syntaktischen Elemente ein. lesen

Was ist ein Assembler?

Definition „Assemblierer“

Was ist ein Assembler?

Assembler sind Programme, die Assemblercode in Maschinensprache, sprich Binärcode übersetzen. Sie arbeiten sehr nahe an der Prozessorarchitektur und gelten daher als besonders effizient und sparsam. lesen

copyright

Dieser Beitrag ist urheberrechtlich geschützt. Sie wollen ihn für Ihre Zwecke verwenden? Infos finden Sie unter www.mycontentfactory.de (ID: 44473335 / Definitionen)