Haskell, Erlang, and Clojure all have sane lambdas (assuming that&#x27;s what you mean by &quot;properly implemented functional syntax&quot;), and list comprehensions are useful and idiomatic in those languages. Agreed about sequence names feeling out-of-order in nested comprehensions in Python.