Similar reaction, I searched for "lambda calculus" first thing first and was pretty weirded by the "0 results". To me (someone who really doesn't like FP as a

Similar reaction, I searched for "lambda calculus" first thing first and was pretty weirded by the "0 results". To me (someone who really doesn't like FP as a religion), FP is about function application: everything should just be "pure" function calls taking values (not references) and returning values; immutability is indeed a corollary of that, static typing really isn't (isn't Church's original LC untyped, btw?).