リリース 0.9.10

メジャーな機能拡張リリース

新たな機能

R7RS LargeとSRFIのサポート

R7RS largeのRedとTangerineエディションをカバーしています。

scheme.ilist: 変更不可なリスト
scheme.rlist: ランダムアクセスリスト
scheme.bytevector: R6RS互換のバイトベクタ
scheme.text: 変更不可なテキスト
scheme.show: コンビネータフォーマッタ
scheme.regex: Scheme正規表現: @pcloudsによるGraphemeのサポートが入りました.

srfi-78: 軽量テスト (gauche.testと統合されています).
srfi-101: 純粋に関数的なランダムアクセスペアとリスト (scheme.rlist)
srfi-116: 変更不可なリストのライブラリ (scheme.ilist)
srfi-130: カーソルベースの文字列ライブラリ
srfi-135: 変更不可なテキスト (scheme.text)
srfi-159: コンビネータフォーマッタ (scheme.show)
srfi-170: POSIX API
srfi-174: POSIX timespecs
srfi-175: ASCII文字ライブラリ
srfi-176: バージョンフラグ。組み込みです。 (version-alist)
srfi-178: ビットベクタライブラリ
srfi-180: JSON
srfi-181: カスタムポート
srfi-185: 長さが可変の線形型文字列
srfi-189: MaybeとEither: オプショナルな値を扱うコンテナ型
srfi-192: ポート位置
srfi-193: コマンドライン
srfi-195: 多値ボックス (ボックス).

新モジュール

parser.peg: PEGパーサコンビネータライブラリ。このモジュールはだいぶ長く非公式に入っていたんですが、とうとう公式になりました。以前と一部APIが変わっているところがあるので、これまで使っていた方もドキュメントを参照してください。以前のAPIと互換なモジュールも提供されています。
data.skew-list: Skew binary functional random-access list
data.priority-map: プライオリティマップ.
rfc.uuid: UUIDの生成とパーズ.
text.external-editor: 外部エディタの起動.
text.pager: ページャを使った表示.

改善

文字列インデクシングの改善

Gaucheでは文字列をマルチバイト形式で持っているので、デフォルトではn文字目に直接アクセスするのにO(n)の時間コストがかかります。これをO(1)にする二つの改善が入りました。

文字列カーソル (srfi-130)。これは文字列中の文字を直接指すオブジェクトで、従ってその文字にO(1)でアクセスできます。内部的にサポートされており、文字列インデックスを扱う組み込み手続きはすべて、インデックスのかわりにカーソルを取ることができます。詳しくは文字列カーソルを見てください。 @pcloudsによって実装されました。
文字列インデックス (scheme.text)。文字列に対して、文字位置をO(1)でアクセスできるようにする補助インデックスをあらかじめ計算しておくことができます。補助インデックスの計算自体にはO(n)かかりますが、一度計算すれば任意の文字位置への整数インデックスによるアクセスはO(1)になります。 R7RS-largeではこの機能はscheme.textライブラリで規定されました (text型というのを導入しています)。Gaucheではtext型は単に補助インデックスが計算された文字列ということになります。詳しくは文字列索引を見てください。

註：Gaucheではいくつかの文字列操作を効率よく実装するために、文字列ポインタというのを内部で使っていました。文字列カーソルがその目的に使えるようになったので、文字列ポインタはサポートされなくなりました。これまでもドキュメントされていませんでしたが、もし文字列ポインタを使っているコードがあったら、環境変数GAUCHE_STRING_POINTERを定義することで使いつづけることができます。ただし、次のリリースでは完全に除外します。

変更不可なペア

Schemeではリテラルのペアは変更不可であると規定されていますが、それを検査するかどうかは実装任せです。Gaucheはこれまでチェックをしておらず、リテラルペアを変更してしまうことが可能でした。このリリースから、変更不可なペアが導入され、リテラルペアの変更はエラーとなります。リテラルペアを変更することは意味的に不正であり、もしそのエラーが出たなら、そうしているコードのバグが顕在化したということです。

変更不可なペアはscheme.ilistモジュールの手続きを使って明示的に作ることもできます。Gaucheでは変更不可なペアは、変更しようとしたときにエラーになる以外は、変更可能なペアと全く同様に振る舞います。詳しくは変更可能なペアと変更不可なペアを見てください。

もし以前の振る舞いに依存しているコードがありすぐに変えられない場合は、環境変数GAUCHE_MUTABLE_LITERALSをセットすると以前と同じ振る舞いになります。

入力編集

REPLでの入力編集機能が、オンラインヘルプも含めかなり拡張されました。 M-h h で簡単な編集機能のサマリが出ます。

編集機能はまだデフォルトではoffですが、環境変数GAUCHE_READ_EDITだけでなくコマンドライン引数-fread-editでもonにすることができます。

パラメータが組み込みに

パラメータをR7RSの範囲内の機能で使う場合は、(use gauche.parameter)は要りません。このモジュールはあまり使われないパラメータの機能を提供するために残してあります。

ビットベクタリテラルと不完全文字列リテラル

ビットベクタが組み込みでサポートされるようになりました。ところが、ビットベクタリテラルと不完全文字列リテラルで構文に曖昧性が生じることが判明しました。そこでこのバージョンから、不完全文字列リテラルは文字列の前に #** を付加するように変更されています。曖昧でない限りは以前の構文も読まれます。不完全文字列参照。

ポートのC APIの改訂

これはCコードからScmPortを使っている場合のみ影響があります。将来の柔軟な拡張を許すため、ScmPortの内部実装を隠すようにしました。 ScmPortへのアクセスをAPIを通じて行っている限り、ユーザコードに変更は必要ありませんが、 ScmPortのメンバに直接アクセスしている場合はAPIを使うように書き直す必要があります。

ひとつ注意すべき変更は、ポート位置が整数オフセットとは限らなくなったことです。

TLSサポートの改善

デフォルトで、GaucheはCA証明書のある典型的な場所を探すようになったので、多くの場合はout of boxでCA証明書が使えます。詳しくは rfc.tlsを見てください。

MbedTLSが使える場合は<mbed-tls>がデフォルトのTLS実装として使われます。 <ax-tls>は常に使えるんですが、サイファーのサポートが限られていて、接続できないhttpsサイトがありました。

また、MbedTLSサポートをGauche内に埋め込んでコンパイルするようにビルドすることもできます。そうやってビルドしたバイナリは、MbedTLSがインストールされていないシステムでも MbedTLSを利用したTLS接続ができます。(INSTALL.ja.adocを参照)。 MbedTLSを埋め込んだ場合、生成されるバイナリはMbedTLSのApache License 2.0にもカバーされることに注意してください。 WindowsインストーラはMbedTLSを埋め込んでいます。

文字コード変換の改善

従来の日本語文字コードエンコーディング間の変換に加え、 UTF (8, 16, 32)、ISO8859-nの変換も組み込みで行うようになりました。それ以外のエンコーディングと変換する時のみ、iconv(3)が使われます。

これは、srfi-181 transcoded portをサポートするのに必要なAPIが iconvでは提供されないためです。文字コード変換が必要なだけなら、従来どおりgauche.charconvを使えば、iconvがサポートする全てのエンコーディングがサポートされます。srfi-181を使って変換する場合は、 Gaucheが組み込みでサポートしているエンコーディング間の変換に限られます。

必要があれば、組み込みでサポートするエンコーディングを増やしてゆくかもしれません。

その他の改善

gauche.generator: giterate, giterate1の追加。
gauche.lazy: literateの追加。
format: ~fが複素数にも対応。また、新たなフォーマット指示子の追加： ~t, , ~~, ~|, ~$.
define-hybrid-syntax: コンパイラマクロ機能。
current-trace-port: デバッグトレースの出力先。 debug-printの出力はここに向かいます。デフォルトはstderrです。
gauche.record: レコードクラスがスロットのない非レコードクラスを継承できるようになりました。mixinクラスが使えます。また、メタクラスも指定できます。
gauche.unicode:utf8->ucs4 などの変換手続きは、strictness引数にreplaceも取れるようになりました。これは不正なunicodeシーケンスをU+FFFD"に置換します。 utf8->string も、不正な文字をエラーではなく置換文字におきかえるようになりました。
gauche.unicode: string->utf16: add-bom? 引数の追加。
gauche.unicode: 追加手続き:string->utf32, utf32->string.
identifier?: シンボルと包まれた識別子の両方に対して#tを返すようになりました。ERマクロシステムでは、識別子が裸のシンボルであることもあるためです。オブジェクトが包まれた識別子でありシンボルでないことを調べるには wrapped-identifier?が使えます。
goshを-frestオプションを使ってビルドツリーの中で走らせる場合、 LD_LIBRARY_PATHの設定にかかわらず、ビルドツリーの libgauche.soをリンクするようになりました。 ( https://github.com/shirok/Gauche/pull/557 )
apropos がシンボルに加え文字列も受け付けるようになりました ( https://github.com/shirok/Gauche/pull/555 )
文字セットが default-hash でハッシュ可能に。
ソースツリーに .dir-locals.el を置きました。Emacsで編集する際に、 Gauche特有のインデント方式などを自動設定します。
goshがsuid/sgidプロセスとして走った場合、.gauchercファイルをロードせず、またヒストリファイルをロード/セーブしないようにしました。
complete-sexp?をgauche.listenerからコアに移動。
string->number: default-exactnessオプショナル引数を追加。入力に明示的な正確/非正確指定が無い場合に、どちらと解釈するかの指定。
gauche-package generate がSchemeだけのパッケージのボイラープレートも生成できるように。
srfi-42: :collection qualifierで任意のコレクションをジェネレータとして使えるようになりました。
gauche.fcntl: sys-open, sys-statvfs, sys-fstatvfsの追加。
sys-utime: タイムスタンプに <time> オブジェクトも取れるように。
sys-nice: nice()へのインタフェース追加。
make-hash-table: 比較器の等価述語がeq?かeqv?の場合、等価器のハッシュ関数は無視して、それぞれeq-hash/eqv-hashを使うようになりました。これはsrfi-125で許されている動作で、ハッシュ関数を持たないオブジェクトを eq/eqvハッシュテーブルに格納できるようになります。 ( https://github.com/shirok/Gauche/issues/708 ).
gauche.vport: 双方向仮想ポートの追加。 open-output-accumulatorの追加。
gauche.process: プロセスポートAPIがコマンドパイプラインも扱えるようになりました ( https://github.com/shirok/Gauche/issues/717 )。また、:errorキーワード引数に :merge を指定すると run-processがstderrをstdoutにマージします。
gauche.process: process-wait/poll, process-shutdownの追加。
gauche.threads: atomic-update!: アップデート手続きが、アトムが保持する値より多くの値を返すことができるようにしました。アトムの値も更新しつつ、元のアトムの値から計算した結果も得たい、という場合に便利です。
gosh: -e オプションが複数の式を受け付けるように。
gauche.dictionary: <stacked-map>追加。

バグフィクス

有理数から浮動小数点数への変換において、二重丸めに起因するバグがありました。元々Rubyで報告されたバグですが、有理数の分母と分子を先に浮動小数点数に変換してから割り算をするというやり方に共通するバグです。 (blog entry).
math.mt-random: (非互換な変更) シード値としてbignumを与えた場合にその全てのビットをRNGを初期化するのに使うようになりました。以前のバージョンではbignumの一番下のワードしか見ていませんでしたが、それではせっかくのエントロピーを失うことになります。これまでbignumでシードを与えていたコードは異なる乱数系列を出すようになります。ただ、ほとんどの場合、シードはfixnum、あるいはマシンワードに収まるbignumであると考えられるため、影響は限定的であると判断しました。
マクロを生成するマクロにおけるいくつかの問題のfix https://github.com/shirok/Gauche/issues/532 など。
file.util: make-directory*: 複数プロセスによるレースコンディションのfix
www.css: construct-css: :not擬似クラスのレンダリングのfix ( https://github.com/shirok/Gauche/pull/645 ), およびan+b構文のサポート追加 ( https://github.com/shirok/Gauche/pull/648 ).
gauche.process: 高レベルルーチンでも :encoding キーワード引数を認識するように ( https://github.com/shirok/Gauche/issues/651 ).
load-from-port: リテラルリーダコンテキストがリセットされない問題のfix ( https://github.com/shirok/Gauche/issues/292 ).
apply に循環リストを渡した場合に、無限ループに入らずエラーを投げるように。
copy-list に循環リストを渡した場合に、無限ループに入らずエラーを投げるように。
scheme.list: lset=: 等価述語を呼び出す引数順が間違っていたのを修正。
math.prime: native-factorize: 正の正確整数以外ではエラーを投げるようにして、また1の素因数分解は()としました。
assume: 検査式の値を返すように修正。
and-let*: 20年越しのバグの修正 - and-let* はボディが空でも使うことができます。
let-optionals*: undefined 手続きへの参照を非衛生的に挿入するバグがあり、gaucheモジュールを継承しないR7RSコードでエラーが出ていました。
rfc.json: construct-json: トップレベルに単純型も許すように。これはRFC4627では禁じられていましたが、 RFC7159では許されます。
pprint: 循環が途中から始まっているようなリストの出力のfix. ( https://github.com/shirok/Gauche/issues/713 ).

Last modified : 2021/02/26 05:49:00 UTC