時の羅針盤＠blog

If you are a lisp user (whichever your preference is), you would already know S-expression is the best way to write DSL. I have been writing...

packとunpackの実装をしていて、実行時にbytevector-**-native-ref/set!系の手続きを生成してごにょごにょしようかなぁと思ってこんなのが有効かちょっと試してみた。別にR6RSな処理系コンパチにする必要はないだけど、なんとなく。以下がちょっとしたテス...

I have committed the pack library. The implementation is influenced Industria's (weinholt struct pack) library. The string format, proc...

バグの調査を兼ねていろいろな処理系の補助構文を調べている。といってもmosh、nmosh、Ypsilon、Chezの4種類だけだけど。とりあえず、以下のようなファイルを用意する。ライブラリの名前が変なのは気にしない。 ;; named prob.scm or so. (libr...

Sagittarius currently doesn't have pack procedure (or macro). That's simply because I wrote specific procedures to handle binary pa...

(多分)マクロ周りの識別子問題なのだが、非常にデバッグしづらいバグの報告を受けた。とりあえず、考えうる限りもっとも小さいと思われる再現コードは以下 (import (rnrs)) (define-syntax foo (lambda (x) (syntax-case...

いろいろ動作確認をChezでしているうちになんとなくどうあるべきかが分かってきた。 基本的にはマクロが定義されたライブラリ内にあるシンボルはそこで、展開時のライブラリにあるシンボルはそこでという感じで定義時のコンテキストを使って識別子を変換すればいいような気がする。 問題...

まぁ、マクロ周りは完全とは言いがたいと分かってはいたのだがこうも立て続けに不具合が出てくるとは・・・ Google code上でIssueを発行したのだけど、まぁ前回のマクロの不具合とばっちり関連している、というかそれの延長線上である。 Vicareの中の人が報告してくれ...

Sagittarius Scheme 0.4.1がリリースされました。今回のリリースはメンテナンスリリースです。 ダウンロード 修正された不具合 同名の内部defineが存在した場合にASSERTで落ちる不具合が修正されました sqrt手続きにBignumを渡すとASS...

仕事柄最近UICC(SIM)を扱うことが多い。まぁ、基本的には中にインストールされているアプリケーションを覗いたり、APDUを実行したりするだけではあるのだが。 こういった作業をするツールとしてGPShellというものがあるのだが、いかんせんドキュメントが少ない上に今一使い勝...

Vicareの中の人からバグ報告があって、まぁマクロ周りだろうということまで判明していた。っで、実際に問題が起きるコードを見てみると、「あぁ、やっぱりこのコードはバグを含んでいたか」というまさにドンピシャの部分のバグであった。実際のコード(Sagittariusのマクロ展開器側)...

あけましておめでとうございます(遅 日本にいた3週間はブログ、コードともにほとんど何もしないという快挙(？)を達成したのでそろそろ始動しないと鈍るなぁと思い開始します。 About Sagittarius 直近は今週か、来週末当たりに0.4.1をリリースする予定。前回の...

今年はなんだかいろいろ激変した感じがある年ではあるが、プライベートなことを振り返ると気分がへこむのでとりあえずはSagittarius周りのことだけで。 【達成したこと】 R6RSマクロ展開器が標準により準拠した R7RS対応がほぼ終わった 月1リリースの継続 あ...

最近仕事でAPDUをいじる必要があるのだが(正確には眺めてるだけなんだけど・・・)、中に入ってるデータとかSIMが返すデータとかがTLV形式であることが多い。っで、TLV自体は別に何か特別な仕様というわけでもないのでこのパーサがあってもいいかなぁと思っていたりする。 問題は、...

かなり大きめなバグを0.4.0で埋め込んだみたいである。問題になるのは以下のコード。 (define (foo) (define (bar n) (print n)) (bar 1) (let () (define (bar n) (print 'h...

Sagittarius Scheme 0.4.0がリリースされました。 ダウンロード 。 今回のリリースはマイナーバージョンアップリリースです。大きな変更点は以下、 R6RS準拠度(マクロ周り)の改善 R7RS small (draft 8)の要求仕様への準拠 修正さ...

リリース直前にバグに気づいた。もちろんマクロ周り・・・ 問題となるのは以下のようなコード。 (define-syntax loop (lambda (x) (syntax-case x () [(k e ...) (with-syntax...

7thドラフトから1ヶ月しか経っていないのにもう8thが出るとは。ちょっと油断していた。 今回のドラフトは7thのtypoと非正確数のeqv?あたりぐらいだろうと思っているので軽く斜め読み。Chibi-Schemeもこれにあわせてか、0.6.1とバグフィックス版を出してきてい...

Sometimes it's good to review what I've done so far. Yes, I've found something not efficient and it can be more efficient. This ...

マクロの書き換えを始めて1週間(以上か？)、大詰めまで来ている気がする。美しくなかった機能をばっさりと切り捨て、マクロ展開器は(個人的に)かなりシンプルになったと思う。既存のテストが全て通るようになり、いよいよ本丸のindustriaを走らせて見たら、以前と同じエラーで落ちる。こ...