zypeh
says to
YSITD
很少吧，比如 Steel Bank Common Lisp 实现靠强类型，还有很多类型优化，包括 AOT 也用上了