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

[Nicholas Nethercote]

On Tue, 13 Jul 2004, David Overton 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.

So use --infer-all :)

> In Mercury syntax, declarations stand out clearly from the rest of the 
> code because they start with `:-'.

Even more so with syntax highlighting.

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