quentin@prg.ox.ac.uk (Quentin Miller) (10/17/90)
AVAILABLE SOON:
The Orwell Functional Programming System
========================================
Orwell is a lazy functional language which resembles a simplified
version of Haskell or LML, which has been developed at Oxford over the
past 6 years. It is principally designed for teaching, hence our
implementation emphasises such things as explicit type error reporting,
a display editor as the front-end, and interactive evaluation of expressions.
Orwell is particularly suitable as an accompaniment for the textbook,
"An Introduction To Functional Programming" by Richard Bird and Philip Wadler
(Prentice-Hall International, 1988).
We intend to make Orwell freely available in January 1991 to anyone
who wants a copy. At Oxford, we are running Orwell on Sun-3 and Sun-4
workstations. We will make the source code (C for the Orwell interpreter,
and Modula-2 for the optional VED editor) available to anyone who wishes to
try to port it to other UNIX machines.
The system comes with a 31--page introductory manual.
If you are interested in running Orwell, please write, or ring, or fax,
or email:
Quentin Miller
Programming Research Group
11 Keble Road
OXFORD OX1 3QD
(JANet) quentin@uk.ac.oxford.prg
(tel) +44 865 273848
(fax) +44 865 273839