Functional programming applications

Functional programming languages have distinct advantages over imperative lan guages. These include ease of reasoning, formally or informally, about programs and the concise and elegant expression of complex algorithms. We use several large programming tasks to investigate various aspects of the pro duction of a complete system in a functional language. These include the overall development of an implementation, the implementation of the core algorithms and the implementation of the external interface. We do not attempt verifications of the implementations but instead adopt a specification style that aids informal reasoning about the corresponding implementation. We employ the language Miranda1 l as our example functional programming lan guage.