- 関数型プログラミング言語Haskell Part27_©2ch.net
361 :デフォルトの名無しさん[sage]:2015/01/30(金) 14:04:18.96 ID:BdpgM/J/ - diagonal [] = []
diagonal ([]:xss) = [] diagonal ((x:xs):xss) = x : diagonal (map (drop 1) xss) return = repeat m >>= f = diagonal (fmap f m) として monad law 破れる? diagonal ([]:xss) の場合に [] にしないって話? でも「短い方に合わせる」だと自動的にこれじゃない?
|
|