方案功能[关闭]

我试图解释这个方案函数的作用：

 (define (y s lis)
    (cond
      ((null? lis) '() )
      ((equal? s (car lis)) lis)
      (else (y s (cdr lis)))))

它运行了，但我不太确定它正在做什么或试图做什么。 是否需要一个列表来排序或其他什么？我正在使用 DrRacket 来运行它。我以前从未见过计划 任何帮助将不胜感激。

它是一个搜索函数，给定一个值和一个列表，在列表中查找该值。如果找到，则返回从找到该元素的位置开始的列表部分。如果该值不在列表中，则返回一个空列表。让我们一步步看看它是如何工作的：

; define a function called `y` that receives
; as parameters a value `s` and a list `lis`
(define (y s lis)
  ; we're going to test three possible conditions
  (cond
    ; if the list is empty    
    ((null? lis)
     ; then we didn't find the value, return the empty list
     '())
    ; if the first element in the list equals the `s` value
    ((equal? s (car lis))
     ; then return the list up to this point
     lis)
    ; otherwise
    (else
     ; keep looking in the rest of the list, by recurring over it
     (y s (cdr lis)))))

要查看该函数的运行情况，让我们使用一些值来测试它：

; call the function with a value that is present in the list
(y 3 '(1 2 3 4 5))
; see how the list is returned starting at the point where the value was found
=> '(3 4 5)

; call the function with a value that is not present in the list
(y 7 '(1 2 3 4 5))
; an empty list is returned
=> '()

要真正真正理解它是如何工作的，您必须意识到在函数的最后一行我们调用函数本身 - 这就是递归的魔力！另外，它将帮助您了解所使用的每一个原始操作是做什么的，单击每个链接即可阅读文档，我正在简化和总结要点：

• define http://docs.racket-lang.org/reference/define.html：给一个值命名（特别是，它可以是一个函数）
• cond http://docs.racket-lang.org/reference/if.html?q=cond#%28form._%28%28lib._racket%2Fprivate%2Fletstx-scheme..rkt%29._cond%29%29：测试不同的条件，根据哪个条件为真执行一些表达式
• ：测试列表是否为空
• ：比较两个对象是否相等
• ：获取列表中的第一个元素
• ：获取列表中的其余元素