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

否。ストリームに限らず、定数は引数で与えなくても純粋関数型である、という見解はごく普通。

定数って、プログラム中で更新不可能で、いつ読みだしても同じ値が出てくるから、グローバルでも問題無いんだよ。

ストリームは定数だ、って言ってみたところで、プログラム全体から更新可能なんじゃ、グローバル変数と同じでしょ？

バグがあって、ストリームに変な値が入った時、どこがバグなのか、追跡するのが困難でしょ？

なんで伝わらないんだろ。

複数人でプログラム開発したり、他人のプログラムをデバッグしたり、したこと無いんだろうか。

つまり、GUIになればもはや関数型では書けない、というのが推奨スタイルだ、って言ってるようなもの

「純粋関数型」とは何か、という話と、とOCamlでそれが推奨スタイルか、って別の話だよね？

岡部氏との争いって「OCamlでGUIアプリを純粋関数型(状態渡し)で簡潔に書けるか」ってところじゃないよね？

純粋関数型とは何かといった時にHaskellのように、IOも含めて引数と戻り値で表現する、関数のふるまいが関数の外の状態に依存しない、関数に副作用が伴わないとかの性質をいうと思うんだけど、岡部氏はFRPで状態を関数の外部に持ってても純粋関数型だ、と言ってて、そこで争ってるんだよね？

あと、OCamlでGUIを状態渡しで書いたら簡潔で無いのを「書けない」、「不可能」って言ってるのはわざと印象操作しようとしてるよね？

Haskellで書けて、OCamlで冗長になっても、書けるなら「書ける」、「可能」だよね？

その発言が事実か確かめる術はないし、ここで岡部氏攻撃しているのは君ひとりなのか？他の人間まで一連の誹謗中傷集団ではない、す駱駝、住井が含まれていないみたいに断言する根拠は何か？

俺の書き込みが他人といきなり結び付けられたから、電波だな、と思ったの。

俺１人か、とか、らくだや住井が含まれてない根拠とか、関係無いよね。

Permalink | 記事への反応(1) | 21:32

ツイートシェア