2016-05-20

http://anond.hatelabo.jp/20160520145232

まり作者の脳の中では関数型ということですね。よくわかりました。ありがとうございます

記事への反応 -
  • http://anond.hatelabo.jp/20160520142159

    無限ループなのはおまえだろ。 もう一回だけまとめると、__x.t=__x.t+1のような単純な例はもちろん、 その「おまえが書いた命令型コード」について、 処理系が、左辺を先に評価して、...

    • http://anond.hatelabo.jp/20160520142924

      いくら哲学ガーとか現在時刻ガーとか喚こうが、関数型だったらこんなことは起きません。 ユーザから見て命令型の代入そのものですね。 __x = __();》Array [ ]__x.t = 1;》1f = function(){return __x...

      • http://anond.hatelabo.jp/20160520143856

        うん、だから、「おまえ」が、 __x.t = 1 と定義した時間 と __x.t = 2 と定義した時間 が異なるじゃん。 __xは、時間のストリームだ、って定義なのに、だからおまえは馬鹿なんだよ。自覚...

        • http://anond.hatelabo.jp/20160520144213

          同じ一つの変数の値が「処理系が評価する時刻」によって変わるのであれば、 それは命令型プログラムですね。

          • http://anond.hatelabo.jp/20160520144913

            違うわアホ 同じ一つの変数の値が「処理系が評価する時刻」によって変わるのであれば、 それは命令型プログラムですね。 同じ一つの変数.ではなく定数というのは、 __x という、...

            • http://anond.hatelabo.jp/20160520145232

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

              • http://anond.hatelabo.jp/20160520145906

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

                • http://anond.hatelabo.jp/20160520150235

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

                  • http://anond.hatelabo.jp/20160520150455

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

                  • http://anond.hatelabo.jp/20160520150455

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

                    • http://anond.hatelabo.jp/20160520150957

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

                      • http://anond.hatelabo.jp/20160520151221

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

                        • http://anond.hatelabo.jp/20160520151704

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

                          • http://anond.hatelabo.jp/20160520151921

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

                            • http://anond.hatelabo.jp/20160520152136

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

                              • http://anond.hatelabo.jp/20160520152402

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

                                • http://anond.hatelabo.jp/20160520153426

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

                      • http://anond.hatelabo.jp/20160520151221

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

                        • http://anond.hatelabo.jp/20160520152852

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

                          • http://anond.hatelabo.jp/20160520153456

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

                            • http://anond.hatelabo.jp/20160520153948

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

                            • http://anond.hatelabo.jp/20160520153948

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

                            • http://anond.hatelabo.jp/20160520061937

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

                            • http://anond.hatelabo.jp/20160302090242

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

                      • http://anond.hatelabo.jp/20160520151221

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

                        • http://anond.hatelabo.jp/20160520153116

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

                • http://anond.hatelabo.jp/20160520150235

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

                  • http://anond.hatelabo.jp/20160520150830

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

                  • http://anond.hatelabo.jp/20160520150830

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

                    • http://anond.hatelabo.jp/20160520151337

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

                      • http://anond.hatelabo.jp/20160520151507

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

                        • http://anond.hatelabo.jp/20160520152449

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

          • http://anond.hatelabo.jp/20160520144913

            「変数」を「時間上のストリームの現在時刻での値」とか言い換えても同じことです。念のため。

            • http://anond.hatelabo.jp/20160520145208

              「変数」を「時間上のストリームの現在時刻での値」とか言い換えても同じことです。念のため。 命令型ならば、そもそもそういう言い換え=パラダイムの変化は生じない。 そもそ...

      • http://anond.hatelabo.jp/20160520143856

        再束縛OKの関数型言語はあるよ > (let [t 1, t (+ t 1)] t)2 http://www.tryclj.com/ Elixirもそうみたい t = {x: 1, y: 2} のあとで t.x = 10 t.y = 15 とか直接書き換えられたら問題かな

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

アーカイブ ヘルプ
ログイン ユーザー登録
ようこそ ゲスト さん