2007-03-04から1日間の記事一覧
上に書いた方法(環境をネストさせる方法)で、とりあえず動作することは確認しました。WASHは、最初のページ(CGI ())からどのページまで進んだかっていう状態を文字列として保存しておいて、サーバにアクセスするたびに状態を復元している感じなので、環境もs…
考えられる解決策は、Readerモナドの中で同じ環境を持ったReaderモナドを作ること。非常に無駄な感じがして嫌ですが、パーサは環境がないと動かないように作ってあるので仕方ないです。なんかスマートな方法はないのかねー。
昨日からずっと、wiki 全体を Reader モナドにくるもうと思って作業を続けてきたわけですが、結論から言うと、失敗しました。submit っていう関数の型らへんで。以下、その原因など。WASH を知らないと全然わからないとは思うけど。WASH では、ページの遷移…