[m-rev.] for review: bt_array__map implementation; bsearch last argument type qn

[Zoltan Somogyi]

On 15-Mar-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> This is a case of different design goals leading to different interfaces.
> For `array', efficiency is very important, so we don't want to pay
> the overhead of a `Low' argument.  For `bt_array', that cost is
> not important, and so the increased expressiveness is more important.

However, one of the design goals for bt_array is (or should be) that it should
be possible to take a program that uses array and systematically replace all
calls to predicates in array with calls to a corresponding predicate in
bt_array. Doing so is necessary e.g. for declarative debugging of programs
that use arrays.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------