末尾再帰最適化/末尾呼び出し最適化 on JVM

shelarcy（しぇらーしぃ） @shelarcy

@mr_konn 一応 Hugs もあります。 http://t.co/Uzw1UtZc http://t.co/a4lg8rId

Masaki Hara @qnighy

わぁいJVM上に関数型言語作ると末尾再帰が あかりJVM上に関数型言語作ると末尾再帰が大好き

SKS rep @repeatedly

@hareno_t あれは良い本だよ

集会の自由 @oskimura

そういえばScalaの末尾再帰最適化ってどうなってるの？

ぼろんじ @boronology

えーっと。recurはconstant-space再帰ループを、再束縛と最も近い閉じられたループや関数フレームにジャンプすることで実行します？

ぼろんじ @boronology

constant-spaceって何でしょう

山本和彦 @kazu_yamamoto

末尾再帰という言葉にも共通理解はない？ まぁ、一つの関数の末端で自分自身を呼ぶことだけだと、誤解しそうではあるよね。

Jun Furuse 🐫🌴 @camloeba

てにをは がおかしいうえに、文字数オーバーだし、なにより にかわっぽい。ダメダー！

SKS rep @repeatedly

@hareno_t 読みたかったらかせるよ．TKBだと近くに持ってそうな人たくさんいそうだけど

SKS rep @repeatedly

@methane 6で入るはずだった…

Masaki Hara @qnighy

Scalaの末尾再帰最適化は、特定の形をしたメソッドに対してのみ行われると聞いたことがあるが、要出典

ぼろんじ @boronology

「末尾再帰最適化ほど一般的ではありませんが、これは同様のエレガントな構造を提供し……」？

SKS rep @repeatedly

@hiromu1996 早く調べて教えて下さい

ぼろんじ @boronology

recurについてはこのページの末尾にあるけど…… http://t.co/KrhtgSoR

ぼろんじ @boronology

@repeatedly すみません調べたけど力不足でわかりませんでした http://t.co/KrhtgSoR

SKS rep @repeatedly

@__boronium そのまま．固定スペース．領域を一定量しか消費しないとかそんな感じ

山本和彦 @kazu_yamamoto

.@ichimal Lisp を学べば悟れる何かは、Lisp の本質ではなくて、プログラミングに関する何かではないでしょうか。そう解釈するのが自然かなぁと思います。

Jun Furuse 🐫🌴 @camloeba

ネタでしたけど結構 JVM と TCO の話は皆に理解されているみたい！

SKS rep @repeatedly

Clojureのrecurはトランポリンみたいな感じんなのかな > jumping to the nearest enclosing loop or function frame

ぼろんじ @boronology

@repeatedly ありがとうございます。ということはこの場合は「そのたびにスタックを確保して食いつぶさないような再帰ループ」って感じの意味でしょうか

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください) @esumii

野暮きわまりない蛇足。（相互再帰ではなく単独再帰で、関数本体がでかすぎなければ）JVMでも普通に末尾再帰最適化できます

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください) @esumii

@esumii あー、あと、「stack inspectionに影響しない場合は」。

山本和彦 @kazu_yamamoto

末尾再帰とは、関数を飛び出すかもしれないジャンプのことです。スタックを消費しないことが大事。← 僕の理解

SKS rep @repeatedly

そろそろあんちべさんが颯爽とClojureの内部実装について事細かに解説して，自分でtogetterにまとめを作る頃

(び) @bizenn

それは末尾呼び出しじゃねぇかと思ったりする。