> FP would need to solve a severe problem that could not be solved with existing approaches in order to make a breakthrough So the question the author is askin

> FP would need to solve a severe problem that could not be solved with existing approaches in order to make a breakthrough So the question the author is asking is whether there is problem which can only be solved via lambda calculus and not by turning machines or at least the difference should be significant in favour of lambda calculus. Since both approaches are equivalent models of computation, I have to bet on the "no such killer app" side.