Re: Evaluate part of rhs of RuleDelayed
- To: mathgroup at smc.vnet.net
- Subject: [mg91113] Re: Evaluate part of rhs of RuleDelayed
- From: Roland Franzius <roland.franzius at uos.de>
- Date: Wed, 6 Aug 2008 05:07:39 -0400 (EDT)
- References: <g79a05$dnl$1@smc.vnet.net>
Eugene Kirpichov schrieb:
> I am writing a lazy recursive function (actually, a tree of UI widgets
> that is too large to be constructed at once).
> Consider, for example, the following code:
>
> SomeComplexFunction[a_] := Module[{x},
> x = a*a;
> {value :> SomeComplexFunction[x + a]}]
>
> The value of SomeComplexFunction[5] is {value :>
> SomeComplexFunction[x$7418 + 5]} and seemingly can'd be used for
> anything useful.
>
> Question:
> How should I fix the code of SomeComplexFunction so that the value of
> SomeComplexFunction[5] be {value :> SomeComplexFunction[30]} ?
>
> Unfortunately, this one
>
> SomeComplexFunction[a_] := Module[{x},
> x = a*a;
> {value :> SomeComplexFunction[Evaluate[x + a]]}]
>
> yields {value :> SomeComplexFunction[Evaluate[x$7421 + 5]]}
>
Try function head Replace-ment after expression construction and evaluation
SomeComplexFunction[a_] :=
Module[{x},
x = a*a;
{(RuleDelayed @@ {value, scf[x + a]}) /. {scf ->
SomeComplexFunction}}]
SomeComplexFunction[30]
{value :> SomeComplexFunction[930]}
--
Roland Franzius