搞 functional / logical programming 那帮人就是整天憋着想把写程序搞得和写公式一样，最高理想就是用式子把问题描述清楚了，对应的程序也就有了，这就是 descriptive 的由来。

哼哼，在人类拥有无限计算能力之前，这帮人永远只能 YY 。