日々の流転

λ. 『本物のプログラマはHaskellを使う』読者の集い

参加した。(後で書く)

ustream.tvでの中継に初挑戦してみたが、どうも思うようにはいかなくてちょっと残念。

DoubleがBoundedのインスタンスになっていない話は、そういえば前も同じこと書いてたな。

Control.Monad.Errorで定義されている MonadPlus IO インスタンスは、Control.Monad のドキュメントにある m >> mzero == mzero の条件を満たさないのね。

mtlが現在のLazyバージョンとStrictバージョンの構成になった経緯について聞いてみれば良かったな。

JHCの存在型にまずい点があったというようなことを言ったが、どうも<URL:http://article.gmane.org/gmane.comp.lang.haskell.prime/436> のあたりの話と混同してた気がしてきた…… orz

m-a-oさんに初めてお会いした。

λ. "Do we Need Dependent Types?" by Daniel Fridlender, Mia Indrika

• <URL:http://www.brics.dk/RS/01/10/>
• <URL:http://www.citeulike.org/user/msakai/article/3140868>

Hindley Milner オンリーだから、型クラスも使わないのか。 アドホックすぎだけど面白い。

(<<) :: [a -> b] -> [a] -> [b]
(f:fs) << (a:as) = f a : (fs << as)
_ << _ = []

zero :: [a] -> [a]
zero = id

succ :: ([b] -> c) -> [a -> b] -> [a] -> c
succ = \n fs as -> n (fs << as)

one = succ zero :: [a -> b] -> [a] -> [b]
two = succ one :: [a -> b -> c] -> [a] -> [b] -> [c]

zipWith :: ([a] -> b) -> a -> b
zipWith n f = n (repeat f)

zipWith2 :: (a -> b -> c) -> [a] -> [b] -> [c]
zipWith2 = zipWith two

あと、(<<) は Applicative ZipList の <*> と同じかな。