>>202
どうして参照透明性がプログラミングのあるべき姿なのか理解できない。
現実世界ほとんど全てのコンピュータはレジスタやらメモリやらの内容を書き変えて動いてるわけで、
コンピュータに命令を送るのがプログラミングならその形態に近い方がより
プログラミングのあるべき姿なんじゃないか？

あと、現実世界のアプリをHaskellやらで書くときも
do { hoge ;
　　 huga ;
　　 bar }
なりhoge >> huga >> barなりで命令の順序を気にして書くわけだが、その点についてはどうか。
あと、それらで型を合わせる為にliftMとかをしまくるのが本来のプログラミングの姿だと言いたいのか？