[m-users.] More optimization away

[Volker Wysk]

Am Mittwoch, dem 20.12.2023 um 20:21 +1100 schrieb Mark Brown:
> On Wed, Dec 20, 2023 at 6:02 PM Volker Wysk <post at volker-wysk.de> wrote:
> > 
> > Hi
> > 
> > I've made my predicate dependent on the IO state, in order to prevent it
> > from being optimized away. However, the IO state isn't used inside the
> > predicate. So will this be optimized away in a non-default semantics?
> 
> Not with strict semantics. A hypothetical lazy implementation might
> optimize this away, but then I wouldn't expect this technique to work
> well in lazy languages generally.

Okay... After all, it doesn't seem to be a good idea to try to write
programs that work in all semantics.

Cheers,
Volker