Another interesting article on Types and Typing: "Stop Sitting On The Type Fence" - it makes several good points about language evolution, and about both the static and dynamic camps. I did love this quote, as it pointed out the link between mathematical thinking and static types.
So static typing isn't just about making sure that you don't add two credit card numbers together, it's about expressing code as close as possibly to mathematics. Mathematicians tend to be very good at reducing problems to their smallest representations, and coming up with very general solutions, so there can be no doubt that this approach will (and already has) produced amazing results.
p.s.: I still don't like lambdas: write a function!