遅延評価いうなキャンペーンとかどうか - ぐるぐる～

遅延評価については以前も書いてるんですが、そのときは結論なしでした。 が、ちょっと考えるところがあって、言語を Java に絞って自分の考えを明確にしておきます。 結論から書きましょう。 「Java(とC#) で遅延評価って書いてあるものは遅延評価ではない」です。 Java における「評価」とは まず一番最初に、Java で「評価」って言うと、どういうことを指すのかを確認しておきます。 言語仕様の該当部分を要約すると、こんな感じでしょうか。 プログラム中の式を評価すると、結果は 変数 値 無し のうちのどれかとなる。 評価した結果が値になる、というのはいいでしょう。それ以外の 2 つを軽く説明します。 評価の結果が「変数」とは？ コメント欄で指摘が入っています。 代入の結果は変数ではありません(15.26)。 結果が変数となるのは、ローカル変数、現在のオブジェクトやクラスの変数、フィールド

[bleis-tift]

> id:terazzo 引数に渡す部分の評価は式木かFuncかによりません。> id:yogasa 「いわゆる」とかにしたくないがためのエントリですので・・・> id:hiratara thunk、もしくはpromiseでどうでしょうか？

[yogasa]

これからは、いわゆる遅延評価と呼ぼう

[gfx]

あんまり納得感ないなー。遅延評価はパラダイムであって特定プログラミング言語の仕様書に書いてあることとは独立したものだと思う。

[comutt]

Java には遅延リストはあっても遅延評価は（言語仕様上）ありえない。なるほど。

[Jxck]

"非正格評価=非正格リストだと誤解している節がある"

[r_irie]

面白かった。良い記事

[fumiexcel]

この記事だけでファッション関数型の大半を蹴散らせる

[vvakame]

遅延評価と言ってた勢の俺です

[t_a_o]

遅延評価, 遅延リスト

[gabuchan]

やさしいマサカリ

[megascus]

各方面の人からの意見を伺いたい。

[gomi_ningen]

“重要なのは、Java においては式のみが評価の対象となる、ということです。 文は評価(evaluation)ではなく、実行(execution)と呼ぶようですね。”

[knjname]

delayed evaluationは遅滞評価とかでいいんでは

[masaru_b_cl]

「評価」の言語仕様上での定義からすると、JavaとかC#とかは「遅延評価」じゃないんじゃね？というマサカリ

[kamatama_41]

『そう、stream2 はこの時点ではまだ、stream をフィルタしておらず、「フィルタすることを予約した」とでも言うべき状態なのです。』

[hiratara]

実はつい最近全く同じこと考えてたんだけど、じゃあ正格な評価でラムダ式に包んで評価を先送りする手法は一体なんなのかって自分の中ではモヤッとしたまんまだなあ。

[f99aq]

Effective C++で遅延評価という単語を見てから余裕で混同していた模様

[nagakura_eil]

いいね！

[mellow-mikan]

頭の中の霧が晴れた

[coolstyle]

正月早々面白い話を書いてる。遅延リストと遅延評価の違い、lazyとdelayedの違い

[momontyo]

なるほど、似たこと計算をしてるつもりでも、やってることはだいぶ違うんだなあ。非正格評価はまだ思考が慣れない。

[k_wizard]

ちぇええええん

[udzura]

"言語仕様がアレでソレ"について詳しい話を聞きたい / あと、いまはenumerable_lzじゃなくてEnumerator::Lazyを取り上げるべきでは

[terazzo]

式木をデータとして扱う場合どう考えれば良いんだろう。