不想讨论这个问题了，为了避免争论，我修正了我在16楼的说法，你当然有权认为对你而言，优化case更难。

【 在 philbloo 的大作中提到: 】
: 你又弄错了，一个问题是否是 np hard 是 intrinsic 的。也就是说，在任何条件下，分析 pattern match 都是 np hard。
: 你强调的这点，也是错的，因为存在无穷数量的 pattern match 实例，这些实例不存在等价的 if-else 。而编译器的任务是要鉴定当前实例是否可以转换为 if-else ，并针对否定的答案给出合理的出错信息。事实上，给出合理的出错信息比证否更难。
:
: ...................
--
FROM 222.212.168.*