エンジニアのソフトウェア的愛情

または私は如何にして心配するのを止めてプログラムを・愛する・ようになったか

2009-07-11から1日間の記事一覧

「リストのリストにsequenceを適用すると直積が得られる」のはなぜか考える

教えてくれることを期待して思考停止しているようではダメダメなので、理解できるところまで考えてみる。基本に立ち返ると、sequenceのソースは次のようになっているのがここからわかる。 sequence ms = foldr k (return []) ms where k m m' = do { x <- m;…