Lisp Scheme Part41 (808ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
746: デフォルトの名無しさん [] 2025/07/09(水) 14:05:12.47 ID:cmuoaTCa >>745 ＞処理系の実装方法の一部は言語仕様として強制すべきというのが前提になってる？ テイルコールはそうでしょ 最適化は処理系がやってくれることを保証するので 単純ループに相当するものでもどんどん再帰の形で書きましょうってことでしょ ファーストラムダも同じ 制御構造相当のものをlambdaを使って書いても最適化されますよってこと http://mevius.5ch.net/test/read.cgi/tech/1531587928/746
748: デフォルトの名無しさん [] 2025/07/09(水) 14:35:00.91 ID:cmuoaTCa テイルコールってのは call func ret って並んでたら jmp func に置き換えるんだよ ファーストラムダもある種の関数のインライン展開ってだけ http://mevius.5ch.net/test/read.cgi/tech/1531587928/748
750: デフォルトの名無しさん [] 2025/07/09(水) 14:49:42.58 ID:cmuoaTCa >>749 >>743 http://mevius.5ch.net/test/read.cgi/tech/1531587928/750
753: デフォルトの名無しさん [] 2025/07/09(水) 15:28:36.71 ID:cmuoaTCa マクロだっていう反論が来るのかと思ったらスペシャルフォームだというので戸惑ってるw そりゃいくつかの関数はミニマルコアとして書かなきゃいけないさ それさえあれば関数とマクロと制御構造は統一できる、というのが言い分 http://mevius.5ch.net/test/read.cgi/tech/1531587928/753
757: デフォルトの名無しさん [] 2025/07/09(水) 15:45:21.52 ID:cmuoaTCa 評価しないで渡したい引数のうち、制御に関わるものならインラインクロージャでなんとかなりますよって話だよ レキシカルにちゃんとしたクロージャをインライン展開される前提で引数として渡すんだよ http://mevius.5ch.net/test/read.cgi/tech/1531587928/757
761: デフォルトの名無しさん [] 2025/07/09(水) 15:56:45.13 ID:cmuoaTCa >>759 テイルコールみたいにファーストラムダ最適化も必須にすればインライン展開される分速くなる http://mevius.5ch.net/test/read.cgi/tech/1531587928/761
765: デフォルトの名無しさん [] 2025/07/09(水) 17:09:06.44 ID:cmuoaTCa インライン展開を俺が発明したなんて言ってないだろ この形をしたラムダをそうすると効くんじゃないかというのが俺の発明だ あと、クロージャを引数として渡すのもSmalltalkやRubyはやってるだろう 俺の発明は「インライン関数を引数として渡すという逆接はものごとを見通しよくしますよ」だ http://mevius.5ch.net/test/read.cgi/tech/1531587928/765
767: デフォルトの名無しさん [] 2025/07/09(水) 17:29:15.92 ID:cmuoaTCa evalはインタープリタ、lambdaはコンパイラ http://mevius.5ch.net/test/read.cgi/tech/1531587928/767
772: デフォルトの名無しさん [] 2025/07/09(水) 22:06:22.87 ID:cmuoaTCa >>770 letでローカル変数3つ確保しましたって時に 実際には内部でlambdaが呼ばれてるわけだろ？ この時にlambdaをインライン展開したら オペランドスタックと返り値スタックが省かれて 変数スタックだけになって制御構造と同じコストになるだろ？ これは大きな最適化なんだよ http://mevius.5ch.net/test/read.cgi/tech/1531587928/772
774: デフォルトの名無しさん [] 2025/07/09(水) 23:21:02.31 ID:cmuoaTCa >>773 リッチでない処理系がこの最適化ひとつでリッチ同然になる http://mevius.5ch.net/test/read.cgi/tech/1531587928/774
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s