[Gauche] kaki: major modeが他のindent functionを提供している場合は、scheme-indent-functionの所をそれに置き換えた方が良さそうです。

[Gauche] kaki: 高階defineに対応しました。

[Gauche] shiro: 簡単だった> (define-inline ((foo x) y) ...) https://github.com/shirok/Gauche/commit/2bb48fa86f02cde5f61d46709350531198589f90

[Gauche] shiro: define-inlineのそれは多分深く考えて無かったと思うのだけれど、define-inlineには束縛を作るというのと手続きにインライン情報を付加するという２つの操作があるからちょっとややこしい。でもできなくはないかな?

[Gauche] shiro: キーワード自動インデント＜おお、自分はquack使っててgauche-modeは使って無いんですが、試してみます。

[Gauche] kaki: (define-constant ((foo x) y) x) はOKで (define-inline ((foo x) y) x) はNGなんですね。

[Gauche] kaki: キーワード引数の自動インデント、書いてみました。 https://gist.github.com/gengar/4e469cc407f83547232093c48e35c6fa stateに外側の開き括弧の開始位置が全部保存されていたので、思ったよりすんなりできました。デバッグはまだ甘いです。あとlisp-localとの共存にはまだ未知の部分があります。major modeに組み込めば大丈夫だろうと期待しているのですが、お試しで (setq-local lisp-indent-function 'gauche-mode-indent-functi ...

[COMMON LISP JP] 新着Lisp記事: 試行錯誤な日々: 自作マクロに対するclj-kondoの警告はメタ情報付与で解消できる https://asukiaaa.blogspot.com/2025/04/apply-meta-to-resolve-warning-of-clj-kondo.html

[Gauche] kaki: なるほど。では自動インデントがうまいこと書けたらシェアします。今の所いいアイデアがあるわけではありませんが。

[Gauche] shiro: bの位置が好みですが、自動で揃えてくれないので手でやってます。 aになってるのは多分自動インデントしたあと直し忘れ。

[Gauche] kaki: キーワード引数の途中で改行するとき、scheme-mode等のデフォルトでは(a)の位置になりますが、(b)の位置にインデントしたくなるんですよね。どうしてます？Gaucheのソースだとどちらもあるようですが。

[Gauche] kaki: (define (foo :key (bar 1)
(baz 2))
;; ^(a) ^(b)
0)

[COMMON LISP JP] 新着Lisp記事: 試行錯誤な日々: clojureで関数内変数との競合を回避してnamespaceの変数を呼び出す方法 https://asukiaaa.blogspot.com/2025/03/avoid-conflict-of-value-on-ns-and-fn-in-clojure.html

[COMMON LISP JP] 新着Lisp記事: (and-let* ((even? n)) ...) の方の問題は未使用のローカル変数を警告する支援があれば気付けそう、と思って確認してみると、(and (let ((even? 42)) (and even?)))と展開されるから気付けないのか……。

[COMMON LISP JP] shiro: 値に#fが使えないのはまあ、generalized booleanをモナドもどきに使う宿命なんで、and-let*に限らない気が。

[COMMON LISP JP] shiro: and-let* のそれ、自分はいつもこんなふうに書いてます。

(and-let* ([n (expr)]
[ (even? n) ]) ; 束縛変数が無い場合
..)

[COMMON LISP JP] 新着Lisp記事: and-let* はどうも怖くてしょうがない #Scheme https://qiita.com/matomatomato/items/8c24d876e0a4ad3f884b

[COMMON LISP JP] 新着Lisp記事: C/C++ プログラムに Scheme によるスクリプト拡張を組み込む https://zenn.dev/ftl/articles/448cfea6aaaabd

[Gauche] shiro: https://github.com/shirok/Gauche/issues/1120

[Gauche] shiro: なるほど。以前のバージョンだと動くのでどっかでバグ入れてますね

[Gauche] kaki: (define (foo)
(guard (e (#f #f))
(raise "hoge")))

(foo)
;; スクリプトトップレベルで実行するとsegvします。main経由やREPLでは大丈夫でした。

[Gauche] kaki: andでchainするので記号を使うんだったら&を軸にするかなと思いました。&*とか。…&~とか？うーん。使用頻度的に記号2文字を割り当てるほどでもない気もするんですよね。ineqは長さや衝突しなさ的には丁度よさそうな感じがします。

[Gauche] shiro: 記号では、不等式なので >< とか (<> だとcutとかぶる)、数学で二項関係を一般化するときよく ~ を使うから ~* とか考えたんだけど、試してみたらいまいちだった。

[Gauche] shiro: そう、最初は一種のchainingだから(Pythonでもchain of comparisonって言ってるし)、一般化するならそれに類する名前がいいかなと思ってたんだけどchainはsrfi-197で取られてるし、長くなったら意味ないし。

[Gauche] kaki: (ineq a < x (complement =) y < b) これ、(< x b) じゃないし普通じゃないか。

[Gauche] kaki: (complement =) に略記を与えちゃうと string=? 他はどうするんだとなっちゃいますが。

[Gauche] kaki: 関連する話題として、(complement =) もしくは complement の略記が欲しくなりそうですね。(ineq a < x (complement =) y < b) くらいは普通にありそうなので。(.$ not =) の方が短いなんて。

[Gauche] kaki: 典型的な不等式っぽい手続き以外でineqで使えそうな手続きはいくつか思い付いていて、member、alist-ref辺りはまだましなんですが、hash-table-delete!みたいな副作用があって成否を返すやつを使い出すと変な感じがします。まあ、これはそう使う人が変っていう話かもしれませんが。

[Gauche] kaki: (ineq x <= y < z) の話なんですが、英語で書くのが難しいのとまとまってないのでここに書いちゃいます。典型的な不等式以外にも使えそうな気がして、最初はandでchainすることや間のオペランドが折り重なることに注目して命名した方がいいかと思ったんですが、そうすると一般的になりすぎたり(chainとか)長くなったり(and-chainとか)するんですよね。簡易記法のためのマクロなんだから、説明的すぎるより短い名前がいいでしょうし。かといって、&とか&&とかだと短すぎたり記号的すぎたりする気もしますし、記号でこれ以上複雑にすると暗号的に ...

[Gauche] shiro: あ、多分R5RSからそのままアップデートしたんだと思います。Mahalo.