eliza0x
型レベルCPUの上でCで書いたFizzBuzzは動きましたよ、AWSで256Gメモリを積んでるマシンを借りて1から20まで(17min)ですけど……
(\x -> get >>= \s -> pure (runState x s)) :: State s a -> State s (a, s) みたいな計算を実行するけど状態を変更するのは待つみたいな関数の名前について悩んでいるdryRunStateというのはどうでしょうかdryRunState も含めて考えた結果、 onHold にしました。これは fumieval さんの案がなかったら思い付けませんでした。ありがとうございます。data Matrix e c r where One :: e -> Matrix e () () Join :: Matrix e a r -> Matrix e b r -> Matrix e (Either a b) r Fork :: Matrix e c a -> Matrix e c b -> Matrix e c (Either a b)