Lisp Scheme Part41 (855ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
771: デフォルトの名無しさん [sage] 2025/07/09(水) 19:46:08.96 ID:QwaFNVYh map系の関数にラムダ式を渡したら、それがインライン展開されてコンパイルされるのは、最近の言語では当然の様にやってる http://mevius.5ch.net/test/read.cgi/tech/1531587928/771
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
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
774: デフォルトの名無しさん [] 2025/07/09(水) 23:21:02.31 ID:cmuoaTCa >>773 リッチでない処理系がこの最適化ひとつでリッチ同然になる http://mevius.5ch.net/test/read.cgi/tech/1531587928/774
775: デフォルトの名無しさん [] 2025/07/09(水) 23:40:56.18 ID:eQ8lOX87 テム・レイ最適化って呼ばせてほしい http://mevius.5ch.net/test/read.cgi/tech/1531587928/775
776: デフォルトの名無しさん [] 2025/07/09(水) 23:41:46.05 ID:QSSrKuoD おかしな人が居ると捗るよね。でもまともなこと言ってる人もだんだんおかしなことをいいだして、実はおかしな人しかいなかったと気づかされる。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/776
777: デフォルトの名無しさん [sage] 2025/07/10(木) 00:52:48.56 ID:nn3AKhN3 (macroexpand '(let ((a 1) (b a) (c b)) c)) ;=>((lambda (a b c) c) 1 a b) (macroexpand '(let* ((a 1) (b a) (c b)) c)) ;=>((lambda (a) ((lambda (b) ((lambda (c) c) b)) a)) 1) (macroexpand '(letrec ((a 1) (b a) (c b)) c)) ;=>((lambda (a b c) (set! a 1) (set! b a) (set! c b) c) '() '() '()) あいあい いいいい 飛ばして えいえい おいおい 戻して うーいうい http://mevius.5ch.net/test/read.cgi/tech/1531587928/777
778: デフォルトの名無しさん [sage] 2025/07/10(木) 01:03:21.83 ID:qcnALR7R >>772 そこに興味あるなら、この後CPS変換を調べるといいよ その後関数をジェネレーターに変換して、yieldに対応出来たら一人前だよw 更にその後はAsync/Awaitが待っている http://mevius.5ch.net/test/read.cgi/tech/1531587928/778
779: はちみつ餃子 ◆8X2XSCHEME [sage] 2025/07/10(木) 07:45:53.86 ID:UMLMi9p2 >>774 let は 常に lambda に展開せねばならず、引数の受け渡しはスタックを使うことという制約を入れて最適化の邪魔をしてまでひとつの最適化を入れる？ 馬鹿馬鹿しい。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/779
780: デフォルトの名無しさん [sage] 2025/07/10(木) 09:58:20.49 ID:yFw8mCQ1 >>779 「論外。終わり。」じゃなかったんですか？ 対話不可能でしょこれは http://mevius.5ch.net/test/read.cgi/tech/1531587928/780
781: はちみつ餃子 ◆8X2XSCHEME [sage] 2025/07/10(木) 10:05:39.66 ID:UMLMi9p2 放置しても延々と書き込み続けるタイプだと思う http://mevius.5ch.net/test/read.cgi/tech/1531587928/781
782: デフォルトの名無しさん [sage] 2025/07/10(木) 19:24:20.39 ID:yFw8mCQ1 >>781 じゃあNG入れとけばいいでしょうが 何年5chやってんの http://mevius.5ch.net/test/read.cgi/tech/1531587928/782
783: デフォルトの名無しさん [] 2025/07/10(木) 23:08:55.70 ID:RcjFMSaB bignumを廃止してint64を基本にしようとか、いまさらC言語の変数のregister宣言を再発明して画期的だといってるようなもんだろ こういうのが生成AIでブーストされる世の中になったかと思うとそら恐しいわ http://mevius.5ch.net/test/read.cgi/tech/1531587928/783
784: デフォルトの名無しさん [] 2025/07/12(土) 11:00:16.80 ID:Q8STCu4g ほんそれ http://mevius.5ch.net/test/read.cgi/tech/1531587928/784
785: デフォルトの名無しさん [] 2025/07/12(土) 21:28:03.94 ID:JuZx4722 つまりGaucheを仕様にしてR7RSを実装にすればぼくだつていばれる http://mevius.5ch.net/test/read.cgi/tech/1531587928/785
786: デフォルトの名無しさん [] 2025/07/13(日) 05:20:47.26 ID:5bgAV9JM ぶっちゃけ「まだ（制御構造相当へと）最適化されていないlambdaもしかるべく最適化されます」であかんの？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/786
787: デフォルトの名無しさん [] 2025/07/13(日) 05:22:42.75 ID:5bgAV9JM lambdaというかlambdaの返すクロージャのインライン最適化だな http://mevius.5ch.net/test/read.cgi/tech/1531587928/787
788: デフォルトの名無しさん [] 2025/07/13(日) 05:35:19.17 ID:5bgAV9JM あとAI云々に関しては「一線だとこんなもんです」としか言いようがない 俺はAIを数年前哲学板にペータテストスレが立った頃からいじってるけど 俺の問答はAIを作ってる会社的にもいい一次データになってる可能性があります あと、論文は近い将来のAIの吐く洗練された論文と比べて原始的になる可能性もあります http://mevius.5ch.net/test/read.cgi/tech/1531587928/788
789: デフォルトの名無しさん [] 2025/07/13(日) 05:52:35.96 ID:5bgAV9JM ユーザーがマクロとかで勝手に書いた どこの馬の骨みたいな制御構造でも 最適化されるんですよ http://mevius.5ch.net/test/read.cgi/tech/1531587928/789
790: デフォルトの名無しさん [] 2025/07/13(日) 08:07:50.27 ID:lgLjhFXd >>789 ふつうそうなるだろ。マクロにしたら最適化かからないなんて面倒で非効率なことしない。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/790
791: デフォルトの名無しさん [] 2025/07/13(日) 11:38:22.98 ID:5bgAV9JM >>790 ユーザーがマクロで書いたmy-letが 処理系実装者のチューンしたletと同じになるのがふつうなの？ 俺のはかなり近くなるけど http://mevius.5ch.net/test/read.cgi/tech/1531587928/791
792: デフォルトの名無しさん [sage] 2025/07/13(日) 12:26:31.49 ID:tfWATuEI Racket は、やらないの？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/792
793: デフォルトの名無しさん [] 2025/07/13(日) 23:42:36.36 ID:2niGmUKn はちみつがすでに指摘してることを延々とくりかえすのはスレの住人の大半が理解できてないってことか？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/793
794: デフォルトの名無しさん [] 2025/07/13(日) 23:50:59.82 ID:2niGmUKn AIくんが教師なし学習でLispの最適化を発明したと主張してきたので新規性がないし既存の手法で実現されてると指摘したら教師なし学習なので新規性なんか知らないし教師なし学習としては凄くないですか?といいはじめる 五年ほど前までこういうAIエンジニア多かったな今どこいったんだろ http://mevius.5ch.net/test/read.cgi/tech/1531587928/794
795: デフォルトの名無しさん [] 2025/07/14(月) 04:03:05.17 ID:H42iB8O8 >>794 お前なんかがこのスレの何がいいんだ？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/795
796: デフォルトの名無しさん [] 2025/07/14(月) 10:05:54.72 ID:SvqlBNnt >>791 ごめんなさい、もちろんふつうじゃありません。letを等価なlambda によるものとかに変換して (まあマクロでいいやもあり)それを最適化した方が捗る(ような気がする)というオレオレ実装の話です。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/796
797: デフォルトの名無しさん [] 2025/07/14(月) 10:15:20.25 ID:yq/UCo3U >>793 はちみつをNGにしてる人かもしれないね http://mevius.5ch.net/test/read.cgi/tech/1531587928/797
798: デフォルトの名無しさん [] 2025/07/14(月) 20:30:35.39 ID:778hTmQY lambdaの返す関数オブジェクトのたどる運命は大体3通り (1) シンボルにバインドされて普通の名前付き関数になる (2) 高階関数に引数として渡される (3) ファーストラムダとして即座に呼び出される http://mevius.5ch.net/test/read.cgi/tech/1531587928/798
799: デフォルトの名無しさん [sage] 2025/07/14(月) 23:25:17.89 ID:OppI5UAF >>796 捗るとか言ってる時点で馬鹿丸出しだ どういうメリットが有るのか具体的に書け http://mevius.5ch.net/test/read.cgi/tech/1531587928/799
800: デフォルトの名無しさん [sage] 2025/07/14(月) 23:58:48.95 ID:8TvcLzrP 実在しない実装 虚装 http://mevius.5ch.net/test/read.cgi/tech/1531587928/800
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 55 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.009s