連想リスト

以下の記述において，〈連想リスト〉 はコンスを要素とするリストを 意味する．

(assq 〈データ〉〈連想リスト〉) 【関数】

〈連想リスト〉 の要素のうち， car部が 〈データ〉 と eq?の意味で等しいものを返す． 複数あれば最初のものを返し，なければ #fを返す．

例:

(assq 'a      

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ (a . 1)    

(assq 'c      

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ #f    

(assq 9000      

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ #f    

(assq '(b)      

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ #f

(assv 〈データ〉〈連想リスト〉) 【関数】

〈連想リスト〉 の要素のうち， car部が 〈データ〉 と eqv?の意味で等しいものを返す． 複数あれば最初のものを返し，なければ #fを返す．

例:

(assv 'a      

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ (a . 1)    

(assv 'c      

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ #f    

(assv 9000      

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ (9000 . 3)   

(assv '(b)      

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ #f

(assoc 〈データ〉〈連想リスト〉) 【関数】

〈連想リスト〉 の要素のうち， car部が 〈データ〉 と equal?の意味で等しいものを返す． 複数あれば最初のものを返し，なければ #fを返す．

例:

(assoc 'a      

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ (a . 1)    

(assoc 'c      

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ #f    

(assoc 9000     

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ (9000 . 3)   

(assoc '(b)     

      '((a . 1) ((b) . 2) (9000 . 3)))  

$\Rightarrow$ ((b) . 2)