摘要：为什么不能全自动标注 隐式推导所有可能路径导致编译时间爆炸 a. 他只会按照标注的流验证其合法性，而不从可能的所有线索中推导，同时也显示声明了函数的期望。平衡效率 隐式推导的不确定性导致过度耦合 a. 标注是解耦合的协议，只在他的出入口验证，保证API不完全依赖外部隐式推导导致不确定的变动。而是在出 阅读全文