haskell - ファンクションポイントをフリーにする Haskell ユーティリティ

Question

Haskell で自由形式を指すように関数を迅速かつ正確に削減したいと考えています。かなり読みやすい結果を生成したいと思います。これについてどうすればよいですか？

Answer 1

実は「ポイントフリー」というプログラムがあります

これを行う

cabal install pointfree

次に、これをコマンドラインで

> pointfree "\x -> x+1"

 (1 +)

警告 - 無意味な結果の中には素晴らしいものもありますが、かなり恐ろしいものもあります....

Answer 2

Haskell wikiでは、ポイントフリー リファクタリングのツールについて説明しています。主に、無意味で有意義なリファクタリングを行う IRC ボットである Lambdabot について説明します。

@pl \x y -> EQ == compare x y
((EQ ==) .) . compare

[1] http://ircbrowse.net/browse/haskell?id=19908612×tamp=1421726397#t1421726397の例