I don't think so, Guido has a long time history of being against FP, and the core of language is statement oriented rather than expression oriented. Beside tha

I don't think so, Guido has a long time history of being against FP, and the core of language is statement oriented rather than expression oriented. Beside that "->" operator in python is already used as return type annotation for functions. For the record Julia use exactly this syntax for lambdas. Like: foo = a -> b -> a+2*b It's pretty lispy language.