いつも忘れる群・環・体。モナドを例に考えると実感がわくかな？ 1. (return x) >>= f == f x 2. m >>= return == m 3. (m >>= f) >>= g == m >>= (\x -> f x >>= g) 最初の規則は return が >>= に関して左単位元に なっていることを要請しています。二番目…

repeat,cycle,iterateでrepeat,cycle,iterateを定義してみる --repで定義したrep rep x = x : rep x --cycで定義したrep rep_cyc x = cyc [x] --iterで定義したrep rep_iter = iter id --cycで定義したcyc cyc xs = xs ++ cyc xs --repで定義したcyc cyc_rep…