[m-users.] Useful predicates for loops of IO actions

Volker Wysk post at volker-wysk.de
Wed Dec 22 03:21:22 AEDT 2021


Am Mittwoch, dem 22.12.2021 um 02:51 +1100 schrieb Zoltan Somogyi:
> 
> On Tue, 21 Dec 2021 16:18:48 +0100, Volker Wysk <post at volker-wysk.de> wrote:
> > I'm using four meta-predicates which deal with loops and IO, and I find them
> > useful. Maybe you want to include them in the Mercury libraries?
> 
> Three out of the four are already there, in more general forms. Instead of
> the last pair of arguments required to be I/O states, they can be any type,
> and their modes do not have to be di/uo; they can be e.g. in/out.

Now I'm feeling bashful... :) In the future, I'll make it a habit to read
the documentation more thoroughly. It's, in part, because I didn't fully
understand what was meant by "accumulator". (I have a different
understanding of it).

Bye, Volker

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://lists.mercurylang.org/archives/users/attachments/20211221/f903cf12/attachment-0001.sig>


More information about the users mailing list