Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren

Abstract

A ‘lazy’ variant of the functional programming language HOPE was implemented for use on the SIEMENS PC-MX2. HOPE offers considerable security to the programmer due to the absence of side effects and its type concept which combines static type checking with the advantages of a flexible typing scheme known as ‘polymorphism’.

The language implementation is embedded in an interactive environment. Programs may be built up from individual pieces in incremental fashion. For execution the functional program is incrementally translated into term rewrite rules based on supercombinators introduced by J.Hughes.

Zusammenfassung

Eine ‘lazy’ Variante der funktoinalen Programmiersprache HOPE wurde unter SINIX auf dem Siemens PC-MX2 implementiert. Dank ihrer Seiteneffektfreiheit und eines Typkonzepts, das statische Typüberprüfung mit den Vorteilen eines flexiblen Typkonzepts, ‘Polymorphismus’ genannt, kombiniert, bietet HOPE dem Programmierer ein beträchtliches Maß an Sicherheit.

Die Sprachimplementierung ist in eine interaktive Umgebung eingebettet. Programme werden im Dialog aus einzelnen Teilen aufgebaut. Auf der Grundlage der von J.Hughes eingeführten Superkombinatoren wird das funktionale Programm inkrementell in Termersetzungsregeln übersetzt und ausgeführt.