2016-05-16

http://anond.hatelabo.jp/20160324231439

>関数型って時間パラメータで与えて結果を得るんじゃないの

刻々と変化する「現在時間」を抽象化したインデックス

変数で持ってたら、命令型じゃないの

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

筋金入りの馬鹿だな、こいつww

ほら、「現在時間」を抽象化したインデックス以外に、「現在時間」を得るためのパラメータを示してみろよ?ぼんくら

トラックバック - http://anond.hatelabo.jp/20160516154138
  • http://anond.hatelabo.jp/20160226093209

    ところで岡部はいつになったら彼の言う「お絵かきロジック」を破壊的代入を用いない関数型のJavaScriptで書いてみせるんだろうか。   そんなトイプログラムのコードも示せないとなる...

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

      http://timeengine.github.io 自称関数型粘着コミュニティが、Ocamlでガッタガタのトイプログラムしか出せなかった一方で、お絵かきロジック以上のアニメーションのデモがあるけど、毎度都合...

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

        目が潰れそうなスパゲティコードだが、これでは「お絵かきロジック」のようなトイコードすら関数型で書けはしないということは岡部健自身が一番よくわかっているだろう。お前さん...

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

          ああQiitaに出没してるスパゲッティコードと気炎吐くだけの駱駝さんね・・・ timeengineのソースコードはそのサイトにあるように200行以下にまとめられている簡潔なコードだけど、どこが...

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

            > 「お絵かきロジック」にするためには、マウスイベントとTimeengineそのまま接続したら良い、 > 超簡単のはライブラリの特性として見りゃわかるが、それすら理解できないやつが何...

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

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

            • 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

                    またすさまじいスパゲッティコードですが、要するに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/20160520120817

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

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

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

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

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

                    • 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/20160520142159

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

                  • 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

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

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

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

                      • 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/20160516053746

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

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

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

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

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

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

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

                • 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/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/20160516125925

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

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

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

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

                        ノンスタ兄貴の記事がしっかり残って、反発コメントがほぼ全滅(アカウント削除処分)という状態なのは、あざやかだよね。 あれのお陰で学内の周知もらくになったわ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/20160302090242

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

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

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

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

        お絵かきだとかなんだとかは良く分からんけど、お絵かきプログラミングに現在時刻を計算する必要は無いだろ。 ストロークのIN/Move/Outで定期的にポーリングしてその際に(ペン側から...

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

          「現在時刻」を、得るためのインデックスが、カウント・ゼロからの再起で得られるとかトチ狂った妄想を吐いてたのは、こっちじゃないんだぜ?w 糞の役にもたたねー「机上の空論」...

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

      >初期値で0与えて再帰の引数でカウント回したりとか、普通にあると思うけど >プログラミング原則的な意味だとコードの中に現在時刻って変数が入ってくる時点でなんかおかしいと...

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

        なるほど、ストロークを発生させたタイミングで報告するはずの「タイムスタンプ」ってどっから取って来るんだよ、って話か。まあそりゃOSの中のどっかでカウントしてあるものを抽象...

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

          正確には、 「関数型って時間はパラメータで与えて結果を得るんじゃないの」とか意味不明なこといってる馬鹿がいて、 hoge.t あるいは、date.now やらで指定してたインデックスというの...

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

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

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

            アプリの現在の状態、を問題にするならば、 例えば「ただカウントするだけのアプリ」なら、カウントそのものが状態だし、それ以外ならカウントの代わりに何らかの状態を表現したオ...

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

              >それ以外ならカウントの代わりに何らかの状態を表現したオブジェクトとかにすればいいでしょ? だかさあw、その「何らかの状態を表現したオブジェクト」ってのが、すなわち Date....

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

                だからさあw、その「何らかの状態を表現したオブジェクト」ってのが、すなわち Date.now や __foo.tだ って話なんだが、わかってきたかい? わかってきたかい?というか、最初から...

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

                  いや、グローバルで持たなくてもプライベートで「最終更新時間」としては持つ。 関数型なんちゃらはそれをも否定してるんじゃなかったっけ? (内部変数を持つのはダメとかそんな理...

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

                    言語によるけど なるべく使わないほうがよい、引数と返り値の関係で表現できるならそのほうがいい、ほとんどはそれで書ける 変数(状態)が必要なら特殊な書き方を使え ぐらいでしょ

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

                    「現在時刻のインデックスは引数として」与える =「プライベートで「最終更新時間」としては持つ。」 てことか?おまえ同一人物?住井と別人? それはとにかく、ほんで? 過去の...

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

                      知らん。お絵かきアプリ前提の話だろ? お絵かきアプリであれば、ペンのストロークに対してタイムスタンプを負荷する必要があるだろ。ペンが紙に触れたときにOnPaintBegin()とかを呼ん...

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

                        おまえが実装したい書いてもね〜コードの実装の妄想語るのは自由だが、 現在あるいは直近の状態をインデックス、あるいは外部から取得した時刻、あるいはカウンターによって表現す...

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

                  まず、原理原則として「時間」ってのは、グローバルだ。これが一点。 次に、Date.nowはともかく、__hoge.tがグローバルである必要など何もないし、 なんでそう思い込んでるの?

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

                  まず、原理原則として「時間」ってのは、グローバルだ。これが一点。 次に、Date.nowはともかく、__hoge.tがグローバルである必要など何もないし、 なんでそう思い込んでるの?

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

                    __hoge.tがグローバルである必要など何もないし、 うん、そうだよね 問題になってるのは岡部氏のプログラムは状態をグローバル変数にしてて(別にそれ自体を問題にするつもりは無い...

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

                      キャンバスに相当する部分のデータを関数型にするって相当思い切った発想だな。 レイトレーシングでもしたいんだろうか。

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

                      お絵かきアプリのコードがそうだったから? あんな単純な、マウス座標を扱うときに、マウス座標の状態変数(FRPのストリーム)の階層がグローバルなのは当たり前だけど、 なんか変な...

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

                      >岡部氏のコードは時間軸を抽象化したファーストクラスになってないでしょ? なってるけど?それしかやってないライブラリだし。 つーか、おまえの悪質なイチャモンにはうんざりし...

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

                  まず、原理原則として「時間」ってのは、グローバルだ。これが一点。 次に、Date.nowはともかく、__hoge.tがグローバルである必要など何もないし、 なんでそう思い込んでるの? お絵かき...

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

                  おまえが実装したい書いてもね〜コードの実装の妄想語るのは自由だが、 現在あるいは直近の状態をインデックス、あるいは外部から取得した時刻、あるいはカウンターによって表現す...

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

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

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

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