データ型

alpha-char-p

文字が英字[A-Za-z]かどうかを判定します。 

  CHAR : 判定する文字 

alphanumericp

文字が英数字[A-Za-z0-9]かどうかを判定します。 

  CHAR : 判定する文字 

arrayp

OBJECT が array なら t 、それ以外なら nil を返します。 

atom

OBJECTがconsでなければt、それ以外ならnilを返します。 

  (atom x) == (typep x 'atom) == (not (typep x 'cons))

注意：(atom '()) は '() == nilなのでt

characterp

OBJECT が character なら t 、それ以外なら nil を返します。 

check-type

（詳細不明） 

使用例： 
  ;;; nの型チェックをしてみる。 
  (check-type n integer)

compiled-function-p

OBJECTがcompiled code objectならt、それ以外ならnilを返します。 

使用例： 
  ;;; carの型を調べてみる。 
  (type-of #'car)
  => compiled-function
  (compiled-function-p #'car)
  => t

complexp

OBJECT が complex number なら t 、それ以外なら nil を返します。 

consp

OBJECTがconsならt、それ以外ならnilを返します。 

  (consp x) == (typep x 'cons) == (not (typep x 'atom))

注意： (consp '()) は '() == nilなのでnil。 

double-float-p

OBJECT が double-float なら t 、それ以外なら nil を返します。 

eq

X と Y が同一オブジェクトならt、そうでないならnilを返します。 
数値や文字列に対しては見かけ上同じでもtとなる保障はありません。xyzzyでは、 
数値はtとなるが文字列ではnilとなるように実装されているようです。 

使用例： 
  ;;; eqで比較してみる。 
  (eq 'foo 'foo)        => t            ; 仕様 
  (eq 2 2)              => t            ; 処理系依存 
  (eq "foo" "foo")      => nil  ; 処理系依存 
  (eq '(1 2) '(1 2))    => nil  ; 処理系依存 

eql

X と Y が同一オブジェクトか、同じ型の数値または文字型で値が等しいかを返します。 
等しければtを、そうでなければnilを返します。eqとは異なり、値として等しい 
かを判断します。ただし、中身までは見ないので文字列は対象外となります。 

使用例： 
  ;;; eqlで比較してみる。 
  (eql 'foo 'foo)       => t            ; 仕様 
  (eql 2 2)             => t            ; 仕様 
  (eql "foo" "foo")     => nil  ; 処理系依存 
  (eql '(1 2) '(1 2))   => nil  ; 処理系依存 

equal

X と Y が同じ構造を持っていればtを、そうでなければnilを返します。 

使用例： 
  ;;; equalで比較してみる。 
  (equal 'foo 'foo)     => t            ; 仕様 
  (equal 2 2)           => t            ; 仕様 
  (equal "foo" "foo")   => t            ; 仕様 
  (equal '(1 2) '(1 2)) => t            ; 仕様 

equalp

equalと同じように X と Y を比較します。例えば大文字と小文字は区別しません。 

使用例： 
  ;;; equalpで比較してみる。 
  (equalp "Foo" "foo")  => t

floatp

OBJECTがfloatならt、それ以外ならnilを返します。 

functionp

OBJECTが関数ならt、それ以外ならnilを返します。 

integerp

OBJECTがintegerならt、それ以外ならnilを返します。 

  (integerp x) == (typep x 'integer)

kana-char-p

文字が半角カナ文字かを返します。 

  t    半角カナ文字である。 
  nil  半角カナ文字でない。 

カナ文字は以下の範囲です。 
  Code          Char
  ----          ----
  0xa1 .. 0xb0  #\｡ .. #\ｰ
  0xb1 .. 0xdd  #\ｱ .. #\ﾝ 
  0xde          #\ﾞ 
  0xdf          #\ﾟ 

kanji-char-p

文字CHARが漢字かを返します。 
（詳細不明） 

keymapp

指定されたOBJECTがキーマップかを返します。 

  t    OBJECTはキーマップ 
  nil  OBJECTはキーマップではない 

keywordp

与えられたオブジェクト OBJECT がキーワードか否かを返します。 OBJECT がシ
ンボルであり、かつ keyword パッケージに所属するときに t を返しているよう
です。 

  (symbol-package 'a)
  =>#<package: user>
  (symbol-package :a)
  =>#<package: keyword>
  
  (symbolp 'a)
  =>t
  (keywordp 'a)
  =>nil
  
  (symbolp :a)
  =>t
  (keywordp :a)
  =>t

listp

OBJECTがconsか空リスト()ならt、それ以外ならnilを返します。 

  (listp x) == (typep x 'list) == (typep x '(or cons null))

local-variable-p

指定されたシンボルがバッファローカル変数かどうかを判定します。 

使用例： 
  ;;; buffer: foo
  (local-variable-p 'abc)
  => nil
  (make-local-variable 'abc)
  => t
  (local-variable-p 'abc)
  => t

  ;;; buffer: bar
  (local-variable-p 'abc)
  => nil

long-float-p

OBJECTがlong-floatならt、それ以外ならnilを返します。 

markerp

指定されたOBJECTがマーカーかを返します。 

  t     OBJECTはマーカー
  nil   OBJECTはマーカーではない 

null

OBJECTが()ならばt、それ以外ならnilを返します。 

  (null x) == (typep x 'null) == (eq x '())

numberp

OBJECTが数値ならばt、それ以外ならnilを返します。 

  (numberp x) == (typep x 'number)

packagep

OBJECTがpackageならt、それ以外ならnilを返します。 

使用例： 
  ;;; 指定された文字列のパッケージがあるかを調べる。 
  (setq pkg (find-package "win32"))     => nil
  (packagep pkg)                        => nil
  (setq pkg (find-package "winapi"))    => #<package: winapi>
  (packagep pkg)                        => t

processp

指定されたOBJECTがプロセスかを返します。 

  t     OBJECTはプロセス
  nil   OBJECTはプロセスではない 

rationalp

OBJECTがratioかintegerならt、それ以外ならnilを返します。 

  (rationalp x) == (typep x 'rational)

realp

OBJECT が real number なら t 、それ以外なら nil を返します。 

regexpp

指定されたOBJECTがコンパイル済み正規表現かを返します。 

  t     OBJECTはコンパイル済み正規表現
  nil   OBJECTはコンパイル済み正規表現ではない 

sequencep

OBJECT が sequence なら t 、そうでなければnilを返します。 

short-float-p

OBJECTがshort-floatならt、それ以外ならnilを返します。 

si:*builtin-function-p

オブジェクトがビルトイン関数かどうかを調べます。 

使用例： 
  ;;; carを調べてみる。 
  (si:*builtin-function-p #'car)
  => t

simple-string

simple-string とはシンプルな文字列のことを指します。 
共有可能でなく、フィルポインタを持たず、サイズ変更不可能な文字列のことで
す。formatやconcatを使って文字列を操作する場合にはsimple-stringのままです。 

使用例： 
  ;;; simple-stringの場合 
  (type-of "abc") 
  => simple-string

simple-string-p

OBJECTがsimple-stringならt、それ以外ならnilを返します。 

使用例： 
  ;;; make-vectorを使ってsimple-stringでないstringを作ります。 
  (setq var1 (make-vector 10 :element-type 'character)
        var2 (make-vector 10 :element-type 'character :fill-pointer 0))
  => ""
  (type-of var1)                => simple-string
  (type-of var2)                => string
  (simple-string-p var1)        => t
  (simple-string-p var2)        => nil

simple-vector-p

OBJECTがsimple-vectorならt、それ以外ならnilを返します。 

single-float-p

OBJECTがsingle-floatならt、それ以外ならnilを返します。 

standard-char-p

文字が、改行文字もしくは [ -~] かどうかを判定します。 
表示可能な文字は SJIS 文字コードで 10, 32-126 です。 

  CHAR : 判定する文字 

戻り値： 
  t   standard-char である
  nil standard-char でない 

補足： 
  ;;; 改行文字(SJIS 10) 以外の standard-char 文字一覧出力 (SJIS 32-126)
  (do ((i (char-code #\SPC) (1+ i)))
      ((= i (char-code #\DEL)))
    (format t "~A" (code-char i)))

stringp

OBJECTがstringならt、それ以外ならnilを返します。 

subtypep

ある型が他の型の副型かどうか調べて多値で返します。 
（詳細不明） 

  TYPE1 : 副型を指定します。 
  TYPE2 : 型を指定します。 

  t   t         TYPE1は明確にTYPE2の副型 
  nil t         TYPE1は明確にTYPE1の副型ではない 
  nil nil       関係を判断できない 

使用例： 
  ;;; サブタイプかどうかを調べる。 
  (subtypep 'single-float 'number)
  => (single-float double-float long-float)
  (subtypep 'cons 'number)
  => nil

symbolp

OBJECTがsymbolならt、それ以外ならnilを返します。 

  (symbolp x) == (typep x 'symbol)

type-of

与えられたオブジェクトの型を返します。 
(typep OBJECT (type-of OBJECT))は必ずtになります。 

使用例： 
  ;;; それぞれの型を調べてみる。 
  (type-of 1)
  => integer
  (type-of 2.2)
  => single-float
  (type-of #'car)
  => compiled-function

vectorp

OBJECTがvectorならt、それ以外ならnilを返します。 

windowp

指定されたOBJECTがウィンドウかを返します。 

  t     OBJECTがウィンドウ
  nil   OBJECTはウィンドウではない