[mercury-users] Syntactic sugar for higher order types and modes

[Fergus Henderson]

On 21-Jul-2000, Tennessee Leeuwenburg <tjleeuw at students.cs.mu.oz.au> wrote:
> > 	- In `:- pred foo is bar.', case (2), the use of the word `is'
> > 	  does not match the meaning of `is' in the English language,
> > 	  so it doesn't read well.  Really what this declaration is
> > 	  saying is that `foo' is a predicate with type `bar', not
> > 	  that `foo' _is_ `bar'.
> 
> Hi! Not that I know what I'm talking about, but isn't == used for
> equivalence already for types?

Yes.

> How about :- pred foo == bar?

That has the same drawback: a natural reading of that would
be "the predicate foo is equivalent to bar", whereas the
meaning of the declaration that Ralph is proposing is
"the predicate foo has type bar".

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------