当然，pattern match __可以__  应用在泛型上，但这个问题的本质与泛型无关，开始那个链接里的例子就完全与泛型无关。因为这个问题在于要找出所有 case 是否 exhaustive，以及是否存在不可解的 contradiction，换句话说，是做 constraints  based analysis 。

而你的这个 if-else 的复杂度等于 pattern match 的推论也是错的。因为 if-else 的编译不需要 exhaustive ，也不需要分析 contradict，但 pattern match 需要。

【 在 poocp 的大作中提到: 】
:
: 按这个推论，那么所有if else也都是np hard，因为所有 pattern match都能表达为等价的if else。
:
: 【 在 philbloo 的大作中提到: 】
: : 但 pattern match 是 np hard

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