証明されてよかったじゃない。「これ以上は説明も回答もしない。(東北大)、らくだの卯之助@camloeba、@nonstarterその他へむけてC言語は純粋関数型である。ついてこの辺の続きとなります。(東北大)、らくだの卯之助@camloeba、@nonstarterその他へむけてこの課題についてです。http://anond.hatelabo.jp/20160521172426http://megalodon.jp/2016-0521-1450-10/okaml.blogspot.jp/また瞬殺なる投稿を見ました。なんで、Web魚拓のリンクなのか知りませんが、元URLは、http://okaml.blogspot.jp/です。Kだのokamlだのお絵かきロジック(笑)というかマウスのドラッグ(ボタンの状態)クリックカウンター(笑)だの、まあ当方を愚弄しているつもりなんでしょう。英二郎@esumii氏、らくだの卯之助@camloeba氏その他が、犯罪者集団に合流して2ちゃんねるでの誹謗中傷チームの「8賢者」「ウィザード組」とかアホなことをやってる件についてという集団の存在の蓋然性が確認できると思います。「瞬殺」らしいですが、「そういうこと」にしたいらしいですが、まったく「瞬殺」されていないどころか、まあいつもの、できないことをさもできるように見せかける嘘誤魔化し満載なので、以下ざっと説明してみます。http://okaml.blogspot.jp/2016/05/done.htmlから全文引用してみます。2016年5月21日土曜日Doneご指名ではないけど久々に書いてみました。OCamlもJSも詳しくないので細かいことは知らない。(追記:入力消すの忘れてたので修正。Js._false)今回は「状態渡し」すら要らないので「お絵かき」より簡単。何をさせたかったのかまったくわからない。別の人も指摘しているとおり、以前の「状態渡し」のほうがOCaml上のGUIアプリの実装としては異常。書けないとか言うから反例として書いただけ。OCamlは非純粋関数型なので、普通は副作用(破壊的代入を含む)を使う。FRPを含め、純粋関数型のGUIプログラミングがしたかったらHaskellのライブラリなりElmなり、それ用の適切な道具を使えば良い。自分から要求した「お絵かき」の「トイプログラム」すら1年もかかって自称FRP(実際にはFunctionalですらない命令型プログラム。哲学とか時刻とか理屈をこねたり過去の値を保存したところで、ユーザから見て命令型の非単一代入であることに何ら変わりはない。ちなみにその保存のしかただとJS処理系がガベコレできないのでメモリリークします。)でしか書けないのに、また他人に実装を要求する正当性は1ミリもない。(東北大)、らくだの卯之助@camloeba、@nonstarterその他へむけてで示した条件は、以下でした。君らがお題目唱えているとおり、(状態渡し)の関数型のコードで書くこと。これまで君らが誤魔化してきたように、HaskellやElmなど他の言語を「都合よくつまみ食い」してはならない。FRPのメリットなんてない、とかぶちあげているみたいなので、たとえFRPのメリットをようやく今更途中で気づいたとしても、間違ってもOCamlのFRPライブラリなんかを検索して探し出して、そのFRPライブラリを利用して書いてはならない。(状態渡し)の関数型コードで書くこと。これは、君らが延々とこちらの主張を押さえ込むように強弁してきた要件なので、当たり前。出来なきゃ、その時点で君らの嘘が確定する。以上の条件に反しなければ別にどんなライブラリを使おうが自由。