I think another way to look at it is that Lisp took untyped lambda calculus and turned it into practical programming language, although in an opinionated way th

I think another way to look at it is that Lisp took untyped lambda calculus and turned it into practical programming language, although in an opinionated way that was necessary at the time for performance reasons. However, modern FP languages always start from some form of typed lambda calculus, because it has more desirable properties.