[comp.newprod] Hope+, A Practical Pure Functional Language Available

np@doc.ic.ac.uk (Nigel Perry) (12/17/88)

Hope+ Functional Language

Hope+ is a development of the original Edinburgh Hope
language and was designed as part of the Alvey Flagship
project. Hope+ is a pure functional language with the
following major features:

*	Data structures are constructed lazily, function
	application is "call by WHNF".

*	Function types must be declared. The type system
	is polymorphic and arbitrary overloading of 
	functions is supported.

*	"Best fit" pattern matching, if two or more
	equations' patterns match equally well then an
	ambiguous error is generated. 

*	Real numbers, both single and extended precision,
	together with a library of all common trignometric
	and hyperbolic functions etc.

*	Single dimensional vectors of any type (including
	other vectors...) with a set of higher-order
	functions for manipulating them.

*	Module system and separate compilation.

*	Comprehensive "result continuation" based PURE I/O
	system, providing stream and character I/O, signal
	(interupt) handling, etc.

*	PURE inter-language working with C.

*	Fast execution.

The above features make Hope+ a practical pure functional
language and it has been used for a number of large
programming projects within Alvey Flagship.

Hope+ runs on Sun-3's running SunOS 3/4. Subject to the
license agreement below, Hope+ is available from Imperial
College for a distribution fee of 50 pounds sterling, or 60
pounds sterling for non-UK sites.

If you have any techinal queries regarding Hope+ contact
either Nigel Perry or Keith Sephton. If you would like a
copy of Hope+ send a copy of the license agreement and your
cheque payable to "Department of Computing, Imperial College"
to John Darlington, who will then mail you a Sun cartridge
tape and documentation.

	Nigel Perry(np@uk.ac.ic.doc)
	Keith Sephton(kms@uk.ac.ic.doc)
	John Darlington(jd@uk.ac.ic.doc)

	Department of Computing
	Imperial College
	180, Queens Gate
	London SW7
	England

------------------------- cut here -------------------------

                  Hope+ License Agreement




1.  License Terms

1.1  The Alvey Flagship Project agrees to supply  the  Hope+
     software  via  its agent Imperial College Department of
     Computing Functional Programming Group,  hereto  called
     Imperial  College,  to the Licensee under the following
     conditions.

1.2  Subject to conditions  stated  below  Imperial  College
     grants to the Licensee the use of the Hope+ software in
     machine-readable form at  the  designated  site  below.
     Title  to  all copies of the Hope+ software remains the
     property of Imperial College. No License is granted for
     the  use  of  the Hope+ software at any site other than
     the designated site.

1.3  This License,  the  Hope+  software,  the  accompanying
     documentation  and  any  other  information provided by
     Imperial College to  the  Licensee  may  not  be  sold,
     leased,  assigned, sublicensed or otherwise transferred
     or made available, in whole or in part, by the Licensee
     to any third party.

1.4  The Licensee  shall  not  use  the  Hope+  software  to
     develop commercial products or services for sale by the
     Licensee or other parties.

1.5  The Licensee shall not disassemble, decompile or modify
     in any way the Hope+ software.

1.6  The Licensee  shall  make  all  reasonable  efforts  to
     notify  and  inform  any  users  who have access to the
     Licensed software of the terms of this license.

1.7  The Hope+ software is supplied only  on  the  condition
     that  Imperial College makes no warranty as to the com-
     pleteness or correctness of the code; that it is under-
     stood  that  there may be coding or logic errors in the
     software. No guarantee can be made to correct errors in
     the  software  supplied  or  to  develop  the  software
     further.




Designated site :-



Signature :-




Please sign two copies of this agreement and return one copy
to John Darlington at the above address.

------------------------- cut here -------------------------
---
Nigel Perry                                  Department of Computing
                                             Imperial College
Janet: np@uk.ac.ic.doc                       London
DARPA: np%uk.ac.ic.doc@ucl-cs                SW7
Uucp:  np@icdoc.UUCP, ukc!icdoc!np           England