[mercury-users] Ambiguity

[Michael Day]

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

Cheers,

Michael

-- 
Print XML with Prince!
http://www.princexml.com
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------