[mercury-users] Pred defns
fjh at cs.mu.OZ.AU
Sun Apr 5 06:36:51 AEST 1998
On 03-Apr-1998, Peter Schachte <pets at students.cs.mu.oz.au> wrote:
> This is the situation as I see it:
> 1. Some groups of predicates have a lot of data to pass around. This
> naturally leads to the too-many-arguments syndrome.
> 2. This can be fixed by bundling disparate things together to make it
> convenient to pass them around. Unfortunately, this often leads to a
> lot of packing and unpacking, which can make the code about as noisy as
> before the bundling.
> 3. If you're not going to pass data as many arguments, and not going
> to bundle them, I can't see what else you can do but not pass them at
> all, at least not visibly. This leads to the desire for inter-predicate
> argument threading.
Perhaps a better solution would be to provide more convenient ways of
doing bundling, packing and unpacking.
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 220.127.116.11 | -- the last words of T. S. Garp.
More information about the users