2016-05-23

http://anond.hatelabo.jp/20160520093920

仮にCが純粋関数型言語で、岡部FRPのx.t=x.t+1;も関数型なんだったら、C言語のx=x+1;も関数型だよね。

岡部氏の本でさんざん「x=x+1;は論理破綻」って批判してたのは何だったんだろう。

というか普通のCやJavaScript関数型なんだったら、岡部関数型の存在意義は……

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

    • 仮にCが純粋関数型言語で、岡部式FRPのx.t=x.t+1;も関数型なんだったら、C言語のx=x+1;も関数型だよね。 岡部氏の本でさんざん「x=x+1;は論理破綻」って批判してたのは何だったんだろう。 と...

      • ブログでおまえみたいな馬鹿むけに丁寧に説明されてるじゃん http://kenokabe-techwriting.blogspot.jp/2016/05/timeengine-xt-xt-1.html

    • この人なんでいつも自分のブログを他人が書いたかのように紹介してるの?

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

    • いや、そのStackoverflowでもマヌケな投稿やらかしてたんだよ奴はw

    • 岡部氏は当該部分を引用していませんが、元記事をちゃんと読むと Cの「プリプロセッサが」Cプログラムを生成する純粋関数型言語、 という話ですね。

      • 住井某が岡部氏が同じことを言ってるのを聞けば「私の知ってる純粋関数型とは違います」とかしれっといいそうだなw 純粋関数型なんて今でもずっと議論されてて合意なんてないよ。

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

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