[m-dev.] Ordered conjunction

[Ralph Becket]

> -----Original Message-----
> From: Erwan Jahier [mailto:Erwan.Jahier at irisa.fr]
> 
> > The current tension is that
> > (1) writing code that really is order independent can get really
> > obfuscated,
> 
> Well, when I say something like that, some people (actually, it
> happened twice) argue that it is because I do not think (and program)
> <<declaratively>>. What would you answer to that?

With a boot to the head :)  My code *is* perfectly declarative (there
are no side effects etc.), and I *do* assume the compiler isn't going
to insert harmless non-terminating loops into my program, *but*
sometimes it needs a hint about when to avoid trouble with the
operational aspects.

Ralph

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------