[m-users.] Question regarding predicates stored in existential data types.

[Tomas By]

On Fri, 19 Feb 2021 00:04:15 +0100, Philip White wrote:
> I have the following interface [...]


Deafening silence... embarrassment...

It is not the first time this has happened.

This mailing list needs some sort of filter. A Guardian of the Bridge,
with three questions.

Are you trying to do Prolog-style database manipulation, even though
Mercury does not have a database?

Are you worrying about Haskell monad choreography, even though Mercury
handles any number of unique state parameters?

Are you trying to do Python-style command line bollox, even though
Mercury is a strongly typed, compiled language?

Yes? Auuuuuuuugh! tossed into the chasm.

/Tomas