Gauche > Archives > 2010/07/08

2010/07/08 01:21:21 UTCとおる。
#
イィィイテック(ちりりりり~ん)。
2010/07/08 06:53:08 UTCbizenn@twitter
#
RT @kiyoka: それにしても、Gauche-0.9に入っているsrfiシリーズのテストスイートの量が少ないのはなぜ?
2010/07/08 12:32:42 UTCshiro@Tokyo
#
@kiyoka: srfiはリファレンスコードがついてるけどテストはついてないんですよね。自前で実装した場合はテストを書くことが多いけど、リファレンスを持ってきた場合はついテストは後回し。
2010/07/08 12:42:38 UTCkiyoka
#
リファレンスコードにはテスト付いてないですよね。(今portingしようとしているのは srfi-1)
#
私もどうしようかなーと考え中です。
#
少なくとも、リファレンス実装から呼ばれる可能性のある関数がすべて実装されているかどうかくらいは動かしておかないと、と思っています。
#
Nendoは微妙にSchemeno
#
Schemeのサブセットなので、どこまでsrfiをポーティングしておけばいいかというのも微妙なんですけどね。
#
やっぱり処理系ごとにテストで検証する目的が違うと思うので、それぞれの処理系でsrfiのテスト項目に大きな差があるのは当然かなと思いました。ちなみにguileはsrfiの大量のテストスイートが付いていますね。
2010/07/08 13:12:52 UTChigepon
#
これはいかがでしょう。>srfi-1 テスト。
#
http://github.com/higepon/mosh/blob/master/test/lists.scm
#
Scheme サブセットでもすぐうごかせそう。
#
srfi-19 Date とかは test もついてきますよね。参照実装にはテストつけるのが義務くらいでも良い気がする。
#
srfi-1 相当は基礎部分なのでテストを通しておくと安心ですね。
2010/07/08 13:21:32 UTCkiyoka
#
おっ、higeponさんのmoshに入っているやつですか。これはいいですね。
#
lists.scmでだいたいsrfi-1をカバーしてそうですね。
#
これをベースにしてみます。ちょっとの変更でいけそうです。
2010/07/08 13:24:06 UTCshiro@Tokyo
#
そのテストのライセンスはBSDですか?
2010/07/08 13:28:31 UTCkiyoka
#
COPYING見たんですが、消去法でBSDっぽいですね。
#
moshのCOPYINGの記載に抜けがなければ、BSDという解釈だと思います。どうでしょうhigeponさん。
2010/07/08 13:30:13 UTChigepon
#
あれ。これはどこから持ってきたんだっけか。確認します。
#
larceny の付属物に含まれているので larceny license だろうか。ここがオリジナルかどうかが分からないな。どこから持ってきたんだっけか。どこかにメモを残してないかな。
2010/07/08 13:35:17 UTCshiro@Tokyo
#
BSDで由来がはっきりすればGaucheにも頂きたいなと思いまして。
2010/07/08 13:36:33 UTChigepon
#
今のところ怪しい感じです。すみません。
2010/07/08 13:39:29 UTCshiro@Tokyo
#
@kiyoka: Gaucheのsynrax-rules実装はmacro.cですが、パターンマッチャをCで書くのはしんどいのでScheme化予定。
2010/07/08 14:00:30 UTCkiyoka
#
syntax-rules実装の話は、http://oldtype.sumibi.org/show-page/kiyoka.2010_07_05 の私のブログ記事の件ですね。>shiroさん
2010/07/08 14:01:47 UTCshiro@Tokyo
#
そです。
2010/07/08 14:02:50 UTCkiyoka
#
やっぱり、Cで書くのはしんどいでしょうね。chibi-schemeがひとつの関数で書いてあったので、私はそれを再利用させてもらおうかなと思っています。ライセンスも問題なさそうです。
#
実行効率についてはわかりませんが、私はそんなにコンパイル時間の短縮に興味は向いていません(汗;)