  |
またすさまじいスパゲッティコードですが、要するにtimeengine.js の set: function set(tval) { の中の seq.valOnT = seq.evalEqs(tval); //self eqs eval で値を破壊的に更新して、それを g...
すでに否定された「反論」を何度も繰り返して 無限ループでうやむやにしようとしているようですが、 誤りは何回繰り返しても誤りです。 http://anond.hatelabo.jp/20160515231526 http://anond.hatelabo...
無限ループなのはおまえだろ。 もう一回だけまとめると、__x.t=__x.t+1のような単純な例はもちろん、 その「おまえが書いた命令型コード」について、 処理系が、左辺を先に評価して、...
いくら哲学ガーとか現在時刻ガーとか喚こうが、関数型だったらこんなことは起きません。 ユーザから見て命令型の代入そのものですね。 __x = __();》Array [ ]__x.t = 1;》1f = function(){return __x...
うん、だから、「おまえ」が、 __x.t = 1 と定義した時間 と __x.t = 2 と定義した時間 が異なるじゃん。 __xは、時間のストリームだ、って定義なのに、だからおまえは馬鹿なんだよ。自覚...
同じ一つの変数の値が「処理系が評価する時刻」によって変わるのであれば、 それは命令型プログラムですね。
「変数」を「時間上のストリームの現在時刻での値」とか言い換えても同じことです。念のため。
「変数」を「時間上のストリームの現在時刻での値」とか言い換えても同じことです。念のため。 命令型ならば、そもそもそういう言い換え＝パラダイムの変化は生じない。 そもそ...
違うわアホ 同じ一つの変数の値が「処理系が評価する時刻」によって変わるのであれば、 それは命令型プログラムですね。 同じ一つの変数.ではなく定数というのは、 __x という、...
つまり作者の脳の中では関数型ということですね。よくわかりました。ありがとうございます。
大丈夫、 つまり作者の脳の中では関数型ということですね。よくわかりました。ありがとうございます。 おまえみたいにコードは書けるが、想像力が致命的で柔軟性が皆無なやつは...
関数型に「導入した」なら誰も反対しないよ
意味不明。 馬鹿は黙ってろ。FRPのことについて語るな。
状態渡しはまやかしだ、とか時間を軸にしたストリームを外部に持ったFRPこそが正しく実用的な関数型、みたいに言うから反対されるって言ってんの。
誰がいつ「まやかしだ」なんて言ってる？ 「状態渡し」に限度がある、って認めたのは、nonstarter自身であり、その他、限界があるのに何でもできる、みたいな嘘をまきちらしているこ...
俺は書いた本人じゃないから違うかもしれないけど「限度」ってのはプログラマの能力的に、ってことじゃないの？ 必要な情報は引数で全部渡して、中で書き換える(副作用)じゃなくて...
さんざん言われてることだが「状態渡し」について「原理」のことじゃなくて、実用的なアプリの実装の証拠が求められている。 岡部氏はすでに、FRPライブラリで実装してみせていて、...
お絵かきできてたじゃん…
お絵かき以上のレベルになったら、いろいろ言い訳しはじめて逃げてるのが今。 もうバレたんじゃない？書けるのならお前が書いたら？ToDoのアレ。状態渡しで。
普通に読んだら「FRPも状態渡しと同様の限界がある」と言ってる文章だし、 状態渡しで何でもできるなんて誰も言ってないのに、相変わらず凄まじい捻じ曲げだな。 http://qiita.com/nonstarte...
あのさ、それ もちろん、OCamlであれHaskellであれ破壊的代入の類の副作用を使用せずに書くのもなんら困難ではありません。 とか、言い切って、別の人間からスケールしない、とつっ...
「OCamlでは」普通に副作用を使うライブラリしかないからスケールしない、って書いてあるのに なんで勝手に一般化して、Haskellとかでもスケールしないことにしたいの？ 本当に牽強付...
http://anond.hatelabo.jp/20160520153948 「OCamlでは」普通に副作用を使うライブラリしかないからスケールしない、って書いてあるのに なんで勝手に一般化して、Haskellとかでもスケールしない...
もちろん、OCamlであれHaskellであれ破壊的代入の類の副作用を使用せずに書くのもなんら困難ではありません。 nonstarterはこの発言の時点では、Ocamlの関数型の状態渡しに限界があること...
http://kenokabe-techwriting.blogspot.jp/2016/05/timeengine.html nonstarterの言うことがハッタリじゃなければ、さっさとToDoListの課題をOcamlの関数型の状態渡しをもって実装してみせればいいだけだが、言...
http://kenokabe-techwriting.blogspot.jp/2016/05/timeengine.html nonstarterの言うことがハッタリじゃなければ、さっさとToDoListの課題をOcamlの関数型の状態渡しをもって実装してみせればいいだけだが、言...
岡部式FRPが絶対に必要、と断言しておいて実際にすぐ実装されてしまったら 今度は「お絵かきアプリは簡単すぎたからこれをやれ」か。本当に勝手だな。
今度は「お絵かきアプリは簡単すぎたからこれをやれ」か。本当に勝手だな。 そんな問題じゃないだろうな。 最近のブログにも書かれているのだが、 「お絵かきアプリ」は、批判...
その新たなお題っていつ出たの？
最近だけど？ さっさと書いてみせたら？ここで言い訳してるから、白旗あげてるっぽいけど。 書けるならとっくに書けるだろ。簡単な例題なんだし。
あなたの脳の中のFRPではそうなんですね。了解です。
じゃあなくて、おまえの限定的な脳では、FRPなる世界は存在していない。 おまえの脳はFRPなんて知らないのに、知っているように発言していることが害悪。
ちなみに私の知っているFRPはHaskellの各種FRPライブラリとか （つい最近変わったようですが）Elm等の各種言語と同じで、 様々な論文やコードとも一致しています（kenokabe氏の解釈以外）。...
おまえ、FRPなんて知らないだろ？ だから知ってるように語るなよ。アホが。
私も専門家ではありませんがkenokabeさんよりはFRPもよく知っていると思いますし、 kenokabeさんのいうFRPが普通の世界でいうFRPとは全く違うこと、そして kenokabeさんが決してそれを認めよう...
私も専門家ではありませんがkenokabeさんよりはFRPもよく知っていると思いますし、 kenokabeさんのいうFRPが普通の世界でいうFRPとは全く違うこと、そして kenokabeさんが決してそれを認め...
再束縛OKの関数型言語はあるよ ＞ (let [t 1, t (+ t 1)] t)2 http://www.tryclj.com/ Elixirもそうみたい t = {x: 1, y: 2} のあとで t.x = 10 t.y = 15 とか直接書き換えられたら問題かな
元の例は再束縛じゃなくて、関数クロージャの中の変数の値が変わってる
「別の場所」じゃなくて、 各分布値を包括するストリームな。 「別の場所」とか言ってる時点で何も理解できてない。
「現在の値」であるt（実体はvalOnT）とは別の場所ですね。
また無限ループか。 __x.t は __x の集合要素、 別の場所？なにほざいんての？語るなよ、FRPを。
tの実体であるvalOnTと、過去の値を実際に保存しているseqは 同じオブジェクトの中にはありますが別のフィールド変数ですよね。
tの実体であるvalOnTと、過去の値を実際に保存しているseqは 同じオブジェクトの中にはありますが別のフィールド変数ですよね。 「実体」？実体ってなに？内部実装の話？まだ言って...
出たでたw まーた駱駝の「すぱげってぃこーど」 まーた、「FRPライブラリの実装」にイチャモンつける大バカ。 馬鹿に質問だが、OCamlのソースコードって、純粋関数型で実装されてんの...
最初から http://anond.hatelabo.jp/20160515231526 で指摘されているとおり、セッターでvalOnTに破壊的代入して ゲッターでvalOnTの値を返してるので、内部実装だけでなく ユーザから見ても破壊的代...
過去の値が全部残ってるからイミュータブルって言うんじゃないの Datomicみたいに
すでに出てるけどユーザから見て ＞ const __x = __();undefined＞ __x.t = 1;1＞ __x.t = __x.t + 1;2＞ __x.t;2 昔の値を別の場所に保存していようが、これを関数型とは言わないし、普通の命令型。 kenokab...
言い訳してるのはおまえ。 関数型ライブラリつかって、あからさまな命令型を書いて、命令型だ！って言われてもな。馬鹿だろ？ 方程式の左右の評価時間が違う処理系ならば、岡部氏...
「kenokabeのGUIプログラムも、イベントが起こるたびに変数の値を繰り返し更新してる。」はスルー もしくは「岡部さんの哲学を理解していない」ですか。まあそうですよね。 ＞方程式の...
方程式の左右の評価時間が違う処理系 やっぱり「処理系」という言葉の意味を理解していないことがよくわかったので、ありがとうございました わかってるよ。そんな難しい言葉だ...
豚に真珠ですよ。 岡部氏の説明で納得している人はそれなりに居ます。
<< イベントが起こるたびに変数の値を繰り返し更新してる。 ライブラリの内部的にはな。馬鹿がまだ、ライブラリの実装では破壊的代入だってゴネてるのかな？
外野だが、関数型って彼の言うとおり思想哲学共有してないと馬の耳に念仏、豚に真珠だからな 岡部さんは豚に真珠見せてる段階
http://kenokabe-techwriting.blogspot.jp/2016/05/timeengine.html でまた反論されてるけどさ、 「命令型」って繰り返してるけど、どういう意味で使ってる？ 「破壊的代入」ってどういう意味で使ってる...
15
