Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!mcvax!ukc!eagle!icdoc!news
From: news@doc.ic.ac.uk (News)
Newsgroups: comp.lang.misc
Subject: Re: Hope
Message-ID: <125@gould.doc.ic.ac.uk>
Date: Sat, 24-Oct-87 14:05:59 EST
Article-I.D.: gould.125
Posted: Sat Oct 24 14:05:59 1987
Date-Received: Wed, 28-Oct-87 02:14:38 EST
References: <1720@watcgl.waterloo.edu> <588@btnix.axion.bt.co.uk>
Reply-To: iwm@doc.ic.ac.uk (Ian Moor)
Organization: Dept. of Computing, Imperial College, London, UK.
Lines: 57

Our news system has been down for a while so this is a follow up to
P Sanders' article
>In article <1720@watcgl.waterloo.edu>, kdmoen@watcgl.waterloo.edu (Doug Moen) writes:
>> I'm looking for references to papers describing the functional
>> programming language Hope.  All I've come up with so far is:
>> 	"A Hope Tutorial", Aug 1985 Byte
>> which doesn't even have references.
>> 
>> I'm particularly interested in papers that are easy to find in
>> North America (Hope comes from Great Britain).
>> 
From: iwm@ivax.doc.ic.ac.uk (Ian Moor)
Path: ivax!iwm

The book:
 'Principles of Functional Programming'
  Hugh Glaser, Chris Hankin and David Till 
  Prentice Hall 1984
contains a section on Hope and is a good introduction to Functional
programming.

  'Functional Programming: Languages,tools and techniques'
   editor Susan Eisenbach 
   John Wiley 1987 (Ellis Horwood in the UK)

contains the articles from the August 1985 and several others,(including
one by yours truly)

   Coming next year --
    'Functional Programming'
     Peter Harrison and Tony Field
     Addison Wesley

a comprehensive book on all aspects of the subject.

Note: I know allof the above the authors and most of them are colleagues,
so the recommendations are not disinterested.

>> Also, I have a question:
>> In Hope, the expression (1,2,3) is a 'tuple' with type num#num#num.
>> Are , and # binary operators?

I think they can be treated as operators e.g # builds a cross product
num # char  from two types num and char; BUT the operators dont associate:
 (1,2),3 is a pair with a pair as its first element, 1,2,3 is a triple; Hope
doesn't let you define non associative operators, so they are 'special'. 
There is a strong body of opinion for treating ',' at least as punctuation
though.

Ian W Moor
  UUCP: seismo!mcvax!ukc!icdoc!iwm
  ARPA: iwm%icdoc@ucl                        
           
 Department of Computing   Whereat a great and far-off voice was heard, saying,
 Imperial College.         Poop-poop-poopy, and it was even so; and the days
 180 Queensgate            of Poopy Panda were long in the land.
 London SW7 Ukce-6FJ-hIJ!