[m-users.] higher order issue: `ground` seen but expecting higher-order pred

[Mark Brown]

On Thu, Oct 6, 2022 at 3:50 AM Volker Wysk <post at volker-wysk.de> wrote:
>
> Am Mittwoch, dem 05.10.2022 um 17:13 +0100 schrieb Sean Charles
> (emacstheviking):
> > I must be to stupid to get it, unusually, I am pasting the entire source
> > file as it stands along with the error message, I just don't get it. I
> > just don't today, apologies for the long post of source code. I've tried
> > re-reading the relevant parts of the documentation but it's just not
> > sinking in, the language is too technically dry and formal for my
> > uneducated brain.

Did you read the error message? It wasn't the same error as last time
(granted, some programmers find error messages too dry).

>
> I agree that the Language Reference Manual is hard reading. Especially the
> parts which aren't covered by Ralph Becket's Mercury tutorial (yet). For
> instance, I had to turn to Haskell tutorials for what existential types are
> about.

Ralph's tutorial has a section on univs, which are existentially
typed. However, the connection may not be completely clear as Ralph
has evidently avoided language that is too formal.

It's not really possible to write a manual or tutorial that will
satisfy every programmer, of course.

Mark

>
> Don't give up,
> Volker
> _______________________________________________
> users mailing list
> users at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/users