用折叠组合单子动作

(Monad m) => a -> m a . 例如:

ghci> let f x = Just (x+1)

ghci> let times n f = foldr (>=>) return $ replicate n f

问题是它在大范围内不起作用 n :

ghci> 3 `times` f $ 1
Just 4
ghci> 1000000 `times` f $ 1
Just *** Exception: stack overflow

另一方面,它也不起作用:

ghci> let timesl n f = foldl' (<=<) return $ replicate n f
ghci> 3 `timesl` f $ 1
Just 4
ghci> 1000000 `timesl` f $ 1
Just *** Exception: stack overflow

($!)

ghci> let timesStrict n f = foldr1 ((>=>) . ($!)) $ replicate n f
ghci> 3 `timesStrict` f $ 1
Just 4
ghci> 10000000 `timesStrict` f $ 1
Just 10000001

有更好或更惯用的解决方案吗?还是更严格的?如果 f 是一个很重的函数。

UPD: 我发现那是一种写作 times 以一种有意义的形式,也不能解决构成重量级一元动作的问题。这对fx=Just(x+1)有效,但在现实世界中失败:

times f 0 a = return a
times f i a = (f $! a) >>= times f (i - 1)