4 ms·

You are mixing dynamic programming with dynamic typing.

• eru 16y ago
  The situation is even worse with lambda calculus. Lambda calculus should have been named function theory, but that term was already used by an interesting part of analysis, that should have been named complex analysis.
  • Darmani 16y ago
    I don't know why you think that; it's really, really important that lambda terms are not functions. Bertrand Russell would explode if I tried to write f(f) for any function f.
    • eru 16y ago
      Just used typed lambda calculus if you want to avoid that.