Scheme:初心者の質問箱

メーリングリストで質問したり、WiLiKiに自分のページを作ったりするのはちょっと… というシャイなあなたのためのスペースです。

あたらしい質問は、項目の先頭に追加していって下さい。

書き方を間違えても小人さんが直してくれるので、 こわがらなくてもだいじょうぶ。

長くなってきたので過去ログ:

• Scheme:初心者の質問箱:log00
• Scheme:初心者の質問箱:log01

• 齊藤 (2018/11/30 18:10:35 UTC):モディファイアとは？
• readerを実装する際のコーディングスタイル
• lmap と ltake を組み合わせたときの lmap に渡した関数の挙動
• (define (f a) ( 関数 )) と (define f (lambda (a) (関数))) は同値ですか
• syntax-rules の <literals> について
• ラムダだけで再帰は不可能ですか？
• map についての質問です
• #N タグ(?)が何故使われているのかが分かりません
• 定義によって導入 (齊藤: 2018/04/21 02:59:58 UTC)
• 木構造に対するmap
• gauche.configureの動作について
• subr, closure, procedureの違い
• 自動整形の設定
• Windowsでの日本語名ファイルの取扱い
• syntax-rulesでcondlet
• Gauche(Scheme)初心者が約束通り再帰で躓いたので質問したく存じます。
• 質問の仕方
• 型によるプログラミングをする際の関数の宣言方法について
• macroexpand の再帰的な評価について
• Gauche(0.9.4_pre3)のr7rs環境について
• Window7(Gauche-mingw-0.9.3.3.msi)の gauche-package でエラー
• ファイルのアクセス日時のみ現在の日時にしたい
• refの仕様
• syntax-rules の ... の動作
• write の出力のカスタマイズ
• gauche/gdbm on openSUSE 11.x
• gauche-gdbm on FreeBSD 8.0
• 文字列上の繰り返しと部分文字列

齊藤 (2018/11/30 18:10:35 UTC):モディファイアとは？

Scheme の言語仕様では、既にアロケート済みのストレージを改変するような手続きのことを mutation procedure という用語で表しています。

しかし、 SRFI-123 などでは modifier という語も使われています。 modifier とmutation procedure の間に区別はあるのでしょうか？

雰囲気としては、 modifier は accessor に対応づいているもの (Gauche の用語でいう setter に近い？) の印象で捉えているのですが、実際のところはどんなものでしょう？

readerを実装する際のコーディングスタイル

ポートに対してなにか処理を行うreaderやwriterを実装する際のスタイルに関する質問です。

readerやwriterを実装する際、call-with-fooとwith-fooのどちらにも対応させるためにオプショナル引数portをとる手続きとし、デフォルトではこれを現在のポートに束縛、そして内部の処理をwith-input-from-port/with-output-to-portでくるむことで、より低レベルなリーダーを引数なしで使えて便利なことに最近気がつきました。恣意的な例ではありますが、以下のようなイメージですね。

(define (read-2-chars :optional (port (current-input-port)))
  (with-input-from-port port
    (^[]
      (values (read-char) (read-char)))))

そこで質問なのですが…。 上記のように、処理の本体（ここでは(values ...)）をサンクにするために(lambda () ...)でくるむのが、なんだか不恰好なように感じてしまうのです（もちろん、サンクにしなければならない理由はわかるのですが…）。中身が単純な手続きならばcutでどうにでもなりますが、たとえばmatchを使いたいとなるとそうもいきません（いかない、はず…）。

自分の場合、つい以下のように内部defineでサンクを別に定義してしまいたくなるのですが、あまり他ではこのようなスタイルを見かけないように思います（といっても初心者ですのであまり多くの例を見たことがあるわけではないのですが…）。

(define (read-2-chars :optional (port (current-input-port)))
  (define (thunk)
    (values (read-char) (read-char)))
  (with-input-from-port port thunk))

こういう際に推奨されるスタイルや、上記のようなスタイルのデメリットなどはあるのでしょうか？ よろしくお願いいたします。

• hamayama(2018/10/24 12:39:51 UTC): thunk を分けることに特に問題はないと思いますが、あえてデメリットを挙げるとすると、
  (1) current-input-port が port になる範囲(動的環境のスコープ)が、少し分かりにくくなる気がする。
  (2) thunk の名前を考える必要がある。
  があると思います。
  これらと、ネストが浅くなって thunk の処理に集中できるというメリットを、
  天秤にかけて判断することになると思います。
  (余談ですが、個人的には、(2)の名前の付け方にしばしば苦労しており、
  ユーザー視点と開発者視点を行ったり来たりしながら良い名前を探すものの、
  いまいちしっくり来ない場合も多いです。。。)
  あとは、call/cc に対する let/cc のようにマクロを使うことも考えられますが、
  あまり数が多くなければ、逆に後から読んだときに迷うような気もします。
  ( https://github.com/shirok/Gauche/blob/f7eac18f4592ff6182c8f981342beb431430a9fe/lib/gauche/common-macros.scm#L229 )

• Shiro(2018/10/28 08:23:17 UTC): サンクはブロック、と思えば… まあ見た目がうるさいという感じは確かにあって、{...} を (^[] ...) に読み替えるリーダマクロを入れようとしたこともあるんですが、そのためにカーリーブレースを使ってしまうのもなあ、と思い止まりました。
  独自構文入れるなら #(...) でもいいのかな…Clojureの#(...)とは微妙に異なるのが混乱の元になりそうな気もするが…

• 質問者 (2018/10/29 05:53:56 UTC): お二人ともありがとうございます！
  hamayamaさんに挙げていただいた問題点のうち、前者はまあ仕方ない（サンクのなかで(tell-port port)みたいなport引数が必須の手続きを使ったりすると見た目がややこしいのでそういう場合は使わないくらい）、後者についてはnamed letでloopという名前を付けるのと似た感じで、狭いスコープ内でならthunkでいいのかなというところで、しばらく使ってみようかなと思いました。
  ちなみに、実はオリジナルの構文として、testに対するtest*のようにwith-input-from-port*とかも考えてみたのですが、Racketとかだと抜けたときにcloseするかどうかの区別に使っているっぽいので微妙かな…とも思ってやめた経緯があったりします。
  Clojureの#(...)のような構文はあるといいなと思うことがときどきありますね。cutやpa$ではcarの部分にメインの処理（として考えたい手続き）が来ないという見た目の問題もあったりするので…。
  

• Shiro(2018/10/30 10:31:21 UTC): Clojureの#(...)はネストできないというのがSchemer的には 結構厳しい制限と感じるんですよね。 いろいろいじっててネストが出来た時にどちらかfnで書き直さないとならないのが思考を止める感じになるんで。

lmap と ltake を組み合わせたときの lmap に渡した関数の挙動

遅延シーケンスについて調べています。 以下のコードで add-10 の呼ばれるタイミングについて質問なのですが

(use gauche.lazy)

(define (add-10 n)
  (print "call add-10 n: " n)
  (+ n 10))

(define (f n)
  (ltake (lmap add-10 '(1 2 3)) n))

gosh> (f 0)
call add-10 n: 1
()
gosh> (f 1)
call add-10 n: 1
call add-10 n: 2
(11)
gosh> (f 2)
call add-10 n: 1
call add-10 n: 2
(11 12)
gosh> (f 3)
call add-10 n: 1
call add-10 n: 2
(11 12 13)

(f 3) を呼び出したときに call add-10 n: 3 のログが出力されないのは何故でしょうか？ (このログが出ていないということは (add-10 3) が呼ばれていないと認識しているのですが……。 しかし戻り値 (11 12 13) をみると (add-10 3) は確かに呼ばれているようです。これが分からない)

環境: Gauche scheme shell, version 0.9.6 [utf-8,pthreads], x86_64-apple-darwin15.6.0

• Shiro(2018/09/02 06:59:40 UTC): 確認しました。これはGaucheの動作が怪しいですね。 エラー出力に出すとちゃんと出るので、確かに呼ばれているのだけれど標準出力を何かが食べてしまっているような。
• ああそうか、(add-10 3) が評価されるのって、出力ルーチンが結果を表示している最中です。まだ詳しく見てませんが、そこで出力が競合してるのが多分原因。
• 質問者(2018/09/02 13:34:52 UTC): なるほど、出力の問題であり、add-10 は正しく呼ばれているのですね。

(define (f a) ( 関数 )) と (define f (lambda (a) (関数))) は同値ですか

たとえば

(define add+1
  (lambda (a)
    (+ a 1)))

と

(define (add+1 a)
  (+ a 1))

は"同値"でしょうか？（同じ引数に対して返ってくる値が同じという意味ではなくて、関数の意味・定義そのものが同じという意味において）

Scheme:lambdaだけで再帰 にある

(define make-wa3
  (lambda (X)
    ((lambda (wa)
       (lambda (n)
         (if (>= 0 n)
             0
             (+ n (wa (- n 1))))))
     (lambda (a) ((X X) a)))))

と（個人的に大文字のXと小文字とxを混同しそうなのでxをaに変えてあります）

(define (make-wa3 X)
  (define (wa n)
    (if (>= 0 n)
        0
        (+ n (wa (- n 1)))))
  (define (X a)
    (wa ((X X) a))))

は"同値"でしょうか。よろしくお願いします。

• 齊藤 (2018/06/13 07:00:10 UTC): (define (<変数> <仮引数部>) <本体>) は (define <変数> (lambda (<仮引数部>) <本体>)) と書いたのと同じ意味であることは保証されています。
  あと、今回の質問の意図とは異なるとは思いますが、「同値」という言葉はしばしば比較結果のことを指し、比較手続き (equal? など) が #t を返した場合のことをいいますが、これについてはちょっと曖昧というか未定義とされている部分があって、また、 R5RS と R6RS で挙動が違ったりする部分もあるので、もしも手続き同士を比較した結果という意味での「同値」を扱う必要があるのであれば仕様をよく読む必要があるでしょう。

• hamayama(2018/06/13 13:37:31 UTC): 2個目の make-wa3 についてですが、
  (define wa (make-wa3 0)) のようにしても wa ができてしまうので、最初の make-wa3 とは異なっているようです。
  多分、define の戻り値が未定義であるため、たまたま wa そのものが返っているのだと思いますが。。。

• hamayama(2018/06/13 15:19:20 UTC): 最初の make-wa3 を define に置き換えると、以下のようになりました。
  (無名の lambda に F,G,H という名前を付けて、また、body を記述しました)

  (define (make-wa3 X)
    (define (F wa)
      (define (G n)
        (if (>= 0 n)
            0
            (+ n (wa (- n 1)))))
      G)
    (define (H a) ((X X) a))
    (F H))
  

syntax-rules の <literals> について

マクロ定義の <literals> に現れる識別子が束縛されている場合で、マクロを呼び出す時には束縛が見えない場合、リテラルのパターンにマッチするものでしょうか？

(let-syntax
    ((test (syntax-rules ()
             ((_ arg)
              (let ((yelse '(value)))
                (let-syntax ((test-aux
                              (syntax-rules (yelse)
                                ((_ yelse) 'ok)
                                ((_ x) 'no))))
                  (test-aux arg)))))))
  (test yelse)) ;; ここでは `yelse` は束縛されていない
;;=> ok ;; 正しい?

'no が返って来るのではないかな？と考えたのですがそうでない理由がわかりませんでした。

以下に質問の経緯を書きます。

R5RSのパターン言語の所の<リテラル>の扱いがよくわからない部分があったので質問します。<リテラル>の扱いについてこんな記述があります。

A subform in the input matches a literal identifier if and only if it is an identifier and either both its occurrence in the macro expression and its occurrence in the macro definition have the same lexical binding, or the two identifiers are equal and both have no lexical binding.

後者（or〜以降）は、二つの識別子が同じで、両方とも字句的束縛がされていない、ということは、例えば、 yelse の束縛が無い場合に以下のような結果になる、ということだと考えられます。

(let-syntax
    ((test (syntax-rules (yelse)
             ((_ yelse) 'ok)
             ((_ x) 'no))))
  (test yelse))
;;=> ok

前者がどんな例があるかを考えます。素直に考えると以下のものが思い付くのだけれども、上の例との違いがほとんど無いので、いまいちはっきりとしません。これをもってして、“扱いがよくわからない”、と考えています。

(the macro expression って？というのもあるのですが、以下の場合では、多分、 (test yelse) の式のことだと思うのですが自信無いです…）

(let ((yelse '(value)))
  (let-syntax
      ((test (syntax-rules (yelse)
               ((_ yelse) 'ok)
               ((_ x) 'no))))
    (test yelse)))
;;=> ok

自分なりに考えを整理すると、見た目・字面が同じなので、単に字面で <literals> を比較しているのでは？という疑問が残る、ということです。

この疑問を解消するには、(1)それぞれ異なる場所に束縛されている識別子を比べてみる、(2)どちらか一方のみが、ある場所に束縛されている識別子を比べてみる、その結果、リテラルのパターンにマッチしないということを確認すれば納得できると考えたので、やってみました。

「それぞれ異なる場所に束縛されている識別子を比べてみる」もの: 'no が返ってくると考えます。

(let ((yelse '(value)))
  (let-syntax
      ((test (syntax-rules (yelse)
               ((_ yelse) 'ok)
               ((_ x) 'no))))
    (let ((yelse #f))
      (test yelse))))
;;=> no ;; 正しい結果だと考えられます

「どちらか一方のみが、ある場所に束縛されている識別子を比べてみる」もの: まず、マクロを呼び出している所では、ある場所に束縛されている場合。やっぱり 'no が返ってくると考えます。

(let-syntax
    ((test (syntax-rules (yelse)
             ((_ yelse) 'ok)
             ((_ x) 'no))))
  (let ((yelse '(value)))
    (test yelse)))
;;=> no ;; 正しい結果だと考えられます

一方、マクロ定義で <literals> に現れる識別子が、ある場所に束縛されている場合、というのが簡単には書き下ろしずらいです。以下のような、別のモジュールから呼び出すという方法を思い付きました。（他に何か方法があるのだろうか？思い付いたのが質問の冒頭に記述したものです。）

(select-module user)

(define-module t.syntax-rules-test
  (export-all))
(select-module t.syntax-rules-test)

(define yelse '(value))

(define-syntax test-literal-bound
  (syntax-rules (yelse)
    ((_ yelse) 'ok)
    ((_ x) 'no)))

(test-literal-bound yelse)
;;=> ok ;; 正しい結果
;; これだけだと字面で比較しているかもしれないという疑問が残ります

(select-module user)

(import (t.syntax-rules-test :prefix t:))

(t:test-literal-bound t:yelse)
;;=> ok ;; 正しい結果のようにも思いますし、実装依存のような気もします。
;; 同じ場所に束縛されている識別子なので 'ok が返る（字面が違うのに注目します）
;; ただし、インポートを上記のように使うとこの結果が*たまたま* 'ok が返るよう
;; に識別子がインポートされる、ということの裏返し、とも考えられます。
;; つまり、これは実装に依存する動作である、とも考えられます。

(let ((yelse t:yelse))
  (t:test-literal-bound yelse))
;;=> no ;; 正しい結果
;; 異なる場所に束縛されている識別子なので 'no が返る（字面は同じ）

;; XXX: これがわからない
(t:test-literal-bound yelse)
;;=> ok ;; 正しい？
;; マクロ呼び出しの `yelse` はどの場所にも束縛されていない。 一方で、
;; マクロ定義の `yelse` は束縛されている。なので 'no だと考えられるけれども…

最後の、 (t:test-literal-bound yelse) では 'no が返って来るのではないかな？と考えたのですがそうでない理由がわかりませんでした。

よろしくお願いします。

• hamayama(2018/06/09 02:57:17 UTC): 最初の例については、GitHub にある Gauche の開発最新版では no になるようです。
  多分 https://github.com/shirok/Gauche/pull/330 の付近で修正されたように思います。
  ただ、リリースはされていないので、確認するには自分でビルドする必要がありますが。。。
  
  モジュールを使った例については、ちょっと自分には正解が分かりません。
  調べてみると、syntax-rules の literal の一致チェックには、Scm__ERCompare が使われています。
  https://github.com/shirok/Gauche/blob/b57a85df69fd91e68bee83d3f71c98c0faac5170/src/compile.scm#L1573
  ここで、実行時環境でまずチェックを行い、一致しなければ、%free-identifier=? でさらにチェックしています。
  https://github.com/shirok/Gauche/blob/b57a85df69fd91e68bee83d3f71c98c0faac5170/src/compile.scm#L1507
  これらの関数の実行状況を実際に見てみると、以下のようになっていました。

• (t:test-literal-bound t:yelse)
  → %free-identifier=? で、グローバルな束縛が同一であるため ok となっている。
• (let ((yelse t:yelse)) (t:test-literal-bound yelse))
  → Scm__ERCompare で、ローカル変数の方の yelse が lvar であることを検出して no となっている。
  
• (t:test-literal-bound yelse)
  → %free-identifier=? で、一方だけグローバルな束縛がある場合には、字面の比較で一致を判定して ok となっている。 (R5RS, R7RSの記述とは違っているような気もしますが。。。あえてそうしているようにも見える。。。)

• Shiro(2018/06/09 08:15:34 UTC): hamayamaさんの解析のとおりですが、最後の例は何かの互換性のためにそうしたんだったような? 古いモジュールだとリテラルキーワードをexportしてないコードがあって問題が出たのかも。ご指摘のとおりR6RS的には変なので、仕様に合うように変えるかもしれません。

ラムダだけで再帰は不可能ですか？

例えば 1から n までの自然数の和(wa)から n を引いた数を返す関数(wa-n)を考えます。 まず1から n までの自然数の和は

(define (wa n)
  (if (>= 0 n)
      0
      (+ n (wa (- n 1)))))

なので wa-n は

(define (wa-n n)
  (if (>= 0 n)
      0
      (- (wa n) n)))

で、4 を渡すと (4+3+2+1)-4=6 が返ってきます。（そんなんwaに(n-1)を渡したら返ってくる数と同じじゃん、というのはとりあえず） これをラムダを使って一つの関数にしようとすると

(define (wa-n2)
  (if (>= 0 n)
      0
      (- 
       (lambda (i)
         (if (>= 0 i)
             0
             (+ i (.....(- n 1)))));※
         n)
       n)))

というようになると思いますが、※の行の (.....) が思い付きません。この様な場合、局所関数を定義するか、letrec を使うしか（或いは名前付きletとかdoを使うとか）方法は無いのでしょうか？ ラムダの中だけで再帰は不可能なのでしょうか？

• Shiro(2018/05/31 10:22:47 UTC): これは素晴らしい質問です。結論から言うと、lambdaだけで再帰を書くことができます。長くなるので別ページにします→Scheme:lambdaだけで再帰

map についての質問です

(map
   　(lambda (ls) (cons 'a ls))
     '(a b c))

だと

((a . a) (a . b) (a . c))

が返ってきましたので、

(map
    (lambda (ls) (cons 'a ls))
    '())

を評価すると

(a)

が返ってくると思っていたのですが

()

が返って来ました。今ひとつ理解できません。map の第2引数にヌルを渡すと、必ずヌルが返ってくるのでしょうか。

(map
       (lambda (ls) (cons 'a ls))
       '(a b ()))

((a . a) (a . b) (a))

になるのですが。 また何となく

(map (cons 'a) '(a b c))

で行ける気がしたのですが 「cons は2つ引数が要るんじゃ！1つしか貰っとらん！」 と怒られました。 map の第一引数に2つ（以上）の引数が必要な関数を使う場合、lambda で定義しないといけないのでしょうか？

(map cons '(1 2 3) '(a b c))

では

((1 . a) (2 . b) (3 . c))

と仕事してくれるのですが、どう理解したものか分かりません。

• Shiro(2018/05/09 17:16:09 UTC):　まずひとつめ。 () と (()) を区別することが肝要かと。
  • () は空リスト、つまり要素を持たないリスト
  • (()) は要素をひとつ持つリストで、その要素とは()。
  • (map f list)はリストlistの各要素にfを適用します。listが()なら、要素がないので適用するものがありません。結果も要素のないリスト()となります。
  • listが(())の場合は、listは1要素のリストなのでその要素にfが適用されます。その要素とは()です。mapの結果も1要素のリストになります。

    gosh> (map (lambda (ls) (cons 'a ls)) '())
    ()
    gosh> (map (lambda (ls) (cons 'a ls)) '(()))
    ((a))
    

• Shiro: ふたつめ。Haskellなど関数がカリー化される言語では、必須引数より少ない引数を渡すと、残りの引数を受け取る関数になります。

  GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
  Prelude> let kons x y = x:y
  Prelude> kons 1 [2]
  [1,2]
  Prelude> kons 1
  
  <interactive>:4:1:
      No instance for (Show ([a0] -> [a0]))
        (maybe you haven't applied enough arguments to a function?)
        arising from a use of `print'
      In the first argument of `print', namely `it'
      In a stmt of an interactive GHCi command: print it
  Prelude> :t kons 1
  kons 1 :: Num a => [a] -> [a]
  Prelude> :t kons 1 [2]
  kons 1 [2] :: Num a => [a]
  

  • これはScheme風に書けば、(kons 1)が自動的に(lambda (y) (kons 1 y)になっているということです。
  • しかし、Schemeでは関数はカリー化されません。(cons 'a)という式があったらその時点で一個の引数でconsを呼び出して値を求めようとしてエラーになります。従って、一つの引数を固定して残りを受け取りたい場合は (lambda (y) (cons 'a y)) と書かないとなりません。
  • ただ、こういうパターンは頻出するので略記できる仕組みが用意されています。ひとつはsrfi-26のcutで、(cut cons 'a <>) と書くと(lambda (y) (cons 'a y)) と同じことになります。SRFI:26。Gaucheでは組み込みになっています。
  • もうひとつはGauche独自の組み込み手続きpa$で、(pa$ cons 'a)と書くと(lambda xs (apply cons 'a xs))になります。GaucheRefj:pa$。

#N タグ(?)が何故使われているのかが分かりません

n個の数要素を持つリストを、car部分を消去しながらn個のリストにするコード、nlistとn2listを書いてみました。

(define (nlist ls)
  (if (null? ls)
      '()
      (cons (cons (car ls) (cdr ls))
            (nlist (cdr ls)))))

と

(define (n2list ls)
  (if (null? ls)
      '()
      (cons ls (n2list (cdr ls)))))

です。この二つは同じだと思うのですが、

gosh> (nlist '(1 2))
((1 2) (2))

gosh> (n2list '(1 2))
((1 . #0=(2)) #0#)

と、後者では繰り返し(?)を表す（のだと思う） "#" タグで 2 が返ってきます。何故でしょうか。

また、マクロで返ってくるコードを実行する場合、このように "#" タグが使われていても、問題なく処理されるのでしょうか。

よろしくお願いします。

• Shiro(2018/04/28 18:55:30 UTC): #n=は、リストの部分共有があることを示しています。図で書くとこんな感じで、(2)のセルが両方からポイントされてるわけですね。

    +---+---+   +---+---+
    | * | *---->| * | ()|
    +-|-+---+   +-|-+---+
      |           |
      |           \---\   
      |               |
      |    +---+---+  \-->+---+---+
      \--->| 1 | *------->| 2 | ()|
           +---+---+      +---+---+
  

  部分共有が無い場合はこうなります。

    +---+---+   +---+---+
    | * | *---->| * | ()|
    +-|-+---+   +-|-+---+
      |           |       +---+---+
      |           \------>| 2 | ()|
      |                   +---+---+
      |
      |    +---+---+      +---+---+
      \--->| 1 | *------->| 2 | ()|
           +---+---+      +---+---+
  
  

  (2)のリストを破壊的変更しなければ、ふたつの差はほとんどありません(後者の方がメモリを使う、というくらいです。) マクロ展開後のコードを破壊的変更することは普通ありませんから、マクロ出力に#n=ラベルが含まれていても問題ありません。
  Schemeの仕様上、部分共有は必ずしも明示しなくても良いので、前者のリストを ((1 2) (2))と出力しても構わないことになっています。実際、混乱が多いので、開発版(0.9.6になるもの)では既にREPLではデフォルトで部分共有は明示しないようになりました。
  0.9.5で#0=表記が見にくかったら、結果をwriteに渡せばラベルなしの出力が得られます。

質問者です。お答えありがとうございました。 「nlist は再帰で (nlist '(2)) になった場合 (cons (car '(2)) (cdr '(2))) で新たに (2) というリストが作られるが、n2list の場合 (cons ls (n2list (cdr ls))) で (1 2) の cdr 部分 (2) が共有される、『使い回される』(?)ので同じポインタで指し示される」と理解して合っていますでしょうか？

定義によって導入 (齊藤: 2018/04/21 02:59:58 UTC)

R5RS や R7RS にはこのような文言があります。

 定義によって導入されていないグローバルの束縛を変更することは，
 本章で定義された手続きの振舞いに対して未規定の効果をもつ。

「定義によって導入されていない」というのはどのような意味でしょうか？

R5RS については、この言葉は「プログラマが define を書いていない (要するに処理系が提供する束縛)」 くらいの意味だと思っていました。

しかし、R7RS だと「import した変数へ set! した効果はエラー」という旨の記述があり、 デフォルト環境は空っぽなので処理系が提供する全ての変数は import を経なければ使えません。 処理系が提供する変数については import した変数についての規定で説明がついてしまい、 「定義によって導入されていない」という文言が有る意味がわからなくなってしまいました。

• Shiro(2018/04/21 20:54:37 UTC): 6節の冒頭のところですね。確かにR7RSライブラリ/プログラムでは全ての束縛はimportもしくはdefineで明示的に導入されるので、defineのない束縛変数はimportされてるはずだからset!できないです。
  ただ、直前の5.7でREPLについては処理系が暗黙のトップレベル束縛を導入してもよいとあるので、その場合をカバーするために残されたのかもしれません。
• 齊藤(2018/04/21 21:12:20 UTC): なるほど。 私は REPL の場合に導入される束縛を「暗黙の import」と勝手に思い込んでいたので、そこに区別が有りうるということに思い至りませんでした。
  エラーではなく未規定という扱いになっているのも、 R5RS (の処理系やその上で動いていたプログラム) との互換性に配慮したと考えれば納得できます。
  (エラーの挙動についての規定が雑なので、区別する意味はそんなになさそうな気もしますが。)

木構造に対するmap

S式をトラバースして特定のシンボルだけを置換したいと思い、以下のようなコードを書いたのですが、これと似た動作をする関数がGauche内にあれば教えて頂きたいです。上手く探しきれずにすみません。

(define (map-tree proc sexp)
  (if (pair? sexp)
      (cons (map-tree proc (car sexp)) (map-tree proc (cdr sexp)))
      (proc sexp)))

• Shiro(2018/03/07 17:57:48 UTC): ツリーのマップは様々なバリエーションがあり得るので上のmap-treeそのものずばりは無いです。やや汎用的なものが、undocumentedですがtext.treeというモジュールにあります。

  tree-walk TREE PROC LEAF? WALKER
  

  これはTREEの構造を特定せず、葉の判別述語LEAF?とノードの子供を訪れるWALKERを外から与えるものです。これを使うとmap-treeは次のとおり書けます。

  (define (map-tree proc sexp)
    (tree-walk sexp proc (complement pair?) (^[f p] (cons (f (car p)) (f (cdr p))))))
  

  ただ、このくらいならmap-treeを直接書いてしまう方が分かりやすいですね。 map-treeもtext.treeに入れようかな。
• Shiro(2018/03/07 18:34:34 UTC):改めて考えたら「葉であること」を述語にするより「葉でないこと」を述語にする方が使い勝手がいいかなあ。変えるかも。
• kuu?(2018/03/08 14:49:03 UTC):ありがとうございます、私のだとAtomしか触れないからこちらのほうが強力ですね

gauche.configureの動作について

Gaucheの拡張を書いている時にgauche.configureを使用してconfigureスクリプトを書いたのですが、その時に気になる事があったので質問します。

configureスクリプトを書いている時に以下の問題がおきました。

・問題

(cf-check-headers)でヘッダをチェックしてconfig.h.inからconfig.hを生成しようとしたが、ヘッダが見つかったにも関わらず#define HAVE_XXX_Hが出力されませんでした。

・調査

gauche/configure.scmを調べた所、#define HAVE_XXX_Hを出力する箇所(748行目)で比較が常に失敗しているために#define ...が絶対に出力されない事が分かりました。

・修正

ヘッダが見つかった際には比較が成功するように修正した所、正しくconfig.h.inから#define HAVE_XXX_Hが出力されたconfig.hが生成されました。

私の環境では上記の修正で望む動作が実現してその他のconfigureの動作も問題ないのですが、設計思想の面などからこの修正は良かったと言えるのでしょうか。

以下は環境と修正のパッチです。

OS: Ubuntu 14.04 LTS

Gauche: 0.9.5

configure: ./configure '--prefix=/usr/local/gauche-0.9.5' '--enable-threads=default' '--with-tls=axTLS' '--with-dbm=dbm,odbm' '--enable-multibyte=utf-8' 'PKG_CONFIG_PATH=/usr/local/pkgconfig'

patch:

--- ../Gauche-0.9.5/lib/gauche/configure.scm    2016-08-06 19:47:50.000000000 +0900
+++ /usr/local/gauche/share/gauche-0.9/0.9.5/lib/gauche/configure.scm   2017-07-14 08:49:38.699387698 +0900
@@ -111,7 +111,7 @@
    (tarname    :init-keyword :tarname)
    (tool-prefix :init-form #f)           ; cross compilation tool prefix
    (config.h   :init-form '())           ; list of (config-header . source)
-   (defs       :init-form (make-hash-table 'eq?)) ;cf-define'd thingy
+   (defs       :init-form (make-hash-table 'string=?)) ;cf-define'd thingy
    (substs     :init-form (make-hash-table 'eq?)) ;cf-subst'ed thingy
    (precious   :init-form (set eq-comparator))    ;vars overridable by env
    (features   :init-form (make-hash-table 'eq?)) ;enabled features by cmdarg
@@ -745,7 +745,7 @@
     (^[line outp]
       (rxmatch-case line
         [#/^#undef\s+([A-Za-z_]+)/ (_ name)
-         (if-let1 defval (dict-get (~ pa'defs) (string->symbol name) #f)
+         (if-let1 defval (dict-get (~ pa'defs) name #f)
            (display #"#define ~name ~defval" outp)
            (display #"/* #undef ~name */" outp))]
         [else (display line outp)])

• Shiro(2017/07/18 11:35:46 UTC): ありがとうございます。これはcf-check-headersのバグですね。 cf-defineは第一引数にシンボルを取る想定になっています。直しておきます。
• Shiro:コミットしました。HEADからの再ビルドが面倒であれば、cf-check-headersの中でcf-defineを呼んでいる箇所の引数にstring->symbolを入れるだけです。
• 投稿者(2017/07/18 21:55:18 UTC):修正されているのを確認しました。お忙しい中、修正して下さりありがとうございました。

subr, closure, procedureの違い

REPLで組み込みの手続きはsubrと表示され、自分で定義したものはclosureと表示されます。そもそもSchemeでは手続き（procedure）という用語を使うようですが、どうしてこうなっているのでしょうか？

gosh> cons
#<subr cons>
gosh> (define x (lambda () 123))
x
gosh> x
#<closure x>

なお http://chaton.practical-scheme.net/gauche/a/2010/09/10 では

Gaucheのクラス名だと，最初から入ってる関数がsubr，作った関数がprocedure，最初から入ってる文法がsyntax，作った文法がmacroになるっぽい．

とありますが、現在の0.9.4ではprocedureでなくclosureと表示されます。仕様が変わったのでしょうか？

• hamayama(2016/11/14 12:41:50 UTC): class-of や d で確認すると、cons と x は、どちらも <procedure> クラスのインスタンスのようです。
  #<subr cons> や #<closure x> と表示されるのは、実装が C なのか Scheme なのか、デバッグ用に区別がつくようにしているのではないでしょうか。
• Shiro(2016/11/15 20:29:29 UTC): 整理するとこんな感じです:
  • 言語としては、手続きは一律<procedure>型
  • 実体は、Cで実装されたものとSchemeで実装されたものがあり、実行方法が違うので内部的には区別している。表示にもそれが反映される。Cで実装されたものをsubr、Schemeで実装されたものをclosureと表示している。
  • subrという呼び方は昔のLispからの伝統で、Lisp自身ではなく実装言語(Gaucheの場合はC)で書かれた、本来の意味での「組み込み手続き」。Gaucheの場合はコアに最初から入っている手続きを組み込みと呼んでいるけれどそれにはCで書かれたものもSchemeで書かれてコンパイルされたものもある。
  • ユーザから見た違いとしては、Schemeで書かれたclosureの場合source-codeでソース情報などが参照できる可能性があるが、subrの場合は参照できない (組み込みでプリコンパイルされてる手続きはclosureであってもソース情報が落とされてるのでソースが見られないけど)。closureはdisassembleできるけどsubrはできない。等。
• 質問者: 分かりました。ありがとうございます。subrが一番気になっていたのですが、昔からの伝統だったのですね。

自動整形の設定

lisp全般に言えることですが、ライブラリ固有のマクロや独自に定義したマクロをうまく自動整形する仕組みはないのでしょうか。ちまちま手作業でインデントしたり、lisp-indent-functionを設定したりするのがわずらわしいのですが、皆さまはどのように対応していますか。(put 'keyword 'lisp-indent-function num)は特定のファイル、ライブラリでしか使われない構文がそのlisp方言全体の設定として保存されるのが好ましくありません。理想的にはエディタがファイル内のimport文を読み取ってそのライブラリ特有のインデントのルールをそのファイルに適用してほしいです。

• Shiro(2016/10/01 02:12:26 UTC): なるほどー。私は自分の設定ファイルにscheme-indent-functionを追加してますが、他人と共有できません。EmacsのLocal variablesを使えばソースファイル中に書いておけますが、影響はグローバルですし、ライブラリからimportしたものはそのライブラリのソースも読みにいかないと有効にならない、と。
  仰るような機能を持つ開発環境は私は知らないです。かつては、現代ほどサードパーティライブラリを多用するという時代ではなかったので何とかなってたのでしょうね。
  作ろうと思えばできなくはないと思います。Emacsではバッファローカルのシンボルプロパティって持てなさそうなんで、独自のバッファローカル変数でインデント情報を管理して、インデント計算でそっちを見にゆくようなモードを作れば…

Windowsでの日本語名ファイルの取扱い

Gauche-mingw-0.9.4.msiで、日本語名のファイルを含むディレクトリに対して (diectory-list2 directory-path)をすると

• cygwinだとNo such file or directoryのエラー(文字化けはしない)
• DOS promptだと文字化けする上にNo such file or directoryのエラー
  • chcp 65001しても同じ となってしまいます。

Windowsで日本語名のファイルを取り扱うスクリプトを書くにはどうすると良い のでしょうか?

以前の環境では、cygwinでビルドしたgaucheでは問題なかったと記憶しているので、 それが無難でしょうか? (2016/05/22 13:11:03 UTC)

• Shiro(2016/05/23 00:16:04 UTC): 開発版では直っているはずです。今すぐ使うなら 開発版をコンパイルしていただくしかないです。 ちょうどdoc/HOWTO-mingw.txtを書き直していたところなんですが、現在の開発版では mingw-w64 (mingw32, mingw64) & msys2 がWindowsでの推奨開発環境になります。 普通にビルドするだけなら、msys2を入れて ./DIST gen + configure + make で いけると思います。 0.9.5リリースは近い、はずなんですが多忙につき進捗が亀になっています。

• hamayama(2016/05/23 09:24:42 UTC):自分の環境(Windows 8.1 (64bit))で実行してみたところ、
  開発版の Gauche v0.9.5_pre1 でも以下のエラーになりました。
  

  *** SYSTEM-ERROR: stat failed for C:\xxx\日本語の文字化け No such file or directory
  

  ソースの win-compat.h で、stat を、ワイド文字対応の _wstat の define にすればよいように思いますが、
  コメントに以下の記述があるのが少し気になります。
  

  NB: stat() needs special treatment; MinGW defines its own macro.
  

  エラーメッセージの日本語の文字化けについては、Gauche:Windowsコンソール関連 の msjis の項目に説明があります。

• Shiro:ああ、statでもひっかかっていたんですね。思い出しました。 statが厄介なのは、関数名を切り替えるだけじゃなくてstructの名前も対応するものに 切り替えないとならないからです。例えば stat() -> _wstat32(Scm_MBS2WCS...) したら、 引数に渡すstruct statで書いてあるところを全部struct _stat32 にしないとならない。 まあ、このさいですからやってしまうことにします。
• Shiro(2016/05/24 12:42:31 UTC): これでどうかな。手元のWindows7(言語設定は英語)では 日本語ファイル名でも動くようになりました。 https://github.com/shirok/Gauche/commit/db4fb29fc36968bd8a4e62feecedeeb78db499e6

• hamayama(2016/05/24 14:30:10 UTC): Windows 8.1 (64bit) 環境で動作することを確認できました。
  また、MSYS2/MinGW-w64 開発環境についてのメモが Gauche:Windows/MinGW-w64 にあります。

• 質問者 (2016/05/25 12:02:20 UTC): 回答ありがとうございます。日和って0.9.5待とうかな…

syntax-rulesでcondlet

ポール・グラハム著のOn Lispに載っているcondletをsyntax-rulesで再現しようしたのですが，どうにもうまく行かなくなったので質問致します．まずひとつ目は私が書いたマクロの誤りを教えていただきたいです．

;; 定義
;; ローカル変数を抽出する
(define-syntax cond-let
  (syntax-rules ()
    ((_ ((condition (var val) ...) ...) body ...)
     (cond-let% () ((var ...) ...) ((condition (var val) ...) ...) (body ...)))))

;; 抽出した変数のリストを平坦化する
(define-syntax cond-let%
  (syntax-rules ()
    ((_ (var% ...) () clauses bodies)
     (cond-let%% () (var% ...) clauses bodies))
    ((_ (var% ...) ((var ...) rest ...) clauses bodies)
     (cond-let% (var% ... var ...) (rest ...) clauses bodies))))

(define-syntax cond-let%%
  (syntax-rules ()
    ((_ vars%% () ((condition (var val) ...) ...) bodies)  ;; 外側の骨格を作る
     (cond (condition (let ((var val) ...)
                        (cond-let%V () vars%% (var ...) bodies)))
           ...))
    ((_ (var%% ...) (var0% var1% ...) clauses bodies)
     (letrec-syntax ((cond-let%%% (syntax-rules (var%% ...)  ;; 抽出した変数の中の重複するものを取り除く
                                    ((_ var%% vars%% vars%)
                                     (cond-let%% vars%% vars% clauses bodies))
                                    ...
                                    ((_ var%%% vars%% vars%)
                                     (cond-let%% (var%%% . vars%%) vars% clauses bodies)))))
       (cond-let%%% var0% (var%% ...) (var1% ...))))))

(define-syntax cond-let%V
  (syntax-rules ()
    ((_ (var%V ...) () vars (body ...))  ;; 未束縛の変数に'()を束縛する
     (let ((var%V '())
           ...)
       body ...))
    ((_ (var%V ...) (var0%% var1%% ...) (var ...) bodies)
     (letrec-syntax ((cond-letV (syntax-rules (var ...)  ;; 未束縛の変数を抽出する
                                  ((_ var vars%V vars%% vars)
                                   (cond-let%V vars%V vars%% vars bodies))
                                  ...
                                  ((_ varV vars%V vars%% vars)
                                   (cond-let%V (varV . vars%V) vars%% vars bodies)))))
       (cond-letV var0%% (var%V ...) (var1%% ...) (var ...))))))

;; 想定している動作
(cond-let (((= 1 2) (x 'a) (y 'b))
                         ((= 1 1) (y 'c) (x 'd))
                         (else (x 'e) (z 'f)))
                        (list x y z))
=> (cond ((= 1 2) (let ((x 'a)
                        (y 'b))
                    (let ((z '()))
                      (list x y z))))
         ((= 1 1) (let ((y 'c)
                        (x 'd))
                    (let ((z '()))
                      (list x y z))))
         (else (let ((x 'e)
                     (z 'f))
                 (let ((y '()))
                   (list x y z)))))
=> (d c ())

実際は`unbound variable: x'とエラーが出ます．bodyにローカル変数を使わなければ正しくリストが返ります．オリジナルの版と比べてもやたらと長く，おそらく筋の悪い書き方なので申し訳ないのですがよろしくお願いします．
もうひとつはGaucheではどのようにマクロをデバックすれば良いかということです．macroexpandを用いてもlet(rec)-syntaxより先まで式が展開されず，想定通りの式が出来上がっているのか分からないのでそこで手詰まりになります．何か良い方法があったらアドバイスください．
よろしくお願いします

• Shiro(2016/04/08 09:21:48 UTC): とりあえずすぐ回答できる点を。
  • 開発版Gaucheではフォーム中のマクロを全て再帰的に展開するmacroexpand-allが使えます。

    gosh> (macroexpand-all '(cond-let (((= 1 2) (x 'a) (y 'b))
                                       ((= 1 1) (y 'c) (x 'd))
                                       (else (x 'e) (z 'f)))
                                      (list x y z)))
    (if (= '1 '2)
      (letrec ((x.0 'a)
               (y.1 'b))
        (letrec ((z.2 '()))
          (list x.0 y.1 z)))
      (if (= '1 '1)
        (letrec ((y.3 'c)
                 (x.4 'd))
          (letrec ((z.5 '()))
            (list x.4 y.3 z)))
        (letrec ((x.6 'e)
                 (z.7 'f))
          (letrec ((y.8 '()))
            (list x.6 y z.7)))))
    

  • 出力はわかりやすくインデントしました。ローカル変数がx.0等となっているのは、 衛生マクロの変数衝突回避のリネームがかかっているからです(内部的にはidentifierになってるんですが、 macroexpand-allがわかりやすいようにシンボルに直しています。また、変数リネームにより束縛が解決された後ではletは全てletrecとして扱って構わないので、macroexpand-allは全てletrecにして返します)
  • で、これを見ると未束縛変数をバインドするために導入されたz.2などと元のフォームのzが同一視されていないことがわかります。
  • これが想定される動作なのかGaucheの問題なのかはもうちょい深く見てみないとわからないです。マクロ展開によって挿入されるマクロのリテラルの扱いが怪しかったような覚えがあるので。

• ご返答してくださってありがとうございます． ところがせっかく展開結果を載せて下さったにもかかわらず，それと元のコードとを読み比べても解決法が見いだせませんでした．試しに別の処理系でと思ってchibi schemeを導入してみたところうまく動いたので，Gaucheでsyntax-rulesのみ使うのは諦めてdefine-macroを併用して書き直してみることにしました．コード全体もすっきりしましたし，これでよしとしておきます．
• Shiro(2016/04/10 03:59:59 UTC): Chibiで動いたのならGaucheのバグっぽいですね。 なおGaucheのHEADにはExplicit renaming macro (er-macro-transformer) も入っているので、define-macroの柔軟性と衛生的マクロの両方が欲しければ今後は そちらがおすすめです。

Gauche(Scheme)初心者が約束通り再帰で躓いたので質問したく存じます。

最近のラノベのタイトルのような質問で申し訳ありませんが、分かりやいようにと思いこの様な質問に致しました。ご不快に思われたら申し訳ありません。

例えばリストの個数を数える関数、kosuを再帰で作って、traceしてみます。

(use slib)

(require 'trace)

(define (kosu x)
  (if (null? x)
      0
      (+ 1 (kosu (cdr x)))
  )
)

(trace kosu)

(kosu '(a b c))


gosh> CALL kosu (a b c)
 CALL kosu (b c)
  CALL kosu (c)
   CALL kosu ()
   RETN kosu 0
  RETN kosu 1
 RETN kosu 2
RETN kosu 3
3

はい、リストの数を数えてくれました。だがしかし、ここで私には上手く分からない疑問が２つあります。

其の1

(if (null? x) 0[若しくは '()] 再帰[大抵は元のリストをcdrする])

は、初心者向けのScheme本によく出てくる例ですが、ここで最初に疑問に当たりました。
何故ならばtraceして評価してみると

   CALL kosu ()

とありますように、リストをcdrしていくと最後は () つまりnullになるわけですから

  (if (null? x)
      0

のところで引っ掛かり（(null? x)が#tになり）、0が返って来て、そこで終了になるように思えるのです。 実際、

(if #t 0 1)

を評価しますと、必ず0が返ってきます。同じことが起きないのは何故なのでしょうか。

• では、if の働きを理解するために、仮に if を取り外して考えてみましょう。

  (kosu x) = (+ 1 (kosu (cdr x))))
  

  日本語に訳すと「x の kosu は (cdr x) の kosu に 1 を足したもの」となります。 ただし、ヌルリストの cdr は取れないので、ヌルリストの kosu は 0 と定義してしまいます。 ヌルリストには要素がありませんから妥当な定義と言えるでしょう。

  (kosu '()) = 0
  

  最初の定義と合わせると

  (kosu x)   = (+ 1 (kosu (cdr x))))
  ただし
  (kosu '()) = 0
  

  これを Scheme に翻訳すると

  (define (kosu x)
    (if (null? x)
      0                       ; ヌルリストの kosu は 0
      (+ 1 (kosu (cdr x)))))  ; それ以外は cdr の kosu に 1 を加える
  

其の２

この関数、「kosu」は

(kosu '(a b c))→(+ 1 (kosu '(b c)))→(+ 1 (+ 1 (kosu '(c))))→(+ 1 (+ 1 (+ 1 (kosu '()))))→(+ 1 (+ 1 (+ 1 0)))

を計算して３を返しているのだと思いますが（違っていたらすみません）、私には

• これが正解です。 もうちょっと進めて (+ 1 (+ 1 (+ 1 0))) → (+ 1 (+ 1 1)) → (+ 1 2) → 3

(+ 1 (kosu (cdr '(a b c))))→(+ 1 (kosu '(b c)))
↓
(+ 1 (kosu (cdr '(b c))))→(+ 1 (kosu '(c))
↓
(+ 1 (kosu (cdr '(c))))→(+ 1 (kosu '())

そして if の条件が真になり 0 が返ってきて（何故ここで０が返ってこないか疑問であるのは、其の1で述べた通りですが、ここでは無視します）

(+ 1 0)

となり、１が返ってくるように思えるのです。つまり、(+ 1 (+ 1 (+ 1 0))) の左側二つの"1"たちは、足されようとしたら足すはずの相手が再帰で振り出しに戻るので、「そうか、またあそこへ戻るのかい……じゃあ新しい１と上手くやんな。あばよ」と去っていくのではないかと思えます。

• 「あばよ」と去っていくのは goto で関数の呼び出しは「ちょっと行ってくるら待ってててね」という意味なんですよ。

左側二つの"1"たちは、どこで(+ 1 0)の答えを待っているのでしょうか。関数自体が記憶しているわけではないと思いますが……優しさでしょうか。しかし"0"に二股どころか三股掛けられても平気なわけではないと思います。 これは一体どう解釈すれば良いのでしょうか。よろしければ詳しい方、ご教授お願いいたします。（杜仲茶）

• 実は「ちょっと行ってくるから待っててね」と浮気に出かける kosu は 戻ってこれるように、待ってる人がいる場所をちゃんと覚えとくんですね。 その場所が継続というものです。 少し高度に話になりますが、 その場所は必ずしも浮気に出かける直前の場所でない事に注意。あくまで待っている人がいる場所なんです。 勉強を続けていくと、そのうち末尾呼び出しという言葉が 出てくると思いますが、その辺りに関連します。

かしこ

追記：試しに

(define (kosu x)
  (if (null? x)
      0
      (+ (kosu (cdr x)) 1)
  )
)

と、最後の式の順序を入れ替えましたところ、同じように '(a b c) に対して３が返って来ましたし、traceしても同じ結果でした。「そりゃ足し算は順序関係ないけどさー」と思いつつも、1を足す前に「振り出しに戻る」を繰り返すのですから、ますます

(+ 0 1)

だけが評価されて終わる気がするのです。

追記の追記：この順序だと

(kosu '(a b c))
(+ (kosu '(b c)) 1)
(+ (+ (kosu '(c)) 1) 1)
(+ (+ (+ (kosu '()) 1) 1) 1)

となり

(+ (+ (+ (+ 0) 1) 1) 1)

となると思うのですが、今回は右の "1" たちが残っている理由が分かりません。

• 残っているのでなく、まだ続きがあるんですね。 一番内側は (+ 0) じゃなくて (+ 0 1) で、続きを書くと (+ (+ (+ 0 1) 1) 1) → (+ (+ 1 1) 1) → (+ 2 1) → 3。trace した時の後半部分です。

上手く分からない理由を上手く説明できなくてすみません。

• hamayama(2016/02/09 21:10:46 UTC):基本的には、関数を呼び出して処理が完了すると、呼び出し元の次の命令から実行が継続されるということだと思います。
  このため、関数①の中からさらに関数②を呼び出した場合には、呼び出し元の関数①の状態は記憶されていて、 関数②の処理が完了した後に、関数①の残りの命令が実行されます。
  したがって、「0が返って来て、そこで終了」とはならず、そこから3個の呼び出し元に帰っていき、それぞれで+1されるため、最終結果が3になります。
  traceの結果がまさにそれを表しています。
  （末尾呼出し最適化等により、関数の状態が記憶されないケースもありえますが、それは上記を理解できた後に、さらに勉強するとよいと思います。。。）

質問の仕方

すみません。このページでの質問の仕方が分からないのですが、こうやって「編集」をして質問するのでしょうか？

• はい、その通りです。他のエントリーを参考にヘッダをつけたりしてくださいね。

型によるプログラミングをする際の関数の宣言方法について

hateman? 任意の引数が存在する場合の関数の宣言方法はどうすればいいのでしょうか。 例えば 文字列の足し算や

(+ "hoge" "fuga" "aaa") # -> "hogefugaaaa"

A, B, C は（独自の）行列クラスの場合の掛け算

(* A B C) # -> ABC

などは generics 型によって動的にどの手続きを呼ぶか判断されると思いますが、 これが任意の引数の場合に型で判断できるように +, * の手続きを実装する上手い書き方がありますでしょうか。 よろしくお願いします。

• 齊藤 (2015/02/19 15:48:15 UTC): define-method で + にメソッドを追加すればよいです。

  (define-method + ((x <string>) (y <string>) . z)
    (apply + (string-append x y) z))
  

  しかし、性能上の問題などから一部の演算は特別なフックが仕掛けられている場合があり、 + はそのひとつです。 object-+ にメソッドを追加するとただ + に追加するよりは速いかもしれません。

  (define-method object-+ ((a <string>)(b <string>)) (string-append a b))
  

  残念ながらこの方法では、 + は可換であることを利用した最適化がかかる場合があるとのことで、順序が意味を持つ文字列の連結に使うと意図しない挙動になるかもしれません。 また、 object-+ にメソッドを追加するのは現状ではドキュメントに載っていない隠し機能です。

hateman? ありがとうございます。 確かに define-method に apply すればいいだけでした。。初歩的ですいません。 また object-+ の機能についてもご説明ありがとうございます。

macroexpand の再帰的な評価について

takker? macroexpand を再帰的な評価をすることは可能なのでしょうか。 例えば以下のような、 my-or を macroexpand を行うと最後まで評価されずに終わってしまいます。

(define-macro (my-or . args)
  (if (null? args)
      #f
      (let ((sym (gensym)))
        `(let ((,sym ,(car args)))
           (if ,sym #t
               (my-or ,@(cdr args)))))))

クロージャーなどでは、macroexpand-all などが存在するようなのですが これを自分で定義することは可能なのでしょうか。 いろいろ調べてもよく分からなかったので質問しました。

• Shiro(2014/07/09 22:38:00 UTC): 今のところ組み込みで全部展開してくれるものはありません。 自前で定義することはもちろんできます。が、特殊形式の扱いは個別に書かないとならないので (例えば (let ((var init) ...) body ...) を見たら、再帰するのはinitとbody部分、 というようなルールを自分で書いてやる必要がある)、二度手間っぽいことにはなります。 Gaucheのコンパイラは特殊形式の扱い方を知ってるわけですから。
  現状、Gaucheはマクロ展開と並行して内部形式への変換を行ってしまうので、マクロ展開だけを うまい具合に取り出せないんですが、自前で書いてると新たな特殊形式をGauche本体に足した時に 齟齬が生じるので、いずれはオフィシャルなコードウォーカーを提供したいですね。
  • Shiro(2016/02/08 00:28:40 UTC) 現時点のHEADでmacroexpand-allが使えるようになっています。返り値の仕様はいじるかもしれません。

• takker? 早速ご返信ありがとうございます。再帰を使ったマクロのデバッグに苦労 していました。自前で定義することも可能とのことなので、ひとまず自分で試行錯誤してみようと思います。
• takker?(2014/07/10 12:39:19 JST): 追記です。以下で一応上手くいきました。展開されるマクロは一つのみだけですが。。一応コードについても載せておきます。

(define (macroexpand-rec macro form)
  (cond [(null? form) '()]
        [(not (pair? form)) form]
        [(eq? macro (car form)) (macroexpand-rec macro (macroexpand form))]
        [else
         (cons (macroexpand-rec macro (car form))
               (macroexpand-rec macro (cdr form)))]))

(define-macro (%macroexpand-rec macro form)
  `(macroexpand-rec (quote ,macro) (quote ,form)))

;; マクロ展開
(%macroexpand-rec my-or (my-or (eq? 5 5) (eq? 3 4)))

• Shiro(2014/07/10 05:53:52 UTC): ちょっと確認するくらいならそれで良いと思います。 一般的な話でいうと、else節のところでcarとcdrで再帰すると、formがたまたま

  (foo my-or x)
  

  という式だった場合、(cdr form)が(my-or x)になって展開されちゃうんで、

  (map (lambda (x) (macroexpand-rec macro x)) form)
  

  とするのが定石ですね。ただこの場合、formが完全なリストであることを確認しておく必要があります。
  上で特殊形式云々、と言ってるのは、

  (lambda (my-or x) body ...)
  

  とか

  (let ((my-or x)) body ...)
  

  なんてのが出てきた場合の(my-or x)の部分は展開しちゃいけないし、bodyの中でもmy-orは (マクロをシャドウする)単なる変数になってるので展開できない、といった問題が出てくるということです。 完全にやろうとするとそこそこ面倒です。

Gauche(0.9.4_pre3)のr7rs環境について

asada? 2014/03/21 07:51:48 UTC

gosh -r7で起動した時,Gaucheの既存のprocedureをimportするには、どうすれば良いですか？regexp?等の正規表現が使いたいのです。

(import (gauche regexp))としたのですが、意図通りにimportできてない様です。 お手数ですが、アドバイスを頂けると助かります。

• Shiro(2014/03/21 08:48:46 UTC): (import (gauche base)) とすれば、 Gaucheの組み込み関数が使えるようになります。 autoloadされる関数も使えるようになるので、Gaucheモードでuse無しで使えてる機能は 基本的に(import (gauche base))だけで使えるようになるはずです。

• asada? ご対応ありがとうございます。問題無く使用できました。

• asada? https://github.com/shirok/Gauche/blob/master/doc/modr7rs.texi 　こちらにヒントが記載されてましたね。不勉強でした。お手数お掛けしました。

Window7(Gauche-mingw-0.9.3.3.msi)の gauche-package でエラー

anon(2014/01/05 02:27:58 UTC): 自分のPC上でWiLiKiを使いたいと思って、Apacheをインストールして

#!gosh.exe
(display "Content-type: text/plain\n\n")
(display (gauche-version))
(display "\n")
(display (gauche-architecture))
(display "\nHello World")

というCGIスクリプト(localhost/cgi-bin/test.scm.cgi)が

0.9.3.3
i686-pc-mingw32
Hello World

を返すのを確認した後、DOSプロンプト上でWiLiKiをインストールしようとしたところ、

D:\>gauche-package install WiLiKi-0.6.2.tgz
*** SYSTEM-ERROR: cannot find program '#f': No error
Stack Trace:
_______________________________________
  0  (sys-fork-and-exec (car argv) argv :iomap iomap :directory dir :si ...
        At line 183 of "D:\\Program Files\\Gauche\\share\\gauche-0.9\\0.9.3.3\\lib/gauche/process.scm"
  1  (run-process (cond-expand (gauche.os.windows (win-break-cmdargs cm ...
        At line 51 of "D:\\Program Files\\Gauche\\share\\gauche-0.9\\0.9.3.3\\lib/gauche/package/util.scm"
  2  (clean config dir)
        At line 148 of "D:\\Program Files\\Gauche\\share\\gauche-0.9\\0.9.3.3\\lib/gauche/package/build.scm"
  3  (usage)
        At line 93 of "(input string port)"

となります。 (clean config dir)するためのコマンドが見つからないということなのでしょうか?

• Shiro(2014/01/05 11:12:55 UTC): ふむぅ。gauche-packageはMinGW+MSYSのUnix風ツール類 があることを当てにしているので、そのせいですね。cleanはrm -rfを呼んじゃってます。 他にも、cat, tar, gzip, makeあたりが必要です。 rmとかはもう外部コマンド呼びだす必要はないので、vanilla windowsでも動くように 徐々に改良してゆくことはできますが、今のところはMSYS環境でMSYS bashから 実行してもらうのが確実かと思います。
• anon (2014/01/05 22:39:26 UTC): MSYS、やってみます。アドバイスありがとうございました。

ファイルのアクセス日時のみ現在の日時にしたい

2011/10/26 19:49:51 PDT: (touch-file "filename")だと更新日時も変わってしまいます… アクセス日時を変えたいだけなので、実際にファイルを読み込む手間を省く方法はないでしょうか?

• Shiro(2011/10/26 20:22:50 PDT): 今やるなら

  (let1 s (sys-stat "filename")
    (sys-utime "filename" (sys-time) (~ s'mtime))
  

  でしょうか。将来的にはtouch(1)コマンドのようなオプションをtouch-fileにつけるのがいいですかね。
• ありがとうございました。オプションはあるとうれしいですね。(2011/10/26 23:02:40 PDT)

refの仕様

2011/07/05 11:41:25 PDT: これ，デフォルトではエラーなんですね．少し引っかかりました．

(ref xs 1.0)

• Shiro(2011/07/05 14:41:52 PDT): もともとSchemeの規格にある list-ref, vector-ref, string-ref は第2引数に「正確な非負整数」を取ることになっていて、非正確数を 渡せばエラーになります。それに合わせてあるだけなんですが、どういう動作を期待しましたか?

2011/07/05 19:16:14 PDT: Cプログラムを何も考えずにSchemeに移植していたのですが、こう定義すると

gosh> (define-method ref ((l <list>) (r <real>)) (ref l (inexact->exact r))
)
#<generic ref (10)>

これらは動きます

gosh> (ref '(a b) 1.0)
b
gosh> (~ '(a b) 1.0)
b

これはエラーになってしまいます

gosh> (set! (~ '(a b) 1.0) 1)
*** ERROR: no applicable method for #<generic |setter of ref| (6)> with argumen
s ((a b) 1.0 1)
Stack Trace:
_______________________________________

さらにこう定義して期待通りの動作となりましたが、正しいのかわかりません

(define-method (setter ref) ((l <list>) (r <real>) obj)
  (let1 i (inexact->exact r)
    (set! (ref l i) obj)))

• Shiro(2011/07/05 19:21:36 PDT): その定義で正しいです。通常のメソッドを定義したら setterメソッドが勝手についてくる、なんてことはないので、setterメソッドは 別に定義してやらないとなりません。
  まあ、inexact numberでrefするのって気持ち悪いんで、心情的には 呼出側で (ref xs (exact r)) とか (set! (ref xs (exact r)) n) とか する方が綺麗だと思いますが、手っ取り早く移植したいならメソッド定義しちゃうのは ありです。なお手続き exact はR6RSですがGaucheでも0.9.1から使えるようになってます。

syntax-rules の ... の動作

齊藤 (2010/09/29 19:46:49 PDT): syntax-rules のテンプレートについてです。 以下のように書くとエラーになります。

(define-syntax hoge
  (syntax-rules ()
    ((_ r ...)
     (list '(r (r ...)) ...))))

(hoge 1 2 3)

期待する展開形は

(list '(1 (1 2 3)) '(2 (1 2 3)) '(3 (1 2 3)))

です。

... が (r ...) にも掛ってしまうことが原因とは思いますが、 R5RS 的には未定義なんでしょうか？ 手元で試してみたところ、 Gauche を含む R5RS 処理系のいくつかではエラーになり、主要な R6RS 処理系では期待通りに展開されるようです。

Shiro(2010/10/02 17:33:18 PDT): はい、これはR5RSでは曖昧で、R6RSで明確化されました。

R5RS section 4.3.2

Pattern variables that occur in subpatterns followed by one or more instances of the identifier ... are allowed only in subtemplates that are followed by as many instances of ....

このas manyは「同数の」ですが、文章全体が必要条件を述べているともとれ、その場合 as manyは下限を示していると解釈可能です。テンプレートの方で...が多い場合については 仕様は何も言っていないので、以下のどちらの解釈もOKです。

• 厳密に解釈して、同数の...でないとエラーにする
• ...が多い場合は処理系拡張の動作とする

R6RSでは...が多い場合について明示的に許され、振る舞いも定義されました。

R6RS section 11.19:

If a pattern variable is followed by more ellipses in the subtemplate than in the associated subpattern, the input form is replicated as necessary.

齊藤 (2010/10/08 21:35:41 PDT) : なるほど。 納得しました。 R5RS 的には使わない方がよさそうですね。

write の出力のカスタマイズ

osn(2010/05/27 22:16:11 PDT): 実数の write での出力では、桁数に応じて固定小数点表記あるいは浮動小数点表記とが切り替わります。

gosh> (write 1.0)
1.0
gosh> (write 10000000.0)
10000000.0
gosh> (write 100000000000.0)
1.0e11

この表記の切り替わりの桁数や浮動小数点表記内容をカスタマイズできないでしょうか。write-object でできないかと思い、以下のようなことをやってみたのですが、効果ありませんでした。

gosh> (define-method write-object ((obj <real>) out) (format out "~a*1000" (/ obj 1000)))
#<generic write-object (3)>
gosh> (write 3e3)
3000.0   (3*1000 と表示されることを期待)

他処理系で生成されたS式のファイルを gauche で読み込んで write とすると数の表記が変わってしまい、できれば元の処理系と同じ規則を定義して出力したいと思っています。 よろしくお願いします。

• 齊藤(2010/05/28 00:24:07 PDT): write に直接メソッドをかぶせれば一応そのような動作をさせることは出来るようです。

  (define-method write ((obj <real>) . rest)
    (let-optionals* rest
        ((out (standard-output-port)))
      (format out "~d*1000" (inexact->exact (/ obj 1000)))))
  

  gosh> (write 3e3)
  3*1000
  

  でも、 Scheme では write して read したら同じものになるのが基本なので、こういうカスタマイズはスジが悪い方法かも。 別の名前で専用の関数 (メソッド) を用意した方が無難に思えます。

• Shiro(2010/05/28 00:53:18 PDT): write-objectはプリミティブ型には効果を及ぼしません。 原則としてユーザレベルで追加したクラスに対するもの、という位置づけです。 write-objectによるプリミティブ型の表示の変更を許すと、 性能上の問題と、メソッドオーバロードによる変更は効果がグローバルに 出るために制御しにくいという問題が出ます。
  また、齊藤さんの方式は他の構造体中にある浮動小数点数には影響を及ぼしません。 writeは内部的に組み込みのScm_Writeを直接呼んでいるので。
  したがって、現在のGaucheでは、(1)write相当の手続きを再実装するか (2)一度構造をwalkして浮動小数点数を<my-flonum>などのオブジェクトに置き換えて、 それに対するwrite-objectメソッドを定義しておくか、になると思います。
  将来的には、何らかのパラメータで制御できるようにするアイディアはあります。 既に現場での需要として、IEEE 754形式のバイナリを16進表記で 読み書きする、というものがあるので (そうすると高価な2進-10進変換が 避けられる。大量のflonumデータを読み書きする際に有利)。
  なお、<real>は正確な整数や有理数も含むクラスなので、<real>に スペシャライズするのは多分やりたいことと違うと思います。 本来は、抽象型<real>を継承した<flonum>のような型であるべきなんですね (cf. Gauche:NumericTower)。

• osn(2010/05/28 01:26:48 PDT):齊藤さん、Shiro さん、ありがとうございました。私の不正確な表記から汲み取っていただいて Shiro さんが解説いただいた内容で納得しました。（実数、と安易に書いたりしてましたが、整数も実数なわけで、小数点部を持つ実数、と書くべきでした。）50MbytesのS式のファイルを処理しようとして、処理結果の確認をする際にちょっとひっかかってご相談させていただきました。幸い、gauche の write の出力を問題の他処理系でも問題なく読み込め、実用上は問題とはならなそうです。ありがとうございました。

gauche/gdbm on openSUSE 11.x

osn(2010/04/14 20:15:08 PDT): (便乗したようなタイトルですいません。;） openSUSE 11.1,11.2(gcc-4.4.1) に Gauche-0.8.14,0.9 をインストールしようとしたところ、./configure の結果では、

  optional modules: odbm ndbm gdbm zlib

となっているのに、コンパイル終了時点で、lib/dbm には fsdbm.scm のみしかなく、gdbm インターフェースが生成されないようです。 config.log をみると

configure:11795: checking for dbm_open
configure:11851: gcc -std=gnu99 -o conftest -g -O2     conftest.c -ldl -lcrypt -
lutil -lm  -lpthread >&5
/tmp/ccEbKcoc.o: In function `main':
/root/Gauche-0.9/conftest.c:135: undefined reference to `dbm_open'
...
configure:12871: checking for dbminit in -ldbm
configure:12906: gcc -std=gnu99 -o conftest -g -O2     conftest.c -ldbm  -ldl -l
crypt -lutil -lm  -lpthread >&5
/usr/lib64/gcc/x86_64-suse-linux/4.4/../../../../x86_64-suse-linux/bin/ld: canno
t find -ldbm
collect2: ld returned 1 exit status
...

等が見られるので、dbm インターフェースに関連して、gauche のコンパイルに失敗しているのかも、と想像しているのですが、対策が分からず困ってます。openSUSE 10.x (gcc-4.1.0)等では問題なくインストールできているのですが、、、対応方法をご教示いただけるとありがたくよろしくお願いします。（gdbm は 1.8.3 で、gauche のインストール可否にかかわらず同バージョンです。）

• Shiro(2010/04/14 20:25:49 PDT): ndbm, odbmについてはconfigure内で本来のライブラリと gdbmエミュレーションを順次チェックするので、一方がfailしていること自体は 問題ではないです。ext/dbm以下のmake時のメッセージはどのようになっていますか。

• osn(2010/04/14 20:46:28 PDT):エラーメッセージが出ていました。確認不足ですいません。といっても対応方法はわからないのですけれど。^^;;

  make[2]: Entering directory `/root/Gauche-0.9/ext/dbm'
  ../../src/gosh -ftest ../../src/precomp -e -o dbm--odbm odbm.scm
  gcc -std=gnu99 -DHAVE_CONFIG_H -I. -I../../src -I../../gc/include    -g -O2 -fPI
  C  -fomit-frame-pointer  -c dbm--odbm.c
  odbm.scm: In function 'dbm__odbmodbm_close':
  odbm.scm:212: error: too few arguments to function 'dbmclose'
  make[2]: *** [dbm--odbm.o] Error 1
  make[2]: Leaving directory `/root/Gauche-0.9/ext/dbm'
  

• Shiro(2010/04/14 23:07:30 PDT): あれ? dbm互換のヘッダじゃない何かが見えているのかな? ext/dbm/dbmconfig.hを見て、
  • HAVE_DBM_H が #defineされてたら dbm.h
  • HAVE_GDBM_SLASH_DBM_H が #define されてたら gdbm/dbm.h
  • HAVE_GDBM_MINUS_DBM_H が #define されてたら gdbm-dbm.h
• をシステムのincludeディレクトリから探してください。
• 見つかったら、その中のdbmcloseの定義を見てみてください。
• Ubuntuの場合、HAVE_DBM_Hが#defineされ、システムのヘッダは /usr/include/dbm.hにあり、dbmcloseの定義は extern int dbmclose() となっています。
• もしdbmcloseの定義が違っていたら、legacy dbm互換でない別のライブラリが 入っててそれと衝突していることになります。

• osn(2010/04/15 00:18:06 PDT): コメントありがとうございます。
  • #define HAVE_DBM_H 1　でした。
  • /usr/include/dbm.h を見たところ、

    /* Determine if the C(++) compiler requires complete function prototype  */
    #ifndef __P
    #if defined(__STDC__) || defined(__cplusplus) || defined(c_plusplus)
    #define __P(x) x
    #else
    #define __P(x) ()
    #endif
    #endif
    ...
    extern int      dbmclose __P((DBM *));
    

    となってました。#define __P(x) x が有効になって、dbmclose の引数の数があわない、ということになってるということですね。
  • プリプロセッサの実際の動作等、分かってないんですが、#define __P(x) () をこの前にどこかで定義してやればいいんでしょうか。
  • なお、openSUSE 10.x(問題なかったもの）では、単に extern int dbmclose (); となってました。

• osn(2010/04/15 01:07:50 PDT): 追加情報です。
  • /usr/include/dbm.h に#define __P(x) () を挿入して Gauche のコンパイルをしてみましたら、一応、OK となったっぽいです。
  • このマクロ(__P)は、suse のパッケージ化の際に加えられたもののようです。 http://lists.opensuse.org/opensuse-commit/2008-02/msg01086.html
  • どう対処するのが妥当なのか、ご意見お願いします。

• Shiro(2010/04/15 02:04:12 PDT): オリジナルのdbm APIでもgdbm 1.8.3の互換APIでも dbmclose()は引数を取らないので、そもそも__P((DBM *))というのがおかしいです。 プロトタイプが必要なら__P((void))となっていなければならないはず。 なので、OpenSUSEがパッケージ化の際にエンバグしたか、あるいはlegacy dbm互換を捨てた (そもそもdbm互換レイヤが古いプログラム対応のためなので、いまさらそこに非互換性を 持ち込む意味はないと思うのですが)ってことだと思います。 で、"opensuse dbmclose"でぐぐるとPerlのdbmパッケージでやっぱりビルドエラーが 出てるんですが、なんとopensuseのPerlパッケージは 非互換なdbmcloseに合わせてperlの方にパッチをあててしまっているようです。 http://lists.opensuse.org/opensuse-commit/2008-03/msg00374.html
  (他には、「ODBMのサポートを外してコンパイルしたら?」というようなアドバイスが 目立ちます)。
  コミットから2年も経ってて誰も指摘してないってのが不思議なんですが、 今時legacy dbmを使ってるアプリってまず無いので問題が出てないのかなあ。 でもこれはOpenSUSEのdbmパッケージがfixすべき問題です。
  Gaucheとしての対応ですが、現代においてlegacy dbmだけしかない環境って おそらく皆無なので、いっそlegacy dbmのサポートを落としてしまうっていう のもありかも。(Schemeのdbm.odbmはそのままで、Gaucheのルーチンの方で ndbmかgdbmを呼ぶってのでもいい。)
  osnさんの手元でさえ動けば良いのなら、こうしてみてください。

  --- odbm.scm    (revision 7085)
  +++ odbm.scm    (working copy)
  @@ -207,7 +207,7 @@
        (result r)))
   
    (define-cproc odbm-close () ::<void>
  -   (when odbm_opened (dbmclose) (set! odbm_opened FALSE)))
  +   (when odbm_opened (dbmclose NULL) (set! odbm_opened FALSE)))
   
    (define-cproc odbm-closed? () ::<boolean>
      (result (not odbm_opened)))
  

• osn(2010/04/15 05:28:04 PDT): 上記修正でのコンパイル＆動作OKを確認しました。気をつけて利用していきたいと思います。ありがとうございました。
  • 私も、2年前からあった問題のはずなのに、、と、ちょっと悩ましく思っておりました。openSUSE はそれなりにユーザーも多いつもりで使ってきていたので、ちょっとショック。
  • 自分では、wiliki等、たまたま、FreeBSD や他ディストリでしか運用していなかったので、openSUSE 11.x の gauche インストールの際、 dbm インターフェースの構築に失敗していたことに気づいてませんでした。それが、最近、近くの者がopenSUSE 11.1 で wiliki を動かそうとしてうまくいかない、と相談してきたのでした。

gauche-gdbm on FreeBSD 8.0

• suzuki@cis.iwate-u.ac.jp (2010/03/21)

WiLiKi のデータベースに gdbm を使っています。 FreeBSD 8.0 で，portupgrade databases/gauche-gdbm に失敗します。 0.9 がBROKENになっているためです。 試しに，Makefile 中の　BROKEN をコメントにして make してみると， gdbm.stub がないと怒られます。 0.8.13 のgdbm.stub をコピーしてmakeすると， 実行時エラーになります。

gdbm を使うのはおすすめではないのでしょうか？

対処方法とおすすめのデータベース形式を教えていただけませんか？

• Shiro(2010/03/20 17:12:51 PDT): FreeBSDで何故BROKENになっているのかが分からないので 何とも。Gauche本家としてはgdbmは今までどおりサポートしており、非推奨ということはありません。
  0.8.xと0.9の間にext/dbmのソース構成が変わっているので、古いバージョンの ソースは使えません。Gauche本体は0.9なんですよね?
  とりあえず使うならGauche-0.9のソースからコンパイルしてみては。
  ちゃんと直すならBROKENの理由を調べることから、ですかね。

• osn(2010/03/20 19:05:52 PDT) FreeBSD 7-stable ですが、やはり BROKEN で往生したので、ソースから素朴にインストールして問題なく使えています。WiLiKi が半日でも使えないと苦情が来ますもので。御参考まで。

• suzuki (2010/03/21 16:30 jst) Gauche-0.9 のソースからコンパイルしてみます。
  BROKENの理由を調べようとしていますが，行き詰まって，相談しました。
  ありがとうございました。

suzuki (2010/03/22 14:40 jst) Gauche-0.9 のソースからインストールしました。FreeBSD 8.0-Release です。下記二ヶ所で悩みました。

• configure のオプションで gdbm を有効にする方法が分からなかったので
  ext/dbm/dbmconfig.h.in を修正して HAVE_GDBM_H を define しました。
• '--with-local=/usr/local' を指定。しないと libgdbm.so がリンクされなくなり，実行時にgdbm_errno が undef になりました。

suzuki (2010/03/22 14:40 jst) FreeBSD の gauche-gdbm-0.9が BROKEN状態になっていて、Mark BROKEN with 0.9 updateと記載されています。Makefile は 0.8.13 のものと同じで，ソースディレクトリは，Gauche-0.9/ext/dbm をさしています。
0.9 にまだ対応していないものと思いましたが。。。

• Shiro(2010/03/21 23:00:35 PDT): ちょっと謎です。
  • gdbmは明示的に有効にしなくても、configure時にライブラリが見つかれば自動的に 有効になります。従って/usr/local/{include,lib} にgdbmがインストールされているなら、 ./configure --with-local=/usr/local とするだけで良いはず。 手動でconfig.hなどをいじる必要はありません。

• suzuki (2010/03/22 17:10 jst): ご指摘のとおりでした。gauche-gdbm が別ポートになっているので，何か指定をしないといけないと思いんでました。すっきりしました。

• portsの方ですが、元々のext/dbm/Makefileなどはコアに含まれてリリース毎に アップデートされるので、同じMakefileになっているというのはおかしいですね。 もしかするとBSD部分とGPL部分とを分けるために、手動でgdbmに依存するコードだけ 分離しているのかな? だとしたらリリース毎にその作業が必要で、0.9については それをやっていないってだけかもしれません。

文字列上の繰り返しと部分文字列

ziro (2010/03/19 00:53:38 PDT) 勉強のためにいろんな文字列のアルゴリズムを Gauche で書いています．文字列の各文字を順番に見るときには，マルチバイト文字列上でのインデックスによるアクセスは遅いので，string port を使ったほうがいいんですよね．そうして文字列を舐めている途中の二つの状態の間に対応する部分文字列を取得する方法はありますか？ 今は port から読んだ文字を別の string port に書いているのですが，どうにも格好がつきません．

Shiro(2010/03/19 04:43:06 PDT): 「遅い」といっても程度の問題で、データのサイズや必要な 性能要件によって変わってきます。インデックスアクセスは入力文字列長に比例するので、 特に問題になるのは「長い文字列に対して頻繁にインデックスアクセスする」という場合です。

従って、(dotimes (n len) (do-something (string-ref str n))) のようなコードは O(N^2)に なってしまいますが、もし取得する部分文字列の総数が定数ならば、

• 文字列を舐めるのにはstring portを使い、マッチした文字インデックスを覚えておく
• 部分文字列を取り出すのはsubstringで行う

でもいけるかもしれません。

入力文字列が巨大で、substringで深くインデックスするのを避けたいという場合は、 部分文字列の先頭になり得る箇所で、get-remaining-input-stringで半部分文字列 (その箇所以降の文字列)を取得しておく、という手もあります。Gaucheでは 文字列本体は共有されるので、get-remaining-input-stringが返す文字列は 事実上入力文字列の途中を指すポインタみたいなもので、たくさん取得しておいても さほど性能に影響は出ません。さらにマッチングを進めて、切り取るべき文字列の 終端が分かったら、get-remaining-input-stringで取った文字列partial-strに対して (substring partial-str 0 (- end-index start-index)) のようにして切り取ります。 string-takeでもいいです。この場合、文字列のインデックスアクセスのオーバヘッドは 部分文字列の長さに制限され、入力文字列の大きさには影響を受けません。

気になるのがどちらかというと性能よりもコードの簡潔さ、読みやすさだというのなら、 切り取る部分は文字のリストにしといて後でlist->stringするのがたぶんエレガントになると 思います。オーバヘッドはありますがO(N)なのでこれでもstring-refで舐めるよりは ずっと良いと思います。

ziro (2010/03/19 07:26:51 PDT) ありがとうございます．安直には，バイト数ベースの添字で substring ができると簡単だと思いますが，そんなことはできないのでしょう か (incomplete string を使えばできる？)．それから，文字列の途中から逆向 きに辿ってみたいと思うのですが，添字を使わないですます方法はありますか？

Shiro(2010/03/19 12:47:08 PDT): これ以上は目的がわからないと何とも言えないのですが、 かなり性能的にシビアな状況なのでしょうか。

substringをincomplete stringに適用すれば(今のところ)バイトインデックスとして 扱われますが、文字インデックスからバイトインデックスを簡単に求める方法が無いので 使いどころが難しいですね。string-portで読み出しつつport-tellでオフセットを記録するって 手はあります (ただし、peek-charするとオフセットがずれるというバグがあるので注意)。

とにかく今、性能が欲しいということでしたら、unofficialなstring-pointerという のがあるにはあります。途中から逆向きということができます。ただし将来無くなるかも しれません。

あとは、アルゴリズム的にインデックスアクセスが綺麗に書ける、ということなら いっそベクタに変換してしまうとか。 綺麗さにこだわるなら読んだ文字を全部リストにしとくとか、 文字列から離れる手もあります。

ziro (2010/03/20 05:24:03 PDT) 私の状況は要件が厳しいというものではなく，毎回再計算が起こるから string-ref は軽い気持ちでは使い難いという程度のものです．紹介して下さった方法の一で書いて実際の文字列に適用してみて，様子を見たいと思います．まともに可変バイト長の文字エンコーディングを扱えるのはとても有り難いことなので，うまく Gauche を使えたらと思います．ありがとうございました．

Shiro(2010/03/20 07:15:28 PDT): それなら、とりあえず

• 読み出しはstring-portから。文字数を数えておく。
• 部分文字列の取得は数えておいた文字数を使ってsubstringで。
• 途中から逆向きに探す可能性があるのなら、既に読んだ文字列をリストにconsしてゆき、 そのリストから探すようにする。

というのが、多分シンプルさと性能のバランスのいいところじゃないかと思います。 それで問題が出てきたら上に挙げた他の方法を試すということで。