条件がリストの要素に当てはまるかどうかを確認するPythonの方法

私はPythonのリストを持っています。負の要素があるかどうかを確認したいと思います。Specmanには、以下has()を行うリストのメソッドがあります。

x: list of uint;
if (x.has(it < 0)) {
    // do something
};

ここitで、Specmanキーワードは、リストの各要素に順番にマップされます。

これはかなりエレガントだと思います。私は目を通したPythonドキュメントと似た何かを見つけることができませんでした。私が思いつくことができる最高のものは：

if (True in [t < 0 for t in x]):
    # do something

これはどちらかと言えば上品ではありません。Pythonでこれを行うより良い方法はありますか？

any（）：

if any(t < 0 for t in x):
    # do something

また、「True in ...」を使用する場合は、ジェネレータ式にして、O（n）メモリを使用しないようにします。

if True in (t < 0 for t in x):

を使用しany()ます。

if any(t < 0 for t in x):
    # do something

Pythonには、まさにこの目的のために、any（）関数が組み込まれています。