zypeh
says to
YSITD
而惰性求值运行编译器做到更激进的优化，因为可以无视编译顺序。