如何在Scheme（R5RS）中返回列表乘积或布尔值？

需求 #

• 计算数字列表的乘积并返回对应数值
• 若列表为空或包含非数字元素，返回#f
• 基于Scheme R5RS实现，禁止使用任何内置工具函数（需从零递归实现逻辑）

示例 #

(mult-this '(2 3 4)) -> 24
(mult-this '(1 2 a b)) -> #f
(mult-this '()) -> #f

现有实现问题 #

尝试的伪代码存在逻辑矛盾：基准情况（空列表）返回布尔值#f，但递归计算部分返回数值，导致返回值类型不一致；若修改基准情况返回数值，又无法满足空列表返回#f的要求。

伪代码片段：

(define multiply-this (lambda (mult)
  (if (null? mult)
      #f
      (* recursively multiply car mult and cdr mult)

正确实现方案 #

要兼顾合法性检查和乘积计算，需要在递归过程中同时完成两项逻辑。以下是完整实现：

(define mult-this
  (lambda (lst)
    ; 空列表直接返回#f
    (if (null? lst)
        #f
        ; 先验证第一个元素是否为数字
        (if (not (number? (car lst)))
            #f
            ; 辅助函数跟踪当前乘积与剩余列表
            (letrec ((helper
                      (lambda (current-prod remaining)
                        (if (null? remaining)
                            current-prod ; 遍历完成，返回乘积
                            (if (number? (car remaining))
                                ; 合法数字，累积乘积后递归
                                (helper (* current-prod (car remaining)) (cdr remaining))
                                #f))))) ; 遇到非数字，返回#f
              (helper (car lst) (cdr lst)))))))

逻辑说明 #

1. 主函数优先处理空列表，直接返回#f
2. 检查列表第一个元素的合法性，非数字直接返回#f
3. 辅助函数helper负责递归遍历：
   • 当剩余列表为空时，说明所有元素合法，返回累积的乘积
   • 每一步验证当前元素是否为数字，合法则更新乘积并继续递归，否则立即返回#f

测试验证 #

运行以下测试用例可验证正确性：

(mult-this '(2 3 4))   ; 输出24
(mult-this '(1 2 a b)) ; 输出#f
(mult-this '())        ; 输出#f

内容的提问来源于stack exchange，提问作者UnknownPeach