Eden - The Paradise of Functional Concurrent Programming

The functional concurrent language Eden is an extension of the lazy functional language Haskell by constructs for the explicit specification of dynamic process systems. It employs stream-based communication and is tailored for distributed memory systems. Eden supports and facilitates the task of parallel and concurrent programming. To illustrate this statement the paper includes elegant solutions to traditional concurrency problems. 1 Introduction Eden is a functional language with explicit process definitions and implicit communication, suitable for parallel as well as for concurrent programming in general. It is tailored for parallel systems with distributed memory. More precisely, Eden extends the lazy functional language Haskell [HWe92] by new syntactic constructs for explicitly defining processes. These processes communicate by the exchange of values via communication channels modelled by lazy lists. Communication is asynchronous and one-to-one. The kernel part of the language is..