2016-05-28

http://anond.hatelabo.jp/20160523005052

FRP関数型言語も、誰も合意があるなんて言ってない。岡部氏の藁人形論法

藁人形に加えて「合意がないから僕の独自理論は正しい!」という詭弁

トラックバック - https://anond.hatelabo.jp/20160528080948
  • 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

          岡部氏が部分的に引用している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

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

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

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

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

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

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

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

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

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

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

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