Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
part of the language was added as either an intuitive reasoning or an immediate need. One could argue that Alonzo Church could have come up with this instead of the λ-calculus, if only he was constrained by having only constant-time operations. Or perhaps that’s a bit of a stretch, but I’d still