そのJavaScriptの関数は本当に純粋関数？ | POSTD

(2016/12/11、いただいたフィードバックをもとに翻訳を修正いたしました。) JavaScriptにおいて”純粋関数”とはどういう意味でしょうか？ 一般的なプログラムの用語では、純粋性というのは”参照透過性”として知られています。カッコよく言うと、「 式や関数の呼び出しをその結果と置き換えたとしても、プログラムの振る舞いが決して変わらない 」こと、また別の言い方をするなら、「 同じ入力値を渡すたび、決まって同じ出力値が得られる 」ということです。 これなら直感的に理解できそうに聞こえますし、 x => x * 10 などの関数は純粋に見えます。これに数字の 3 を引数として渡したら必ず、出力値として 30 が得られますからね。では、ある関数が純粋で別の関数が純粋でないと、どうしたら分かるのでしょう？ コードを読むだけで十分でしょうか？ 一般的にどう思われているかを見てみましょう。昨日

[camlspotter]

「JavaScriptにおいて"純粋関数"とはどういう意味」か、きちんと定義すればいいのに、する事もなく、あーでもないこーでもないと与太を流している

[Rewish]

一番純粋なのは筆者でした

[osnq]

可燃性高そうな内容でﾜｸﾜｸする

[UDONCHAN]

こういうのほんま好き

[masatomo-m]

詐欺の手口みたいな論法だなあ。そもそも純粋関数であることに何の価値があるのかに言及せずに言いたい放題言う感じ。概念の話と言語仕様の話を混ぜて無駄に複雑にしていて何を言いたいのかが分からなくなってる

[ikngtty]

おもしろい

[tomoima525]

ここまで純粋かどうかにこだわるともはや哲学。型ある方が楽な気がする。

[non_117]

“André Staltz” cyclejsの人じゃん

[mojimojikun]

めんどくせぇ言語だなぁ(小並感

[sky-y]

禅問答ではあるが、とにかくJavaScriptでfunctionは数学的な意味の「関数」でない場合がほとんどで、参照透明性を保証する仕組みもないと自分は思った。Haskell並にガチガチに縛らないとpureとは言えないなあと。

[lazex]

Array.isArray.toString=_=>"function isArray() { [native code] }" こうすればisArrayも書き換えられるしキリがない気がするなー

[mandel59]

「式や関数の呼び出しをその結果と置き換えたとしても、プログラムの振る舞いが決して変わらない」と「同じ入力値を渡すたび、決まって同じ出力値が得られる」は同値な命題じゃないでしょ

[n314]

isArray書き換えるのアリなら、Haskellだって unsafePerformIO (randomRIO (0, 10) :: IO Int) もアリだよね。

[mather314]

functionの定義（関数ではない）が参照透過であるか担保するような言語仕様では無い、ということか。

[hylom]

例としてrandomを使っているから分かりにいけど、結局valueOfを書き換えることで外部の関数を実行でき、副作用が発生する可能性があるから純粋関数ではないという話。まあJSで100％副作用の無いコードを書くのは無理ですよ

[SWIMATH2]

型システムのないjsでは数学関数としての純粋性（引数が同じならいつでも同じ値を返す）は保証できないので、想定ケースの中での純粋性の議論しか出来ないという話？どこに向かっているのか不明確で分かりづらかった

[k--kato]

純粋関数ではないだと…

[chinpokomon_master]

くだらないなぁ

[gon1987616]

ほうほう

[coppieee]

前提条件を引数は数値の配列(かつ不変)と定義してあげればいいだけな気がする。動的型付けなんだから型チェックまがいのことやろうとしたらそりゃ複雑になるでしょ。

[nanakoso]

JavaScriptやばい

[raimon49]

TypesafeやImmutable文脈の話。

[deep_one]

型の定義のない言語は関数定義を見ても何が書いてあるのか断言できんな。

[gabill]

ウィンストン・スミス(洗脳前)「自由とは2足す2は4だと言える自由だ。それが認められるなら他のこともすべて認められる」→ウィンストン・スミス(洗脳後)「2足す2は5である、もしくは3にも、同時に4と5にもなりうる」

[wordi]

純粋さはみんなの心の中に

[masayoshinym]

まったく言ってることが理解できない。

[xenon_abe]

JavaScriptの習得は「想定外の何か」へのあきらめから始まる

[kmizushima]

valueOfのようなトリッキーなことしなくても、sumは「必ず純粋ではない」。arrayが同じものを指していても、sumの2回以上の呼び出しの間でarrayが「同じ」であっても「中身まで同じ」とは限らないので。

[pipehead]

http://staltz.com/is-your-javascript-function-actually-pure.html の和訳