我很少看到函数式编程语言的静态分析器，比如 Racket/Scheme，我什至怀疑是否有。我想为功能语言编写一个静态分析器，比如 Scheme/Racket。我该怎么办？

已经有，例如，键入球拍：http://docs.racket-lang.org/ts-guide/index.html
由于有效的球拍代码是有效的类型球拍，您只需要更改您正在使用的语言。然后，对于具有类型化版本的库，加载那些而不是非类型化版本，并且某些类型错误可能已经被静态捕获。可以将更多类型注释添加到您自己的代码中，以保证类型正确性...

是的，有一些关于像 Scheme 这样的动态语言的静态分析的工作。例如，参见 Olin Shivers (http://www.ccs.neu.edu/home/shivers/citations.html) 和 Manuel Serrano (http://www-sop.inria.fr/members/Manuel.塞拉诺/index-1.html).

首先阅读 Shivers 的这篇论文，解释了为什么 Scheme 中没有可用的静态控制流图。

可能会在 Scheme 中实现 k-CFA。 Matt Might 的网站和博客是探索高阶语言静态分析的良好起点。

我也为 Java 中的 Scheme 做了一些静态分析实现：

• k-CFA 实施
• 基于 Might 和 Prabhu 的论文的过程间依赖分析实现