メーリングリストで質問したり、WiLiKiに自分のページを作ったりするのはちょっと… というシャイなあなたのためのスペースです。
あたらしい質問は、項目の先頭に追加していって下さい。
書き方を間違えても小人さんが直してくれるので、 こわがらなくてもだいじょうぶ。
長くなってきたので過去ログ:
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と表示されます。仕様が変わったのでしょうか？
source-codeでソース情報などが参照できる可能性があるが、subrの場合は参照できない (組み込みでプリコンパイルされてる手続きはclosureであってもソース情報が落とされてるのでソースが見られないけど)。closureはdisassembleできるけどsubrはできない。等。
lisp全般に言えることですが、ライブラリ固有のマクロや独自に定義したマクロをうまく自動整形する仕組みはないのでしょうか。ちまちま手作業でインデントしたり、lisp-indent-functionを設定したりするのがわずらわしいのですが、皆さまはどのように対応していますか。(put 'keyword 'lisp-indent-function num)は特定のファイル、ライブラリでしか使われない構文がそのlisp方言全体の設定として保存されるのが好ましくありません。理想的にはエディタがファイル内のimport文を読み取ってそのライブラリ特有のインデントのルールをそのファイルに適用してほしいです。
Gauche-mingw-0.9.4.msiで、日本語名のファイルを含むディレクトリに対して (diectory-list2 directory-path)をすると
Windowsで日本語名のファイルを取り扱うスクリプトを書くにはどうすると良い のでしょうか?
以前の環境では、cygwinでビルドしたgaucheでは問題なかったと記憶しているので、 それが無難でしょうか? (2016/05/22 13:11:03 UTC)
*** 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 の項目に説明があります。
ポール・グラハム著の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より先まで式が展開されず，想定通りの式が出来上がっているのか分からないのでそこで手詰まりになります．何か良い方法があったらアドバイスください．
よろしくお願いします
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が同一視されていないことがわかります。
最近のラノベのタイトルのような質問で申し訳ありませんが、分かりやいようにと思いこの様な質問に致しました。ご不快に思われたら申し訳ありません。
例えばリストの個数を数える関数、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が返ってきます。同じことが起きないのは何故なのでしょうか。
(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 (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"たちは、足されようとしたら足すはずの相手が再帰で振り出しに戻るので、「そうか、またあそこへ戻るのかい……じゃあ新しい１と上手くやんな。あばよ」と去っていくのではないかと思えます。
左側二つの"1"たちは、どこで(+ 1 0)の答えを待っているのでしょうか。関数自体が記憶しているわけではないと思いますが……優しさでしょうか。しかし"0"に二股どころか三股掛けられても平気なわけではないと思います。 これは一体どう解釈すれば良いのでしょうか。よろしければ詳しい方、ご教授お願いいたします。（杜仲茶）
かしこ
追記：試しに
(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" たちが残っている理由が分かりません。
上手く分からない理由を上手く説明できなくてすみません。
すみません。このページでの質問の仕方が分からないのですが、こうやって「編集」をして質問するのでしょうか？
hateman? 任意の引数が存在する場合の関数の宣言方法はどうすればいいのでしょうか。 例えば 文字列の足し算や
(+ "hoge" "fuga" "aaa") # -> "hogefugaaaa"
A, B, C は（独自の）行列クラスの場合の掛け算
(* A B C) # -> ABC
などは generics 型によって動的にどの手続きを呼ぶか判断されると思いますが、 これが任意の引数の場合に型で判断できるように +, * の手続きを実装する上手い書き方がありますでしょうか。 よろしくお願いします。
(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-+ の機能についてもご説明ありがとうございます。
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 などが存在するようなのですが これを自分で定義することは可能なのでしょうか。 いろいろ調べてもよく分からなかったので質問しました。
(let ((var init) ...) body ...) を見たら、再帰するのはinitとbody部分、
というようなルールを自分で書いてやる必要がある)、二度手間っぽいことにはなります。
Gaucheのコンパイラは特殊形式の扱い方を知ってるわけですから。macroexpand-allが使えるようになっています。返り値の仕様はいじるかもしれません。
(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)))
(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は (マクロをシャドウする)単なる変数になってるので展開できない、といった問題が出てくるということです。 完全にやろうとするとそこそこ面倒です。
asada? 2014/03/21 07:51:48 UTC
gosh -r7で起動した時,Gaucheの既存のprocedureをimportするには、どうすれば良いですか？regexp?等の正規表現が使いたいのです。
(import (gauche regexp))としたのですが、意図通りにimportできてない様です。 お手数ですが、アドバイスを頂けると助かります。
(import (gauche base)) とすれば、
Gaucheの組み込み関数が使えるようになります。
autoloadされる関数も使えるようになるので、Gaucheモードでuse無しで使えてる機能は
基本的に(import (gauche base))だけで使えるようになるはずです。
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)するためのコマンドが見つからないということなのでしょうか?
2011/10/26 19:49:51 PDT: (touch-file "filename")だと更新日時も変わってしまいます… アクセス日時を変えたいだけなので、実際にファイルを読み込む手間を省く方法はないでしょうか?
(let1 s (sys-stat "filename") (sys-utime "filename" (sys-time) (~ s'mtime))でしょうか。将来的にはtouch(1)コマンドのようなオプションをtouch-fileにつけるのがいいですかね。
2011/07/05 11:41:25 PDT: これ，デフォルトではエラーなんですね．少し引っかかりました．
(ref xs 1.0)
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)))
齊藤 (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で明確化されました。
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では...が多い場合について明示的に許され、振る舞いも定義されました。
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 的には使わない方がよさそうですね。
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 とすると数の表記が変わってしまい、できれば元の処理系と同じ規則を定義して出力したいと思っています。 よろしくお願いします。
(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 したら同じものになるのが基本なので、こういうカスタマイズはスジが悪い方法かも。 別の名前で専用の関数 (メソッド) を用意した方が無難に思えます。
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 のインストール可否にかかわらず同バージョンです。）
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'
/* 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 の引数の数があわない、ということになってるということですね。
--- 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)))
WiLiKi のデータベースに gdbm を使っています。 FreeBSD 8.0 で，portupgrade databases/gauche-gdbm に失敗します。 0.9 がBROKENになっているためです。 試しに，Makefile 中の BROKEN をコメントにして make してみると， gdbm.stub がないと怒られます。 0.8.13 のgdbm.stub をコピーしてmakeすると， 実行時エラーになります。
gdbm を使うのはおすすめではないのでしょうか？
対処方法とおすすめのデータベース形式を教えていただけませんか？
suzuki (2010/03/22 14:40 jst) Gauche-0.9 のソースからインストールしました。FreeBSD 8.0-Release です。下記二ヶ所で悩みました。
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 にまだ対応していないものと思いましたが。。。
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)に なってしまいますが、もし取得する部分文字列の総数が定数ならば、
でもいけるかもしれません。
入力文字列が巨大で、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): それなら、とりあえず
というのが、多分シンプルさと性能のバランスのいいところじゃないかと思います。 それで問題が出てきたら上に挙げた他の方法を試すということで。