「Schemeの新仕様R6RS成立」記事へのコメント

GaucheとKahua

[Anonymous Coward]

Schemeの実装のひとつGaucheとGaucheでかかれたWeb applicaition frameworkであるKahuaを使わせていただいている初心者です。

新規格がGaucheやKahuaの将来にどのように影響するのでしょうか。
大きな変更があるとすれば、楽しみでもあり、不安でもあります。

Re:GaucheとKahua

[Anonymous Coward]

shiroさんはR6RS反対だったからコンパチとりつつも積極採用はしないんじゃないかなあ。デフォルトでR6RSはオフとか

Re:GaucheとKahua

[Anonymous Coward]

GaucheについてR6RSをどう導入するかですが、
メーリングリストにshiroさんの見解があります。
当面はそう大きい影響はなさそうですね。
http://lists.osdn.jp/mailman/archives/gauche-devel-jp/2007-July/001744.html

Re:GaucheとKahua

[Anonymous Coward]

ってことはまたLispの亜種ができちゃうわけなんだけど。
最終的にはCommonLisp以前の混沌にもどっちゃうのかな？(俺様Lispがいっぱい！)

Re:GaucheとKahua

[Anonymous Coward]

各々の実装が特色を追求しつつも、共通のライブラリが書ける何らかの統一基準が必要、という点ではコミュニティは わりと一致してるんですよ。各論で合意できないだけで。R6RSもひとつのdesign decisionとしては有りなんですが、 細部まで検討されたとは言い難く、標準とする域に達していないと私は思います (例えば、formal commentに対して 「提案はreasonableだが検討してる時間が無いので却下」 [r6rs.org]とか)。 個人的にはモジュールシステムだけ標準にしといて、ライブラリはSRFIで練るべきだったと思うのですが (「同じインフラに対して複数の仕様が出てくる可能性がある」という危険は折込み済みで)、残っている R6RS editorsはあまりSRFIにauthorityを認めたくない感じでした。

結局僅差で批准されたわけですが、既存のScheme実装者の多くが否決票を投じているので、「R6RS準拠」なSchemeが どのくらい出てくるかはまだわかりません。(最後まで残ったEditorsがPLT SchemeとChez Schemeの実装者なので このふたつはR6RS compliantになるでしょうが)。ただ、残りのSchemeもR6RSの色々な要素については有用性を認めて いるので、より緩い縛り(SRFIレベル)で互換性を取ってゆこうという動きが立ち上がっています (ERR5RS [cyber-rush.org])。

またこれと協調して、現実に使える共通ライブラリパッケージも作られつつあります (Snowfort [umontreal.ca] )。

おそらく処理系のdiversionという意味では、R6RS以前とさして変わらないか、むしろ改善してゆくのではないかと 楽観しています。

現在、Marc Feeley (Gambitの作者)が各Scheme実装者のR6RSへの対応予定を集計しています。近々c.l.sあたりで 結果が出るのではないかと。