関数型プログラミング言語Haskell Part33

[0323 デフォルトの名無しさん 2020/05/23(土) 00:35:45.46 ID:PUmkxvlF]

次のように、一つのモナドを遅延的に無限に評価できる関数 repM は定義できるでしょうか？

repM :: (Monad) => m a -> m [a]

xs <- repM (return 1)
print $ take 3 xs -- [1, 1, 1]

ys <- take 2 <$> repM (return 1)
print ys -- [1, 1]