[m-users.] About append(out, in, in) for lists and strings

Peter Wang novalazy at gmail.com
Sat Feb 4 10:33:37 AEDT 2017


On Fri, 3 Feb 2017 14:56:06 +0800, Xin Wang <dram.wang at gmail.com> wrote:
> In Mercury reference[1] there is an example shows that a seperate
> definition can be used to make `append(out, in, in)` more efficient.
> 
> But `libraray/list.m` and `library/string.m` both do not define
> `append(out, in, in)` mode, instead `remove_suffix/3`is recommended to be
> used, because of determinism and efficiency issues. That seems to
> contradict with the reference.

I think we should do that, especially for string which already has
different implementations for each mode and target language.

Peter


More information about the users mailing list