Кстати, Питон-Питоном, но в целом интересно проанализировать ФЯ с разной культурой определения функций, например: специальное ключевое слово, как в том же SML (через fun) или не совсем явно, как в OCaml (let-let-let).
Просто мне кажется, что свойство анонимности существенно менее важное, чем свойство первоклассности. Мы и в Хаскеле часто пишем лямбды и присваиваем им имена
в Хаскеле тоже принято переносить аргументы в левую часть уравнения, так лучше смотрится. за исключением оптимизаций