Lisp Scheme Part41 (809ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
745: はちみつ餃子 ◆8X2XSCHEME [sage] 2025/07/09(水) 13:05:25.01 ID:ZKntcAAj オペランドを評価しない関数 fexpr を導入することでスペシャルフォームを手続きと同列にファーストクラスオブジェクトとして扱うアイデアはあるよ。 それを整理して scheme 風言語として構築したものもある。 https://web.cs.wpi.edu/~jshutt/kernel.html まあそれはそれとして、 >>738 > 内部的に無名関数を呼ぶことで実装 と最適化の話を繋げるのは意味がわからんぞ。 処理系の実装方法の一部は言語仕様として強制すべきというのが前提になってる？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/745
747: はちみつ餃子 ◆8X2XSCHEME [sage] 2025/07/09(水) 14:21:01.11 ID:ZKntcAAj >>746 > テイルコールはそうでしょ > 最適化は処理系がやってくれることを保証するので 仕様上は ・正しく末尾再帰が行われていること ・アクティブな末尾呼出しの回数制限がないなら正しく末尾再帰が出来ている という迂遠な表現になっている。 つまり、何が出来るべきなのかという書き方であって、どう実装すべきかに言及することを避けてる。 同様に処理系のメカニズムに言及することを避けて提案を表現してみてよ。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/747
749: はちみつ餃子 ◆8X2XSCHEME [sage] 2025/07/09(水) 14:40:18.45 ID:ZKntcAAj >>748 テイルコールの説明なんか要らん。 知ってるから。 仕様を変える提案をするなら仕様書にどう書きたいのかで説明してくれと述べてる。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/749
751: はちみつ餃子 ◆8X2XSCHEME [sage] 2025/07/09(水) 14:57:26.23 ID:ZKntcAAj >>750 意味を為さない言葉を何万回繰り返したところで何も変わらんぞ。 妥当な文章を書く能力がないならもう出来ることはない。 論外。 終わり。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/751
762: はちみつ餃子 ◆8X2XSCHEME [sage] 2025/07/09(水) 16:17:26.50 ID:ZKntcAAj 最適化するために仕様の改定が必要か？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/762
768: はちみつ餃子 ◆8X2XSCHEME [sage] 2025/07/09(水) 18:09:52.06 ID:ZKntcAAj Scheme はコンパイル結果を気楽に見る方法がないことも多いんだけど…… Gauche だと disasm で見れる。 (define (foo x y) ((lambda(a b)(+ a b)) x y)) (define (bar x y) (+ x y)) (disasm foo) (disasm bar) 表示の意味がわからなくても foo と bar が同じになっていることはわかるだろう。 (バージョンによるかも？) ごく普通にそういう最適化はしてる。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/768
773: はちみつ餃子 ◆8X2XSCHEME [sage] 2025/07/09(水) 22:54:33.01 ID:ZKntcAAj >>772 let が lambda に展開される (させる) 例が仕様に書いてあるのはあくまでも挙動の説明に過ぎず、多くのリッチな処理系ではそんな展開はしない。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/773
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.029s