Subject: If then else and unevaluated conditionals
From: Stavros Macrakis
Date: Mon, 29 Jan 2007 11:10:11 -0500
On 1/29/07, Robert Dodier <robert.dodier at gmail.com> wrote:
> The motivation for unevaluated if--then--else is that I want naive stuff like
> plot2d(if x > 0 then 1 else 0, ...) and integrate(if x > 0 then 1 else 0, ...)
> and (if x > 0 then 1 else 0)^3, etc, to just work.
I do understand your point, and sympathize, but I just don't see how
to make this work in general. Painful experience makes me very wary
of solutions which solve the simple case, but make other cases much
messier. (My standard pet peeve there is functions which don't
evaluate their arguments the normal way...)
-s