ruby-dev

In article <86g0718ak6.wl@archon.local.idaemons.org>,
  "Akinori MUSHA" <knu@iDaemons.org> writes:

> 　pp は標準に入ってこそ便利に使われるという好例になりそうです。
> あとで rough/lib に入れておきます。

まぁ、個人的には Wadler の単純な algebra より、Pablo R. Azero らの
Optimal Pretty-Printing Combinators に心惹かれてているので、そのうちべ
つのものをはじめちゃうかもしれませんが... まぁ、そのくらいのほうが安定
してていいのかも。

> 　timex は、標準に入れるなら time.rb という名前にしてしまうのは
> どうでしょうか。同名のクラスを拡張・補完するライブラリという点
> では、 Thread/thread.rb の例があります。

あぁ、それはいいですね。そうしましょう。

メソッドの名前も RFC の番号がついているのはまつもとさんの好みに合わな
いという問題があるので、いいのが思いついたら変えた方がいいかも。
[ruby-list:15923]

# いや、これは C で実装する場合の話なのか?

あと、今ふと思ったんですが、rfc2822 メソッドは UTC か localtime かじゃ
なくて、optional 引数で挙動を選んだ方がいいのかもしれません。

> > ABNF も RFC 関連を扱うときには便利だとと思います。今はまだ出来が良くあ
> > りませんが。
> 
> 　これは ReGen を含むんですよね。

機能的にはそうなるでしょうが、ファイルの数も含めてどんな構成になるかは
流動的です。とりあえず文字クラス(アルファベットΣの部分集合)の実装であ
るところの自然数(注: 0を含む)の集合を表現するクラスは別のファイルに分
けることにしましたが、正規文法・文脈自由文法を分けるが混ぜるかで悩んで
ます。正規表現と呼ばれる正規文法じゃない連中をどうするかもなかなか問題
です。

あと、2項演算子で coerce の問題が出てくるんですが、double dispatch で
やろうかと思ったら記述量が多くてめげてしまって... ad hoc にやるしかな
いか、とか思い始めてます。

また、二項演算子といえば連結が * というのも悩みどころです。どの流儀に
合わせるにしても気持ちの悪さは残りますし、ついでにいえば議論を呼ぶのも
確実です。

あと、理論的な問題として、BNF から正規表現への変換の完全性 - 変換可能
なもの全てを変換できる性質 - の話がありますが、これが出来ると
undecidable と証明されたことをひっくり返してしまえるようなので、どうも
不可能なようです。というわけでありがちなケースでうまく動く奴を作んない
といけません。まぁ、すでに少しやっているわけですし、難しいことはどうせ
できないのでやらなければいいわけですが。

まぁ、(もし出来上がるなら)つぎのバージョンはがらっと構成が変化している
ことは間違いありません。

> URI で使われている正規表現も
> ReGen/ABNF で読みやすい式で生成できるのかな。

あぁ、RFC 2396 ならなんの問題もなくいきます。

> 　上の RDtool とあわせ、 racc を入れる方向で話を進めましょうか。
> (CVS 版を) make することを考えると、標準でインストールするかは
> 別として racc コンパイラも同梱した方がよい？

個人的にはパーザジェネレータくらいは当然、と思っていますが。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)

Thread

Prev Next

In This Thread

Prev Next