If it's got mutable variables or functions with side-effects, it just isn't functional programming at all, no two ways about it. Type inference is nice, though, I agree. And lambda calculus allows you to feel geekily superior, which I suppose you like.
Meh, it all seems like yet more pretty sprinklings of syntactic sugar, which I'm all for, I just took issue with it being called 'functional programming'.
I was going to make a dig at you being uneducated and having never gone to uni, and all that jazz, but going to Bracknell has killed all of my fighting spirit. I may never jibe again.