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

[Mark Brown]

> On 6 Oct 2022, at 07:14, Volker Wysk <post at volker-wysk.de> wrote:

> > 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.
>
>
> ... and existential types aren't covered.

Check out the univ.m module in the standard library. It's a short
module, and univs are a simple example of existentially typed data.

> The Reference Manual is fine as a reference. But it isn't a tutorial. And
> many of the topics it covers are difficult to grasp without previous
> knowledge...

Yes, I agree with this.

Mark

>
> Bye
> V.W.
>
>
> _______________________________________________
> users mailing list
> users at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/users