Guile Scheme脚本加载fact过程失败问题求助

刚踩过类似的Guile模块作用域坑，来给你捋捋——你遇到的问题不是教程的问题，而是忽略了Guile模块系统的核心特性：作用域隔离，下面给你拆解原因和两种可行的解决办法：

为什么会报「Unbound variable: fact」？ #

Guile的模块是封闭的作用域：

• 当你在modules.scm里用(define-module ...)定义模块时，模块内部的代码默认只能访问：
  1. 模块自身定义的变量
  2. 通过#:use-module显式导入的其他模块的变量
• 你用-l fact.scm加载的fact函数，是放在顶级全局作用域里的，模块内部根本看不到这个全局变量，所以会提示未绑定。

另外还要注意：部分系统的shebang对多参数支持不好，比如#!/usr/bin/env guile -l fact.scm可能会被env当成一个完整的命令名而报错，这也是潜在的坑。

解决办法一：把fact.scm改成可导入的模块（推荐） #

这是Guile推荐的模块化写法，能彻底避免作用域混乱：

1. 修改fact.scm为模块形式 #

(define-module (my fact)
  #:export (fact))  ;; 导出fact函数供其他模块使用

(define (fact n)
  (if (<= n 1)
      1
      (* n (fact (- n 1)))))

2. 修改modules.scm显式导入模块 #

#!/usr/bin/env guile
!#

(define-module (my modules)
  #:use-module (my fact)  ;; 导入刚才定义的fact模块
  #:export (n-choose-k))

(define (n-choose-k n k)
  (/ (fact n) (* (fact k) (fact (- n k)))))

;; 处理命令行参数并执行
(let ((n (string->number (cadr (command-line))))
      (k (string->number (caddr (command-line)))))
  (display (n-choose-k n k))
  (newline))

3. 运行脚本 #

需要让Guile能找到你的自定义模块，要么把文件放在Guile默认的模块搜索路径，要么用-L参数指定当前目录：

guile -L . ./modules.scm 10 3
# 或者如果shebang能正确处理，直接运行
./modules.scm 10 3

解决办法二：显式导入全局作用域的fact（不推荐） #

如果不想修改fact.scm的结构，可以在modules.scm的模块里显式导入全局作用域的fact：

#!/usr/bin/guile -l fact.scm
!#

(define-module (my modules)
  #:import (fact)  ;; 从全局作用域导入fact函数
  #:export (n-choose-k))

(define (n-choose-k n k)
  (/ (fact n) (* (fact k) (fact (- n k)))))

;; 执行逻辑同上...

注意：这里把shebang改成了#!/usr/bin/guile而不是#!/usr/bin/env guile，因为部分系统的env不支持shebang后的多参数，会导致-l fact.scm被忽略。

验证一下 #

不管用哪种方法，运行./modules.scm 10 3都应该输出120，完美解决你的问题～

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