有评论指出，静态分析工具和类型系统能部分替代人类对代码行为的推理，但无法替代对设计意图的理解。