>>593

> 継続の概念そのものは、純粋だよ
純粋なら、小細工しないで、関数プログラミングすればいいのでは？
それとも、命令型言語における逐次のように不純なものなの？

> 一般には「制御構造」と呼ばれる概念を
> 圏論の視点で構成したのがモナド
正しくは「モナドは「制御構造」と呼ばれる概念も構成できる」？