2005-05-21から1日間の記事一覧

union,unionBy

Listの中の union :: (Eq a) => [a] -> [a] -> [a] union = unionBy (==)unionBy :: (a -> a -> Bool) -> [a] -> [a] -> [a] unionBy eq xs ys = xs ++ foldl (flip (deleteBy eq)) (nubBy eq ys) xs となっているがunionという名前をつけるならunionByを (n…

リストからあるものと一致する全ての要素を取り除く関数deleteAllは deleteAll :: (Eq a) => a -> [a] -> [a] deleteAll x = delete x . nub とするのがいいのかな。

List.hs

今度はHaskellライブラリのList.hsを読んでいるのだがdelete関数はなんでdeleteFirstという名前じゃないんだろう?まわりの関数名から見ていくとdeleteFirstの方が適切な名前のような気がするんだけど。deleteFirstsByと紛らわしいからだろうか? それと(\\)…

"On the Pi-Calculus and Linear Logic", Bellin, Scott

面白そうかも。読んでみようかな。