Lisp Scheme Part41 (855ﾚｽ)
上下前次1-新
801: 07/15(火)07:22 ID:M3dXRA34(1/2) AAS
>>796
正規化による見通しのよさが向上するというメリットは普通にあるでしょ
では既存の処理系がすべてそうしていないなぜかというとletのままの方が最適化できることがあるからだったり, CommonLispのletのようにlambdaより機能が多いために等価に変換できないということがある
はちみつが既に指摘している
802: 07/15(火)07:32 ID:M3dXRA34(2/2) AAS
ある状況に最適化するのだから当然だが, 最適化は特定の実行モデルと結び付けると局所的には成功するが往々にして大域的には失敗する
言語設計の巧みさは最適化可能な余地を保ちつつ特定の実行モデルは極力前提にしないところにある. 特定の実行モデルの戦略の失敗が言語の失敗に直結してしまう
これも, はちみつが既に指摘している. 仕様の読み方を学んではどうか. まして独自の言語設計をするならば
803: 07/22(火)23:09 ID:7KXgok3Q(1) AAS
To: **************
Subject: First Lambda = A tail-call-like optimization that lets you write syntax as functions
Dear *********,
The project is still in the early stage of theoretical modeling and representation-level experimentation.
I'm exploring whether the idea of "inline closures as syntax" could serve as a foundation for rewriting control constructs without relying on macro expansion.
First Lambda has the form:
((lambda ...
That is, it immediately invokes the function object returned by a lambda expression.
My idea is to inline that function object at the call site, treating it as if it were a syntactic form.
I believe many constructs like let and while naturally take this shape.
I would greatly appreciate your thoughts on this idea.
Best regards,
*****************
804: 07/24(木)20:23 ID:Pb6gK57F(1) AAS
スレに報告するなら
このスレでは新しいアイデアではなかったという結論になっているので
スレの住人の結論をくつがえす力をもつ大先生に相談したのかが
重要な情報だと思うが隠したら意味がない
805: 07/24(木)21:54 ID:CH9XcWr2(1) AAS
宛先はドクター ・マシュー・フラット
806: 07/25(金)03:09 ID:3nwbV1EW(1) AAS
あなたがこれらの関係性を「発見」だと感じたのは、ご自身で深く考え、これらの概念間のつながりを独自に見出したからでしょう。これは、知識を鵜呑みにせず、自ら思考し、理解しようとする非常に素晴らしい姿勢です。科学の多くの進歩は、このように自らの頭で考えることから生まれます。
しかし、科学の世界では、その「発見」が人類にとって本当に新しい知識であるか、そしてそれが厳密な形で定式化され、検証されているかが問われます。あなたがたどり着いた結論は、偶然にも、あるいは必然的に、すでに確立された「基礎中の基礎」である、ということです。
807: 07/25(金)18:03 ID:NfVpBKmO(1) AAS
関数型言語が手続き型言語と根本的に違うみたいに言ってたのは一般界隈の方じゃないか
俺は「Schemeを手続き型言語のひとつとしてしか使ったことがない」と言ったら嘲笑を浴びたこともあるぞ
808: 07/26(土)00:52 ID:2rEMZk2e(1) AAS
もちろん、話し手の真意は本人にしか分かりませんが、提示された情報だけを基にすれば、「逆張りのイキリがスベっただけ」という解釈は十分に成り立ちます。
809: 08/19(火)12:17 ID:UpjtMkWM(1) AAS
大学の教授もAIで生成した論文を査読してくれっていわれるの災難だよな
810: 09/14(日)14:42 ID:CeEbD0mr(1) AAS
すっかり乗り遅れたけど((lambda がインライン化されることの何が発明なのだろうと俺も思った
schemeののメジャーな論文読んだ上での提案ではなさそう
あとアカデミックな作法を好む癖に論の進め方がアカデミックな訓練を受けてなさそうなのが気になる
811: 09/15(月)11:19 ID:DuTxbbPw(1) AAS
((lambdaは釣り餌だよ
812: 09/16(火)12:10 ID:M3b1vCXY(1) AAS
んまー、おせっくす好きですの？
813: 八大龍王・豊田聡志 09/30(火)19:20 ID:rqdKtsao(1/24) AAS
早く仕事終とリハビリテーション終わらして ｂｙさとばん
814: 八大龍王・豊田聡志 09/30(火)19:22 ID:rqdKtsao(2/24) AAS
早く仕事終とリハビリテーション終わらして実家に帰るぞｂｙ さとばん
815: 豊田聡志 09/30(火)19:23 ID:rqdKtsao(3/24) AAS
surveyscm.scm by さとばん
816: 八大龍王・豊田聡志 09/30(火)19:24 ID:rqdKtsao(4/24) AAS
sao
surveyscm.scm by さとばん
817: 豊田聡志 09/30(火)19:25 ID:rqdKtsao(5/24) AAS
surveyscm.scm by さとばん
818: 八大龍王・豊田聡志 09/30(火)19:26 ID:rqdKtsao(6/24) AAS
いくら悪神ジタバタしたとて手も出んぞｗｗｗｗｗ
819: 八大龍王・豊田聡志 09/30(火)19:33 ID:rqdKtsao(7/24) AAS
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケｗｗｗかつえ放置プレイ中
820: 暗黒神・豊田聡志 09/30(火)19:34 ID:rqdKtsao(8/24) AAS
コッチは、回心した大邪神だ、血も涙もあるわkけ無いだろボケｗｗｗかつえ放置プレイ中
821: 八大龍王・豊田聡志 09/30(火)19:47 ID:rqdKtsao(9/24) AAS
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケｗｗｗかつえ放置プレイ中 命尽きろクソかつえｗｗ
420暗黒神・豊田聡志
垢版 | 大砲
2025/09/30(火) 19:40:30.68ID:qhYqnJ/60
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケｗｗｗかつえガールズ・ガーデン放置プレイ中
421八大龍王・豊田聡志
垢版 | 大砲
2025/09/30(火) 19:44:17.47ID:qhYqnJ/60
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケｗｗｗかつえガールズ・ガーデン放置プレイ中
422八大龍王・豊田聡志
垢版 | 大砲
2025/09/30(火) 19:45:20.34ID:qhYqnJ/60
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケｗｗｗかつえガールズ・ガーデン放置プレイ中
979八大龍王・豊田聡志 そのうち、クタバルだろクソかつえの命www
822: 八大龍王・豊田聡志 09/30(火)19:48 ID:rqdKtsao(10/24) AAS
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケｗｗｗかつえ放置プレイ中 命尽きろクソかつえｗｗ
823: 八大龍王・豊田聡志 09/30(火)19:50 ID:rqdKtsao(11/24) AAS
早く体力尽きて死ねくそかつえｗｗｗｗｗｗｗ
824: 八大龍王・豊田聡志 09/30(火)19:51 ID:rqdKtsao(12/24) AAS
早く体力尽きて死ねクソかつえｗｗｗｗｗｗｗ
825: 八大龍王・豊田聡志 09/30(火)19:54 ID:rqdKtsao(13/24) AAS
濁の霊界ガールズ・ガーデンで体力尽きて死ねクソかつえ
826: 暗黒神・豊田聡志 09/30(火)20:01 ID:rqdKtsao(14/24) AAS
の霊界ガールズ・ガーデンで体力尽きて死ねクソかつえ。 そして切り札を失え、クソ下村敬治。。
827: 八大龍王・豊田聡志 09/30(火)20:01 ID:rqdKtsao(15/24) AAS
の霊界ガールズ・ガーデンで体力尽きて死ねクソかつえ。 そして切り札を失え、クソ下村敬治。。
828: 八大龍王・豊田聡志 09/30(火)20:02 ID:rqdKtsao(16/24) AAS
の霊界ガールズ・ガーデンで体力尽きて死ねクソかつえ。 そして切り札を失え、クソ下村敬治。。
829: 八大龍王・豊田聡志 09/30(火)20:03 ID:rqdKtsao(17/24) AAS
の霊界ガールズ・ガーデンで体力尽きて死ねクソかつえ。 そして切り札を失え、クソ下村敬治。。
830: 暗黒神・豊田聡志 09/30(火)20:15 ID:rqdKtsao(18/24) AAS
黒龍・バルタン星人・聡志より くたばれよ、くそかつえｗｗｗ
上下前次1-新書関写板覧索設栞歴
あと 25 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.018s