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

[Volker Wysk]

Same here. My ideal language would be some form of Mercury with Haskell-like
syntax. :-) And it could use the wealth of libraries that Haskell has.

V.

Am Mittwoch, dem 05.10.2022 um 17:52 +0100 schrieb Sean Charles
(emacstheviking):
> I never give up. And thanks for spotting my mistake... Mercury is --the--
> language for my transpiler and a few other things I've already written
> that I use daily, it's a fantastic language. Apart from Haskell, I have
> never used a language that instills such confidence in the final code.
> 
> 
> > On 5 Oct 2022, at 17:50, 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.
> > 
> > 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. 
> > 
> > Don't give up,
> > Volker
> 

-------------- 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/20221005/2e91463a/attachment.sig>