ハットンによる Haskell でのプログラミング 言います:
アプリケーションを実行することによって「還元」できる1つ以上の引数に適用される関数の形式を持つ式は、還元可能な式、または略してredexと呼ばれます。
還元可能な式、つまり正確に redex です
関数が別の関数適用の結果ではない関数適用、
同様に、関数が関数名またはラムダ式のいずれかである関数アプリケーション?
上記の 2 点のいずれかが、関数の部分適用とカリー化された関数の適用をどのように評価するかという以前の質問に対する答えですか?