>>771
monad による実装はその monad を使って記述された範囲内でしか使えないので
意図しているものとは違います。
monad をつかって副作用を実装しても本当は副作用が無いように、
monad をつかって継続を実装しても本当は継続ではないと理解しています。

私が意図しているのは、Scheme のようにいつでもどこでも使える
言語組み込みの本物の継続です。

Gofer というのはよく知らないのですが、
Haskell と違って言語に組み込みの継続があるのでしょうか？

あと、本のほうは手元に無いのですぐには参照できないのですが、
もし本に参考文献として論文があげられていたら教えていただけないでしょうか。