如何在Racket定义模块中使用依赖其定义的子模块内容？

问题背景 #

我需要引入一个会严重污染命名空间的模块，但不想使用prefix-in——这会让代码变得非常繁琐难看。于是尝试将使用该模块的代码移至子模块，但始终无法同时实现两个目标：让子模块获取主模块的依赖，且把子模块定义的函数导出到主模块。以下是四次尝试及对应报错：

第一次尝试 #

#lang racket
(define foo 3)
(module mod1 racket/base
  (provide bar1)
  (require pollute)
  (define bar1 (+ 1 foo)))
(require 'mod1)
(define (biz1 e) (+ e bar1))

报错：foo: unbound identifier

第二次尝试 #

#lang racket
(define foo 3)
(module+ mod2 #f
  (provide bar2)
  (require pollute)
  (define bar2 (+ 2 foo)))
(define (biz2 e) (+ e bar2))

报错：bar2: unbound identifier

第三次尝试 #

#lang racket
(define foo 3)
(module+ mod3 #f
  (provide bar3)
  (require pollute)
  (define bar3 (+ 3 foo)))
(require 'mod3)
(define (biz3 e) (+ e bar3))

报错：require: unknown module
module name: 'mod3

第四次尝试 #

#lang racket
(define foo 3)
(module+ main
  (provide bar4)
  (require pollute)
  (define bar4 (+ 4 foo)))
(define (biz4 e) (+ e bar4))

报错：bar4: unbound identifier

解决方案 #

你的需求完全可行，问题出在对子模块与主模块依赖关系的理解偏差上，无需退而使用prefix-in，以下是两种正确实现方式：

方式一：普通子模块（module）+ 显式引入主模块 #

普通子模块默认不会继承主模块的绑定，需要在子模块内通过(submod "..")显式引入上层主模块，修改后的代码如下：

#lang racket
(define foo 3)
(module mod1 racket/base
  (require (submod "..")) ; 引入主模块，获取foo的绑定
  (provide bar1)
  (require pollute)
  (define bar1 (+ 1 foo)))
(require 'mod1) ; 主模块引入子模块，获取bar1的绑定
(define (biz1 e) (+ e bar1))

方式二：module+扩展主模块 + 显式引入扩展部分 #

module+用于扩展已有模块（如main子模块），而非创建新模块。主模块顶层代码无法直接访问main子模块的绑定，需要显式引入：

#lang racket
(define foo 3)
(module+ main
  (require pollute)
  (define bar4 (+ 4 foo))
  (provide bar4))
(require (submod "." main)) ; 主模块引入main子模块的扩展内容
(define (biz4 e) (+ e bar4))

这两种方式都能将污染性模块隔离在子模块中，同时实现主模块与子模块的双向绑定访问。

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