コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Entries from 2015-03-02 to 1 day

モナド変換子の練習

モナド変換子の練習です。 StateモナドにMaybeモナドを乗せてみます。内容はスタック。 import Control.Monad.State push :: a -> StateT [a] Maybe () push x = do xs <- get put (x:xs) pop :: StateT [a] Maybe a pop = do (x:xs) <- get put xs return x…