[mercury-users] [petdr at miscrit.be: Report on the ICFP 2000 prog contest]

[schachte at cs.mu.OZ.AU]

On  6 Sep, Thomas Conway wrote:

> We could easily have made point be:
> 
> :- type point(T)
> 	--->	point(float, float, float).
> 
> :- type worldPointType ---> worldPointType.
> 
> :- type objectPointType ---> objectPointType.
> 
> :- type worldPoint == point(worldPointType).
> 
> :- type objectPoint == point(objectPointType).

Wouldn't it be easier to just do:

:- type worldPoint ---> worldpoint(float,float,float).
:- type objectPoint ---> objectpoint(float,float,float).

What advantage do you get from the more complicated (and, IMHO, less
intuitive) approach?

-- 
Peter Schachte                     The use of COBOL cripples the mind; its
mailto:schachte at cs.mu.OZ.AU        teaching should, therefore, be regarded
http://www.cs.mu.oz.au/~schachte/  as a criminal offense.
PGP: finger schachte at 128.250.37.3      -- E. W. Dijkstra 

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------