[m-users.] Store type difficulties

[Zoltan Somogyi]

2020-07-04 16:05 GMT+10:00 Tomas By<tomas at basun.net>:
> On Sat, 04 Jul 2020 05:23:07 +0200, Peter Wang wrote:> [...] there is support in the
>> standard library for threading ONE unique value around, e.g. list.foldl,
>> etc. but once you need to thread more than one unique value around you
>> run into a lot more difficulties.
> 
> 
> I have to disagree with this. Maybe you are thinking of Haskell?
> 
> foldl in the Mercury library goes up to six.

Peter knows that perfectly well. What he was drawing attention to
was the fact that predicates such as list.foldl6, while they have many
modes, those modes tend *not* to include modes that allow
more than one pair of arguments to be di/uo.

Zoltan.