A functional is a function which takes another function as a parameter.
The fixed point of a function is an input such that
F(x) = x
Given an example functional,
T(F,x,y) = if x = 0 return 0 else return y + F(x - 1,y)
what is the fixed point of the functional?
The functional looks similar to a recursive implementation of
x * y given the
if x = 0 return 0 and function call with
x - 1, but I don't see where to go with this. To find a fixed point in a normal mathematical equation you'd just set
T(f,x,y) = f(x,y) and solve, but given the format that doesn't really work. I can't see how the RHS can be simplified to allow that.