[comp.lang.functional] Miranda

peterson-john@cs.yale.edu (John C. Peterson) (01/15/91)

Regarding the discussion of Miranda, it would probably be appropriate
to say something about Haskell at this point.  First, much of Haskell
is derived from Miranda.  It also contains some major new features,
especially the class system which allows overloading of operators.
Haskell is intended to be an `industrial strength' lazy functional
languange and includes a functional IO system, functional arrays,
separate compilation, and a rich set of arithmetic operators.

While the Haskell report has been around for around a year now, no
mature Haskell systems are as yet available.  A number of groups are
working on Haskell implementations; I'll let any other groups speak
for themselves.  The Yale system is almost complete and should go into
beta release in a month or so.  It will be distributed free of charge
with full sources.  While our implementation will not yet be as
polished as the current Miranda implementation, we will be striving
for a system with both a good user interface and capable of
generating quality code.

Further announcements about the availability of Yale Haskell will be
made on this newsgroup when the release is ready.  Inquiries about the
Yale system can be sent to haskell-requests@cs.yale.edu.  There is
also a mailing list (very quiet at the moment!) for the discussion of
Haskell; a message to haskell-requests can be used to add yourself to
this list.

    John Peterson
    Yale Haskell Project
    peterson-john@cs.yale.edu


`Miranda' is a trademark of Research Software Ltd
`Haskell' is not a trademark of anyone