Chicken Scheme中如何创建函数接口隐藏内部实现细节

你最初写的「在对外暴露的函数内部定义循环辅助函数」的写法，就是Scheme（包括Chicken Scheme）最符合社区惯例的实现，完全不需要把辅助函数挪到顶层作用域。

为什么内部定义是最优选择 #

Scheme 从设计之初就支持词法作用域，函数内部通过define定义的辅助逻辑，仅能被外层函数访问，调用方完全感知不到这些内部实现，天然满足隐藏实现细节的需求。
而且内部函数可以直接捕获外层作用域的绑定，你完全没必要把target这类循环过程中不会变化的入参，反复在递归调用里传递，能省掉很多冗余代码。
另外提个通用优化点：别用(equal? (length trees-to-evaluate) 0)判断空列表，直接用内置的null?即可——前者会遍历整个列表计算长度，时间复杂度是O(n)，后者是O(1)的常数时间操作，是Scheme社区的通用写法。
优化后的内部定义版本参考：

(define (find-errors trees target)
  (define (error-loop evaluated-trees trees-to-evaluate)
    (cond
      ((null? trees-to-evaluate) evaluated-trees)
      (else
       ;; 直接使用外层作用域的target，不需要作为循环参数反复传递
       (error-loop (cons (evaluate (car trees-to-evaluate) target) evaluated-trees)
                   (cdr trees-to-evaluate)))))
  (error-loop '() trees))

如果想写得更简洁，Scheme 原生支持的命名let是写尾递归迭代更常用的语法糖，和内部定义函数的效果完全等价，写法更紧凑，也是社区通用的惯用法：

(define (find-errors trees target)
  (let error-loop ((evaluated-trees '())
                   (trees-to-evaluate trees))
    (cond
      ((null? trees-to-evaluate) evaluated-trees)
      (else
       (error-loop (cons (evaluate (car trees-to-evaluate) target) evaluated-trees)
                   (cdr trees-to-evaluate))))))

不推荐外层加下划线的写法 #

你提到的把循环函数提到顶层、加下划线前缀标记内部使用的写法，是Python、C等其他语言的惯例，Scheme社区完全没有这个通用命名约定，这么写反而会让其他熟悉Scheme的开发者困惑。
除此之外这种写法还有两个明显问题：

• 哪怕加了下划线前缀，函数依然处于顶层作用域，其他代码依然可以随意调用它，没有做到真正的实现隐藏，后续修改辅助函数逻辑时很容易引入意料之外的兼容问题
• 内部循环无法捕获外层函数的固定参数，你必须把所有用到的绑定都作为入参反复传递，代码冗余且容易写错

什么时候需要把辅助函数挪到外层？ #

只有当多个对外暴露的函数需要复用同一段辅助逻辑时，才值得把公共逻辑抽到顶层。这时候如果你不想把辅助函数暴露给模块使用者，直接用Chicken Scheme自带的模块系统做访问控制即可，不需要依赖命名约定：你只需要在模块导出列表里声明对外公开的函数，未被导出的绑定模块外完全无法访问，是最可靠的封装方式。
示例：

;; 模块仅对外导出find-errors和other-public-function
(module gp-utils (find-errors other-public-function)
  (import scheme)

  ;; 这个共享辅助函数不会被导出，模块外完全不可见
  (define (shared-eval-logic tree target)
    ;; 公共求值逻辑
    )

  (define (find-errors trees target)
    ;; 内部可以调用shared-eval-logic
    )

  (define (other-public-function)
    ;; 其他公共函数也可以复用shared-eval-logic
    ))

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