[m-users.] Correct use of solutions.

[Sean Charles (emacstheviking)]

Yes! haha


> On 31 Jul 2023, at 11:00, Volker Wysk <post at volker-wysk.de> wrote:
> 
> Am Montag, dem 31.07.2023 um 10:55 +0100 schrieb Sean Charles
> (emacstheviking):
>> Agreed. I was reading your code for that the other day actually.
>> 
>> As much as I sometimes still struggle with things, Mercury is now me go-to language for things larger than a quick throwaway python script.
>> 
>> I just like the rock solid output from it.
> 
> You mean the rock solid source code you write with it?
> 
> V.
> 
>> Douglas Adams' "Deep Thought" computer was obviously programmed using Mercury, by mice. He just didn't know it.
>> 
>> 
>>> On 31 Jul 2023, at 10:52, Volker Wysk <post at volker-wysk.de> wrote:
>>> 
>>> Am Montag, dem 31.07.2023 um 11:58 +1000 schrieb Mark Brown:
>>>> In all seriousness, I think SWI Prolog is an excellent system with
>>>> which to implement a compiler. Even if intending to build a compiler
>>>> in Mercury in the long term, rapidly prototyping (parts of) it in
>>>> Prolog is often an excellent approach to take in my opinion.
>>> 
>>> I thought that, too. But when I rapidly prototyped my command line parser in
>>> Prolog, I found that I missed types, determinism categories, modes...
>>> Declarative IO is something like this, too, but wasn't important for that
>>> command line parser. Things that help to get your head straight. I came to
>>> the conclusion that doing it "right" from the beginning is better.
>>> 
>>> (That parser turned out to be much more involved than I thought.)
>>> 
>>> But it's a matter of taste, I guess.
>>> 
>>> Bye
>>> Volker
>>> _______________________________________________
>>> users mailing list
>>> users at lists.mercurylang.org
>>> https://lists.mercurylang.org/listinfo/users
>> 
> 
> _______________________________________________
> users mailing list
> users at lists.mercurylang.org <mailto:users at lists.mercurylang.org>
> https://lists.mercurylang.org/listinfo/users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20230731/b0499113/attachment-0001.html>