zypeh
says to
YSITD
短期里面做一个 total, opt-out lazy 的编程语言是不实际的