The brisk project: concurrent and distributed functional systems

Authors:
Ian Holyer;Neil Davies;Chris Dornan
Affiliations:
Department of Computer Science, University of Bristol, UK;Department of Computer Science, University of Bristol, UK;Department of Computer Science, University of Bristol, UK
Venue:
FP'95 Proceedings of the 1995 international conference on Functional Programming
Year:
1995

Citing 3
Cited 1

Implementing functional languages

Implementing functional languages
Lazy functional state threads

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
State in Haskell

Lisp and Symbolic Computation - Special issue on state in programming languages (part I)

Scheduling light-weight parallelism in ArTCoP

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Brisk project has been set up to investigate the possibility of extending the expressive power of purely functional languages. The aim is to be able to build concurrent and distributed working environments completely functionally, reversing the usual situation in which functional programs are regarded as guests within a procedural environment. This paper gives an overview of the project, and the current status of the work in progress. The Bristol Haskell System, or Brisk for short, is based on a compiler for the Haskell functional programming language which is used to provide practical support for this research, and to demonstrate its results. The compiler adds a purely deterministic form of concurrency to Haskell in order to improve support for interactive and distributed programming. This has been used, for example, to build an interface to the X window system. Features have also been added to support the dynamic loading and migration of code. This allows for a purely functional implementation of long-lived shell programs which manage files, processes and communications.