“智能 if”会严格执行规则吗

作者通过 Playground 试验讨论“智能 if”的比喻。类型约束和严格执行规则，是两个可以分别失败的环节。

若条件能被明确写成金额比较或日期比较，代码本身就能给出可重复的答案。语义判断需要模型时，也应保留能重复提交的输入，以便比较版本变化。