0

リストの長さの上の折り畳みがモノイドでないのはなぜですか?

length = foldr (\_ n -> 1+n) 0

0連想的であり、モノイドであるべきようにニュートラルな要素を持っていますか?

4

1 に答える 1