> Lisp was based on the lambda calculus, not sure if you can get more functional than that.

I've tried really hard (okay, for about five minutes), but couldn't find any account of the lambda calculus that includes the following features:

(0) variadic argument lists,

(1) object identities for absolutely everything,

(2) procedures that can be manipulated in ways other than applying them to arguments.

Are you really saying that all this time my understanding of the lambda calculus has been a lie?