  |
http://kenokabe-techwriting.blogspot.com/2016/05/c.html すげー！ Cの「プリプロセッサが」純粋関数型、と言ってる（半ばジョーク）記事の また都合の良い部分だけを取り出してる……。まさに牽強付...
それはつまり、岡部氏が適用している関数型が俺達の関数型と違うから独自解釈だ、と攻撃している集団にも適用されるわけだが？ これもし同じこと岡部氏が書いてたら連中どう反応し...
それこそ国際学会とかで認められてるのがどっちか考えれば明らか。
「国際学会」ねー。 FRPについての合意について？ｗ ソースは？ほら出してみろよｗ
ヒント：ElliotをはじめFRPの重要な論文の大半が発表されてる学会の委員長
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 } もろに「関...
主なFRPライブラリやICFPとかの論文もざっと見たが「岡部式」は皆無
そういうするだけ無駄な反論もどきはおまえの知能の低さを晒すだけだぞｗ まずざっと見たというのの根拠が皆無 しかも無かったからなんだというのか それは否定材料にはならない と...
岡部氏が部分的に引用しているFRANの論文 http://conal.net/papers/icfp97/ からして Time -> a型の関数が基本で、岡部式FRPのような代入は影も形もないですね。 すでに出た https://wiki.haskell.org/Functi...
頭悪いよな。 あのね、FRPについて、何かが認められている、何かの合意があるみたいなことを言ってるのだけど、 岡部氏が出したCornelEliottのいうFRPは、ことごとく他のFRPと自分の考え...
合意の有無なんてどうでもいいわ その論だけで自立するものを展開させろよｗ
FRPも関数型言語も、誰も合意があるなんて言ってない。岡部氏の藁人形論法。 藁人形に加えて「合意がないから僕の独自理論は正しい！」という詭弁。
Haskellの""real world""についての等式が「代入」ならば、おまえにとっての「代入」はそれで良いのだろう。 別の言い方をすると、 岡部氏の設計した、FRPはHaskellの""real world""の代入と概念的...
FRPについての合意について？ｗ ソースは？ほら出してみろよｗ ↓ ヒント：ElliotをはじめFRPの重要な論文の大半が発表されてる学会の委員長 バカ発見。 FRPについての合意のソー...
一応説明すると、Elliottの元記事は HaskellのIOモナドが「IOアクションを生成する純粋関数型プログラム」なのと同様、 Cのプリプロセッサは「Cプログラムを生成する純粋関数型プログラム...
5
