Loading AI tools
Aus Wikipedia, der freien Enzyklopädie
Punktfreie Programmierung bietet die Möglichkeit der Programmierung auf Funktionsniveau an. Die erste bekannte punktfreie Programmiersprache war ein FP-System von John W. Backus, das er in einem Aufsatz[1] anlässlich zur Verleihung des Turing Award 1977 vorstellte. Er nannte dieses FP (vom englischen Functional Programming), obwohl es eine PF (punktfreie Programmiertechnik) war, in der er einen variablenfreien Stil propagierte. Dieser variablenfreie Stil wurde durch die Verwendung der Komposition erst ermöglicht. Da er die Verwendung von Variablen vermied, nutzte er stattdessen Zahlen als Selektoren, die auf die Positionen eines Arrays, den er im Argument einer Funktion anbot, zugriffen. Es kamen auch eine begrenzte Anzahl von programmformenden Kombinatoren zum Einsatz, mit deren Hilfe einfache Primitive und Programme zu komplexeren Programmen zusammen gebaut wurden.
Heute kennt man auch den punktfreien Stil als variante Verwendung in der rein funktionalen Programmiersprache Haskell[2]. Auch die Programmiersprache FP trivia, die eine Fortsetzung der backus'schen FP-Systeme darstellt, versucht, diesen Stil zu verwenden; allerdings können auch Instanzenvariablen zu besseren Dokumentation der Programme – im selben punktfreien Stil – angewendet werden. Nicht zu vergessen sind die konkatenativen Sprachen mit deren bekanntesten Programmiersprache Joy, die viele Nachahmer gefunden hat. Die Stacksprachen haben erstaunlicherweise eine gewisse Popularität, obwohl sie Probleme des Parameterstacks mit der Ausnahmenbehandlung haben.
Obwohl der punktfreie Stil – besonders bei Joy zu beobachten – zu einer "Obfuscation"[3] des Quellcodes führen kann, hat dieser Stil auch einige mathematische Vorteile gegenüber Sprachen, die nur auf Lambdavariablen beschränkt sind. Der geschlossene Charakter einer punktfreien Programmiersprache ermöglicht eine "Algebra of Programming"[4], also eine mathematische Bearbeitung des Quellcodes, ähnlich wie man es in der Schule für die Termumformung von Gleichungen vermittelt bekommt. Damit steht der mathematischen Behandlung der Programme nichts mehr im Weg, wenn auf eine referenzielle Transparenz der Sprache geachtet wurde.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.