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

みんなだいすき
26
ばばろあ @valvallow

clojureがTCOされないのってJVMのせいなの?ならJVMで動くSchemeやCLでちゃんとTCOある処理系はどうなってんの?

2011-12-10 02:18:19
Shiro Kawai @anohana

@valvallow スタックフレームをJavaのオブジェクトとしてアロケートして自前で管理すればTCO可能だけど性能は落ちる。JVMのスタックを利用すれば速いけど(完全な)TCOは無理。どっちを取るかというトレードオフです。

2011-12-10 02:49:00
原子メカ @atomic_machine

JVM上で直接走る言語で自動的にTCO(末尾再帰最適化)を行える言語は存在しない。ScalaはどうやってTCOを実現してるんだろう。それとも限定的な条件下でしかできないのかな。

2012-03-21 22:36:31
みつせ🐈🐈 @mitsuse_t

pythonで末尾再帰最適化って, クロージャとデコレータ使ってやれるっぽいのは去年くらいに見たんだけど, あまり黒魔術チックなのは使いたくないアレ

2012-03-21 23:20:31
ちゅーん @its_out_of_tune

CommonLispって末尾再帰最適化される事は仕様に無いんだね(´・ω・`)スタックが溢れた理由が末尾再帰にしたつもりでなってないのか最適化されてないからなのかが解らないという。

2012-03-24 18:32:43
運転免許失効Guy @draftcode

@tomy_kaira インタプリタをみていないので、よくわからないですが、4-3は末尾再帰最適化の話ではないんですか?

2012-03-25 00:00:20
運転免許失効Guy @draftcode

末尾再帰最適化じゃなくて末尾最適化か

2012-03-25 00:05:02
YNQ @ynq1242

@azarakko 勝手に末尾再帰最適化してくれたりするんですか?

2012-03-26 13:06:50
しにゃ@azarakko @azarakko

@ynq1242 末尾再起最適化本来こういうのを勝手にループに変更するのが…

2012-03-26 13:08:04
しにゃ@azarakko @azarakko

結論 末尾再起するにはどちらにしろ2変数必要 あと 遅延評価のHaskellで末尾書いても最適化しないとメモリが死ぬ

2012-03-26 15:39:16
Pocket7878/Azit @Pocket7878

まどかの因果についてはあれだね末尾再帰よびだしで引き数にわたしつづけてた値が基底条件をみたしたっていう感じだね。十分に値がおおきくなったの死なないし、魔女にもならないっていう。

2012-03-27 00:45:30
スマートコン @mr_konn

後輩に「バイトでプログラムやりたいんですけど言語なにやっとけばいいですかね。Javaやっといた方がいいですか?」と訊かれたので「JavaオワコンだからScalaとかClojureとかJVM上で動く別言語にしといた方がいいよ」とオススメしたのだけど間違っていないはずだ

2012-03-28 13:14:47
スマートコン @mr_konn

@repeatedly JavaがオワコンになってもJVMはまだ余命あるんじゃないですかね。どの道滅ぶ運命にせよ……?

2012-03-28 13:17:32
SKS rep @repeatedly

@mr_konn お前はまたJVM上に関数型言語を作成して,最適化で苦しむ道を選ぶというのか

2012-03-28 13:18:36
スマートコン @mr_konn

@repeatedly でもぶっちゃけGroovyよりScalaとかの方がhotに見えるんですがTLのみずしまさんマジックなんでしょうかね……まあ、JRubyの方がJVM消えても潰しは効きそうですけど。

2012-03-28 13:20:23
くまぎ @kumagi

JVM上に関数型言語作ると末尾再帰が…とか言ってる人がいたら大体JVMにも関数型言語にもにわかなので気にしなくていいという言説。

2012-03-28 13:19:53
shelarcy(しぇらーしぃ) @shelarcy

@mr_konn こんさんが GHC を JVM で動かすと聞いて!

2012-03-28 13:22:37
スマートコン @mr_konn

@shelarcy えっえっ!? それはそうと、JVMで動くHaskellコンパイラってなんかありましたっけ。なんでしたっけ……

2012-03-28 13:23:17
shelarcy(しぇらーしぃ) @shelarcy

@mr_konn UHC に JVM バックエンドがあるみたいですが、これはどうかしら? http://t.co/w3nnCppH https://t.co/BpewQR1K

2012-03-28 13:31:16
shelarcy(しぇらーしぃ) @shelarcy

@mr_konn .。oO(GHC でも何度か作られていますが、今使えるものはないので割愛)

2012-03-28 13:32:48
Hideaki Takahashi @hideaki_t

JVMに何があればいいんだっけ、末尾再帰の最適化と?

2012-03-28 13:24:07
1 ・・ 7 次へ