uiop/utility

uiop/utility は uiop の他のすべてがその上に書かれている層です。文字列、リスト、 プロパティリスト、ハッシュテーブル、タイムスタンプ、コンディションのヘルパで、 オペレーティングシステムを一切必要としません。68 個のエクスポートすべてが実装済み であり、ファイルシステムもサブプロセスもネットワークも触らないため、そのすべてが 4 つのバックエンド — インタプリタ、JVM、2 つの WASM 出力 — で動作します。

どの名前もどちらの綴りからでも到達できます。uiop:strcat と uiop/utility:strcat は同じ関数です (uiop パッケージ)。

文字列

strcat の寛容さがこの関数の要点です。省略可能な断片を、条件分岐で包まずに そのまま連結できます。

"abc"
"bbcc"
(T T T)
"hell0 w0rld"

stripln は取り除いたものを第 2 値として返すので、両者を strcat すれば元の行が 復元できます。

("hi" 2)
T

リスト・プロパティリスト・ハッシュテーブル

(:A 1)
(1 2 3)
((5 NIL) (5 T))

タイムスタンプ

タイムスタンプは実数または真偽値で、t がマイナス無限大、nil がプラス無限大です。 つまり存在しないファイルは「無限に古く」、不明なファイルは「無限に新しい」— ASDF が ビルド順序を決めるときの考え方です。

(T T T)
(1 3)
5

timestamps< は nil = プラス無限大から比較を始めるため、空でないリストが 「増加している」ことは決してありません — 本家と同じ答えで、直さずにそのままにしてあります。

関数指示子

uiop:ensure-function は指示子を関数に変換します。関数はそれ自身、定数 (真偽値・ キーワード・文字・数値・パス名) は (constantly それ)、ハッシュテーブルはその参照関数、 シンボルはその fdefinition、コンスは部分適用された呼び出し (または評価される lambda 形式)、文字列は読み込まれて関数名として評価されます。

9
3
20

コンディション

:MUFFLED
:WARNED
((:AND) (:AND))

知っておくべき差異が 1 つあります。match-condition-p の文字列パターンは simple-condition-format-control と比較されますが、rontolisp ではそこに既に整形済みの メッセージが入っています。したがってフォーマット指示子を含むパターンは一致しません。 指示子を含まないパターンはこれまでどおり一致します。

マクロ

(1 (2 (3)))
((A B) (1 2))
(((+ 1 2)) ((DECLARE (IGNORE X))) "doc")

uiop:with-upgradability は progn に展開されます。 本家が自身の定義をすべて これで包むのは、動作中のイメージ内で ASDF が自分自身を再定義できるようにするためです。 本体はコンパイル時・ロード時・実行時に評価され、各関数は notinline と宣言されます。 rontolisp には更新すべきイメージがありません — プログラムは一度コンパイルされて 実行されるだけです — ので、ここではこれが progn の意味そのものです。これは欠落では なく意図的な選択です。定義は書かれたとおりに確立され、コンパイルバックエンドでも トップレベル定義のままです。

(6 5)

文字型は 1 つだけ

本家の文字型の一群が存在するのは、処理系によっては base-char と character が 別の型であり、文字列の要素型を調べる必要があるからです。rontolisp の文字型は 1 つだけで — (subtypep 'character 'base-char) は真です — 本家自身の導出を この型格子の上で走らせると、要素は 1 つ、添字は 0、+non-base-chars-exist-p+ は偽に なります。残りはそこから決まります。どの文字列も base 文字列であり、任意の文字列群の 共通要素型は character です。

(0 0 NIL)
(T CHARACTER)

未実装のもの

2 つのメンバは、あるふりをするのではなく rontolisp に無いものを名指しします。 どちらも理由とともに uiop:not-implemented-error をシグナルします。

• uiop:register-hook-function は実行時に名前で指定された変数に push しますが、 それには (setf (symbol-value var) ...) が必要で、どのバックエンドでもこれは 場所 (place) ではありません。
• uiop:load-uiop-debug-utility (およびそれを呼ぶ uiop:uiop-debug) は 実行時に計算されたパス名を load しますが、load はどのバックエンドでも コンパイル時の展開です。uiop:*uiop-debug-utility* には本家の既定のフォームが 入ったままです。

$ rontolisp -e '(uiop:register-hook-function (quote *h*) (lambda () 1))'
Unhandled condition: Not (currently) implemented on rontolisp: UIOP/UTILITY:REGISTER-HOOK-FUNCTION pushing onto a hook needs (setf (symbol-value ...)), which is not a place on any backend