Entries from 2018-02-24 to 1 day
label :: m (m a) がほしい do cont ← label print 1 cont で無限に 1 が出力されてほしい import Control.Monad.Cont import Control.Monad.State main :: IO () main = evalStateT (runContT k return) 0 label :: Monad m ⇒ ContT r m (ContT r m a) labe…