[m-users.] When is nondeterminism appropriate?

Volker Wysk post at volker-wysk.de
Wed Feb 17 13:44:21 AEDT 2021

Am Dienstag, den 16.02.2021, 20:14 -0500 schrieb Philip White:
> Yeah, this sounds right. Maybe I'm just wishing that Mercury had some
> form of do-notation or syntactic convenience for monads and
> applicatives. I've been brainstorming about how do-notation would even
> work in a logic programming language, but I'm running into a wall. I
> haven't been able to find any literature on the subject either.

Mercury DOES have something like do-notation: state variables. See Ralph
Becket's Mercury tutorial, chapter 1.1.

-------------- 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/20210217/6292ad2e/attachment.sig>

More information about the users mailing list