Re: [m-users.] Correct use of solutions.
"Sean Charles (emacstheviking)" <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
Yes! haha > On 31 Jul 2023, at 11:00, Volker Wysk <[email protected]> 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 <[email protected]> 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 >>> [email protected] >>> https://lists.mercurylang.org/listinfo/users >> > > _______________________________________________ > users mailing list > [email protected] <mailto:[email protected]> > https://lists.mercurylang.org/listinfo/users _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users