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

Tomas By tomas at basun.net
Sat Feb 20 03:19:02 AEDT 2021

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.


More information about the users mailing list