Functional Pearls: A Pointless Derivation of Radix Sort - 昏論会ウィキ

Functional Pearls: A Pointless Derivation of Radix Sort

概要

Radix sort の実装について。

Algebra of Programming (R.Bird & O.D.Moor)的な pointful 実装で
radix sort は実は木の操作に他ならないことを、
Haskell の関数合成の意味で示してみますよ。
Pointful programming 最高！

感想

まず、木の操作であるということに気がつくのがすごいという。
バケツソートが木の葉っぱをなめていることなので radix sort もそうだと、
言われればそうなんですが、ぼくには初耳でしたよ。

実装は効率度外視で、意味のはっきりした Haskell プログラムを書きましょう、
というまっとうな結論でした。

Pointful programming 最高! は、ときどきそうだよねーと思うし、
ときどきそれはどうなのとも思うので複雑な気持ちです。

いけがみ