HLint のルールを理解する (和訳)

この一文は、foldr (\c a -> x : a) [] を見たときに、map (\c -> x) を警告で提案する、という意味です。次に、HLint のマッチングエンジンは、このテンプレートをプログラム中の全ての部分式に適用します。ここからは、そのときに HLint が実行するステップを説明していきます。 ステップ1: 単一化 最初のステップは、foldr (\c a -> x : a) [] というテンプレートの単一化です。foldr (\curr acc -> (+1) curr : acc) [] のような、ユーザの部分式に対して行われます。HLint はテンプレート中の 1文字の変数 (c, a, x など) への代入ができる部分を探していき、部分式にマッチさせようとします。この単一化はトップダウンで進行し、マッチしないものが現れた段階で (例えば foldl など) その単

[unno_hideyuki]

Hlint すごいなー