パスワードを忘れた? アカウント作成
499878 journal

rutoの日記: シェルがgrep -rをfind . | xargs grepに書き替えればいいんじゃない?

日記 by ruto

grep -r を使う罪悪感(UNIXの思想的には grep -r ではなく find . | xargs grep を使うべきだが、そういうのはプログラマの自己満足で、「美しさ」は「タイプ量が少ない」とか「覚えやすい」には勝てない、という話)

それはシェルが悪いんであって、grep -r を見付けたら find . | xargs grepに書き替えるような機能があればいい。findにオプション渡す方法は別に考えないといけないけど。

# ちなみに私は`派。

ところ変わってHaskellではRULESプラグマというのがあって、例えば

{-# RULES
        "map/map"       forall f g xs. map f (map g xs) = map (f.g) xs
  #-}

というのを書いておくと、コンパイル時に map f (map g xs) と書いてあるのが map (f.g) xs に書き替えられる。

これにより美しさと速度のバランスを取っている。こういう話は多分Common Lispの方が積極的なのかな?

この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。
typodupeerror

海軍に入るくらいなら海賊になった方がいい -- Steven Paul Jobs

読み込み中...