>>(関数プログラミングで書けるということの恩恵はもちろんあるとしても)。
いわゆる参照透明性が成り立つ(副作用がない)から式やプログラムの変形が容易とか、
関数型プログラミングの基本的メリットですが、理解できないのは相手が間違っている
nonstarter氏のエントリについても、kenokabe氏は
>>(イベントのシグナルから状態のシグナルを構成する際に状態遷移をそうした関数で表現する必要が出てくるので)
>まあ、この人物がFRPが何たるか理解していないのは、ほぼ確実でしょう。
などと言っていますが、「イベントのシグナル」(各時間ごとの入力の列)から「状態のシグナル」(各時間ごとの出力の列)を「構成」する、
平たく言えば前者から後者への関数を定義しようとすると、例えば前者をe1,e2,e3,...、後者をs1,s2,s3,...として、
多くの場合はs1とe1からs2を求め、s2とe2からs3を求め、s3とe3からs4を求め…となるので
s4 = f(s3,e3)
...
なるfを考えれば、そのfがまさに状態渡しを行う遷移関数そのものになります。
このことはnonstarter氏のエントリでもHaskellのFRPライブラリで書かれたGUIプログラムの実例を用いて具体的に説明されているのですが、
kenokabeさんは故意か無意識か、自分の有利なように論文を曲解していますが、
「面倒なんで全部訳しませんが」と言ってる部分に、氏には都合の悪い真実が書かれていますね。
>Conventional imperative programming captures these dynamic values only indirectly, through state and mutations.
今回通達された指針では、トイレ使用をめぐる問題だけでなく、プライバシー権や教育記録、性別を分けて行われる体育実技にも言及。
体育実技くらいなら問題ないんだろうけど、心は女性だけと体はまだ男性の子が女性の競技会とかに参加するってのはどうなんだろう。
http://anond.hatelabo.jp/20160517023637
>それを処理系が実際のシステム時刻t=0,1,2,...に適用して
>状態f(0),f(1),f(2),...を得る
はっきりと「処理系が」って書いてあるのに、K氏は本気で
ユーザプログラムにf(0),f(1),f(2),...みたいなコードがないのが
「反論」になると思ったのだろうか……
これのどこをどう読んだら「状態渡しはスケールしない」になるんだ……
ひょっとして状態渡しをモナド化したのがStateとか、基本的なことを全く理解していない?
http://qiita.com/nonstarter/items/2763f5d85f2b8df3b18b#comment-d9a8cdf2efc67044c158
「OCaml の全ての GUI ライブラリは状態は副作用を使うことを前提にメインループが設計されているからです。これを乗り越えるとすると @Lambada さんのようにメインループ自体を自分で書く事になり、一般的にはスケールしません。Haskell の GUI ライブラリでは普通は状態は State なり IO を含む GUI モナドを使って書く事になりますが、そのような GUI ライブラリを OCaml 上で作れば同じような事が出来るはずです。OCaml でそこまで純粋関数型のコードを書く事に実用的意味があるとは思えませんが。」
「状態渡し派」なんてレッテル張りも典型的な詭弁(藁人形論法)。
誰も状態渡しで何でも簡単に書けるなんて言ってないし、状態渡しで書くべきとも言ってない。
「お絵かきアプリ」には自称FRPが絶対に必要、という明らかに誤った主張に対する反例として
nonstarter他が「状態渡し」を挙げただけ。
魔女狩りからの神の裁きと称した拷問。まるで正義を執行している様で「これは救いなのです!」とか言いながら、ただただ純粋に鬼畜行為を行う。
最中、あろうことかモズグス様はあまりの快感に無垢な少女に神を見てしまい、信仰に矛盾が生じ使徒化してしまう。
暴走する性欲。剛力招来!オドに飲み込まれまいと耐えるが半分霊体化してるシールケたん。超力招来!そして、ゴッド千手カノンでの触手フィニッシュ。
あれで笑えるか
世の中に美味しい思いをしている人間がどうしても許せなくて、何でこんなに心がかき乱されているんだろう、と思っていたんだけど、最近分かった。
人間、自ら負けを認める敗北主義者になったら終わりだと思ってたけど、これほどメンタルがやられるくらいなら、さっさと負けを認めて、その上で自分の手が届く範囲で試行錯誤した方がマシって気がしてきた。
そりゃどんな選択をしたって批判するやつはいるだろうし、心の中にある批判的な自分の自己批判に心が折れそうになることもあるけど、結局のところ他人が上手くやってるのを羨んで、その裏返しで悪口言っても詮なきことってことなんだよね。
何というか、もっと自己満足を優先するというか、かえって自己中心的な価値観で生きていった方が人生ラクだろうし、もっと楽しめる気がする。
あ
望むのは勝手だけどさ、そういう経歴隠して結婚した場合、バレたときに離婚事由として認められるってこと知らんのかね。
そういう女の子に限って、地元の友人とかにセックスワークしてること教えてしまう。