■http://anond.hatelabo.jp/20160524164501

関数型という枠組みの中にミュータブルな時間要素が純粋に収まるようにしているのがFRPだろ。

ストリームを関数の外部に持つFRPを純粋関数型っていうのは少数派でしょ。

関数の結果が引数以外で決まるわけだからさ。

多分、純粋とかの定義もまた違うんだろうね。

「関数型の拡張」で全部丸く収まると思うんだけど。

いやそもそも岡部氏が複雑なアプリになるとFRPが必要だ

これはGUIアプリ(対話的なアプリ)ってことでいいのかな。

コンパイラだとかをFRPで書かないでしょ。

ユーザからの入力をリアルタイムに処理するプログラムにはFRPは有効だよね。

事実、「駱駝」は「状態渡しはむしろ異常」って書いた上に、

「OCamlでは」じゃないの？

全部純粋関数型(引数と戻り値に収める、状態渡し)にするのを良しとするHaskellと違って、OCamlは副作用も部分的に使うのが普通で、IOモナドみたいな入出力までも純粋に書くための道具立てが揃ってない、それでちょっと冗長になる、ってことでしょ？

OCamlの元々の推奨スタイルならもっと短く書けるんでしょ？

俺はそう読んだけど。

それっぽい書き込みほどそうやって、事実誤認だ、と強調するから、なんで当事者でもないのに、そんなことが断言できて、電波だということになるんだ？

だって駱駝でも住井でもない面識も無い俺の書き込みが住井扱いされるんだもの。

いやだから、どの関数で読み書きされようと、誰が書き換えようとも、時間にたいしてイミュータブルな定数なんだから、定数は定数なのよ。

いやだからグローバル変数使ってるプログラムの欠点をそのまま持ってるじゃん

グローバル変数使ってるプログラムの欠点、説明する必要ある？

Permalink | 記事への反応(1) | 10:42

ツイートシェア