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

David Overton dmo at cs.mu.OZ.AU
Thu Jul 15 18:32:37 AEST 2004

On Thu, Jul 15, 2004 at 10:16:10AM +1000, Peter Schachte wrote:
> One factor that may lead to this difference of opinion is the
> abstraction level of the types you are using (or contemplating).  If I
> declare an argument to be a list of ints, for example, that gives very
> little insight into what information they carry.  If it's declared to
> be a set (represented as a sorted list) of timestamps, that gives much
> more information.

Yes, that's part of what I meant by "using the type system effectively".

David Overton
WWW: http://www.overtons.id.au/
Mobile Phone (UK): +44 7799 344 322
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

More information about the users mailing list