2009-05-01から1ヶ月間の記事一覧

List化関手同士の自然変換

・自然変換 Listのreverse リストの反転は自然変換になっているという初等的でありがたい例。 応用として、cdrとかもいいんじゃないかと発言したけど、空リストの扱いが困るから微妙。でも同じ感じで結構考えられそう。 http://d.hatena.ne.jp/oto-oto-oto/2…

公平に配る

Haskell で。Maybe 大好き。 import List import Maybe deal n xs = map catMaybes $ transpose $ init $ takeWhile (not.null) $ map (take n) $ iterate (drop n) $ replicate n Nothing ++ map Just xs ++ [Nothing]

はてな日記開始

今日からゆるーく書き始めてみる。