你又弄错了，一个问题是否是 np hard 是 intrinsic 的。也就是说，在任何条件下，分析 pattern match 都是 np hard。

你强调的这点，也是错的，因为存在无穷数量的 pattern match 实例，这些实例不存在等价的 if-else 。而编译器的任务是要鉴定当前实例是否可以转换为 if-else ，并针对否定的答案给出合理的出错信息。事实上，给出合理的出错信息比证否更难。

【 在 poocp 的大作中提到: 】
:
: 那你也不能以某种特定条件下最坏情况是np hard来以偏概全，拿来当结论吧。
: 怎么优化是你的事，我只强调一点，case必然具有等价的if else表达方式。
: 所以case最坏的结果就是等价的if else。
:

#发自zSMTH@Moto Z3 Play
--
FROM 37.33.57.*