Lisp Scheme Part41 (855ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
762: はちみつ餃子 ◆8X2XSCHEME [sage] 2025/07/09(水) 16:17:26.50 ID:ZKntcAAj 最適化するために仕様の改定が必要か？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/762
763: デフォルトの名無しさん [] 2025/07/09(水) 16:32:28.96 ID:eQ8lOX87 >>738 どのへんが既出なんだか教えてほしいということならALGOLとサンクのコンパイル研究あたりで出尽していると思うから60年前には既に研究レベルでなく, 実践されていたのではないか．AIにきいてもわからなかったか? AIに尋ねたら1960年代初頭でサンクのインライン展開も含めてアイデアは出尽しているといわれた. ついでにSMALLTALKとIFとブロックについても調べてみろよ. LISPの関数呼び出しの最適化についてもおまえは50年前あたりの認識をしている. 当然SBCLあたりの最適化はおまえよりずっと先をいってる. http://mevius.5ch.net/test/read.cgi/tech/1531587928/763
764: デフォルトの名無しさん [sage] 2025/07/09(水) 17:07:46.42 ID:ohpjpVt+ >ファーストラムダというのは 「ファーストラムダ」という言葉は、通常、AWS Lambdaを指すスラングとして使われることがあります。AWS Lambdaは、サーバーレスコンピューティングサービスで、コードをサーバーの管理なしに実行できます。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/764
765: デフォルトの名無しさん [] 2025/07/09(水) 17:09:06.44 ID:cmuoaTCa インライン展開を俺が発明したなんて言ってないだろ この形をしたラムダをそうすると効くんじゃないかというのが俺の発明だ あと、クロージャを引数として渡すのもSmalltalkやRubyはやってるだろう 俺の発明は「インライン関数を引数として渡すという逆接はものごとを見通しよくしますよ」だ http://mevius.5ch.net/test/read.cgi/tech/1531587928/765
766: デフォルトの名無しさん [sage] 2025/07/09(水) 17:25:03.45 ID:ohpjpVt+ そうやってevalの時点で評価されなかった式を何時どうやって誰が適用するのか というおとぎ話を自慢毛に語るスレ http://mevius.5ch.net/test/read.cgi/tech/1531587928/766
767: デフォルトの名無しさん [] 2025/07/09(水) 17:29:15.92 ID:cmuoaTCa evalはインタープリタ、lambdaはコンパイラ http://mevius.5ch.net/test/read.cgi/tech/1531587928/767
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
769: デフォルトの名無しさん [] 2025/07/09(水) 18:36:27.57 ID:CwmzIZ1x 自分で処理系書いてから言え http://mevius.5ch.net/test/read.cgi/tech/1531587928/769
770: デフォルトの名無しさん [] 2025/07/09(水) 19:18:13.79 ID:eQ8lOX87 >>765 少なくともLISP界隈では発明では全くないからHaskell, OCaml, コンパイラの最適化方面のスレで展開してみたら? A正規化あたりと絡めて展開すればよりアカデミックなやりとりが期待できるのでは? http://mevius.5ch.net/test/read.cgi/tech/1531587928/770
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
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 64 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.019s