2016-05-20

http://anond.hatelabo.jp/20160520151221

普通に読んだら「FRP状態渡しと同様の限界がある」と言ってる文章だし、

状態渡しで何でもできるなんて誰も言ってないのに、相変わらず凄まじい捻じ曲げだな。

http://qiita.com/nonstarter/items/2763f5d85f2b8df3b18b

>いずれにせよ、状態機械数学構成では状態遷移が状態入力から状態への関数として表現されるというだけのことではあり(状態渡し)、状態遷移が複雑になれば状態遷移を純粋関数として表現する作業も複雑になり困難になるので(そしてそれはしばしば綺麗な関数合成では上手くいかないようなものになることが多いので)、結局のところ少なくとも現状のFRPも(イベントシグナから状態シグナルを構成する際に状態遷移をそうした関数表現する必要が出てくるので)本質的には銀の弾丸にはならないと言わなければなりません(関数プログラミングで書けるということの恩恵はもちろんあるとしても)。

記事への反応 -
  • つまり作者の脳の中では関数型ということですね。よくわかりました。ありがとうございます。

    • 大丈夫、 つまり作者の脳の中では関数型ということですね。よくわかりました。ありがとうございます。 おまえみたいにコードは書けるが、想像力が致命的で柔軟性が皆無なやつは...

      • 関数型に「導入した」なら誰も反対しないよ

        • 状態渡しはまやかしだ、とか時間を軸にしたストリームを外部に持ったFRPこそが正しく実用的な関数型、みたいに言うから反対されるって言ってんの。

          • 誰がいつ「まやかしだ」なんて言ってる? 「状態渡し」に限度がある、って認めたのは、nonstarter自身であり、その他、限界があるのに何でもできる、みたいな嘘をまきちらしているこ...

            • 普通に読んだら「FRPも状態渡しと同様の限界がある」と言ってる文章だし、 状態渡しで何でもできるなんて誰も言ってないのに、相変わらず凄まじい捻じ曲げだな。 http://qiita.com/nonstarte...

              • あのさ、それ もちろん、OCamlであれHaskellであれ破壊的代入の類の副作用を使用せずに書くのもなんら困難ではありません。 とか、言い切って、別の人間からスケールしない、とつっ...

                • 「OCamlでは」普通に副作用を使うライブラリしかないからスケールしない、って書いてあるのに なんで勝手に一般化して、Haskellとかでもスケールしないことにしたいの? 本当に牽強付...

                  • http://anond.hatelabo.jp/20160520153948 「OCamlでは」普通に副作用を使うライブラリしかないからスケールしない、って書いてあるのに なんで勝手に一般化して、Haskellとかでもスケールしない...

                  • もちろん、OCamlであれHaskellであれ破壊的代入の類の副作用を使用せずに書くのもなんら困難ではありません。 nonstarterはこの発言の時点では、Ocamlの関数型の状態渡しに限界があること...

                  • http://kenokabe-techwriting.blogspot.jp/2016/05/timeengine.html nonstarterの言うことがハッタリじゃなければ、さっさとToDoListの課題をOcamlの関数型の状態渡しをもって実装してみせればいいだけだが、言...

                  • http://kenokabe-techwriting.blogspot.jp/2016/05/timeengine.html nonstarterの言うことがハッタリじゃなければ、さっさとToDoListの課題をOcamlの関数型の状態渡しをもって実装してみせればいいだけだが、言...

            • 俺は書いた本人じゃないから違うかもしれないけど「限度」ってのはプログラマの能力的に、ってことじゃないの? 必要な情報は引数で全部渡して、中で書き換える(副作用)じゃなくて...

              • さんざん言われてることだが「状態渡し」について「原理」のことじゃなくて、実用的なアプリの実装の証拠が求められている。 岡部氏はすでに、FRPライブラリで実装してみせていて、...

                • お絵かきできてたじゃん…

                  • お絵かき以上のレベルになったら、いろいろ言い訳しはじめて逃げてるのが今。 もうバレたんじゃない?書けるのならお前が書いたら?ToDoのアレ。状態渡しで。

                    • そのお絵かきすらkenokabe氏は脳内FRP(実際には普通の命令型)でしか実装できてないのに…

                      • 馬鹿がFRPのこと語るな、って書いたよな? おまえの脳内にはFRPなんて存在してねーだろ? そのお絵かきすらkenokabe氏は脳内FRP(実際には普通の命令型)でしか実装できてないのに…

            • 岡部式FRPが絶対に必要、と断言しておいて実際にすぐ実装されてしまったら 今度は「お絵かきアプリは簡単すぎたからこれをやれ」か。本当に勝手だな。

              • 今度は「お絵かきアプリは簡単すぎたからこれをやれ」か。本当に勝手だな。 そんな問題じゃないだろうな。 最近のブログにも書かれているのだが、 「お絵かきアプリ」は、批判...

        • 意味不明。 馬鹿は黙ってろ。FRPのことについて語るな。

      • あなたの脳の中のFRPではそうなんですね。了解です。

        • じゃあなくて、おまえの限定的な脳では、FRPなる世界は存在していない。 おまえの脳はFRPなんて知らないのに、知っているように発言していることが害悪。

        • ちなみに私の知っているFRPはHaskellの各種FRPライブラリとか (つい最近変わったようですが)Elm等の各種言語と同じで、 様々な論文やコードとも一致しています(kenokabe氏の解釈以外)。...

          • おまえ、FRPなんて知らないだろ? だから知ってるように語るなよ。アホが。

            • 私も専門家ではありませんがkenokabeさんよりはFRPもよく知っていると思いますし、 kenokabeさんのいうFRPが普通の世界でいうFRPとは全く違うこと、そして kenokabeさんが決してそれを認めよう...

              • 私も専門家ではありませんがkenokabeさんよりはFRPもよく知っていると思いますし、 kenokabeさんのいうFRPが普通の世界でいうFRPとは全く違うこと、そして kenokabeさんが決してそれを認め...

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん