The Interactive Lazy ML System

Abstract

Abstract In this paper we describe an implementation of an interactive version of the purely functional programming language Lazy ML (LML). The most remarkable fact about the interactive system is that it is written in a pure functional style using LML, yet the efficiency still compares favourably to other conventional interpretative systems. We describe how the system is designed, and also the exception mechanism that was added to facilitate the handling of errors in the system.