[mercury-users] Ambiguity

Michael Day mikeday at yeslogic.com
Thu Dec 11 12:59:09 AEDT 2008

Hi Zoltan,

> With about 4 variables that can each have any one of 77 or so types,
> the current type checker creates 77^4 type assignments (about 35 million)
> before throwing away all but one of them. Any tweaking of parameters
> is a palliiative measure at best. The right solution is a constraint-based
> type analysis algorithm, which a summer student has just started working on.

That would be good. Many languages enforce uniqueness for symbols from 
the outset, which feels overly restrictive, but allowing ambiguity up 
until a point and then exploding is more frustrating in the long run :)



Print XML with Prince!
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list