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

[Tyson Dowd]

On 20-Jul-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> I like the idea, but not the particular syntax that you've chosen for it.

The usual rule about this is that if you don't like syntax you're not
supposed to criticize it until you come up with a better suggestion.

My suggestion is no operator at all.

:- pred foo bar.

This is completely the same as the syntax for predicate types (and
modes) and is how we use equivalence types everywhere else (no special
operators or syntax, just use the equivalence wherever you would
normally put the equivalent type).

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------