リスト内包表記の舞台裏2 - MEMO:はてな支店

以下のリスト内包表記が実際にはどう動いているのかを確認する。 [x|x<-[1..9],x<5]内包表記をdo記法に変形 do x<-[1..9]; guard(x<5); return xdo記法を >>= 演算子に変形 [1..9]>>=(\x-> guard(x<5)>>=(\_-> return x))guard を if に変形 [1..9]>>=(\x-> (if x<5 then return () else mzero)>>=(\_-> return x))m>>=f を concatMap f m 、return x を [x] 、mzero を [] に変形 concatMap (\x-> concatMap (\_-> [x]) (if x<5 then [()] else [])) [1..9]x=3のときに起こっていること concatMap (\_->[3])