rust 或者其它主流语言不会用 smt solver 来编译 pattern match ，因为这个依赖太强，而且 smt solver 也很不稳定。

我只是想说从静态分析和优化的角度来看， if-else 远比 pattern match 容易，因为 if-else 就是生成两个新的 basic block ，然后加几条 phi ，没了，之后的优化都是经典 ssa 分析，跟其它 control flow 没有区别。而 pattern match 分析，等同于解一组布尔值方程，算法不好的话很容易死在只有几条方程的情况下。


【 在 poocp 的大作中提到: 】
:
: 还是以最终实现为准吧，哪个快用哪个，当然我是指rust。
: 至于python其实无所谓，我更看重代码的可读性。
:
: 【 在 philbloo 的大作中提到: 】

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