25/12/19 11:44:56.42 QnJPkSpI.net
>>903
lispにはslimeあるからいらんやろー
905:デフォルトの名無しさん
25/12/20 10:04:37.67 IOYr4f7F.net
Cのポインタ(アドレッシングの抽象化)で便利なのは*p++のときくらいだな
906:デフォルトの名無しさん
25/12/20 10:18:07.91 /F9A1W9I.net
>>904
ちょっとCommon Lisp使いたい時にEmacs覚えなくて良いからメリットだよ
敷居は少しでも低い方が良い
907:デフォルトの名無しさん
25/12/23 02:31:34.00 eaG4Y4LQ.net
>>906
icl使い込んでもいないのによういうわ
908:デフォルトの名無しさん
25/12/23 13:42:04.27 i9POOTwU.net
EmacsLisp(キリっ)ωωω
909:はちみつ餃子
25/12/23 21:47:02.64 LBRUsYB1.net
手札が増えるに越したことはないけどいくら高度な対話環境があってもエディタが不要になるわけではない。
Lisp 系について十分なサポートがあるエディタが Emacs くらいしかない状況のほうが変わって欲しいと思うよ。
VSCode の Scheme 用アドオンを探してみたがシンタクスハイライタに毛が生えたようなのしかなくて残念な気持ちになる。
910:デフォルトの名無しさん
25/12/23 23:24:54.71 Ei7W5s/G.net
仮にGeiserを移植したら同じ体験ができるのかというとどうだろ
911:はちみつ餃子
25/12/24 21:23:16.08 eteFJ5Zq.net
それもあるね。
各エディタの思想に沿った上でどんな形で LISP をサポートするのが自然なのか想像できない。
でもスタートラインとしてはベタ移植も悪くないんじゃない？
912:デフォルトの名無しさん
25/12/26 00:07:38.54 AkAkg+NS.net
vimも色々あるぞs式操作とかネストレベル別色分けとかもちろんslime(slimv)も
913:デフォルトの名無しさん
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
なりませんね