26/01/17 15:40:18.83 DPFGsO81.net
Gauche のホームページが、新しくなっていますね。
URLﾘﾝｸ(practical-scheme.net)
914:デフォルトの名無しさん
26/01/17 20:53:42.34 ngRBoWZv.net
いいね、gaucheよりいい処理系に出会ったことがない
915:デフォルトの名無しさん
26/01/26 18:38:20.96 /oTBg8NT.net
Lispでバイブコーディングしてるやつおる？
916:デフォルトの名無しさん
26/02/10 12:22:55.39 9f11N1jf.net
おるよ
917:はちみつ餃子
26/02/10 13:46:38.99 JobwbJ0F.net
そうか。
918:デフォルトの名無しさん
26/03/18 18:26:44.56 gB80bbxM.net
(define S
(lambda (f)
(lambda (g)
(lambda (x)
((f x) (g x))))))
(define I
(lambda (x) x))
(define M ((S I) I))
(define Y
(lambda (h)
(M (lambda (x)
(h (lambda (a) ((M x) a)))))))
こんな形のYを初めて見ましたという報告。ChatGPTが教えてくれました。
919:デフォルトの名無しさん
26/03/18 19:32:41.47 GcISXF9l.net
ChatGPTというか、誰かが既にネット上に発表してるのを持ってきただけだろうがな
920:デフォルトの名無しさん
26/03/25 13:32:06.11 e/aoMFxV.net
Mつかって定義するのってThe Little Schemerのやつでは?
921:デフォルトの名無しさん
26/03/25 16:32:36.54 K620e7f8.net
こういうyのバリエーションの自動生成できないの？
式の適用引数関係のグラフのうちでYの振る舞いを示すもの、という探索方針でもほぼ網羅できそうだけれど
実際自動生成としか思えないYの複雑怪奇表現山程あるしやってるだろ
922:デフォルトの名無しさん
26/03/26 15:06:33.66 8FUr2B7e.net
それは正確にはYではなく、Zなのだ。Little Lisper/Schemerが誤解を広めてしまったのだ。
TuringのコンビネータはM(B(SI)M)、CurryのコンビネータはBM(CBM)。これは同じものの別表現だ。
923:デフォルトの名無しさん
26/03/27 01:49:00.88 t++aEQp8.net
最もパフォーマンスのよいYorZの実装も気になりますね
そこにスポットライト当たってるの見たことない、まああまり実用したい人居ないからたろうけど
924:デフォルトの名無しさん
26/03/28 17:27:11.18 vsDWqgV5.net
なりませんね
925:デフォルトの名無しさん
26/03/28 22:37:14.72 Ft+BOmLp.net
Curryのコンビネータ Z = BM(CBM) = BML と比較するためには、Turingのコンビネータ T = M(B(SI)M) = SLL にも登場頂こうか。
(define T
(M(lambda (h)
(lambda (x)
(x (lambda (a) (((M h) x) a)))))))
926:デフォルトの名無しさん
26/03/29 19:43:50.89 0JoJQ1u4.net
>>918のY=Zと>>925のTとを比較： URLﾘﾝｸ(www.fixedpoint.jp)
これを(time function)で計測すれば、パフォーマンスの比較が出来ますよ。驚きの結果です。
927:デフォルトの名無しさん
26/03/30 19:31:04.73 9QqOv+JJ.net
ここで自演してるやつ昔から同じやつなんだろうな
928:デフォルトの名無しさん
26/04/06 04:33:36.65 z2F2VfDE.net
913から921まで一人ってこと？
929:デフォルトの名無しさん
26/04/06 16:29:31.81 eF86Lxci.net
少なくとも918は俺>>928
930:デフォルトの名無しさん
26/04/06 16:31:43.62 eF86Lxci.net
まあ盛り下がってる界隈をなんとか盛り上げたいといういじましい思いなんだろ
なま暖かく見守れ❤
931:デフォルトの名無しさん
26/04/06 21:27:35.73 tmKJJesc.net
ひといないねここ
932:デフォルトの名無しさん
26/04/09 19:20:07.73 POFRL+EW.net
１０年後にｓｃｈｅｍｅコミュニティ続いてると思う？
933:デフォルトの名無しさん
26/04/10 08:49:15.08 uSsbsnil.net
>>932
schemeブームがおこって焼け野原にならない限りは続くだろ。つまりほぼ確実に続く。