Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Functional Programming at the University of Bristol
[ Bristol CS | Index ]
Functional Programming Research
The Brisk project is concerned with increasing the expressive power of
functional languages so that they can be used to implement complex and reactive
`systems' programs more easily. Our current aim is to develop a Haskell
compiler which provides a deterministic form of concurrency, a modular approach
to linking Haskell with C, dynamic linking and some other features which
increase expressiveness without losing any of the mathematical purity of the
language. The Brisk compiler is nearing its first serious release. We then
want to investigate its applications; we have designs, and in some cases
prototypes, for an X window interface, a development environment, a process
manager, and a distributed programming environment.
A second strand of research is to improve support for program debugging and
proof. One problem is to work out how to make best use of the purely
declarative nature of functional languages. A style of logic needs to be
developed which takes maximum advantage of the potential simplicity of using
denotational semantics alone, without resorting to operational semantics, and
which provides support for purely declarative debugging and proof. This logic
then needs to be packaged in a practical system which is attractive to working
programmers. The Brisk compiler may also provide a platform on which to base
this research.
I Holyer,
E Spiliopoulou.
September 1998.
Concurrent Monadic Interfacing.
IFL '98: draft proceedings of the 10th International Workshop on Implementation
of Functional Languages (accepted for selected papers to go in LNCS)(not yet
public; please email a request for a copy).
I Holyer,
E Spiliopoulou. August 1998.
The Brisk Machine: A Simplified STG Machine
IFL'97: proceedings of the 9th
International Workshop on Implementation of Functional Languages, St Andrews,
Scotland: selected papers, Springer Verlag, LNCS 1467, pp 24-42, ISBN 3-540-64849-6
I Holyer and D Carter.
Deterministic Concurrency.
July 1993.
Proceedings of "Functional Programming, Glasgow
1993", Springer Verlag, Workshops in COmputing.
Some items which might be made available in due course are:
Dornan's thesis
Powell's thesis
Spiliopolou's thesis
Etypes paper
Software
Brisk version
0.08 is available. This is a preliminary release, illustrating
concurrency and (output-only) X Window System graphics programming. It lacks
Haskell classes, has incomplete libraries, and has unwieldy conventions for
installation and use. Please get in touch if you want to experiment with it.