2016-05-16

http://anond.hatelabo.jp/20160516112619

実際、timeengine.js を読み込んだ状態で、以下のようになります

const __x = __();
undefined
> __x.t = 1;
1
> __x.t = __x.t + 1;
2
> __x.t;
2

これは岡部健氏が著書で「論理破綻」と批判していた、命令言語破壊的代入そのものです。

なお私を他の誰かと決めつけるのは、その方たちにご迷惑ですのでおやめください。

……と言っても聞き入れていただけるとは思えないので、私ももうこれ以上の書き込みはやめます

できるだけ丁寧に技術的な誤りだけを指摘したつもりですが、やはり誹謗中傷しか返ってこないようで残念です。

トラックバック - https://anond.hatelabo.jp/20160516192742
  • http://anond.hatelabo.jp/20160324231439

    >と、こうして絶対にコードを書かずにいつまでも逃げまわるのであったwww と妄想してるキチガイに冷水か。 「TimeEngine お絵かきアプリ(関数型リアクティブプログラミング/FRPのトイ...

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

      http://okaml.blogspot.jp/2015/07/blog-post.html から約10か月遅れの上、kenokabe氏のコードは破壊的代入バリバリの命令型プログラムそのものですね

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

        >kenokabe氏のコードは破壊的代入バリバリの命令型プログラムそのもの 何行目のどこ? どこでバリバリ破壊的代入の命令形プログラムになってんの?逃げんなよ?

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

          >ライブラリのユーザに見えるレベルでも __drawFrom.t = { x: e.clientX, y: e.clientY }; など、もろに命令型の破壊的代入ですね。 違うけど? __drawFrom は時間軸上のImmutable...

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

            kenokabeさんの心の中ではそうなのかもしれませんが、ライブラリのユーザから客観的に見れば(分析哲学ではなく関数型言語の意味で)参照不透明なので、関数型プログラミングのメリッ...

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

              実際、timeengine.js を読み込んだ状態で、以下のようになります。 > const __x = __();undefined> __x.t = 1;1> __x.t = __x.t + 1;2> __x.t;2 これは岡部健氏が著書で「論理破綻」と批判していた、命令型...

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

                まず、 >……と言っても聞き入れていただけるとは思えないので、私ももうこれ以上の書き込みはやめます。 できるだけ丁寧に技術的な誤りだけを指摘したつもりですが、やはり誹謗...

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

                  おかべたんは教育者らしいですけど何をやってきた人なんですか?

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

                    あはは、それを言ったらかわいそうですよ(爆笑) 中年無職のジェラシーって、怖いですね

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

                    当事者じゃない、高みの見物だけど、岡部氏vsアンチで、例の教育者らしい東北大の先生の解説があまり役に立たなかったのは事実 また、岡部氏による例の教育者らしい先生のまずい...

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

                      岡部さんの言説の支持者がネット上に全然見当たらないのはどうしてでしょうか? Qiitaには何人かいたのですが、なぜかアカウントが全部消えてしまっていて・・・・・やはり陰謀でし...

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

                        ブログで複数リンクされて引用もされていたけど、2chしかみていない君は知らないだけじゃないかな?

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

                          それって何人ぐらいですか? ネットを見回しても岡部さんには否定的な声ばかりで、不自然なほどです。やはり日本中の大学や学会、ユーザーグループが「結託」して岡部健さんをおと...

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

                            ちくわみたいな質の悪い中傷犯と結託してる住井みたいな自称関数型コミュニティの質の悪い連中を警戒してるからだろうな。 あとおまえが見まわす範囲も偏ってるんじゃない?具体的...

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

                              ちくわたちって誰ですか? 「ちくわたち」なのか「ちくわ達」どっちですか どちらにせよ、知らん名前。

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

                                「ネットを見回しても」云々、事情通を語るくせに、 一方で、この一連のスレッドみても「ちくわ」に関してかなり書き込みがあるのに、それは見えないという嘘はきダブスタっぷり。...

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

                            >やはり、「Qiitaもグルになってる」、ということでしょうか? いや、それアピールしながら、後ろめたいのか、バレたらまずいのか、削除編集してるのがおまえらなんだけど?w 「運...

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

                              いまいち要領を得ないのだが、「お前ら」って何なの? 俺は誰ともつるんでないし、誰かと認識してるのであれば人違い あと運営がどうとか学内云々とか、さっぱりわかんないです。 ...

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

                                >いまいち要領を得ないのだが、「お前ら」って何なの? あのね、 >やはり、「Qiitaもグルになってる」、ということでしょうか? などと、トピックを理解して、あと「ネットを見回...

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

                            岡部さん曰わくは、「ぼくの主張に同調的な国内の学者たちは、 自称関数型コミュニティの圧力を恐れて、表立って肯定できない」とのことです。 また、 「nonstarter氏や住井教授のよう...

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

                              観測できる事実として、岡部さんと住井さん、nonstarteさんの振る舞いが目立ってきた頃から、 国内ネットでは、地雷、滅多なことを言わないほうがいいという風潮がありました。 しか...

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

                                住井さんをはじめ、岡部さんが批判する相手は、議論となっている関数型プログラミングの定義などが、まるで世界的に合意がされており岡部さんのみが異端だという主張ばかりしてお...

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

                                  岡部健さんも過去にロスに居たようですよ。 UCLAでコンピューターサイエンスを学んで卒業したと主張されています。 それは実績ですよ?

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

                                  岡部氏より、反論のエントリがなされています。 http://kenokabe-techwriting.blogspot.jp/ これを見るところ、圧倒的に岡部氏の言い分に説得力があります。 「世界的」?ご冗談でしょう・ 住井...

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

                                  「700円のiOSアプリ」だの2ちゃんの岡部氏への粘着スレのお経を繰り返している時点で、おまえがどういう人物かわかるよね? そういうネガキャンやりたい人アピールのお前がなにか客...

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

                                  岡部氏と比較すればどう見たって活動規模も、何もかもが圧倒してるじゃないですか。 住井氏はペンシルバニア大学でも実績のある人で、所属学協会だけを見ても、「狭い人」ではない...

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

                                  「滅多なことが言えなくなった」としたら、nonstarter氏のブログのように 岡部氏に反する意見を言うと激しく荒らされるからですね。 迷惑がかかるといけないのでリンクしませんが、 住...

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

                                  おまえが権威に頼るしかない低能なのはわかった

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

                                  The Fifth ACM SIGPLAN ICFP Programming Contest 1位 The Third ACM SIGPLAN ICFP Programming Contest 1位

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

                  kenokabe氏のコードでもマウスが動くたびに同じ__drawFrom.tへの破壊的代入が行われるんですがそれは

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

                http://kenokabe-techwriting.blogspot.com/2016/05/ocamlgui-esumii-camloebanonstarter.html の自称関数型コードに出てくる __value.t = e.target.value __items.t = __value.t 等々も、kenokabe氏の心の中では「時間軸でインデ...

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

                  http://kenokabe-techwriting.blogspot.com/2016/05/ocamlgui-esumii-camloebanonstarter.html __items.t = __value.t のコードで、これがもし破壊的代入ならば、 const ListElement = __Element(__([__items]) .__(() => ((__ite...

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

                    そうなんだよね 岡部氏のライブラリ、tへの代入にsetのフックが掛かってて単純な破壊的代入ではないんだよね この辺JavaScriptがわかってるひとが岡部ライブラリのソース読まないとわか...

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

                      単純な破壊的代入でない、ってのも変な言葉だな。 ライブラリソースレベルで破壊的代入というのは、もう意味のない批判だと確定で、 ライブラリユーザレベルでは単に破壊的代入とい...

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

                        すでに否定された「反論」を何度も繰り返して 無限ループでうやむやにしようとしているようですが、 誤りは何回繰り返しても誤りです。 http://anond.hatelabo.jp/20160515231526 http://anond.hatelabo...

                        • 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

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

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

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

                            • 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 とか直接書き換えられたら問題かな

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

                          「別の場所」じゃなくて、 各分布値を包括するストリームな。 「別の場所」とか言ってる時点で何も理解できてない。

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

                            「現在の値」であるt(実体はvalOnT)とは別の場所ですね。

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

                              また無限ループか。 __x.t は __x の集合要素、 別の場所?なにほざいんての?語るなよ、FRPを。

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

                                tの実体であるvalOnTと、過去の値を実際に保存しているseqは 同じオブジェクトの中にはありますが別のフィールド変数ですよね。

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

                                  tの実体であるvalOnTと、過去の値を実際に保存しているseqは 同じオブジェクトの中にはありますが別のフィールド変数ですよね。 「実体」?実体ってなに?内部実装の話?まだ言って...

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

                    最初から http://anond.hatelabo.jp/20160515231526 で指摘されているとおり、セッターでvalOnTに破壊的代入して ゲッターでvalOnTの値を返してるので、内部実装だけでなく ユーザから見ても破壊的代...

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

                      過去の値が全部残ってるからイミュータブルって言うんじゃないの Datomicみたいに

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

                        すでに出てるけどユーザから見て > const __x = __();undefined> __x.t = 1;1> __x.t = __x.t + 1;2> __x.t;2 昔の値を別の場所に保存していようが、これを関数型とは言わないし、普通の命令型。 kenokab...

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

                          言い訳してるのはおまえ。 関数型ライブラリつかって、あからさまな命令型を書いて、命令型だ!って言われてもな。馬鹿だろ? 方程式の左右の評価時間が違う処理系ならば、岡部氏...

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

                            「kenokabeのGUIプログラムも、イベントが起こるたびに変数の値を繰り返し更新してる。」はスルー もしくは「岡部さんの哲学を理解していない」ですか。まあそうですよね。 >方程式の...

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

                              方程式の左右の評価時間が違う処理系 やっぱり「処理系」という言葉の意味を理解していないことがよくわかったので、ありがとうございました わかってるよ。そんな難しい言葉だ...

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

                          << イベントが起こるたびに変数の値を繰り返し更新してる。 ライブラリの内部的にはな。馬鹿がまだ、ライブラリの実装では破壊的代入だってゴネてるのかな?

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

                          外野だが、関数型って彼の言うとおり思想哲学共有してないと馬の耳に念仏、豚に真珠だからな 岡部さんは豚に真珠見せてる段階

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

                      http://kenokabe-techwriting.blogspot.jp/2016/05/timeengine.html でまた反論されてるけどさ、 「命令型」って繰り返してるけど、どういう意味で使ってる? 「破壊的代入」ってどういう意味で使ってる...

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

              ああ。住井@東北大かな? >(分析哲学ではなく関数型言語の意味で)参照不透明なので、関数型プログラミングのメリットは享受できない、命令型の破壊的代入と等価ですね。 君の...

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

              ああ。住井@東北大かな? >(分析哲学ではなく関数型言語の意味で)参照不透明なので、関数型プログラミングのメリットは享受できない、命令型の破壊的代入と等価ですね。 君の...

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

            関数型って時間はパラメータで与えて結果を得るんじゃないの 刻々と変化する「現在時間」を抽象化したインデックス を変数で持ってたら、命令形じゃないの

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

              >関数型って時間はパラメータで与えて結果を得るんじゃないの 刻々と変化する「現在時間」を抽象化したインデックス を変数で持ってたら、命令型じゃないの 言ってる意味がさっぱ...

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

                初期値で0与えて再帰の引数でカウント回したりとか、普通にあると思うけど

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

                  >初期値で0与えて再帰の引数でカウント回したりとか、普通にあると思うけど は?初期値0で「再帰の引数でカウント回した」ら、ある無限ストリームの「現在時刻」を得るためのイ...

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

                    再帰が無限なら現在時刻のインデックスは引数として無限に得られるよね グローバル変数の一部に代入しておくような手続き的な構造にする必要ないよね 関数のパラメータのみから結果...

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

                      100%不可能な机上の空論は聞き飽きたから、コードで示してみな?w いったいどうやったら「現在時刻」を抽象化したdate.nowやらfoo.t以外で、 その「現在時刻のインデックスは引数...

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

                それをユーザから見て命令型変数への破壊的代入ではなく 参照透明な関数型インターフェースで実現するのが いわゆるモナドや(誰かの独自解釈ではない本来の)FRP。 http://elm-lang.org/ex...

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

                  命令型プログラムをFRPとか言ってる人が決定的に理解していない点は、 ライブラリユーザは現在時刻から状態への写像fを 参照透明な関数なりストリームなりで記述して、 それを処理系...

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

                    >それを処理系が実際のシステム時刻t=0,1,2,...に適用して状態f(0),f(1),f(2),...を得る、という本来のFRPの基本原理 じゃあ、その「本来のFRPの基本原理」なるもので、お絵かきアプリ実装し...

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

                      nonstarter氏をはじめもう1年ぐらい前から何度も示されてるんですが(以下無限ループ)

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

                      ユーザプログラムではなく「処理系が」と明記されているのに また曲解して藁人形論法の詭弁で「論破」ですか。 それとも「処理系」という言葉の意味がわからなかった?

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

                        http://kenokabe-techwriting.blogspot.jp/2016/05/frp_18.html 使ってるライブラリのソースコード=「処理系」なるもの 残りは全部、使ってるライブラリのソースコードからfrequencyやリフレッシュレー...

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

                    「FRPでなく状態渡しでも書ける!」ってのだけみたけど、 どこにFRP,特に、 http://anond.hatelabo.jp/20160517023637 >ライブラリユーザは現在時刻から状態への写像fを 参照透明な関数なりスト...

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

                    「FRPでなく状態渡しでも書ける!」ってのだけみたけど、 どこにFRP,特に、 http://anond.hatelabo.jp/20160517023637 >ライブラリユーザは現在時刻から状態への写像fを 参照透明な関数なりストリ...

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

                    「FRPでなく状態渡しでも書ける!」ってのだけみたけど、 どこにFRP,特に、 http://anond.hatelabo.jp/20160517023637 >ライブラリユーザは現在時刻から状態への写像fを 参照透明な関数なりストリ...

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

                      http://qiita.com/nonstarter/items/2763f5d85f2b8df3b18b main = playBanana disp colour freq gen https://hackage.haskell.org/package/gloss-banana-0.1.0.4/docs/src/Graphics-Gloss-Interface-FRP-ReactiveBanana.html playIO display colour frequency () ...

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

                        また、ボロクソにつっこまれてるよな? http://kenokabe-techwriting.blogspot.jp/2016/05/frp_18.html こいつら、こんな程度の嘘が通用すると思ってるのかね?低レベルコーダが。

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

                        おう、あんたのこの投稿 毛の壁がSOに持って行って泣きついてるで http://stackoverflow.com/questions/37293422/a-true-frp-principle-and-reactivebanana-code

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

                        ・Ken OKABE氏、SOで元の書き込みを捻じ曲げて説明し「間違っていますよね?」と同意を求める ・「SOはdiscussion forumではない」とたしなめられる ・「正しい」という回答がついたら特異な...

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

                    http://anond.hatelabo.jp/20160517023637 >ライブラリユーザは現在時刻から状態への写像fを >参照透明な関数なりストリームなりで記述して、 >それを処理系が実際のシステム時刻t=0,1,2,...に適...

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

                      http://kenokabe-techwriting.blogspot.jp/2016/05/frp_18.html 使ってるライブラリのソースコード=「処理系」なるもの 残りは全部、使ってるライブラリのソースコードからfrequencyやリフレッシュレー...

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

                  >それをユーザから見て命令型変数への破壊的代入ではなく参照透明な関数型インターフェースで実現するのがいわゆるモナドや(誰かの独自解釈ではない本来の)FRP。 はい、戯れ言へ...

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

              言ってる意味がさっぱり意味がわからないんだけど、おまえはどうやって「現在時間」という結果を得る「パラメータ」を用意するつもりなんだ?ww 筋金入りの馬鹿だな、こいつww ...

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

              >再帰が無限なら無限に得られるよね グローバル変数の一部に代入しておくような手続き的な構造にする必要ないよね 関数のパラメータのみから結果を生み出すっていう参照透過な形で...

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

                よくわからんが、プログラミング原則的な意味だとコードの中に現在時刻って変数が入ってくる時点でなんかおかしいとおもうんやが。

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

                  「よくわからん」癖に、いっぱしの批判してるつもりになってんじゃねーぞボンクラというのが一つの指摘なんで。 >プログラミング原則的な意味だとコードの中に現在時刻って変数...

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

                    「現在時刻」って言ってるのはOSの現在時刻そのものなの? アプリの「その時点での状態」のことだと思ってたんだけど。 だって __drawFrom.t = { x: e.clientX, y: e.clientY }; このt...

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

                      「現在時刻」が、カウントから得られると言ったのはこっちじゃねーんだけど、 ただ単に「現在の状態」や「直近の状態」を得るためだけに、カウント回す意味ったなんなの?w 「過去...

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

                        キミが「現在時刻を抽象化したインデックス」と言ってるのは「アプリの現在の状態」のことだと思ってたの。 「現在時刻を抽象化したインデックス」=「アプリの現在の状態」 として...

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

          またすさまじいスパゲッティコードですが、要するにtimeengine.js の set: function set(tval) { の中の seq.valOnT = seq.evalEqs(tval); //self eqs eval で値を破壊的に更新して、それを g...

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

            出たでたw まーた駱駝の「すぱげってぃこーど」 まーた、「FRPライブラリの実装」にイチャモンつける大バカ。 馬鹿に質問だが、OCamlのソースコードって、純粋関数型で実装されてんの...

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

        >問題にしてるのは「アプリの現在の状態」の扱い方でしょ? 「アプリ現在の状態」を得るために、「カウント回してインデックス作る」ってどういう意味?w 「現在の状態」あるい...

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

        この「必死こいて状態渡しで息切れしながらやってみました」感丸出しの 見通しの悪い、スパゲッティ糞コードってスケールすんの?笑い http://okaml.blogspot.jp/2015/07/blog-post.html

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

        http://megalodon.jp/2016-0521-1450-10/okaml.blogspot.jp/ また瞬殺

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

          スケールするFRPアプリ課題:わかりやすい嘘誤魔化しをしないように http://kenokabe-techwriting.blogspot.jp/2016/05/frp_23.html 瞬殺し返されてる

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

          「誰か」がWeb魚拓を削除したようですね。 http://web.archive.org/web/20160523004259/http://okaml.blogspot.jp/

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

          >(追記2:「状態渡し」すら不要だからしなかったんですけど、どうしても状態渡しを使わないと納得しない人がいるようなので使いました。)

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

            新しい課題が難しそうなので、今度はこれでお茶を濁す魂胆かな?

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

              一応、要求通りに新しい課題のOCamlコード書く http://okaml.blogspot.jp/2016/05/done2.html#more  ↓ kenokabe氏に、 OCamlの関数型状態渡し : 74行 JavaScript+React+TimeEngineのFRP : 44行 だと、トドメをささ...

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

                勝負ありましたね。 岡部さんの説明で前から納得している方々はそれなりにいます。

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

                  増田で出会った待望のあのお仲間のことなら あいつプログラミングのプの字も知らないのに「なんとなくあっち側陣営がむかつくから」で参戦してるただのバーサーカーだから、あんた...

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

                    現実に岡部氏を高く評価している特定の人たちも知っていますが、住井某その他の強弁に騙されるような馬鹿なプログラマーばかりではないということです。 関数型プログラミングはま...

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

                      このように何か処理を実行した際に、入力として受けつけたデータ以外の物が変化することを"副作用がある"と表現するようです。 関数型言語はこの副作用のないプログラムを目指し...

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

                        この辺でさ、岡部氏のFRPは、時間軸を持つストリームとしての値っていうのを、特別扱いして外部に持ってるわけじゃん? 「岡部氏のFRP」ではなくて、FRPっていうのはそういうもの...

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

                        グローバルというより、単にスコープの外の値にアクセスしているだけ。 それが関数型じゃない、というのなら、クロージャはどうなるの?知ってたら教えてほしいが。

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

                岡部氏が故意か理解できなくて引用しなかったDOMどころか、 「静的型」という用語も知らないことが発覚。これはすごい。

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

                状態渡しとか関係なくDOMだから長いだけじゃん。っていうか そう書いてあるのに改ざんして引用するkenokabeさすがだな。

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

      自分から言い出した「実用性皆無のトイコード」を1年かけて書き上げて しかもその結果が微塵もFRPでない(どころか関数型ですらない)単なる お気の毒様な命令型のウンコードじゃあ...

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

        >しかもその結果が微塵もFRPでない(どころか関数型ですらない)単なる お気の毒様な命令型のウンコードじゃあねえ…… 「微塵もFRPでない」、ってのと 「命令型のウンコード」、っ...

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

      3月24日のやりとりに対するレスを5月6日に、ブログ(5月6日更新(笑))のUROを張り付ける行う執念深い岡部さんのファン(笑)の方、オッスオッス。 今回の入院は長かったですね。躁・...

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

        まぁ、もう暴れられるサイトがここぐらいしかなくなっちゃったからなぁ。 Qiitaなどで数々のアカウントを迷惑行為で抹消され、ツイッターも永久凍結。 民訴も不可能となれば、もう増...

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

          ここまで愛される岡部健、たいした男だよ・・・・。 Twitterでアカウントを永久凍結されても、今なお人気者 これが実力の違いというやつか

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

            馬鹿がなにか根本的に勘違いしているようだが、ここに湧いてるキチガイは、匿名性を悪用した自分の悪行をブログで公表されて、それを逆恨みして、一生つきまとうと宣言してはばか...

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

              詐欺行為の弁済が済んでないとか、長澤弁護士のこととか、 ごまかしちゃだめですよ。過去は精算せねばなりません 「時効だから問題なし」というのでは、いけませんね

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

                >詐欺行為の弁済が キチガイの妄想は聞き飽きた。 おまえそれで刑事告訴されたんだよな?名誉毀損で

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

                  岡部氏が誰かを刑事告訴したことはホントみたい。 岡部氏自身も刑事告訴された身のようだし、どっちもどっちという話しかも。 増田の連中はあいつらに関わらない方が良いよ

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

                    正確な話題についてはここが詳しいよ 土曜・日曜は岡部健のブログを読み解こう!★17 [無断転載禁止]©2ch.net http://tamae.2ch.net/test/read.cgi/prog/1462751740/

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

                      Qiitaでもこの2chの誹謗中傷スレと連携して、集団で攻撃している、と指摘されてたね。 LambadaのQiitaポストが2chの書き込みと数分違いとか。必死に否定していたけど。Qiitaはそういうの...

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

                名誉毀損で刑事告訴された??誰かと勘違いしてますね。 岡部さんの事でしたら、私は岡部さんじゃないですよ。

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

            でもちょっと可愛そうだ。せめて増田や2ちゃんねるぐらいは好きに書かせてあげようよ どのみち、どんだけnonstarterさんによる誹謗中傷だと叫んでも世の中にそれが認められることはな...

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

              くだらん「ネットの縄張り争いごっこ」してる真性のキチガイが、どうにもならないとおもったらせめてもの負け惜しみか。わかりやすいね。

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

              ノンスタ兄貴の記事がしっかり残って、反発コメントがほぼ全滅(アカウント削除処分)という状態なのは、あざやかだよね。 あれのお陰で学内の周知もらくになったわw 運営バンザイ!

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

                「ノンスタ兄貴」兄貴兄貴って、馬鹿のひとつおぼえか。おまえの「身内」ってえのは、おまえがそいつを「兄貴」とかいってるクズだってことまで周知されてるのか?あ?

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

                あああと、「学内」ってのを「身内」に編集しなおしたのはなんで?www

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

                「ノンスタ兄貴の記事がしっかり残って、反発コメントがほぼ全滅(アカウント削除処分)という状態なのは、あざやかだよね。 あれのお陰で学内の周知もらくになったわw 運営バンザイ!...

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

              まさかアカウント10個も取るとは思わんかったよ おまけに二つのアカウントが会話してるように見せかけたりもしてたし、 ほんとすごい。

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

          >まぁ、もう暴れられるサイトがここぐらいしかなくなっちゃったからなぁ。 キチガイちくわが、ネットの縄張り争いでもしてるつもりなのか?おまえの「ネット活動」は同類の糞のイ...

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

        突如2016-05-14にまた怒涛の連投自作自演乙 オッスオッス 躁鬱病の入院がなんだって?ソースは?ああ、またキチガイの妄想か。

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

      kenokabeさんは故意か無意識か、自分の有利なように論文を曲解していますが、 「面倒なんで全部訳しませんが」と言ってる部分に、氏には都合の悪い真実が書かれていますね。 >Conventio...

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

        nonstarter氏のエントリについても、kenokabe氏は >>(イベントのシグナルから状態のシグナルを構成する際に状態遷移をそうした関数で表現する必要が出てくるので) >???????...

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

          >>(関数プログラミングで書けるということの恩恵はもちろんあるとしても)。 >これもどういう意味なのか全く意味がわかりません。 いわゆる参照透明性が成り立つ(副作用がな...

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

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

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

        TImeEngineは命令型でも破壊的代入でもない http://kenokabe-techwriting.blogspot.jp/2016/05/timeengine.html で まさにtimeengineプログラムに頻出するフィールドtが「状態」、tへの破壊的代入が「変化」で...

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

      http://kenokabe-techwriting.blogspot.com/2016/05/c.html すげー! Cの「プリプロセッサが」純粋関数型、と言ってる(半ばジョーク)記事の また都合の良い部分だけを取り出してる……。まさに牽強付...

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

        一応説明すると、Elliottの元記事は HaskellのIOモナドが「IOアクションを生成する純粋関数型プログラム」なのと同様、 Cのプリプロセッサは「Cプログラムを生成する純粋関数型プログラム...

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

        それはつまり、岡部氏が適用している関数型が俺達の関数型と違うから独自解釈だ、と攻撃している集団にも適用されるわけだが? これもし同じこと岡部氏が書いてたら連中どう反応し...

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

          それこそ国際学会とかで認められてるのがどっちか考えれば明らか。

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

            「国際学会」ねー。 FRPについての合意について?w ソースは?ほら出してみろよw

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

              ヒント:ElliotをはじめFRPの重要な論文の大半が発表されてる学会の委員長

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

                Haskell.org https://wiki.haskell.org/Functional_Reactive_Programming を見ても The basic idea is that a time-varying value can be represented as a function of time: newtype Behavior a = Behavior { at :: Time -> a } もろに「関...

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

                  主なFRPライブラリやICFPとかの論文もざっと見たが「岡部式」は皆無

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

                    そういうするだけ無駄な反論もどきはおまえの知能の低さを晒すだけだぞw まずざっと見たというのの根拠が皆無 しかも無かったからなんだというのか それは否定材料にはならない と...

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

                    岡部氏が部分的に引用しているFRANの論文 http://conal.net/papers/icfp97/ からして Time -> a型の関数が基本で、岡部式FRPのような代入は影も形もないですね。 すでに出た https://wiki.haskell.org/Functi...

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

                      頭悪いよな。 あのね、FRPについて、何かが認められている、何かの合意があるみたいなことを言ってるのだけど、 岡部氏が出したCornelEliottのいうFRPは、ことごとく他のFRPと自分の考え...

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

                        合意の有無なんてどうでもいいわ その論だけで自立するものを展開させろよw

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

                        FRPも関数型言語も、誰も合意があるなんて言ってない。岡部氏の藁人形論法。 藁人形に加えて「合意がないから僕の独自理論は正しい!」という詭弁。

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

                      Haskellの""real world""についての等式が「代入」ならば、おまえにとっての「代入」はそれで良いのだろう。 別の言い方をすると、 岡部氏の設計した、FRPはHaskellの""real world""の代入と概念的...

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

                FRPについての合意について?w ソースは?ほら出してみろよw ↓ ヒント:ElliotをはじめFRPの重要な論文の大半が発表されてる学会の委員長 バカ発見。 FRPについての合意のソー...

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

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