(rontolisp) docs

関数

このページはクイックリファレンスの表です。表中の各関数名はそれぞれのページにリンクしています。各ページには、より詳しい説明と、ブラウザで評価できる実行可能な例があります。横断的なトピックには専用の場所があります。make-array/aref とハッシュテーブル演算子は、データ型ページの 配列 と ハッシュテーブル で説明されており、各関数のCommon Lispからの逸脱はそれぞれのページに記載されています。

cl パッケージの関数

標準の Common Lisp 関数で、cl パッケージに属します (cl-user が使用するため、 通常のプログラムでは修飾なしで利用できます)。各関数名はそれぞれのページにリンクして います。

関数例結果
+(+ 1 2 3), (+ 1.5 2.5)6, 4.0
-(- 10 3), (- 3.5 1.5)7, 2.0
*(* 3 4), (* 2.0 3.0)12, 6.0
/(/ 1 2), (/ 10 2), (/ 7.0 2.0)1/2(正確なratio)、5, 3.5
mod(mod 10 3), (mod -13 4)1, 3(結果は除数の符号を取ります)
rem(rem 13 4), (rem -13 4)1, -1(結果は被除数の符号を取ります)
=(= 1 1), (= 3 3 3)t(可変長引数)
eq(eq 'foo 'foo), (eq 1.5 1.5)t, nil(オブジェクトの同一性: シンボルと小さい整数は等しく比較されますが、浮動小数点とratioは別々のオブジェクトなので決して eq になりません。consセルは参照同一性です)
eql(eql 1.5 1.5), (eql 3 3.0)t, nil(eq と同様ですが、同じ型かつ同じ値の数値は等しくなります — 例: 浮動小数点やratio)
equal(equal '(1 2 (3)) '(1 2 (3))), (equal "abc" "abc")t, t(構造的等価性: consセルはcarとcdrで再帰的に比較され、それ以外は eql と同様)
equalp(equalp "ABC" "abc")t(equal と同様だが文字列・文字は大小文字を区別せず数値は値で比較。配列・ハッシュテーブルは eql にフォールバック)
<(< 1 2), (< 1 2 3)t(可変長引数。狭義単調増加のとき真)
>(> 2 1), (> 3 2 1)t(可変長引数)
<=(<= 1 1)t(可変長引数)
>=(>= 2 1)t(可変長引数)
print(print 42)42 を改行付きで印字します
prin1(prin1 42)print と同様ですが改行なし
princ(princ "hello")引用符なし・改行なしで印字します
terpri(terpri)改行のみを印字します
fresh-line(fresh-line)標準出力がまだ行頭にない場合のみ改行を印字します。nilを返します
princ-to-string(princ-to-string '(1 "x"))"(1 x)" -- princ が印字する文字列
prin1-to-string(prin1-to-string "abc")"\"abc\"" -- prin1 が印字する文字列(読み戻し可能な形式)
write(write "hi" :escape nil)hi を印字します。各キーワードはその 1 回の出力のあいだ対応する印字制御変数を束縛します
pprint pprint-newline pprint-indent pprint-tab(pprint-newline :mandatory s)改行するのは :mandatory のときだけです。ストリームが桁位置を持たないため折り返しは起きません
copy-pprint-dispatch set-pprint-dispatch pprint-dispatch(pprint-dispatch 21 table)プリティプリント・ディスパッチテーブル(エントリと検索は実装済み。通常の印字操作は参照しません)
concatenate(concatenate 'string "foo" "bar")"foobar"('string / 'list / 'vector の 3 系統。コンパイラはリテラルの引用指定子を要求します)
string-upcase(string-upcase "abc")"ABC"(全 Unicode 対応。各文字に char-upcase を適用するため長さは保存されます)
string-downcase(string-downcase "ABC")"abc"
string-capitalize(string-capitalize "hello world")"Hello World"(各単語の最初の文字)
nstring-upcase nstring-downcase nstring-capitalize(nstring-upcase (copy-seq "abc"))"ABC" — 破壊的な綴り。変換結果を引数に書き戻します(可変な文字ベクタは全バックエンドでその場書き換え。不変な文字列はコンパイル系で再構築)
subseq(subseq "hello" 1 3)"el"(文字列とリストで機能します。例: (subseq '(1 2 3 4) 1 3) => (2 3)。end 引数は省略可能)
make-string(make-string 3 :initial-element #\x)"xxx" -- :initial-element（デフォルトは空白）を n 個並べた新しい文字列。:element-type は受け付けるが無視
make-sequence(make-sequence 'list 3)(nil nil nil) -- リテラルのクォートされた結果型のシーケンス（文字列型は make-string、list は make-list、ベクタ型は make-array 経由）
replace(replace (make-string 5 :initial-element #\a) "XY" :start1 1)"aXYaa" -- sequence-2 を sequence-1 にコピー（:start1/:end1/:start2/:end2）。文字列対応で、確保したバッファはその場で書き換える
fill(fill (list 1 2 3) 7)(7 7 7) -- :start/:end の範囲の全要素に 1 つの値を格納。ベクタ・リストに対して破壊的で、文字列の扱いは replace と同じ
string=(string= "abc" "abc"), (string= "together" "frog" :start1 1 :end1 3 :start2 2)t(大小文字を区別する文字列等価。:start1/:end1/:start2/:end2 で比較する部分文字列を指定)
string< string> string<= string>= string/=(string< "abc" "abd")2 -- 大小文字を区別する辞書順比較: string1 内の不一致インデックス(等しい場合は end1)、成り立たなければ nil。:start1/:end1/:start2/:end2 も同様に指定可能
string-equal(string-equal "ABC" "abc")t(大小文字を区別しない、ASCII)
string-lessp string-greaterp string-not-greaterp string-not-lessp string-not-equal(string-not-greaterp "Abcde" "abcdE")5 -- string< string> string<= string>= string/= の大小文字を区別しない版
string-trim(string-trim " " " hi ")"hi"(指定した文字集合の文字を両端から取り除きます)
string-left-trim(string-left-trim "x" "xxhi")"hi"
string-right-trim(string-right-trim "x" "hixx")"hi"
read-line(read-line), (read-line stream)標準入力(または入力ストリーム)から1行読み込み、文字列として返します。EOFでは nil
y-or-n-p(y-or-n-p "Delete ~A?" f)省略可能な format 制御文字列と " (y or n) " を出力し、標準入力から 1 行読んで、y/Y なら t、n/N なら nil を返し、それ以外は聞き直します。lite 版: CL はエコーなしで 1 文字を読み、入力の終端ではここでは nil を返します
peek-char(peek-char nil s), (peek-char t s), (peek-char #\; s)ストリームの次の文字を消費せずに返します。peek-type が nil なら何も読み飛ばさず、t なら空白を、文字ならその文字までを読み飛ばします。返した文字はストリームに残ります。EOF では end-of-file を通知し、eof-error-p が nil の場合は eof-value を返します
read-char-no-hang(read-char-no-hang s)待たずに取得できる文字があればそれを返します。ストリームハンドルでは read-char と同じで、Gray ストリームのインスタンスでは rontolisp:stream-read-char-no-hang にディスパッチします
unread-char(unread-char c s)直前に読み取った文字を押し戻し、次の読み取りが再びそれを返すようにします。nil を返します。Gray ストリームのインスタンスでもストリームハンドルでも、1 ストリームにつき 1 文字を保持します
open(open "f.txt"), (open "f.txt" :output), (open "f.bin" :input '(unsigned-byte 8))ファイルを開いてストリームを返します。方向はリテラルの :input(デフォルト、読み込み)または :output(作成/切り詰め、書き込み)でなければなりません。省略可能な要素型はリテラルの 'character(デフォルト、テキスト)または '(unsigned-byte 8)(バイナリ)でなければなりません
close(close stream)open で開いたストリームを閉じます。t を返します
probe-file(probe-file "f.txt")ファイルが存在すればそのパス名、存在しなければ nil。存在しないパスで失敗しない唯一のファイル操作です（open は通知します）。uiop:file-exists-p は同じ操作です
truename(truename "f.txt")ファイルが存在すればそのパス名、存在しなければエラー — probe-file の通知する版であり、(ignore-errors (truename p)) が可搬な存在検査になる理由です
directory(directory "src/*.lisp")pathspec に一致するパス名をソートして返します。そのディレクトリ接頭辞を保ち、サブディレクトリには末尾に / を付けます。ワイルドな名前コンポーネントは照合され (* は任意個、? は 1 文字、* 単独は CL と同じく「型なし」の意味)、ワイルドでない場合は自分自身を指すので、ディレクトリの一覧は "src/" ではなく "src/*.*" です。ワイルドなディレクトリコンポーネントは走査され、* は 1 階層、** はサブツリー全体です
pathname-directory(pathname-directory "a/b/c.txt")(:RELATIVE "a" "b") — パス名のディレクトリ部分を CL のリスト形式 (:absolute/:relative と階層ごとの文字列) で返し、無ければ nil。純粋な文字列処理で、ファイルシステムは読みません
pathname-name(pathname-name "d/a.b.c")"a.b" — 型を除いたファイル名部分。最後の / より後ろで、かつ最後のドットより前です (位置 0 のドットは名前の一部)。ファイルを指さないパス名では nil
pathname-type(pathname-type "d/a.b.c")"c" — ドットを除いた型 (拡張子)。無ければ nil。同じ分割のもう半分です
pathname-host(pathname-host "d/a.txt")常に nil — フラットな名前文字列はホスト部分を持ちません。指示子の検証は行われます
pathname-device(pathname-device #P"d/a.txt")同じ理由で常に nil (Unix 上の SBCL と同じ答えです)
pathname-version(pathname-version #P"d/a.txt")常に nil — ここにファイルのバージョンはありません
wild-pathname-p(wild-pathname-p "d/*.txt" :name)パス名 (またはフィールドキーで指定した :directory/:name/:type 構成要素) が * か ? を含むか。:host/:device/:version は常に nil
enough-namestring(enough-namestring "/a/b/c.lisp" "/a/")"b/c.lisp" — defaults (省略時は *default-pathname-defaults*) にマージし直すと同じファイルを指す最短の名前文字列。merge-pathnames の逆操作です
file-namestring directory-namestring host-namestring(file-namestring #P"/a/b/c.txt")"c.txt" — ネームストリングの文字列成分。名前と型の部分、ディレクトリ部分(連結すると namestring に戻ります)、および rontolisp が持たないホストを表す ""
translate-pathname(translate-pathname "src/f.lisp" "src/*.lisp" "build/*.fasl")#P"build/f.fasl" — source を from-wildcard と照合し、各 */? が捕捉した部分を to-wildcard に差し込みます。一致しない source はエラー
translate-logical-pathname(translate-logical-pathname "d/a.txt")#P"d/a.txt" — 恒等写像。rontolisp のパス名はすべて物理パス名なので変換するものがありません
logical-pathname(logical-pathname "SYS:SRC;")常にエラー — 論理ホストを定義できないため、論理パス名を指す引数は存在しません
pathname(pathname "d/x")#P"d/x" — 正規のコンストラクタ: パス名はそのまま、文字列はそれが指定するパス名に包まれ、それ以外はシグナルします
parse-namestring(parse-namestring "d/a.txt")#P"d/a.txt" (第 2 値は停止位置) — ライト版: ホストのパースはなく、文字列全体が名前文字列です
make-pathname(make-pathname :name "b" :defaults "d/a.sql")#P"d/b.sql" — :directory/:name/:type からパス名を組み立て、指定されなかった構成要素は :defaults から取ります。構成要素ごとの補完でありマージではありません: 指定した構成要素は defaults のものを置き換え、明示的な nil は「その構成要素なし」を意味します。4 バックエンドすべてで実行時の関数として動作し、リテラルの呼び出しは加えてコンパイル時に畳み込まれます
namestring(namestring #P"/tmp/x")"/tmp/x" — パス名が保持する名前文字列。文字列 (指定子) はそのまま通り、それ以外はシグナルを発生させます。uiop:namestring と uiop:native-namestring も同じ関数です
merge-pathnames(merge-pathnames "zoneinfo/" "/opt/lt/")第 1 のパス名の欠けている部分を第 2 のもので補います (どちらの綴りも受け付けます)。絶対ディレクトリが優先され、相対ディレクトリは連結され、無い場合は defaults のものが使われます。uiop:merge-pathnames* は同じマージです
open-stream-p(open-stream-p stream)ハンドルが開いているストリームを指す間は t、close 後は nil (インタプリタ/JVM と --component のソケットでは正確)
force-output(force-output stream)出力ストリームを書き出す (引数なしは標準出力)。nil を返す
finish-output(finish-output stream)force-output と同じ操作。ここでは書き出し後の書き込みはすべて同期的
clear-output(clear-output stream)出力ストリームの未書き込みバッファを捨てる。ここではその形でバッファしないため、指定子を検証して nil を返す
listen(listen stream)ブロックせずに入力を読めるなら t。Preview 1 の WASM にはこの問い合わせ手段がない
write-line(write-line "hi" stream), (write-line "hi")文字列と改行を出力ストリーム(または標準出力)に書き込みます。文字列を返します
read-byte(read-byte stream), (read-byte *standard-input* nil nil)バイナリ入力ストリーム、または t/nil 指定子なら標準入力から 1 バイト(0-255)を読み込みます。EOF では end-of-file コンディションを通知し、eof-error-p が nil の場合は eof-value を返します
write-byte(write-byte 255 stream), (write-byte 255 *standard-output*)バイナリ出力ストリーム、または t/nil 指定子なら標準出力に生の 1 バイト(0-255)を書き込みます。バイトを返します
read-sequence(read-sequence buf stream), (read-sequence buf stream :start 2 :end 4)入力ストリームからベクタを埋めます。バッファが文字ベクタなら文字、パックド浮動小数点配列（任意ランク）やパックド整数ベクタなら生のリトルエンディアン要素を一括で、それ以外はバイトです。充填位置を返します。:start/:end はリテラルのキーワードでなければなりません
write-sequence(write-sequence "abcd" s :start 1 :end 3), (write-sequence buf stream)シーケンスをストリームに書き込み、それを返します。文字列は（write-string と同様に）文字として、パックド浮動小数点配列／整数ベクタは生のリトルエンディアン要素として一括で、バイト(0-255)のベクタはバイナリ出力ストリームに書き込まれます。:start/:end はリテラルのキーワードでなければなりません
read(read), (read stream)標準入力(または open/with-open-file で開いた入力ストリーム)からS式を1つ読み込みます(3つのバックエンドすべて)。EOFでは nil
read-from-string(read-from-string "(+ 1 2)")文字列からデータを1つパースします(3つのバックエンドすべて)。省略可能な eof-error-p/eof-value および :start/:end 引数はサポートされません
parse-integer(parse-integer "42"), (parse-integer "ff" :radix 16), (parse-integer "12x" :junk-allowed t)文字列から整数をパースします。すべてのバックエンドで :start/:end/:radix/:junk-allowed をサポートします。パース停止位置が 2 番目の値になり、multiple-value-bind で観測できます。:junk-allowed がない場合、末尾の非空白文字はエラーです
copy-readtable(copy-readtable nil)ライト版スタブ: 常に nil -- リーダーはリードテーブル駆動ではないため、リードテーブルオブジェクトは存在しません (*readtable* は存在しますが nil に初期化されています)
set-dispatch-macro-character(set-dispatch-macro-character #\# #\7 fn)ライト版スタブ: 受け付けますが無視し、t を返します (ユーザーのディスパッチマクロでリーダーを拡張することはできません)
readtable-case(readtable-case *readtable*)ライト版スタブ: 常に :upcase -- リーダーはエスケープされていないシンボル名を常に大文字化します。標準リードテーブルのモードです
char schar(char "hello" 1)#\e -- 0始まりの文字列インデックスの文字
char-code(char-code #\A)65 -- 文字のコードポイント
code-char(code-char 66)#\B -- 指定したコードポイントの文字
char= char< char<=(char< #\a #\b #\c)t(コードポイントによる可変長引数比較)
char-lessp char-greaterp char-not-lessp char-not-greaterp char-not-equal(char-lessp #\a #\B)t(大文字・小文字を区別しない比較の一群)
char-upcase char-downcase(char-upcase #\a)#\A(すべてのバックエンドで全 Unicode 対応の大小文字変換)
characterp(characterp #\a)t
alpha-char-p(alpha-char-p #\x), (alpha-char-p #\5)t, nil(WASMバックエンドではASCII文字)
alphanumericp(alphanumericp #\x), (alphanumericp #\-)t, nil(英字または10進数字)
graphic-char-p standard-char-p(graphic-char-p #\Space), (standard-char-p #\Newline)t, t(印字可能な文字 / 96 個の標準文字)
make-load-form-saving-slots(make-load-form-saving-slots obj)ライト版スタブ: エラーをシグナル(faslダンパなし)。make-load-form メソッドをコンパイル可能にするために存在
sxhash(sxhash "ab")構造的ハッシュ(整数/文字/文字列/シンボル/コンス)。実行内では安定、バックエンド間では非規定
sbit(sbit #*0110 1)ビットベクタ要素の読み取り。(setf (sbit v i) b) で書き込み
bit(bit #*0110 1)ビット配列の要素読み出し。(setf (bit v i) b) で書き込み
both-case-p(both-case-p #\a)大小両形を持つ英字なら真(lower-case-p または upper-case-p)
special-operator-p(special-operator-p 'if)ANSI の 25 個の特殊オペレータで t、それ以外は nil
macro-function(macro-function 'when)マクロ展開器(インタープリタでは本物、コンパイル済み出力ではシグナルするスタブ)。関数と特殊オペレータには nil
compiled-function-p(compiled-function-p #'car)ライト版スタブ: 常に nil
function-lambda-expression(function-lambda-expression #'car)ライト版スタブ: (values nil t nil)(ソース未記録)
list-all-packages(list-all-packages)登録済みの全パッケージを find-package が返すキーワードのリストで返します(コンパイラはコンパイル時に焼き込んだテーブルから答えます)
find-class(find-class 'c)メモ化された(eq 安定な)クラスメタオブジェクト。errorp が nil でなければシグナル
allocate-instance(allocate-instance (find-class 'c))すべてのスロットが未束縛の新しいインスタンス。initform も initialize-instance も実行しない
class-name(class-name (class-of 42))クラスメタオブジェクトの名前シンボル
get(get 'sym 'prop)、(setf (get 'sym 'prop) v)シンボル属性リスト(プログラム全体で 1 つの名前キーのストア)
symbol-plist(symbol-plist 'sym)get が引く属性リスト全体(同じストアから)。(setf symbol-plist) はありません
remprop(remprop 'sym 'prop)同じストアから属性を 1 つ削除。存在すれば t、なければ nil
lower-case-p upper-case-p(lower-case-p #\a), (upper-case-p #\A)t, t -- 大文字化・小文字化で文字が変化するとき真（Unicode ケース表に従う）
digit-char-p(digit-char-p #\7), (digit-char-p #\f 16)7, 15 -- 指定した基数(デフォルト10)での桁の重み、またはnil
digit-char(digit-char 11 16)#\B -- 基数 (既定 10) における重みを表す文字、範囲外なら nil
eval(eval '(+ 1 2))式を評価します(3つのバックエンドすべて)。結果を返します
compile(compile nil '(lambda (x) (* x x)))lambda 式を関数に変換します(空のレキシカル環境)。コンパイル済みプログラムでは定義時のメソッド構築イディオムのみサポート
load(load "bar.lisp")ファイル内のすべてのトップレベルフォームをグローバル環境で読み込んで評価します(3つのバックエンドすべて)。t を返します
require(require :util), (require :util "lib/util.lisp")モジュールのファイル(require するファイルの隣の <name>.lisp、または明示パス)を、まだ provide されていなければロードします。モジュール名を返します。コンパイルパスではリテラルなトップレベルフォームである必要があります
provide(provide :util)モジュールをロード済みとして登録し、以後の require を no-op にします。モジュール名を返します。コンパイルパスではリテラルなトップレベルフォームである必要があります
gensym(gensym), (gensym "tmp")#:g1, #:tmp2 -- マクロの一時変数のための新しいシンボル(カウンタはプログラム全体で共有)
make-symbol(make-symbol "temp")#:temp -- 新しいアンインターンドシンボル(gensym の #: 規約、カウンタなし)
gentemp(gentemp "Q")Q1 -- prefix + カウンタの名前で intern される新しいシンボル(CLHS では非推奨。iterate が使用)
copy-symbol(copy-symbol 'foo)#:FOO -- 同名のアンインターンドシンボル。属性リスト引数は無視され、コピーは make-symbol の同一性差異を引き継ぐ
intern(intern "foo")シンボル foo。インタプリタでは名前はカレントパッケージ(in-package の状態)にインターンされます。(intern name :keyword) はキーワードを作り、それ以外のパッケージ引数はエラー
find-symbol(find-symbol "car")名前が既知(cl シンボル・キーワード・ユーザー定義)なら car、なければ nil。存在しないパッケージを指定した場合も nil(コンパイラ: nil を返せるのはリテラル文字列のときだけ)
find-package(find-package :cl):cl -- lite 版: 大文字化されたパッケージ名のキーワード(パッケージオブジェクトはありません)。未知なら nil(コンパイラは計算された指定子をコンパイル時に埋め込んだ表から解決します)
symbol-name(symbol-name 'foo)"FOO" -- シンボルは CL 同様大文字化されて読まれるので (symbol-name 'car) も "CAR"
symbol-package(symbol-package :foo):keyword -- find-package と同じキーワード形式(標準シンボルは :cl、それ以外は :cl-user、#: シンボルは nil)。コンパイラは cl と cl-user のどちらにも :cl-user を返します
package-name(package-name (find-package :cl-user))"CL-USER" -- パッケージ指示子の名前文字列。find-package で解決され、未知の指示子はシグナルします
package-use-list(package-use-list :cl-user)(:CL) -- そのパッケージが use しているパッケージを find-package のキーワードで返します。未知の指示子はシグナルします
package-used-by-list(package-used-by-list :cl)逆向き: use リストにこのパッケージを含むすべてのパッケージ
package-shadowing-symbols(package-shadowing-symbols :cl-user)常に nil(シンボルのシャドーイングはありません)。指示子の検査は行います
symbol-value(symbol-value '*level*)グローバル変数の値。未束縛の名前はエラー(レキシカルな束縛は見えない)
boundp(boundp '*level*)シンボルが束縛されたグローバル変数を指すとき t(t/nil/キーワードは自己束縛)
fboundp(fboundp 'car)関数・マクロ・特殊形式に対して t(コンパイラ: 計算された引数は関数のみ判定)
fmakunbound(fmakunbound 'greet)greet -- 名前を再び「呼び出し時に未定義」にします(コンパイラ: 遅延束縛の参照のみ)
macroexpand-1(macroexpand-1 '(unless c x))(if c nil x) -- トップレベルのフォームを 1 段階だけ展開します(ユーザーマクロと組み込みマクロ)
macroexpand(macroexpand '(outer 41))完全な展開結果: macroexpand-1 を変化しなくなるまで繰り返します
null(null nil)t
not(not nil)t(null と同一)
atom(atom 1)t
numberp(numberp 42)t
integerp(integerp 42)t
floatp(floatp 3.14)t
rationalp(rationalp 1/2)t(整数とratio)
numerator(numerator 3/4)3(整数自身がその分子)
denominator(denominator 3/4)4(整数では 1)
symbolp(symbolp 'foo)t
stringp(stringp "hello")t
arrayp(arrayp "abc")T -- CL では文字列も配列。vectorp と同様
simple-string-p(simple-string-p "hello")t -- rontolisp のすべての文字列は「simple」です(lite)
listp(listp '(1 2))t
consp(consp '(1 2))t
keywordp(keywordp :foo)t
constantp(constantp 5), (constantp 'x)t, nil -- 自己評価オブジェクト（数値、文字列、文字、キーワード、t/nil）と (quote x) 形式で真（lite）。省略可能な環境引数は受け付けて無視します
streamp(streamp s)s がストリームなら t、そうでなければ nil（lite: ストリームは整数ハンドルなので integerp に相当。stream 型指定子の裏付けでもある）
cons(cons 1 2)(1 . 2)
car(car (cons 1 2))1((car nil) は nil)
cdr(cdr (cons 1 2))2((cdr nil) は nil)
caar..cddddr(cadr '(1 2 3))2(car/cdr の合成、2~4段)
first(first '(1 2 3))1(car と同じ)
rest(rest '(1 2 3))(2 3)(cdr と同じ)
nth(nth 1 '(1 2 3))2(0始まりのインデックス)
second third fourth(second '(1 2 3))2
list(list 1 2 3)(1 2 3)
nthcdr(nthcdr 2 '(1 2 3))(3)(先頭のn要素をスキップ)
ldiff(ldiff '(1 2 3) '(3))(1 2)(指定した末尾より前の要素の新しいコピー。末尾でなければリスト全体)
length(length '(1 2 3)), (length "abc"), (length #(1 2 3))3, 3, 3(リスト、文字列、ベクタ。nilでは 0)
reverse(reverse '(1 2 3))(3 2 1)
member(member 2 '(1 2 3))(2 3)(carが要素と eql になる末尾、またはnil。省略可能な :test/:key キーワードを取ります。例: (member '(a d) '((a b) (a d)) :test 'equal) -> ((a d)))
find(find 2 '(1 2 3))2(要素と eql になる最初の要素、またはnil。省略可能な :test/:key キーワードを取ります)
find-if(find-if #'evenp '(1 3 6 7))6(述語を満たす最初の要素、またはnil)
find-if-not(find-if-not #'evenp '(2 4 5 6))5(述語を満たさない最初の要素、またはnil)
member-if(member-if #'oddp '(2 4 5 6))(5 6)(述語を満たす最初の要素から始まる末尾、またはnil)
position(position 3 '(1 2 3))2(要素と eql になる最初の要素の0始まりインデックス、またはnil。省略可能な :test/:key キーワードを取ります)
position-if(position-if #'evenp '(1 3 6 7))2(述語を満たす最初の要素の0始まりインデックス、またはnil)
count(count 2 '(1 2 3 2 2))3(要素と eql になる要素の数。省略可能な :test/:key キーワードを取ります)
count-if(count-if #'evenp '(1 2 3 4))2(述語を満たす要素の数)
count-if-not(count-if-not #'evenp '(1 2 3 4 5))3(述語を満たさない要素の数。:key/:start/:end/:from-end)
assoc(assoc 'b '((a . 1) (b . 2)))(b . 2)(carがキーに一致する最初のペア、またはnil。既定では eql で比較し、省略可能な :test/:key キーワードを取ります。例: (assoc "b" '(("a" . 1) ("b" . 2)) :test #'equal))
assoc-if(assoc-if #'oddp '((2 a) (3 b)))(3 b)(carが述語を満たす最初のペア、またはnil)
getf(getf '(:a 1 :b 2) :b)2(プロパティリスト中で指標に続く値、またはnil。remf の相棒。引数は2つのみで &optional default はありません)
last(last '(1 2 3)), (last '(1 2 3) 2)(3)、(2 3)(最後のconsセル、または最後の n 個のcons。空リストではnil)
butlast(butlast '(1 2 3))(1 2)(最後の要素を除いたコピー。空または単一要素のリストではnil)
remove(remove 2 '(1 2 3 2))(1 3)(指定した要素と eql になる要素を除いた新しいリスト。省略可能な :test/:key キーワードを取ります)
remove-if(remove-if #'evenp '(1 2 3 4))(1 3)(述語を満たす要素を除いた新しいリスト)
remove-if-not(remove-if-not #'evenp '(1 2 3 4))(2 4)(述語を満たす要素のみを残した新しいリスト)
remove-duplicates(remove-duplicates '(1 2 1 3))(2 1 3)(重複要素を除き、最後の出現を残したコピー。既定では eql 比較で、省略可能な :test/:key キーワードを取り、:from-end t は最初の出現を残します)
delete-duplicates(delete-duplicates '(1 2 1 3) :from-end t)(1 2 3)(remove-duplicates の破壊的版という位置づけで、レンダリングとキーワードは同じです — 標準は結果を使うことを要求します)
delete(delete 2 '(1 2 3 2))(1 3)(破壊的な remove。マッチするセルをその場で切り出します。省略可能な :test/:key キーワードを取ります。先頭が変わる場合があるので戻り値を使ってください)
delete-if(delete-if #'evenp '(1 2 3 4))(1 3)(破壊的な remove-if)
delete-if-not(delete-if-not #'evenp '(1 2 3 4))(2 4)(破壊的な remove-if-not)
subst(subst 'x 'a '(a (b a) c))(x (b x) c)(非破壊的な木の置換。省略可能な :test/:key キーワードを取ります)
search(search "bc" "abcd")1（あるシーケンスが別のシーケンス内に現れる位置、なければ nil。:start1/:end1/:start2/:end2/:test/:key/:from-end）
mismatch(mismatch "apple" "apricot")2 -- 2 つのシーケンスが最初に異なる位置 (第 1 引数上のインデックス)、一致すれば nil。キーワードは search と同じ
tree-equal(tree-equal '(1 (2 3)) '(1 (2 3)))t(木の形が同じで、葉が :test(既定 eql)または :test-not で一致すること)
substitute(substitute 0 2 '(1 2 3 2))(1 0 3 0)(旧要素と eql になるすべての要素を新要素に置き換えたコピー。省略可能な :test/:key キーワードを取ります)
nsubstitute(nsubstitute 0 2 '(1 2 3 2))(1 0 3 0)(破壊的な substitute。マッチするcarをその場で書き換えます。省略可能な :test/:key キーワードを取ります)
substitute-if(substitute-if 0 #'oddp '(1 2 3))(0 2 0)(述語を満たすすべての要素を置き換えたコピー。省略可能な :key を取り、:test はありません)
substitute-if-not(substitute-if-not 0 #'oddp '(1 2 3))(1 0 3)(substitute-if の補集合版)
nsubstitute-if(nsubstitute-if 0 #'oddp (list 1 2 3))(0 2 0)(破壊的な substitute-if。リスト専用)
nsubstitute-if-not(nsubstitute-if-not 0 #'oddp (list 1 2 3))(1 0 3)(破壊的な substitute-if-not。リスト専用)
get-setf-expansion(get-setf-expansion 'x)setf 展開の 5 値。multiple-value-bind で受け取ります(lite: 変数プレースとアクセサプレース)
nconc(nconc (list 1 2) (list 3 4) (list 5))(1 2 3 4 5)(任意個数のリストを破壊的に連結し、最初の非 nil 引数を返します)
copy-list(copy-list '(1 2 3))(1 2 3)(リストの浅いコピー)
copy-tree(copy-tree '(1 (2 3)))(1 (2 3))(コンスツリーの深いコピー)
sublis(sublis '((a . 1)) '(a b))(1 B)(連想リストのキーに一致する部分木を置き換えた新しい木。:key/:test/:test-not)
nreverse(nreverse '(1 2 3))(3 2 1)(各 cdr を繋ぎ替えてリストを破壊的に反転します。戻り値を使ってください)
make-list(make-list 3 :initial-element 0)(0 0 0)(1 つの要素値を共有する n 個のセルのリスト。既定は nil)
union(union '(1 2 3) '(2 3 4))(4 1 2 3)(集合の和。既定では eql 比較で、省略可能な :test/:key キーワードを取ります。結果順序は未規定)
intersection(intersection '(1 2 3) '(2 3 4))(3 2)(集合の積。既定では eql 比較で、省略可能な :test/:key キーワードを取ります。結果順序は未規定)
set-difference(set-difference '(1 2 3) '(2))(3 1)(第1リストにあって第2リストにない要素。既定では eql 比較で、省略可能な :test/:key キーワードを取ります。結果順序は未規定)
set-exclusive-or(set-exclusive-or '(1 2 3) '(2 3 4))(1 4)(対称差。どちらか一方にしかない要素。省略可能な :test/:test-not/:key キーワードを取ります。結果順序は未規定)
adjoin(adjoin 1 '(2 3))(1 2 3)(すでにメンバーでない限り要素を先頭に追加します。既定では eql 比較で、省略可能な :test/:key キーワードを取ります)
subsetp(subsetp '(1 2) '(1 2 3))T(第1リストのすべての要素が第2リストのメンバーであれば真。既定では eql 比較で、省略可能な :test/:key キーワードを取ります)
list*(list* 1 2 '(3 4)), (list* 1 2 3)(1 2 3 4), (1 2 . 3)(先頭の引数を最後の引数の末尾にconsします)
acons(acons 'a 1 nil)((a . 1))((key . value) ペアを連想リストの先頭に追加します)
endp(endp nil), (endp '(1))t, nil(リスト終端テスト。null の同義語で、不正リストのエラーは緩和されています)
elt(elt '(a b c) 1)b(0始まりの要素アクセス。リストのみで文字列インデックスはありません)
rassoc(rassoc 2 '((a . 1) (b . 2)))(b . 2)(cdrが値に一致する最初のペア、またはnil。既定では eql で比較し、省略可能な :test/:key キーワードを取ります)
rassoc-if(rassoc-if #'oddp '((a . 2) (b . 3)))(b . 3)(cdrが述語を満たす最初のペア、またはnil)
pairlis(pairlis '(a b) '(1 2))((a . 1) (b . 2))(キーのリストと値のリストを組にして連想リストを作ります。省略可能な第3引数は末尾に連結されます)
copy-alist(copy-alist '((a . 1)))((a . 1))(連想リストの背骨と各ペアセルをコピーします。キーと値自体は共有されます)
revappend(revappend '(1 2 3) '(4 5))(3 2 1 4 5)(第1リストを反転して第2リストを追加します)
nreconc(nreconc '(1 2 3) '(4 5))(3 2 1 4 5)(破壊的な revappend。(nconc (nreverse x) y) に展開され、第1リストのconsセルを再利用します)
maplist(maplist #'identity '(1 2 3))((1 2 3) (2 3) (3))(連続する末尾に適用し、結果を集めます。任意個のリストを取り、最も短いリストで終了)
mapcon(mapcon (lambda (x) (list (car x))) '(1 2 3))(1 2 3)(連続する末尾に適用し、結果リストを連結します。任意個のリストを取ります)
mapl(mapl #'identity '(1 2 3))(1 2 3)(連続する末尾に副作用のため適用し、最初のリストを返します。任意個のリストを取ります)
sort(sort '(3 1 2) #'<)(1 2 3)(比較述語でリストを破壊的にソートします。安定ではありません)
merge(merge 'list (list 1 3) (list 2 4) #'<)(1 2 3 4)(ソート済みの 2 つのシーケンスを安定にマージ。結果型は coerce が構築する list/vector/string。非破壊)
rplaca(rplaca x val)consセルのcarを破壊的に置き換え、そのセルを返します
rplacd(rplacd x val)consセルのcdrを破壊的に置き換え、そのセルを返します
1+(1+ 41)42((+ x 1) と同じ)
1-(1- 43)42((- x 1) と同じ)
zerop(zerop 0)t
plusp(plusp 3)t
minusp(minusp -3)t
evenp(evenp 4)t
oddp(oddp 3)t
abs(abs -5), (abs -3.14)5, 3.14
min(min 3 5), (min 5 2 8 1)3, 1(可変長引数)
max(max 3 5), (max 5 2 8 1)5, 8(可変長引数)
float(float 42)42.0(doubleに変換)
truncate(truncate 3.7), (truncate -7 2)3, -3(ゼロ方向。除数を与えると除算の商になり、剰余は multiple-value-bind で観測できます)
floor(floor 3.7), (floor 7 2)3, 3(負の無限大方向。除数を与えると除算の商になり、剰余は multiple-value-bind で観測できます)
ceiling(ceiling 3.2), (ceiling 7 2)4, 4(正の無限大方向。除数を与えると除算の商になります)
round(round 3.5), (round 2.5)4, 2(銀行家の丸め。オプションの除数を与えると除算の商を丸めます)
sqrt(sqrt 16), (sqrt 2)4.0, 1.4142135623730951(常に浮動小数点)
isqrt(isqrt 17)4(整数平方根、実数根の床)
expt(expt 2 10), (expt 2.0 3)1024, 8.0
random(random 100), (random 1.0)[0, 100) / [0.0, 1.0) の範囲の値(結果型は上限に従います。(random 1) は常に 0)。どのバックエンドもプログラム内部の生成器(インタプリタとJVMは ThreadLocalRandom、WASMは組み込みの生成器)から draw し、ホストがある場合はそのエントロピー(Preview 1モードではWASIの random_get、--component モードでは wasi:random@0.3.0)で実行ごとに一度シードされるため、列は実行ごとに異なります
make-random-state(make-random-state t)常に nil -- random-state オブジェクトは存在しません。random は省略可能な state 引数を受理して無視するため、保存して渡し直すイディオムはそのまま動きます
get-universal-time(get-universal-time)1900-01-01 GMTからの秒数。すべてのバックエンドで整数です(WASMはPreview 1では実際のホストクロック、--component モードでは wasi:clocks@0.3.0 を読みます)
encode-universal-time(encode-universal-time 0 0 0 1 1 1970 0)2208988800 -- 分解された時刻要素からユニバーサルタイムへ。タイムゾーン省略時はローカルではなく GMT
decode-universal-time(decode-universal-time 2208988800 0)9 個の分解値 (秒・分・時・日・月・年・曜日・夏時間・ゾーン)。daylight-p は常に nil
get-internal-real-time(get-internal-real-time)経過実時間(ミリ秒)(すべてのバックエンドで整数)
get-internal-run-time(get-internal-run-time)消費した実行時間(ミリ秒)(すべてのバックエンドで整数)
sleep(sleep 0.5)非負の秒数だけブロックして nil を返します(WASM Preview 1 と --no-wasi 以外は本物のホストタイマー。Preview 1 はクロックをビジーウェイト、--no-wasi はシグナル)
lisp-implementation-type lisp-implementation-version software-type software-version machine-type machine-version machine-instance short-site-name long-site-name(lisp-implementation-type)"rontolisp" — 環境問い合わせの定数群。バージョンはビルド固有、software-type は "Unix"、machine-type は対象 ABI("JVM" / "WASM32")、rontolisp が知り得ないものはすべて nil
user-homedir-pathname(user-homedir-pathname)HOME をディレクトリパス名として返す(末尾は区切り文字)。変数が未設定なら nil
invoke-debugger(invoke-debugger c)条件を通知し決して戻らない -- 入り込めるデバッガはどのバックエンドにも無い
compile-file compile-file-pathname remove-method(compile-file "x.lisp")存在して通知する: rontolisp のプログラムは丸ごとコンパイルされ(fasl も、それを指すパス名も無い)、メソッドは第一級オブジェクトではない
exp(exp 0)1.0(インタプリタ/JVMは Math.exp を使用。WASMはソフトウェア近似を使用)
log(log 1)0.0(自然対数。インタプリタ/JVM は Math.log、WASM はソフトウェア近似)
sin cos tan(sin 0), (cos 0)0.0, 1.0(インタプリタ/JVM は Math.sin/cos/tan、WASM はソフトウェア近似)
asin acos atan(atan 0)0.0(全バックエンド -- WASM はソフトウェア近似)
sinh cosh tanh(tanh 0)0.0(全バックエンド -- WASM は 3 つともソフトウェア exp から導出)
gcd(gcd 12 18), (gcd 24 36 60)6, 12(可変長引数。最大公約数、(gcd) は 0)
lcm(lcm 4 6), (lcm 2 3 4)12, 12(可変長引数。最小公倍数。いずれかの引数が 0 なら 0、(lcm) は 1)
signum(signum -5), (signum 3.5)-1, 1.0(符号。整数/浮動小数点の型を保ちます)
logand(logand 12 10), (logand 12 10 6)8, 0(可変長引数のビット単位AND。(logand) は -1)
logior(logior 12 10), (logior 1 2 4 8)14, 15(可変長引数のビット単位OR。(logior) は 0)
logxor(logxor 12 10)6(可変長引数のビット単位XOR。(logxor) は 0)
lognot(lognot 5)-6(ビット単位NOT、すなわち1の補数)
logandc1(logandc1 12 10)2(第1引数の補数と第2引数のAND)
logandc2(logandc2 12 10)4(第1引数と第2引数の補数のAND)
logorc1(logorc1 12 10)-5(第1引数の補数と第2引数のOR)
logorc2(logorc2 12 10)-3(第1引数と第2引数の補数のOR)
ash(ash 1 4), (ash 255 -4)16, 15(算術シフト。非負のカウントなら左、それ以外は右)
logtest(logtest 1 3), (logtest 1 2)T, NIL(共通して立っているビットがあるか。(not (zerop (logand a b))))
funcall(funcall #'+ 3 4)関数を引数に適用します。関数値(#'f、ラムダ)または関数を指すシンボル((funcall 'car ...))を受け付けます
mapcar(mapcar #'car '((1 2) (3 4)))各要素に関数を適用し、新しいリストを返します
map(map 'list #'+ '(1 2 3) '(10 20 30))(11 22 33)(シーケンス(リスト/文字列)を最短のものまでマッピングし、'list/'string の結果を構築、または副作用のため nil を返す)
mapc(mapc #'print '(1 2 3))副作用のために各要素に関数を適用し、最初のリストを返します。任意個のリストを取り、最も短いリストで終了します
mapcan(mapcan (lambda (x) (list x x)) '(1 2))(1 1 2 2)(関数を適用し結果リストを連結します。任意個のリストを取り、非破壊的な append を使用)
apply(apply #'+ 1 2 '(3 4))10(先頭の引数と展開された最終リストに関数を適用します)
values(values 1 2 3), (multiple-value-list (values 1 2 3))1, (1 2 3) -- 通常の文脈では主値だけが残ります。multiple-value-bind/-list/-call/nth-value はリテラルの (values ...) 呼び出し、多値の組み込み関数（floor ファミリ、gethash、parse-integer、values-list）、(values ...) を返すユーザ関数の全ての値を受け取ります
reduce(reduce #'+ '(1 2 3) :initial-value 0)左畳み込み: (f (f (f init a) b) c)。素の形式 (reduce f list) は最初の要素を初期値に使います。:initial-value キーワード(リテラル)は明示的な初期値を与えます
every(every #'evenp '(2 4 6)), (every #'< '(1 2) '(3 4))すべての要素(の組)で述語が非nilなら t、そうでなければ nil。シーケンスは何個でも渡せ、最短で打ち切ります
some(some #'oddp '(2 4 5)), (some #'> '(1 5) '(3 4))最初の非nilな述語結果、すべての要素(の組)が失敗すれば nil。シーケンスは何個でも渡せます
notany(notany #'evenp '(1 3 5))すべての要素(の組)で述語がnilなら t、そうでなければ nil(some の補)
notevery(notevery #'evenp '(2 4 5))いずれかの要素(の組)で述語がnilなら t、そうでなければ nil(every の補)
symbol-function(symbol-function 'car)シンボルが指す関数を返します(コンパイラ: 引数は引用されたシンボルリテラルでなければなりません)
identity(identity 42)42(引数をそのまま返します)
constantly(mapcar (constantly 7) '(a b c))(7 7 7)(引数を何個受け取っても 1 つの固定値を返す関数)
make-hash-table(make-hash-table), (make-hash-table :test 'equal)空のハッシュテーブルを作成します。:test は受け付けられますが情報的なものです(下記の注記を参照)。:size などの他のキーワードは無視されます
gethash(gethash key table), (gethash key table default)key に格納された値、なければ default(省略時はnil)を返します
(setf (gethash key table) v)(setf (gethash "a" h) 1)key の下に v を格納します。placeに対する incf/decf/push と組み合わせて使えます
remhash(remhash key table)key のエントリを削除します。削除されたら t、そうでなければ nil を返します
clrhash(clrhash table)すべてのエントリを削除します。テーブルを返します
hash-table-count(hash-table-count table)エントリ数
hash-table-test(hash-table-test table)常に EQUAL。:test に関わらずどのバックエンドも構造的にキーを比較する
hash-table-size(hash-table-size table)格納数 (rontolisp のテーブルは独自の容量を持たない)
hash-table-rehash-size(hash-table-rehash-size table)標準の既定値 1.5 (拡張はホスト側のマップに任せている)
hash-table-rehash-threshold(hash-table-rehash-threshold table)標準の既定値 1.0
hash-table-p(hash-table-p x)x がハッシュテーブルなら t、そうでなければ nil
maphash(maphash (lambda (k v) ...) table)副作用のために各キー/値ペアに関数を呼びます。nilを返します
make-array(make-array 5 :initial-element 0), (make-array (list 2 3))任意の階数の配列を作成します。:initial-element はすべてのセルを設定します(省略時はnil)。:element-type は計算された値でも構いません
aref(aref a i), (aref a i j)指定した添字の要素を返します
(setf (aref a i j) v)(setf (aref a 0 0) 1)添字の位置に v を格納します。placeに対する incf/decf/push と組み合わせて使えます
vector(vector 1 2 3)#(1 2 3)(引数からなる新しい階数1の配列)
svref(svref (vector 10 20 30) 1)20(ベクタの要素アクセス。setf のplaceとしても使えます)
array-dimensions(array-dimensions (make-array (list 2 3)))(2 3)(各次元のサイズのリスト)
array-dimension(array-dimension (make-array (list 2 3)) 1)3(指定した軸のサイズ。0始まり)
array-rank(array-rank (vector 1 2))1(階数2の配列では 2、以降も同様)
array-total-size(array-total-size (make-array (list 2 3)))6(要素の総数)
row-major-aref(row-major-aref (make-array (list 2 3)) 4)フラットな行優先インデックスの要素。階数に依存せず、setf の場所としても使えます
array-row-major-index(array-row-major-index (make-array (list 2 3)) 1 1)4(添字のフラットな行優先インデックス)
coerce(coerce '(1 2 3) 'vector), (coerce "ab" 'list)#(1 2 3)、(#\a #\b)。'list/'vector/'string と浮動小数点数のファミリ、t、および計算された結果型
fill-pointer(fill-pointer v):fill-pointer ベクタのフィルポインタ(実効長)。setf 可能な場所でもある
array-has-fill-pointer-p(array-has-fill-pointer-p a)配列がフィルポインタを持てば t、そうでなければ nil
adjustable-array-p(adjustable-array-p a)配列が :adjustable で作成されていれば t、そうでなければ nil
array-element-type(array-element-type a)常に t(要素型は追跡されない)
vector-push(vector-push x v)フィルポインタの位置に x を格納しインデックスを返す。満杯なら nil
vector-pop(vector-pop v)フィルポインタをデクリメントし、通過した要素を返す
vector-push-extend(vector-push-extend x v &optional ext)vector-push と同様だが満杯時にベクタを拡張する
subtypep(subtypep 'integer 'number)t -- 組み込み型の束と defclass/コンディション階層に対して判定。主値のみで、未知の組は nil。コンパイラはリテラル指定子をコンパイル時に畳み込みます
mask-field(mask-field (byte 4 4) 255)240 -- ldb のフィールドを元の位置のまま返します
scale-float(scale-float 1.5 3)12.0 -- IEEE の意味論で float × 2^n
decode-float(decode-float 6.5)0.8125、3、1.0 -- [1/2, 1) の仮数部、2 進指数部、符号
char-name(char-name #\Space)"Space" -- 図形文字には nil
fdefinition(fdefinition 'car)関数値を返します。symbol-function と同じ
use-package(use-package :mypkg)パッケージを use リストに追加し、その外部シンボルを修飾なしで見えるようにします（リテラルなトップレベル呼び出しはコンパイル時ディレクティブ）
export(export '(run))シンボルをパッケージの外部シンボルにします（リテラルなトップレベル呼び出しはコンパイル時ディレクティブ）
unexport(unexport 'run)export の逆操作。シンボルは残りますが修飾なしでは見えなくなります
import(import 'other:sym)他パッケージのシンボルを修飾なしでアクセスできるようにします -- :import-from の実行時版（リテラルなトップレベル呼び出しはコンパイル時ディレクティブ）
file-position(file-position s)常に nil(lite: ストリームはシーク非対応)
file-length(file-length s)ファイルストリームが開いているファイルのバイト長。他のストリームでは nil、2つのWASMバックエンドでも nil
file-write-date(file-write-date "x.txt")ファイルの更新時刻をユニバーサルタイムで返します。判定できない場合は nil(2つのWASMバックエンドでは常に nil)
ensure-directories-exist(ensure-directories-exist "logs/app.log")pathspec のディレクトリ部分を作成して pathspec を返します(2つのWASMバックエンドではシグナルを発生させます)
delete-file(delete-file "notes.txt")指定したファイルを削除して t を返します。ファイルが残る場合は「そもそも無かった」場合も含めてシグナルを発生させます(2つのWASMバックエンドでは ensure-directories-exist と同じ理由でシグナルを発生させます)
rename-file(rename-file "notes.txt" "notes.bak")ファイルをリネーム (移動) し、補完後の新しい名前をパス名として返します。新しい名前は元の名前とマージされるため、ファイル名だけを渡すとディレクトリはそのままです。ファイルが元の場所に残る結果になった場合は「そもそも無かった」場合も含めてエラーになります (delete-file と同じく 2 つの WASM バックエンドではエラー)
make-string-output-stream(make-string-output-stream)新しい文字列出力ストリーム。with-output-to-string が内部で作るものを明示的に作ります
make-string-input-stream(make-string-input-stream string &optional start end)文字列から読み込む入力ストリーム。with-input-from-string が束縛するものを明示的に作ります
get-output-stream-string(get-output-stream-string s)文字列出力ストリームにこれまで書き込まれた内容を返し、ストリームを空にします (CL の仕様どおり)
make-synonym-stream(make-synonym-stream '*standard-output*)すべての操作を、指定した変数が その時点で 保持しているストリームへ転送するストリーム。どのシンボルでも同じなので、後から変数を再束縛すると転送先も変わります
synonym-stream-symbol(synonym-stream-symbol s)シノニムストリームの転送先シンボル
make-broadcast-stream(make-broadcast-stream a b)書き込みのすべてを各コンポーネントへ順に配る出力ストリーム。コンポーネントがなければ書き込みを捨てるシンクです。コンポーネントを持つストリームは Gray ストリームなので出力プロトコル全体が使えます
pathnamep(pathnamep #P"/tmp/x")t — 値がパス名 (#P"..." が表す値) かどうか。文字列はパス名ではなく、(typep x 'pathname) と一致します
input-stream-p(input-stream-p s)任意のストリームハンドルに t
output-stream-p(output-stream-p s)任意のストリームハンドルに t
stream-element-type(stream-element-type s)常に character -- すべてのストリームは文字ストリーム
class-of(class-of 42)値のクラスメタオブジェクト。(find-class 'integer) と eq。組み込み値・CLOS・構造体インスタンスのいずれも
type-of(type-of 42)integer -- 型「名」のシンボル。構造体/CLOS インスタンスには構造体/クラスの名前を返し、(class-name (class-of x)) と一致します
simple-condition-format-control(simple-condition-format-control c)コンディションの :format-control スロット、なければ nil
simple-condition-format-arguments(simple-condition-format-arguments c)コンディションの :format-arguments スロット、なければ nil
type-error-datum(type-error-datum c)type-error の datum スロット — 型が誤っていたオブジェクト
type-error-expected-type(type-error-expected-type c)type-error の expected-type スロット
cell-error-name(cell-error-name c)cell-error(unbound-variable、undefined-function、unbound-slot)の name スロット
unbound-slot-instance(unbound-slot-instance c)スロットが未束縛だったオブジェクト
print-object(print-object obj stream)プリンタが参照するジェネリック関数。メソッドを定義すると、その型のインスタンスの出力を制御できます
find-restart(find-restart 'retry c)その名前を持つ最内のアクティブなリスタートを第一級オブジェクトとして返します。なければ nil。lite: コンディション引数は無視されます
invoke-restart(invoke-restart :reconnect host)名前(シンボル/キーワード)またはオブジェクトでリスタートを引数付きで起動します。restart-case のリスタートなら制御はその節へ移ります
compute-restarts(compute-restarts)アクティブなすべてのリスタートレコードを最内から順に返します
restart-name(restart-name r)リスタートオブジェクトの名前
muffle-warning(muffle-warning w)warn が確立する muffle-warning リスタートを起動し、印字される前に警告を中止します
abort(abort)最内の abort リスタートを起動します。アクティブなものがなければエラー
continue(continue)最内の continue リスタート(cerror のもの)を起動します。アクティブなものがなければ nil
use-value(use-value v)最内の use-value リスタートを値を渡して起動します。アクティブなものがなければ nil
store-value(store-value v)最内の store-value リスタートを値を渡して起動します。アクティブなものがなければ nil

rontolisp パッケージの関数

rontolisp パッケージは Common Lispの一部ではない 実装固有の関数を提供します。rontolisp: 修飾子で参照する(または (in-package rontolisp) の後に修飾なしで)使用してください。パッケージシステムについては パッケージ を参照してください。以下の各名前はそれぞれのページにリンクしています。

FunctionExampleResult
rontolisp:version(rontolisp:version)ビルド情報のプロパティリスト(:version, :build-timestamp, :git-commit, :git-branch)
rontolisp:random-bytes(rontolisp:random-bytes 16)暗号論的に強い乱数バイトのベクタ (SecureRandom / WASI random_get)
rontolisp:make-mutex(rontolisp:make-mutex)新しい相互排他ロック。不透明なハンドル(インタプリタと JVM では実体があり、WASM では no-op)
rontolisp:mutex-acquire(rontolisp:mutex-acquire m)このスレッドが mutex を保持するまでブロックし、それを返します(通常は rontolisp:with-mutex を使用)
rontolisp:mutex-release(rontolisp:mutex-release m)mutex の獲得を 1 回分解放し、それを返します
rontolisp:make-thread(rontolisp:make-thread fn bindings)引数なしの関数を実行する仮想スレッドを生成します。省略可能な (symbol . value) の動的束縛をその中に確立し、不透明なハンドルを返します(インタプリタと JVM。WASM のシムはエラーを通知)
rontolisp:join-thread(rontolisp:join-thread th)スレッドを待ってその関数の値を返します。スレッドが通知したエラーはここで再通知されます
rontolisp:threadp(rontolisp:threadp v)値がスレッドハンドルなら t
rontolisp:thread-alive-p(rontolisp:thread-alive-p th)スレッドが実行中の間 t(join 後は nil)
rontolisp:destroy-thread(rontolisp:destroy-thread th)スレッドに割り込みをかけ、ハンドルを返します
rontolisp:current-thread(rontolisp:current-thread)呼び出したスレッド自身のハンドル。スレッドごとに eq 安定です (make-thread で生成したスレッドに限らず任意のスレッドで動作します)
rontolisp:fetch(rontolisp:fetch "http://example.com/")HTTPリクエストを非同期に開始します。future を返します
rontolisp:futurep(rontolisp:futurep v)値が future（async-defun で定義した関数の呼び出し、rontolisp:fetch、rontolisp:stream-read などが返す値）なら t
rontolisp:streamp(rontolisp:streamp v)値が非同期ストリームなら t（ファイルストリームに答える cl:streamp とは別の述語）
rontolisp:make-stream(rontolisp:make-stream)新しいオープン状態の非同期ストリームを作成します。1 つの値が読み側と書き側の両端を持ちます
rontolisp:stream-read(rontolisp:stream-read s)ストリームの次のチャンク（終端では nil）で確定する future
rontolisp:stream-write(rontolisp:stream-write s "chunk")チャンク（nil は不可）を追加します。ストリームが受け付けた時点で確定する future を返します
rontolisp:stream-close(rontolisp:stream-close s)書き側をクローズします。バッファ済みチャンクは読み取り可能なままで、その後の read は終端を観測します
rontolisp:read-all(rontolisp:read-all s)残りのチャンクを 1 つの文字列に読み切った値で確定する future (オクテットチャンク -- HTTP ボディストリームのもの -- は UTF-8 デコード)
rontolisp:wait-for(rontolisp:wait-for 100)指定ミリ秒後に nil で確定する future。cl:sleep の非同期版の対応物
rontolisp:then(rontolisp:then f (lambda (v) (* 2 v)))future に対する変換を値として付与します。成功チャネル上に新しい future を返します (JavaScript の .then)
rontolisp:then*(rontolisp:then* f #'1+ #'1+)rontolisp:then の可変長チェーン糖衣。各関数は 1 つ前の段の平坦化された値を受け取ります
rontolisp:catch(rontolisp:catch f (lambda (c) :fallback))future に対するエラー時フォールバックを値として付与します (JavaScript の .catch)。cl:catch/throw とは別物
rontolisp:finally(rontolisp:finally f (lambda () (cleanup)))成功・エラーどちらの経路でも走る後始末 thunk。元の結末はそのまま通過します
rontolisp:http-handler(rontolisp:http-handler 'handle 8080)Clack の環境 plist を受け取り (status headers body) を返すハンドラ関数でHTTPリクエストを処理します（ブロッキングサーバ。--component では wasi:http コンポーネント）
rontolisp:json-parse(rontolisp:json-parse "{\"n\": 1}")JSON文字列をパースします（jzon互換）: オブジェクトは文字列キーのハッシュテーブル、配列はベクタになります
rontolisp:json-stringify(rontolisp:json-stringify (vector 1 2))値をJSON文字列にシリアライズします（ハッシュテーブルとCLOSインスタンスはオブジェクト、リストとベクタは配列）
rontolisp:plist-hash-table(rontolisp:plist-hash-table (list :n 1))プロパティリストからハッシュテーブルを構築します（alexandria:plist-hash-table のサブセット）。JSONオブジェクトに便利です
rontolisp:hash-table-plist(rontolisp:hash-table-plist h)ハッシュテーブルのペアのプロパティリスト（alexandria:hash-table-plist のサブセット）
rontolisp:alist-hash-table(rontolisp:alist-hash-table al)連想リストからハッシュテーブルを構築します（alexandria:alist-hash-table のサブセット）
rontolisp:hash-table-alist(rontolisp:hash-table-alist h)ハッシュテーブルのペアの連想リスト（alexandria:hash-table-alist のサブセット）
rontolisp:alist-plist(rontolisp:alist-plist al)連想リストのキー・値を順序を保ったままプロパティリストにします（alexandria:alist-plist のサブセット）
rontolisp:plist-alist(rontolisp:plist-alist pl)プロパティリストのキー・値を順序を保ったまま連想リストにします（alexandria:plist-alist のサブセット）
rontolisp:tcp-connect(rontolisp:tcp-connect "127.0.0.1" 7777)ブロッキングTCP接続を開きます。双方向ストリームハンドルを返します
rontolisp:tcp-listen(rontolisp:tcp-listen 7777), (rontolisp:tcp-listen 0 "127.0.0.1")リスニングTCPソケットをバインドしてリスナーハンドルを返します。ポート 0 は空きエフェメラルポートを選びます
rontolisp:tcp-accept(rontolisp:tcp-accept listener)クライアント接続を待ちます (ブロッキング)。双方向ストリームハンドルを返します
rontolisp:tcp-local-port(rontolisp:tcp-local-port listener)リスナーまたはソケットが実際にバインドされているローカルポート
rontolisp:tcp-local-address(rontolisp:tcp-local-address listener)リスナーまたはソケットがバインドされているローカルIPアドレス（文字列）
rontolisp:tcp-peer-address(rontolisp:tcp-peer-address sock)接続済みソケットのリモートIPアドレス（文字列）
rontolisp:tcp-peer-port(rontolisp:tcp-peer-port sock)接続済みソケットのリモートポート
rontolisp:tcp-set-timeout(rontolisp:tcp-set-timeout sock 5000)読み取りデッドラインをミリ秒で設定します(nil で解除)。タイムアウトした読み取りは捕捉可能なエラーを通知します
rontolisp:tls-connect(rontolisp:tls-connect "example.com" 443)暗号化（TLS）クライアント接続を開きます。tcp-connect と同じ種類のストリームハンドルを返します
rontolisp:tls-listen(rontolisp:tls-listen "server.p12" "changeit" 8443)PKCS12キーストアから暗号化リスニングソケットをバインドします。tcp-accept で受け付けます
rontolisp:tls-listen-pem(rontolisp:tls-listen-pem "cert.pem" "key.pem" 8443)PEMの証明書／鍵ファイルから暗号化リスニングソケットをバインドします
rontolisp:tls-upgrade(rontolisp:tls-upgrade sock "example.com")接続済みのストリームハンドルをクライアントとしてTLSでラップします。新しいストリームハンドルを返します
rontolisp:wasm-export(rontolisp:wasm-export 'fact :params '(:int) :returns :int)WASMコアモジュールへのコンパイル時に defun をホストから呼び出し可能にします
rontolisp:jvm-export(rontolisp:jvm-export 'fact :params '(:s64) :returns :s64)JVMクラスへのコンパイル時に、defun の型付きでJavaから呼び出し可能なstaticメソッドを宣言します
rontolisp:wasm-import(rontolisp:wasm-import 'add :from "host" :params '(:int :int) :returns :int)WASMコアモジュールへのコンパイル時に、ホスト関数をLispから呼び出し可能として宣言します
rontolisp:wit-export(rontolisp:wit-export "greeter.wit" :world greeter)プログラムがWIT worldを実装していることを宣言します。worldのエクスポートはプログラムの defun と照合され、型はWITから得られます
rontolisp:wit-import(rontolisp:wit-import "store.wit" :interface "wasi:keyvalue/store@0.2.0" :package kv)プログラムがWITインターフェースを呼び出すことを宣言します。宣言された各関数が通常のLisp関数（kv:bucket-get）として束縛され、インタプリタ／JVMではプロバイダに、Preview 1ではWASMインポートに、--component ではホストをプロバイダとする canon lower 済みのコンポーネントモデルインポートに向かいます
rontolisp:wit-provide(rontolisp:wit-provide "wasi:keyvalue/store@0.2.0" #'my-store)wit-import したインターフェースの実装をインタプリタとJVMバックエンドで束縛します（WASMではホストが供給するため無効化されます）

rontolisp:fetch は外向きのHTTPリクエストを開始して future を返し、rontolisp:await がそれを解決します。全体像は HTTPリクエストガイドを、オプション、結果plist、バックエンドのサポート、制限については fetch、 await、 futurep のリファレンスページを参照してください。rontolisp:http-handler は fetch の受信側で、Clack の環境 plist と (status headers body) レスポンスリストを使ってハンドラ関数でHTTPリクエストを処理します。各バックエンドでの実例は HTTPサーバガイドを、バックエンドのサポートと制限は http-handler のリファレンスページを参照してください。rontolisp:json-parse と rontolisp:json-stringify はJSONドキュメントとLispの値を相互変換します（com.inuoe.jzon 互換の軽量サブセット。fetchレスポンスボディのパースなどに使えます）。値の対応と制限については json-parse と json-stringify のリファレンスページを参照してください。tcp関数（rontolisp:tcp-connect / tcp-listen / tcp-accept / tcp-local-port およびアドレスアクセサ）は素のTCPソケットを開き、そのハンドルには標準のストリーム関数（read-line / write-line / read-byte / write-byte / close）がそのまま使えます。echoサーバーの実例は TCPソケットガイドを、バックエンドのサポートと制限は tcp-connect、 tcp-listen、 tcp-accept、 tcp-local-port のリファレンスページを参照してください。既存のCommon Lispコードとの互換のために、これらの上にusocket互換シムが用意されています。TLS版（rontolisp:tls-connect / tls-upgrade / tls-listen / tls-listen-pem）は同じストリームハンドルをTLSで包みます。 tls-connect、 tls-upgrade、 tls-listen、 tls-listen-pem のリファレンスページを参照してください。rontolisp:wasm-export、rontolisp:jvm-export、rontolisp:wasm-import、rontolisp:wit-export、rontolisp:wit-import はコンパイル時ディレクティブです。jvm-export は wasm-export のJVM版の双子 — コンパイルされたクラス上の型付きでJavaから呼び出し可能なエントリポイント — です（jvm-export）。WITの2つは .wit ファイルを境界の唯一の真実の源とするため、型を手書きすることはありません。wit-export はプログラムがWIT worldを実装していることを宣言し（--scaffold-wit はそこから実装のスケルトンを生成します）、wit-import はWITインターフェースを呼び出すことを宣言して、インターフェースが宣言する各関数を通常のLisp関数として束縛します。インタプリタとJVMバックエンドではプロバイダ（rontolisp:wit-provide）へ、Preview 1 WASMでは rontolisp:wasm-import へ、--component では canon lower 済みのコンポーネントモデルのインスタンスインポートへローワリングされ（後者2つではホストがプロバイダになります）、1つのソースがすべてのバックエンドで動きます。rontolispはどのインターフェースについてもプロバイダを同梱していません。同梱しているのはプロバイダの仕組みであって、個々のインターフェースが何であるかは知らないため、WITインターフェースの実装は通常のLispコードです。WITの result のerrorアームは rontolisp:wit-error コンディションをシグナルし、そのペイロードは rontolisp:wit-error-payload で読みます。 wasm-export、 wasm-import、 wit-export、 wit-import、 wit-provide のリファレンスページ、および WebAssemblyへのコンパイル ガイドを参照してください。

linalg パッケージの関数

linalg パッケージは、組み込みの配列に対する numpy スタイルのベクトル・行列演算を提供します(要素ごとの演算とリダクションは任意の階数で動作します)。Common Lispの一部ではありません。 関数は linalg: 修飾子で参照してください(このパッケージは cl を使用しないため、 通常は cl-user に留まり修飾名で呼び出します)。パッケージはLispソースで一度だけ 実装されており、すべてのバックエンドで同一に動作します。コンストラクタは packed double-float 配列を作るため浮動小数点で計算します(det・inv・solve は numpy と同様です)。 以下の各名前はそれぞれのページにリンクしています。概要と実例は ベクトルと行列ガイドを参照してください。

FunctionExampleResult
linalg:zeros(linalg:zeros 3), (linalg:zeros '(2 2))#d(0.0 0.0 0.0)、#d((0.0 0.0) (0.0 0.0))(shapeは整数または (rows cols) のリスト)
linalg:ones(linalg:ones '(2 2))#d((1.0 1.0) (1.0 1.0))
linalg:full(linalg:full '(2 2) 7)#d((7.0 7.0) (7.0 7.0))
linalg:zeros-like(linalg:zeros-like #2A((1 2) (3 4)))#d((0.0 0.0) (0.0 0.0))(入力と同じ形状・同じ要素幅のゼロ配列)
linalg:eye(linalg:eye 2)#d((1.0 0.0) (0.0 1.0))(単位行列)
linalg:arange(linalg:arange 5), (linalg:arange 2 10 2)#d(0.0 1.0 2.0 3.0 4.0)、#d(2.0 4.0 6.0 8.0)(stopは含まない。stepは負も可)
linalg:linspace(linalg:linspace 0 1 5)#d(0.0 0.25 0.5 0.75 1.0)(両端を含むn等分の値)
linalg:from-list(linalg:from-list '((1 2) (3 4)))#d((1.0 2.0) (3.0 4.0))(フラットなリストからはベクタ)
linalg:to-list(linalg:to-list (linalg:eye 2))((1.0 0.0) (0.0 1.0))
linalg:shape(linalg:shape #2A((1 2 3) (4 5 6)))(2 3)
linalg:ndim(linalg:ndim #2A((1 2) (3 4)))2(次元数。数値なら 0)
linalg:size(linalg:size (linalg:eye 3))9(要素の総数)
linalg:reshape(linalg:reshape (linalg:arange 6) '(2 3))#d((0.0 1.0 2.0) (3.0 4.0 5.0))(行優先。extent 1 つに -1 可、要素数から推論)
linalg:flatten(linalg:flatten (linalg:eye 2))#d(1.0 0.0 0.0 1.0)
linalg:transpose(linalg:transpose #2A((1 2 3) (4 5 6)))#d((1.0 4.0) (2.0 5.0) (3.0 6.0))(ベクタはそのまま返します)
linalg:pad(linalg:pad #(1 2) 1)#d(0.0 1.0 2.0 0.0)(定数 0 のパディング。リストで軸ごとの (before after) ペアを指定)
linalg:expand-dims(linalg:expand-dims #(1 2 3) 0)#d((1.0 2.0 3.0)) (extent 1 の軸を挿入。numpy の expand_dims / torch の unsqueeze)
linalg:squeeze(linalg:squeeze #2A((1 2 3)))#d(1.0 2.0 3.0) (extent 1 の軸を除去。:axis で対象を指定)
linalg:concatenate(linalg:concatenate (list #(1 2) #(3)))#d(1.0 2.0 3.0) (配列のリストを既存の :axis に沿って連結)
linalg:stack(linalg:stack (list #(1 2) #(3 4)))#d((1.0 2.0) (3.0 4.0)) (新しい :axis に沿って連結)
linalg:slice(linalg:slice #(0 1 2 3 4 5) '((nil nil 2)))#d(0.0 2.0 4.0) (numpy の基本スライシング。軸ごとに nil / (start end [step]))
linalg:triu(linalg:triu (linalg:ones '(3 3)) :k 1)#d((0.0 1.0 1.0) (0.0 0.0 1.0) (0.0 0.0 0.0)) (上三角。causal マスク)
linalg:tril(linalg:tril #2A((1 2) (3 4)))#d((1.0 0.0) (3.0 4.0)) (下三角)
linalg:add(linalg:add #(1 2 3) 10)#d(11.0 12.0 13.0)(要素ごと。スカラーのオペランドはブロードキャスト)
linalg:sub(linalg:sub #(5 5) 1)#d(4.0 4.0)
linalg:mul(linalg:mul m1 m2)アダマール積(要素ごとの積)。行列積ではありません
linalg:div(linalg:div #(1 2 3) 2)#d(0.5 1.0 1.5)(packed double-float 配列)
linalg:+(linalg:+ #(1 2) #(3 4) #(10 10))#d(14.0 16.0)(可変長引数の add。CL 演算子スペル)
linalg:-(linalg:- #(10 10) 1 2)#d(7.0 7.0)(可変長引数の sub。引数 1 つで符号反転)
linalg:*(linalg:* #(1 2) #(3 4))#d(3.0 8.0)(可変長引数の mul。アダマール積であって行列積ではありません)
linalg:/(linalg:/ #(1 2 3) 2)#d(0.5 1.0 1.5)(可変長引数の div。引数 1 つで逆数)
linalg:emap(linalg:emap (lambda (x) (* x x)) (linalg:arange 4))#d(0.0 1.0 4.0 9.0)(全要素に関数を適用)
linalg:exp(linalg:exp (linalg:zeros 3))#d(1.0 1.0 1.0)(要素ごとの e^x)
linalg:log(linalg:log #(1 1 1))#d(0.0 0.0 0.0)(要素ごとの自然対数)
linalg:tanh(linalg:tanh (linalg:zeros 3))#d(0.0 0.0 0.0)(要素ごとの双曲線正接)
linalg:sin(linalg:sin (linalg:zeros 3))#d(0.0 0.0 0.0)(要素ごとの正弦)
linalg:cos(linalg:cos (linalg:zeros 3))#d(1.0 1.0 1.0)(要素ごとの余弦)
linalg:tan(linalg:tan (linalg:zeros 3))#d(0.0 0.0 0.0)(要素ごとの正接)
linalg:asin(linalg:asin (linalg:zeros 3))#d(0.0 0.0 0.0)(要素ごとの逆正弦)
linalg:acos(linalg:acos (linalg:ones 3))#d(0.0 0.0 0.0)(要素ごとの逆余弦)
linalg:atan(linalg:atan (linalg:zeros 3))#d(0.0 0.0 0.0)(要素ごとの逆正接)
linalg:sinh(linalg:sinh (linalg:zeros 3))#d(0.0 0.0 0.0)(要素ごとの双曲線正弦)
linalg:cosh(linalg:cosh (linalg:zeros 3))#d(1.0 1.0 1.0)(要素ごとの双曲線余弦)
linalg:sqrt(linalg:sqrt #(4 9 16))#d(2.0 3.0 4.0)(要素ごとの平方根)
linalg:abs(linalg:abs #(-3 2 -1))#d(3.0 2.0 1.0)(要素ごとの絶対値)
linalg:square(linalg:square #(1 2 3))#d(1.0 4.0 9.0)(要素ごとの x * x)
linalg:negative(linalg:negative #(1 -2 3))#d(-1.0 2.0 -3.0)(要素ごとの符号反転)
linalg:sign(linalg:sign #(-5 0 7))#d(-1.0 0.0 1.0)(要素ごとの符号)
linalg:reciprocal(linalg:reciprocal #(2 4 8))#d(0.5 0.25 0.125)(要素ごとの 1 / x、float で計算)
linalg:power(linalg:power #(1 2 3) 2)#d(1.0 4.0 9.0) (要素ごとの a ** b。どちらのオペランドもスカラー可)
linalg:maximum(linalg:maximum #(1 5 3) #(4 2 3))#d(4.0 5.0 3.0)(要素ごとに大きい方。どちらかの被演算子はスカラー可)
linalg:minimum(linalg:minimum #(1 5 3) 4)#d(1.0 4.0 3.0)(要素ごとに小さい方。どちらかの被演算子はスカラー可)
linalg:clip(linalg:clip #(-2 0 3) -1.0 1.0)#d(-1.0 0.0 1.0)(要素ごとの min(max(x, lo), hi))
linalg:relu(linalg:relu #(-2 0 3))#d(0.0 0.0 3.0)(要素ごとの max(x, 0.0))
linalg:erf(linalg:erf #(0 1))#d(0.0 0.842700792949715)(要素ごとのガウス誤差関数)
linalg:softmax(linalg:softmax #(1 1 1 1))#d(0.25 0.25 0.25 0.25) (最大値を引いた softmax。:axis でスライスごとに正規化)
linalg:log-softmax(linalg:log-softmax #(0 0))#d(-0.6931471805599453 -0.6931471805599453) (softmax の安定な対数)
linalg:dot(linalg:dot v1 v2)numpyスタイルのディスパッチ: ベクタ.ベクタはスカラー、行列.ベクタ / ベクタ.行列はベクタ、行列.行列は行列積
linalg:matmul(linalg:matmul #2A((1 2) (3 4)) #2A((5 6) (7 8)))#d((19.0 22.0) (43.0 50.0))(行列積。rank 3 以上は最後の 2 軸でスタック)
linalg:outer(linalg:outer #(1 2) #(3 4 5))#d((3.0 4.0 5.0) (6.0 8.0 10.0))(外積)
linalg:cross(linalg:cross #(1 0 0) #(0 1 0))#d(0.0 0.0 1.0)(3 次元の外積。長さ 2 のベクタの場合は暗黙のスカラー z を返す)
linalg:sum(linalg:sum #2A((1 2) (3 4)))10(リダクションは要素の型に従う。:axis / :keepdims キーワードで軸ごとの還元)
linalg:mean(linalg:mean #(1 2 3 4))5/2(リダクションは要素の型に従う。:axis / :keepdims キーワード)
linalg:var(linalg:var #(1 2 3 4))1.25 (分散。:axis / :keepdims / :ddof キーワード)
linalg:std(linalg:std #(2 4 4 4 5 5 7 9))2.0 (linalg:var の平方根。キーワードは同じ)
linalg:amax(linalg:amax #2A((1 9) (3 4)))9(最大の要素。:axis / :keepdims キーワード)
linalg:amin(linalg:amin #(5 2 8))2(最小の要素。:axis / :keepdims キーワード)
linalg:argmax(linalg:argmax #(1 9 3))1(同値の場合は最初のインデックス。:axis で軸ごとのインデックス)
linalg:argmin(linalg:argmin #(5 2 8))1(同値の場合は最初のインデックス。:axis で軸ごとのインデックス)
linalg:norm(linalg:norm #(3 4))5.0(ユークリッド / フロベニウスノルム)
linalg:trace(linalg:trace #2A((1 2) (3 4)))5(正方行列のみ)
linalg:diff(linalg:diff #(1 2 4 7 0))#d(1.0 2.0 3.0 -7.0)(:axis に沿った :n 階の離散差分。デフォルトは 1 と最後の軸)
linalg:gradient(linalg:gradient #(0 1 4 9 16))#d(1.0 2.0 4.0 6.0 7.0)(中心差分。入力と同じ長さ。省略可能なスカラー間隔または座標ベクタ)
linalg:det(linalg:det #2A((1 2) (3 4)))-2.0(浮動小数点。特異行列は微小値になることがある)
linalg:inv(linalg:inv #2A((4 0) (2 4)))#d((0.25 0.0) (-0.125 0.25))(特異行列ではエラーを通知します)
linalg:solve(linalg:solve a b)a . x = b の解(b はベクタまたは行列)
linalg:array-equal(linalg:array-equal (linalg:eye 2) #2A((1 0) (0 1)))t(同じ形状かつ数値的に等しい要素。配列自体は eq でしか比較できません)
linalg:equal(linalg:equal #(1 5 3) #(2 5 1))#d(0.0 1.0 0.0)(要素ごとの数値等値を 0.0/1.0 マスクで。スカラー可)
linalg:greater(linalg:greater #(1 5 3) 2)#d(0.0 1.0 1.0)(要素ごとの a > b マスク。スカラー可)
linalg:greater-equal(linalg:greater-equal #(1 5 3) #(2 5 1))#d(0.0 1.0 1.0)(要素ごとの a >= b マスク)
linalg:less(linalg:less #(1 5 3) #(2 5 1))#d(1.0 0.0 0.0)(要素ごとの a < b マスク)
linalg:less-equal(linalg:less-equal #(1 5 3) #(2 5 1))#d(1.0 1.0 0.0)(要素ごとの a <= b マスク)
linalg:where(linalg:where #(1 0 1) 10 20)#d(10.0 20.0 10.0) (非ゼロマスクによる要素ごとの選択。ブロードキャストあり)
linalg:take-rows(linalg:take-rows #2A((10 11 12) (20 21 22) (30 31 32)) #(2 0))#d((30.0 31.0 32.0) (10.0 11.0 12.0))(インデックスベクタで選んだ axis-0 スライス)
linalg:row(linalg:row #2A((10 11 12) (20 21 22) (30 31 32)) 1)#d(20.0 21.0 22.0)(axis-0 スライス 1 つ。axis が落ちる。numpy の x[i])
linalg:gather(linalg:gather #2A((10 11 12) (20 21 22)) #(2 0))#d(12.0 20.0)(行ごとの a[i, idx[i]])
linalg:one-hot(linalg:one-hot #(1 0 2) 3)#d((0.0 1.0 0.0) (1.0 0.0 0.0) (0.0 0.0 1.0))(one-hot 行列)
linalg:seed(linalg:seed 42)42(共有乱数生成器を決定的に初期化。シード済み列は全バックエンドで bit-identical)
linalg:rand(linalg:rand 4)一様 [0, 1) の乱数配列(shape は linalg:zeros と同じ指定)
linalg:randn(linalg:randn 4)標準正規の乱数配列(Irwin-Hall。裾は ±6σ でクリップ)
linalg:uniform(linalg:uniform -2.0 2.0 4)[lo, hi) の一様乱数配列
linalg:choice(linalg:choice 60000 4)[0, n) の一様インデックスを size 個(復元抽出。ミニバッチ抽出向け)
linalg:permutation(linalg:permutation 10)0..n-1 のシャッフル(Fisher-Yates)

torch パッケージの関数

torch パッケージは linalg の上に載る PyTorch スタイルの微分可能レイヤーです (ニューラルネットワークガイドを参照)。どう計算さ れたかを記録するテンソルと、その履歴を辿って勾配を書き込む torch:backward から なります。Common Lisp の一部ではなく、関数は torch: 修飾子付きで参照します (パッケージは cl を使用しません)。すべての演算はテンソル、数値、配列、リストを オペランドに取り、linalg カーネルを通じて計算するため --simd は torch プログ ラムもそのまま加速します。テンソルは #<TENSOR データ> と印字されるので、値は torch:data / torch:item / torch:grad で読み戻してください。表の中ほどは nn スタイルのモジュール層です。モジュールはフィールドのプロパティリストにパラ メータを持ち、合成でき、torch:forward で実行します。最後の部分はモデルを学習 実行に変えるためのもので、torch:step が全パラメータをその場で更新するオプティ マイザと、Dataset/DataLoader の階層ではなく素の関数として提供されるバッチ 化・パディング・マスクの補助関数です。唯一のマクロ torch:no-grad は マクロのページにあります。

FunctionExampleResult
torch:tensor(torch:tensor '(1 2) :requires-grad t)パックドデータ上の葉テンソル (:element-type 'single-float で #f)
torch:tensorp(torch:tensorp x)テンソルなら T、それ以外は NIL
torch:data(torch:data tn)linalg 配列 (スカラーテンソルなら数値)
torch:grad(torch:grad tn)蓄積された勾配。backward 前は NIL
torch:shape(torch:shape tn)次元リスト。スカラーテンソルは NIL
torch:item(torch:item tn)要素 1 個のテンソルの中の数値
torch:detach(torch:detach tn)データを共有しテープから切り離した葉
torch:zero-grad(torch:zero-grad tn)勾配スロットをクリアしてテンソルを返す
torch:requires-grad-p(torch:requires-grad-p tn)テンソルが自動微分に参加するか
torch:backward(torch:backward loss)スカラーテンソルからの逆方向自動微分 (torch:grad に蓄積)
torch:add(torch:add a b)ブロードキャスト付きの微分可能な要素ごとの +
torch:sub(torch:sub a b)微分可能な要素ごとの -
torch:mul(torch:mul a b)微分可能な要素ごとの (アダマール) *
torch:div(torch:div a b)微分可能な要素ごとの /
torch:neg(torch:neg a)微分可能な符号反転
torch:power(torch:power a 2)微分可能な要素ごとの a ** b
torch:exp(torch:exp a)微分可能な e^x
torch:log(torch:log a)微分可能な自然対数
torch:sqrt(torch:sqrt a)微分可能な平方根
torch:tanh(torch:tanh a)微分可能な双曲線正接
torch:relu(torch:relu a)微分可能な max(x, 0.0)
torch:erf(torch:erf a)微分可能なガウス誤差関数
torch:gelu(torch:gelu a)微分可能な GELU (:approximate :none / :tanh)
torch:matmul(torch:matmul a b)微分可能な行列積 (ランク 3 以上はバッチ積)
torch:sum(torch:sum a :axis 0)微分可能な合計 (全体または軸に沿って)
torch:mean(torch:mean a)微分可能な平均
torch:var(torch:var a :ddof 1)微分可能な分散 (除数 (n - ddof))
torch:std(torch:std a)微分可能な標準偏差
torch:amax(torch:amax a :axis 0)微分可能な最大値 (同値には勾配を均等分配)
torch:argmax(torch:argmax a)最大要素のインデックス (微分不可能、生の値)
torch:topk(torch:topk a 5)軸に沿った上位 k 個の値を大きい順に (:indices t でその位置)
torch:multinomial(torch:multinomial probs)シード付き生成器による行ごとのインデックス抽出 (:num-samples、:replacement)
torch:softmax(torch:softmax a :axis 1)微分可能な最大値差し引き softmax
torch:log-softmax(torch:log-softmax a :axis 1)微分可能な log-softmax (交差エントロピーの半分)
torch:masked-fill(torch:masked-fill a mask v)マスクが非ゼロの位置を v で埋める微分可能な演算
torch:gather(torch:gather a idx)行列の微分可能な行ごとの要素選択
torch:index-select(torch:index-select a idx)微分可能な行選択 (埋め込み参照。重複は蓄積)
torch:reshape(torch:reshape a '(2 3))微分可能な行優先 reshape
torch:view(torch:view a '(2 3))PyTorch のもう 1 つの名前での torch:reshape
torch:transpose(torch:transpose a '(1 0 2))微分可能な転置 / 軸の並べ替え
torch:unsqueeze(torch:unsqueeze a 0)微分可能な広がり 1 の軸の挿入
torch:squeeze(torch:squeeze a)微分可能な広がり 1 の軸の除去
torch:cat(torch:cat (list a b) :axis 1)既存の軸に沿った微分可能な連結
torch:stack(torch:stack (list a b))新しい軸に沿った微分可能な結合
torch:slice(torch:slice a '(nil (0 2)))微分可能な numpy 基本スライス
torch:set-data(torch:set-data tn v)テンソルのデータを破壊的に置き換える (パラメータ更新)
torch:module(torch:module :k fields fn)ユーザーレイヤー。kind、フィールドのプロパティリスト、forward 関数
torch:modulep(torch:modulep x)モジュールなら T、そうでなければ NIL
torch:module-kind(torch:module-kind m)モジュールの kind キーワード
torch:field(torch:field m :weight)モジュールの指定フィールドの値 (なければエラー)
torch:fields(torch:fields m)フィールド plist 全体を新しいリストで (モジュール走査用)
torch:set-field(torch:set-field m :weight p)モジュールの指定フィールドを設定しモジュールを返す
torch:forward(torch:forward m x)モジュール (または素の関数) の順伝播を実行
torch:parameter(torch:parameter '(1.0))requires-grad を持つ葉テンソル、すなわち学習可能パラメータ
torch:parameters(torch:parameters m)モジュールから到達できる全パラメータ (重複排除済み)
torch:train(torch:train m)モジュールとサブモジュールを学習モードにする
torch:eval(torch:eval m)モジュールとサブモジュールを評価モードにする
torch:training-p(torch:training-p m)モジュールが学習モードかどうか
torch:linear(torch:linear 4 8)全結合レイヤー (:weight、:bias)
torch:embedding(torch:embedding 100 8)埋め込みテーブル (:weight)。任意の形のインデックス
torch:sequential(torch:sequential a #'torch:relu b)レイヤーおよび素の関数の連鎖
torch:layer-norm(torch:layer-norm 8)最終軸に対する層正規化 (ddof 0)
torch:dropout(torch:dropout 0.1)inverted dropout。評価モードでは恒等写像
torch:mse-loss(torch:mse-loss y target)平均二乗誤差 (:reduction :mean / :sum / :none)
torch:cross-entropy-loss(torch:cross-entropy-loss logits target)ロジットに対する交差エントロピー。target はクラスインデックス (:ignore-index でパディングを除外) か確率分布
torch:optimizer(torch:optimizer :k ps fields fn)ユーザー定義オプティマイザ。種別、パラメータ、fields plist、ステップ関数
torch:optimizerp(torch:optimizerp x)オプティマイザなら T、それ以外は NIL
torch:optimizer-kind(torch:optimizer-kind o)オプティマイザの種別キーワード
torch:optimizer-params(torch:optimizer-params o)オプティマイザが更新するパラメータテンソル
torch:step(torch:step o)更新則を全パラメータに適用 (その場で更新、テープ外)
torch:step-count(torch:step-count o)torch:step の実行回数 (Adam の t)
torch:sgd(torch:sgd model :lr 0.1)SGD。:momentum / :weight-decay も指定可
torch:adam(torch:adam model :lr 0.001)Adam (:betas、:eps、:weight-decay)。初回からバイアス補正済み
torch:adamw(torch:adamw model :lr 0.001)AdamW。同じ規則で :weight-decay を分離 (既定 0.01)
torch:clip-grad-norm(torch:clip-grad-norm model 1.0)勾配全体の L2 ノルムが上限を超えたらその場でスケール。そのノルムを返す
torch:pad-sequence(torch:pad-sequence seqs)可変長シーケンスをバッチ先頭のパディング済みテンソルに
torch:shuffled-batches(torch:shuffled-batches n 32)シード付き生成器によるミニバッチ (:shuffle、:drop-last)
torch:padding-mask(torch:padding-mask tokens)パディング位置の (batch 1 length) マスク (生の配列)
torch:subsequent-mask(torch:subsequent-mask 8)対角より上が 1.0 の (1 n n) 因果マスク (生の配列)

java パッケージの関数

java パッケージはリフレクションで任意の Java API を操作します。JVM 専用であり、インタプリタ (java -jar rontolisp.jar) と JVM コンパイル済みクラス (コンパイラがリフレクションブリッジを生成 .class に埋め込みます) で動作します (WASM バックエンドでは動作せず、GraalVM ネイティブバイナリはリフレクションメタデータを持たないためインタプリタ実行もできません)。また Common Lisp の一部ではありません。関数は java: 修飾子付きで参照します。各名前は個別のページにリンクしています。マーシャリング、オーバーロード解決、制限については Java 連携ガイドを参照してください。

関数例結果
java:new(java:new "java.lang.StringBuilder" "ab")ホストオブジェクト (#<java ...>)
java:call(java:call obj "size")マーシャリングされたインスタンスメソッドの結果
java:static(java:static "java.lang.Math" "max" 3 7)マーシャリングされた静的メソッドの結果
java:field(java:field "java.lang.Integer" "MAX_VALUE")マーシャリングされたフィールド値
java:proxy(java:proxy "java.lang.Runnable" (lambda (m) ...))callable を背後に持つインターフェースのインスタンス

ffi パッケージの関数

ffi パッケージは JVM の外部関数 API を通して素の C を呼び出す。JNI も同梱の ネイティブライブラリもリフレクションも使わないため、java -jar やコンパイル済みの .class / .jar だけでなくネイティブバイナリでも動作する。どちらの WASM バックエンドにも外部関数 API は無いので、これに触れるプログラムはコンパイルを 拒否される。Common Lisp の一部ではないので、関数は ffi: 修飾子付きで参照する。 これらはプリミティブであり、想定する利用者は 1 つだけ --- バインディングはこれらの 動詞ではなく cffi:defcfun に対して書くこと。C ライブラリガイド を参照。

関数例結果
ffi:open(ffi:open "libsqlite3.so.0")ライブラリのハンドル (整数。引数なしならプロセス自身)
ffi:symbol(ffi:symbol (ffi:open) "strlen")シンボルのアドレス (ポインタ。無ければ nil)
ffi:call(ffi:call addr :long '(:string) "hello")C 関数の戻り値を戻り値型でマーシャリングしたもの
ffi:callback(ffi:callback fn :int '(:int :int))Lisp 関数を呼び出す C 関数ポインタ
ffi:alloc(ffi:alloc 8)指定バイト数の領域へのポインタ (malloc)
ffi:free(ffi:free p)nil (領域を解放する)
ffi:peek(ffi:peek p :int 8)アドレス+オフセット位置にあるその型の値
ffi:poke(ffi:poke p :double 1.5)書き込んだ値
ffi:size(ffi:size :pointer)その型のサイズ (バイト)
ffi:align(ffi:align :double)その型のアラインメント (バイト)
ffi:pointerp(ffi:pointerp 42)外部ポインタなら t
ffi:address(ffi:address 4096)整数ならポインタ、ポインタなら整数
ffi:errno(ffi:errno)呼び出しスレッドの直前の呼び出しが残した errno

objc パッケージの関数

objc パッケージは Foreign Function API で Objective-C ランタイムと AppKit をバインドします。リフレクションを使わないため、java: と違って java -jar だけでなくネイティブバイナリでも動作します。macOS のインタプリタ専用であり (コンパイル済み .class や .wasm は拒否します)、Common Lisp の一部ではありません。関数は objc: 修飾子付きで参照します。各名前は個別のページにリンクしています。マーシャリング、スレッド、所有権、ネイティブバイナリの形テーブルについては macOS GUI ガイドを参照してください。

関数例結果
objc:class(objc:class "NSWindow")クラス (#<objc NSWindow>)
objc:send(objc:send (objc:string "hi") "length")セレクタの宣言型に従ってマーシャリングされた結果
objc:define-class(objc:define-class "Target" "NSObject" (list (list "invoke:" fn)))メソッドが Lisp 関数であるクラス
objc:on-main(objc:on-main (lambda () ...))メインスレッドで計算された関数の値
objc:string(objc:string "hi")NSString
objc:data(objc:data buffer)バッファのバイト列を持つ NSMutableData
objc:bytes(objc:bytes data)NSData のバイト列 (パックされた (unsigned-byte 8) ベクタ)
objc:address(objc:address obj)オブジェクトのアドレス (整数)
objc:objectp(objc:objectp x)Objective-C オブジェクトなら t

appkit パッケージの関数

appkit パッケージは objc の上に rontolisp で書かれた Cocoa ウィジェット層で、linalg と同様に初回使用時に読み込まれます。macOS のディスプレイが必要で、インタプリタと .class / .jar にコンパイルしたプログラムで動作します (.wasm は不可)。Common Lisp の一部ではありません。関数は appkit: 修飾子付きで参照します。macOS GUI ガイドを参照してください。

関数例結果
appkit:window(appkit:window "title" :width 480 :height 300)表示済み・中央配置の NSWindow
appkit:label(appkit:label win "text" :x 20 :y 120 :width 380)矩形内で文字列を中央寄せした NSTextField ラベル
appkit:button(appkit:button win "Click" :x 20 :y 40 :on-click (lambda () ...))アクションでクロージャを実行する NSButton
appkit:panel(appkit:panel win :x 20 :y 20 :width 34 :height 34 :fill c :radius 7)ウィンドウ内の塗りつぶした角丸 NSBox
appkit:color(appkit:color 90 200 250)0-255 の成分から作った NSColor
appkit:font(appkit:font 19 :bold t)そのサイズのシステム NSFont
appkit:set-text(appkit:set-text label "new text")表示されたテキスト
appkit:set-color(appkit:set-color tile (appkit:color 214 69 65))色。パネルなら塗りつぶし色、それ以外なら文字色
appkit:text(appkit:text label)コントロールのテキスト (文字列)
appkit:on-click(appkit:on-click tile (lambda (button) ...))ビュー。クリック時にクロージャが走る (1 が左、3 が右)
appkit:click(appkit:click button)nil。クリックと同じようにアクションが実行される
appkit:timer(appkit:timer 0.12 (lambda () ...))繰り返す NSTimer。nil を返すと止まる
appkit:menu(appkit:menu (list (list "Quit" #'appkit:quit "q")))項目が Lisp のクロージャである NSMenu。:separator は区切り線
appkit:status-item(appkit:status-item "λ" :menu m :dock nil)システムのメニューバーの NSStatusItem。:dock nil は Dock アイコンを消す
appkit:quit(appkit:quit)返らない。Cmd-Q と同じようにアプリケーションが終了する
appkit:close(appkit:close win)nil。ウィンドウは閉じられる (隠される)
appkit:visible-p(appkit:visible-p win)ウィンドウが画面上にあるかどうか
appkit:wait(appkit:wait win)ウィンドウが閉じられた後に nil。ウィンドウを渡さなければアプリケーション終了までブロック

asdf パッケージの関数

asdf パッケージは、.asd 定義から複数ファイルのシステムをロードするための、ASDF の 限定的な API 互換サブセットです。Common Lisp の一部ではありません。シンボルは asdf: 修飾子付きで参照します。各名前は個別のページにリンクしています。プロジェクトの 全体像と探索パスの詳細は システムガイドを参照してください。

関数例結果
asdf:defsystem(asdf:defsystem :my-lib :components ((:file "main")))システムを定義する (名前・:depends-on・:serial・:components)。後続の load-system 用
asdf:load-system(asdf:load-system :my-lib)システムをロードする: まず依存システム、次にコンポーネントファイルを順に (コンパイルパスではリテラルかつトップレベルのフォーム)
asdf:test-system(asdf:test-system "my-app")システムをロードし、:in-order-to の test-op 連鎖をたどって、記録された :perform (test-op ...) 本体を実行する — .asd の標準テストエントリポイント
asdf:find-system(asdf:find-system :my-lib nil)システムのメタオブジェクト。名前ごとにメモ化された本物の asdf:system CLOS インスタンス (呼び出し間で eq)。error-p が nil なら未知の名前に nil
asdf:registered-systems(asdf:registered-systems)登録済みのすべてのシステムの小文字化された名前 (登録順)
asdf:system-relative-pathname(asdf:system-relative-pathname :my-lib "data/tlds.dat")システムのソースディレクトリを基準に解決した名前文字列 (コンパイルパスではリテラルへ畳み込まれる)
asdf:component-pathname(asdf:component-pathname (asdf:find-system :my-lib))システムのソースディレクトリ (末尾に /)、またはソースファイルの子の解決済みパス。メタオブジェクトも名前指示子も受け付ける
asdf:component-name(asdf:component-name (asdf:find-system :my-lib))リーダー: コンポーネントの小文字正規形の名前
asdf:component-version(asdf:component-version (asdf:find-system :my-lib))リーダー: 宣言された :version 文字列。素の文字列で宣言されていなければ nil (計算された書き方は評価されません)
asdf:component-children(asdf:component-children (asdf:find-system :my-lib))リーダー: システムのコンポーネントファイル (ロード順、ファイルごとに 1 つの asdf:cl-source-file)
asdf:component-sideway-dependencies(asdf:component-sideway-dependencies (asdf:find-system :my-lib))リーダー: システムの :depends-on の名前 (package-inferred のサブシステム名を含む)
asdf:component-parent(asdf:component-parent child)リーダー: 親コンポーネント — ソースファイルではシステム、システムでは nil
asdf:component-system(asdf:component-system child)コンポーネントが属するシステム (component-parent をたどる)

uiop パッケージの関数

uiop パッケージは ASDF の移植性レイヤであり、Common Lisp が標準化しなかった操作に 対して処理系非依存のライブラリがすでに使っている綴りです。Common Lisp の一部では ありません。シンボルは uiop: 修飾子付きで参照し、修飾なしの綴りはありません。 15 個のサブパッケージと 429 個のエクスポートがあるため、独立したページを設けています: uiop パッケージ — サブパッケージの構成、実装済みのもの、未実装のメンバが シグナルするものについて説明しています。

ql / ql-dist パッケージの関数

ql パッケージは Quicklisp の限定的な API 互換サブセットです。quickload は本物の Quicklisp ディストリビューションからシステムをローカルキャッシュにダウンロードし、 asdf サブセットを経由してロードします (quicklisp は組み込みのニックネーム)。 ql-dist はディストリビューション管理のパッケージで、プログラムが書くメンバーは install-dist の 1 つです: Quicklisp 形式の別のディストリビューション (Ultralisp や任意の distinfo URL) を、quickload が 追加順に検索する dist 群に加えます。どちらも Common Lisp の一部ではありません。 シンボルは ql: / ql-dist: 修飾子付きで参照します。 下記の名前は個別のページにリンクしています。キャッシュのレイアウトと制約については システムガイドを参照してください。

関数例結果
ql:quickload(ql:quickload "split-sequence")追加済みの dist からシステム (とその依存) をダウンロードし、~/.rontolisp/<dist> にキャッシュしてロードする。ロードしたシステム名のリストを返す
ql-dist:install-dist(ql-dist:install-dist "ultralisp")Quicklisp 形式のディストリビューション (既知の名前か distinfo URL) を quickload の検索対象に加える。dist 名を返す
ql:update-dist(ql:update-dist "ultralisp")dist のキャッシュ済み index を破棄し、次の quickload が最新のリリースを見えるようにする。dist 名を返す

usocket パッケージの関数

usocket パッケージは、usocket API を rontolisp:tcp-* 組み込みの上で再現する互換シムです。Postmodern の cl-postgres ソケット層のような既存の Common Lisp ネットワークコードが、 より少ない変更で動きます。Common Lisp の一部ではありません。シンボルは usocket: 修飾子付きで参照します。このシムではソケットはストリームハンドル そのものなので、socket-stream は恒等関数で、標準のストリーム関数が ソケットにそのまま使えます。パッケージは最初の使用時にロードされ、組み込み ASDF システム "usocket" でもあります(asdf:load-system、ql:quickload、 :depends-on ("usocket") をダウンロードなしで充足)。対応は TCP のみ -- UDP(socket-send / socket-receive)、wait-for-input、socket-server、 コンディション階層(handler-case での usocket:socket-error)は 非対応です。変数 usocket:*wildcard-host*("0.0.0.0")と usocket:*auto-port*(0)が提供されます。全体像と制限の一覧は TCPソケットガイドを参照して ください。

関数例結果
usocket:socket-connect(usocket:socket-connect "localhost" 5432 :element-type '(unsigned-byte 8))ブロッキングTCP接続を開く。:protocol :datagram はエラー、他のオプションは受理して無視
usocket:socket-listen(usocket:socket-listen usocket:*wildcard-host* usocket:*auto-port*)リスニングTCPソケットをバインド(usocket流にホストが先)
usocket:socket-accept(usocket:socket-accept listener)クライアント接続を待つ(ブロッキング)
usocket:socket-stream(read-line (usocket:socket-stream sock))ソケットのストリーム(このシムでは恒等関数)
usocket:socket-close(usocket:socket-close sock)ソケットまたはリスナーを閉じる
usocket:get-local-port(usocket:get-local-port listener)ローカルにバインドされたポート(エフェメラルポートの読み戻し)
usocket:get-local-address(usocket:get-local-address listener)ローカルにバインドされたIPアドレス(文字列)
usocket:get-peer-address(usocket:get-peer-address sock)接続済みソケットのリモートIPアドレス
usocket:get-peer-port(usocket:get-peer-port sock)接続済みソケットのリモートポート
usocket:get-local-name(usocket:get-local-name sock)ローカルのアドレスとポートを (values address port) で返す
usocket:get-peer-name(usocket:get-peer-name sock)リモートのアドレスとポートを (values address port) で返す
usocket:host-to-hostname(usocket:host-to-hostname #(192 168 0 1))ホスト指定子 (文字列・4 要素ベクタ・ホストバイトオーダ整数・nil) をホスト名／ドット区切り文字列として返す
usocket:get-host-by-name(usocket:get-host-by-name "example.com")ライト版: 名前解決せず host-to-hostname で描画して返す — 名前解決のプリミティブがどのバックエンドにもなく、そのアドレスが届くソケット呼び出しが実際の解決を行うため

with-* 便利マクロ(usocket:with-client-socket / with-connected-socket / with-server-socket / with-socket-listener)は マクロページに一覧があり、 リファレンスページで説明しています。 インタープリタと JVM ではあらゆる脱出時にソケットを閉じます (unwind-protect に展開されます)。 WASM コンポーネントバックエンドでは正常終了時のみ閉じます。