[net.lang] Hope, Polymorphism + Denotational Semantics

lee@west44.UUCP (05/21/83)

Relay-Version:version B 2.10 5/3/83; site mhuxt.UUCP
Message-ID:<25@west44.UUCP>
Date:Sat, 21-May-83 06:01:00 EDT

Lisp! Prolog!! Whats wrong with Hope?
Hope is a functional programming language for programmers.
Not primarily for mathematicians or A.I.'ers.
So could *ANY* users of Hope, or any of its polymorphic relations, please
MAIL me especially if you have an implementation on any small memory
machine (ie: PDP-11/44).
Also could you possibly find time to answer a few questions (via MAIL):

	Has anyone out there started using Hope as other then a  ``toy''
	language, that is for real tasks? If so what?

	Has anyone seen issue 2 of Polymorphism from some people at Bell?

	Has anyone done any work on denotational semantics on UNIX, using
	Hope, C, Lisp or whatever. I'd be MOST interested in any details.

Thanks in advance.
	Lee McLoughlin, Westfield College, London, England
		{changing}!ukc!root44!west44!lee