Gibt es eine bessere Art zu programmieren als den traditionellen von-Neumann-Ansatz? Diese Arbeit stellt konventionelle Programmierparadigmen in Frage und argumentiert, dass ihre inhärenten Einschränkungen zu aufgeblähtem und ineffizientem Code führen. Sie schlägt eine Verlagerung hin zu einem funktionalen Programmierstil vor, der auf der Kombination von Formen basiert, um die durch die von-Neumann-Architektur auferlegten Einschränkungen zu überwinden. Die Studie kritisiert den Word-at-a-Time-Programmierstil, die enge Kopplung der Semantik an Zustandsübergänge und die Trennung von Ausdrücken und Anweisungen, die für konventionelle Sprachen charakteristisch sind. Sie plädiert für einen funktionalen Ansatz, der strukturierte Daten, nicht-repetitive und nicht-rekursive Konstrukte und eine hierarchische Programmkonstruktion verwendet. Kombinierte Formen ermöglichen den Aufbau von High-Level-Programmen aus bestehenden, was die Möglichkeiten konventioneller Sprachen übertrifft. Mit der funktionalen Programmierung verbunden ist eine Algebra von Programmen, in der Variablen über Programme und kombinierte Formen als Operationen reichen. Diese Algebra erleichtert die Programmtransformation und das Lösen von Gleichungen, ähnlich wie algebraische Manipulationen. Die Forschung bietet eine Grundlage für den funktionalen Programmierstil, der sowohl in seiner Programmiersprache als auch in seinen Zustandsübergangsregeln verwendet werden kann.
Dieser Artikel wurde in Communications of the ACM veröffentlicht und ist für die Computing Community relevant. Er stellt grundlegende Konzepte in Frage und schlägt einen alternativen Ansatz vor, der mit der Rolle der Zeitschrift bei der Präsentation von zum Nachdenken anregender und wirkungsvoller Forschung in der Informatik übereinstimmt. Diese Arbeit sollte das Gebiet der Computerwissenschaften weiter voranbringen.