схема, поиск, если слово является частью списка

Question

я сделал программу, которая ищет, если элемент является частью списка, но он не работает со словами Моя программа:

(define (element? xs lst) 
    (cond ((null? lst) #f) 
     ((eq? xs (car lst)) #t) 
     (#t (element? x (cdr lst))))) 

примеры :

>(element? 'three (quote ((quote three) (quote four) (quote five)))) 
>,=> #f but i need #t 

, пожалуйста, помогите.

Answer 1

eq? проверяет, находятся ли два объекта в одном месте. Это фактически не сравнивает значения. Если вы построите идентичные строки в двух разных ячейках памяти, eq? возвращает false. Вместо этого используйте string=.

Я хотел показать некоторые примеры кода, но схема агрессивно интернирования строк, и я не могу получить два отдельно выделяются одинаковые строки существовать ...

Relevant question

Answer 2

Когда схема встречает (quote x) или короткая Форма 'x x - результат неоценимый. Таким образом, (quote ((quote three) (quote four) (quote five))) становится списком ((quote three) (quote four) (quote five)). Думаю, вы хотели пройти (quote (three four five)), который вы могли бы написать '(three four five), и ваша процедура сработала бы с тех пор, как вы искали первый элемент.

Ошибка при наличии несвязанной переменной, которая не работает, если искомый элемент не является первым элементом в lst. x, который, как я полагаю, фактически должен быть связанной переменной xs. Я переименовал каждый xs к x (так как хз обычно означает, что список и здесь это поиск элемента)

(define (element? x lst) 
    (cond ((null? lst) #f) 
     ((eq? x (car lst)) #t) 
     (else (element? x (cdr lst))))) 

(element? 'c '(a b c d e f)) ; ==> #t 
(element? 'g '(a b c d e f)) ; ==> #f 
(element? (quote e) (quote (a b c d e))) ; ==> #t 

Если вы действительно хотите, чтобы искать другие вещи, чем символы, вы должны использовать equal? вместо eq?, например:

(define (element? x lst) 
    (cond ((null? lst) #f) 
     ((equal? x (car lst)) #t) 
     (else (element? x (cdr lst))))) 

(element? '(hello dolly) '((hello paul) (hello dolly) (hello todd))) ; ==> #t 

Answer 3

В схеме действительно нет понятия «слова» - у вас есть символы или строки. Из того, что вы написали, вы хотите найти символы. Ваш код имеет ряд простых ошибок, вот простой вариант:

(define (element? xs lst) 
    (and (not (null? lst)) 
     (or (eq? xs (car lst)) 
      (element? xs (cdr lst))))) 


> (element? 'three (list 'three 'four 'five)) 
#t 

Примечание: В любое время вы видите cond возвращающихся значения #t или #f вы можете предпочесть перезаписи с точкой зрения and и or