Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!wuarchive!mit-eddie!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!ox-prg!prg.ox.ac.uk!quentin
From: quentin@prg.ox.ac.uk (Quentin Miller)
Newsgroups: comp.lang.functional
Subject: Orwell
Message-ID: <732@culhua.prg.ox.ac.uk>
Date: 17 Oct 90 11:38:57 GMT
Sender: news@prg.ox.ac.uk
Reply-To: quentin@prg.ox.ac.uk (Quentin Miller)
Organization: Oxford University Computing Laboratory, UK
Lines: 38


                        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