Parallel and Distributed Programming in Concurrent Clean

Abstract

Clean is a state-of-the-art lazy pure functional language which offers:

• Higher order functions and currying

• Lazy evaluation and (cyclic) sharing

• Lambda expressions and local definitions (where and let)

• Guards and case expressions, patterns, and list and array comprehensions

• Strong typing with Milner/Mycroft type inference (with polymorphic types, abstract types, algebraic types, synonym types) extended with existentially quantified types, overloading via type classes and type constructor classes

• Predefined types and type constructors (integers, reals, booleans, characters, files, lists, tuples, records, arrays)

• strictness annotations in (function and data) type definitions

• Separate compilation of modules (with implementation and definition modules with implicit or explicit imports).