Lispの勉強を始めました

Question

与えられたリストにある要素ｘが何個あるのかを調べようとしています。

(defun count (lt x)
  (if (atom lt)
	  (if (equal (car lt) x)
		  0
		  (+ 1 (count ((cdr lt) x)))
		  )
	)
  )

(count '(1 2 3 4 1) '1)　で実行しようとしてみたところ、エラーが起きてしまいました。エラーコードは以下のようなことが書かれていました。
どうすればよいのかどなたか教えてくださるとありがたいです。

Error: TYPE-ERROR :DATUM (CDR LT) :EXPECTED-TYPE FUNCTION
Fast links are on: do (si::use-fast-links nil) for debugging
Signalled by IF.
TYPE-ERROR :DATUM (CDR LT) :EXPECTED-TYPE FUNCTION

Broken at ITEMCOUNT.
    1 (abort) Return to debug level 9. 
    2  Return to debug level 8. 
    3  Return to debug level 7. 
    4  Return to debug level 6. 
    5  Return to debug level 5. 
    6  Return to debug level 4. 
    7  Return to debug level 3. 
    8  Return to debug level 2. 
    9  Return to debug level 1.

Answer 1

Error: TYPE-ERROR :DATUM (CDR LT) :EXPECTED-TYPE FUNCTION

大雑把に訳すると

エラー: 型エラー
データ: (CDR LT)
期待する型: 関数

報告されている (cdr lt)の行を見ます。

(+ 1 (count ((cdr lt) x)))

内側の括弧を展開してみましょう。

(+ 1
   (count ((cdr lt) x)))

(cdr lt) の外に括弧がある為、
count の引数の数を見た時に、((cdr lt) x) ひとつのみとなってます。

• (+ 1 ...) は問題なしですが、
• (count ((cdr lt) x)) の変数に実際の値を代入すると→
• (count ((cdr '(1 2 3 4 1) '1)) cdr を適用します→
• 実行される式: (count ('(2 3 4 1) '1))
• 期待する式は: (count '(2 3 4 1) '1)

Lispでの関数適用は (func arg1 arg2) という形式なので、
読み解くと '(2 3 4 5 1) というリストを関数として使おうとしてます。
以上が、エラーの内容です。

解消法は、正しく count 関数を呼び出すように 括弧を調整する

(+ 1
   (count (cdr lt)
          x))

ですが、この count 関数の実装には、他にも幾つか問題があります。
対話環境でひとつづつ動作を確認してみましょう。

• (if (atom lt) ...) に対する else の時の戻り値は？
• (atom lt) の戻り値は期待通り？
• (if (equal (cdr lt) x) 0 ...) 要素が見つかると 0 ?

学習初めという事でこれからだと思いますが、
通常の「再帰」での実装が出来たら、次は「末尾再帰」についても調べて見て下さい。

---

後、このエラーとは関係ありませんが、組み込みにも count 関数があるので注意。
Lisp は方言や処理系がたくさんあるので、環境等も明記した方が良いです。

Comments

[papikonoqui]

回答していただきありがとうございました！
おかげさまでうまくいきました。