A possible lazy evaluation system?

[Steven Taschuk]

Quoth Michael Hudson:
  [...]
> Two problems spring to mind: at compile you don't know whether the
> callable evaluates all it arguments or not.  I can't really see a sane
> implementation strategy, though where there's a will there's no doubt
> a way.

Perhaps not what you'd call sane, but you could have all arguments
to all callables passed as lambdas; the generated code for normal
functions would immediately call them and proceed as before.

Unfortunately this makes the weird case possible at the expense of
the normal case.

-- 
Steven Taschuk             "The world will end if you get this wrong."
staschuk at telusplanet.net    (Brian Kernighan and Lorrinda Cherry,
                            "Typesetting Mathematics -- User's Guide")