[mercury-users] Why is --infer-all not the deafult?

[Maurizio Colucci]

On Monday 12 July 2004 20:38, Fergus Henderson wrote:
> But also because we think that writing explicit declarations is good
> programming practice, since it makes programs easier for a reader
> to understand.

Of course you are the boss :-) , however IMHO type declarations make the code 
heavier to read, while giving little (or no) insight regarding the meaning of 
the code --- because the meaning of a variable is the way it is used, not its 
type.

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