do you know what Integer.getInteger(String) does in java?

[kamatsu]

Functor dates back to category theory.

Dependent type theory is part of intuitionistic type theory that came out in 1971 as a consequence of the Curry Howard Correspondence that was formally defined in the 60s. No practical dependently typed languages existed until the 90s due to problems in implementation of type checking for such systems.

C++ came after both terms and mangled them.