that is what I meant by old wine in new bottles.
But why code in a Turing style (whether it's Java or assembly) when lambda programming is more efficient?
That's the point all the lambda folks are making.
No, I am talking about - at a deeper level, all computing can be reduced to a Turing machine. (Unless you are reading Roger Penrose on consciousness).
Maybe I am mistaken, I am out of touch.
A Turing machine can simulate a deterministic finite automaton and a non-deterministic finite automaton.
All systems are arguably either of these two. Perhaps that's why we can simulate weather, and lots of other things.
Unless you look at human consciousness - Nobelist Roger Penrose has a theory that the mind is not a computer. That it has quantum states. (his book: The Emperor's New Mind - I didnt finish it - long and hard).
You're correct in that there is a direct line from the Turing imperative to the underlying assembly code, but given the choice between writing Lambda expressions or Turing expressions, why would you pick the latter?