请问下静态语言能自动生成哪些文档，是动态语言不能生成的？

Question

静态语言方便一些文档自动化生成。

问题1：请问下静态语言能自动生成哪些文档，是动态语言不能生成的？

静态语言方便 对齐、依赖分析、风格检查等功能.

问题2：请问对齐是代码对齐吗？为何静态语言能实现动态不能？
为何静态语言方便依赖分析？
为何静态语言方便风格检查？

Answer 1

主要是动态语言没办法确定变量的类型，对于类型检查和推导会很困难。
比如说生成文档时一般都是生成API文档，告诉使用者这个接口/方法支持怎么样的入参和运行返回值。
所以需要说明入参的类型和返回值的类型。不然只能靠使用者去猜测，或者去翻阅源码。

所以前端所使用的JS动态语言才会出现TS这种静态类型检查的东西，来限制和提示使用者。限制是指限制使用者的赋值或入参是正确，提示是指提示使用者这个方法应该要传递哪些参数，这些参数分别是怎么样的格式和类型。

这种限制和提示可以大大减少项目中低级BUG的出现频率，比如说前端经常会遇到的 can not read property of undefined 这种无法读取变量属性的报错。

对齐的话，并不一定是代码对其，也有可能是代码的类型对齐。比如说上面提到的一些变量赋值之类的。