[mercury-users] The Logic of Mercury

[David Glen JEFFERY]

On 08-Sep-1999, Lee Naish <lee at cs.mu.OZ.AU> wrote:
> What percentage of the higher order code you have written uses data
> structures containing higher order objects?

One use that comes to mind is the dictionaries created by the type class
transformation. The dictionary is a structure containing a pred for each
class method.

(This probably isn't an issue with our current implementation, though;
dictionaries are actually C structures that are handled with special purpose
code).


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------