Janet语言中模块路径的动态化改造

Janet语言作为一门轻量级脚本语言，其模块系统设计简洁高效。近期社区针对模块加载路径的动态化需求进行了深入讨论，最终在语言层面实现了更灵活的模块环境控制机制。

问题背景

在Janet的默认实现中，module/paths等模块相关配置存储在根环境(root-env)中，作为全局共享状态。这种设计在大多数场景下工作良好，但当需要创建隔离的模块加载环境时就会遇到挑战。

典型场景包括：

1. 主程序需要加载用户脚本，但希望控制用户脚本的模块搜索路径
2. 需要为不同脚本创建独立的模块缓存
3. 实现沙盒环境时对模块系统的定制需求

技术实现演进

最初社区提出了将module/paths改造为动态变量的方案。动态变量(dynamic binding)是Janet中一种特殊变量，其值可以基于调用栈动态改变，非常适合这种需要环境隔离的场景。

核心改动包括：

1. 将原本直接访问module/paths的代码改为访问动态变量*module-paths*
2. 默认情况下动态变量仍指向原始的module/paths表
3. 用户可以通过with-dyns宏临时修改模块路径

(with-dyns [*module-paths* ["/custom/path" "/another/path"]]
  (import ./user-script))

动态绑定的传播问题

在讨论过程中，开发者发现动态变量在模块导入时的传播行为不符合预期。原本动态绑定不会自动传播到被导入的模块中，这限制了动态变量的实用性。

经过改进后，最新版本已支持动态变量在模块导入链中的传播。这意味着：

• 主程序设置的动态变量会影响所有后续导入的模块
• 每个模块都能访问调用链上设置的动态绑定
• 保持了模块环境的其他隔离特性

更灵活的模块环境控制

最终的解决方案引入了*module-make-env*机制，提供了更底层的控制能力。开发者可以完全自定义模块环境的创建过程：

(setdyn *module-make-env* 
  (fn [env] 
    (let [new-env (make-env env)]
      (table/set new-env :custom-value 42)
      new-env)))

这种设计既保持了向后兼容性，又提供了最大限度的灵活性。开发者可以根据需要：

1. 完全控制模块环境的初始化
2. 选择性继承或覆盖父环境中的绑定
3. 实现复杂的模块隔离策略

实际应用建议

对于需要模块隔离的场景，推荐以下实践：

1. 简单路径控制：

(with-dyns [*module-paths* custom-paths]
  (require :user-module))

2. 完全环境隔离：

(defn make-isolated-env [parent]
  (let [env (make-env parent)]
    (table/set env :module/paths isolated-paths)
    env))

(setdyn *module-make-env* make-isolated-env)
(import ./untrusted-code)

3. 动态变量传播：

(setdyn :api-key "secret123")
(import ./plugin) ; plugin可以访问到:api-key绑定

总结

Janet通过引入动态变量和可定制的模块环境创建机制，显著提升了模块系统的灵活性。这些改进使得实现沙盒环境、插件系统等高级特性变得更加容易，同时保持了语言的简洁性。开发者现在可以更精细地控制模块加载行为，满足各种复杂的应用场景需求。