usenet@cuae2.UUCP (Heiby) (02/05/86)
[Edited. For more info, see below. RWH]
A UNIX implementation of the Miranda functional programming system is now
available for the following machines: VAX (under 4.2 BSD), ORION, and
SUN workstations. It will be ported to a number of other UNIX machines
in the near future.
Miranda is an advanced functional programming language designed by David
Turner of the University of Kent. It is based on the earlier languages
SASL, KRC and ML. A program in Miranda is a set of equations describing
the functions and data structures which the user wishes to compute.
Programs written in Miranda are typically ten to twenty times shorter
than the equivalent programs in a conventional high level language such
as PASCAL. A detailed discussion of the language may be found in "Miranda:
a non-strict functional language with polymorphic types", in Springer Lecture
Notes in Computer Science, vol 201.
The license fee (object), per cpu, is 300 pounds for an educational license
and 975 pounds for a commercial license (US prices: $450, $1450,
respectively). If you think you may be interested in obtaining a copy
of the Miranda system please send your name and (postal) address to the
following electronic mail address, and you will be sent further
information and a copy of the license form etc:
USENET: ...!mcvax!ukc!mira-request
JANET: mira-request@ukc.ac.uk
ARPANET: mira-request%ukc@ucl-cs
Or telephone Research Software on: +44 227 471844
--
Ron Heiby {NAC|ihnp4}!cuae2!usenet Moderator: mod.newprod & mod.os.unix
AT&T-IS, /app/eng, Lisle, IL (312) 810-6109