Racket has this. I write lambdas there and I don't use (or know people that use) the symbol anyway. It really does not save a lot. Python is more of a hammer than a beautiful mathematical tool, so the examples don't seem too convincing. Plus, 80 columns and shortness does not make so much sense nowadays.